scholarly journals Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages

2019 ◽  
pp. 471-490 ◽  
Author(s):  
Marie Farrell ◽  
Matthew Bradbury ◽  
Michael Fisher ◽  
Louise A. Dennis ◽  
Clare Dixon ◽  
...  
Keyword(s):  
Formal Verification ◽  
Analysis Techniques ◽  
Threat Analysis ◽  
Cooperative Awareness Messages ◽  
Cooperative Awareness

Obtaining Plant Models for Formal Verification Tasks from 3D CAD Models: Which is the Best Approach?

2012 ◽  
Vol 630 ◽  
pp. 283-290 ◽  
Author(s):  
Edgar Lobo ◽  
João Fertuzinhos ◽  
João P.M.A. Silva ◽  
José Machado
Keyword(s):  
Human Resources ◽  
Formal Verification ◽  
Highly Qualified ◽  
Mechatronic System ◽  
Analysis Techniques ◽  
3D Cad ◽  
Complex Process ◽  
Cad Models ◽  
Industrial Context

The use of analysis techniques for industrial controller’s analysis, such as Simulation and Formal Verification, is sometimes complex on industrial context. This complexity is due to the fact that such techniques require sometimes big investment in highly qualified human resources that have sufficient theoretical knowledge in those domains. This paper aims, mainly, to show that it is possible to improve the implementation and industrial using of such techniques, by facilitating their application. As any mechatronic system needs to be modeled by using CAD models, these models could be used, in a systematic way, by these companies in order to increase the use of such techniques for the analysis of industrial controllers. For this purpose, it is discussed, in the paper, the best way to systematize these procedures, and this paper describes, only, the first step of a complex process and promotes a discussion of the main difficulties that can be found and a possibility for handle those difficulties is presented. A case study is presented in order to illustrate how to obtain a plant model for formal verification purposes from an original 3D CAD model.

Failure Analysis of CDM-ESD Damage in a GaAs RFIC

2000 ◽  
Author(s):  
Amy Poe ◽  
Steve Brockett ◽  
Tony Rubalcava
Keyword(s):  
Radio Frequency ◽  
Failure Analysis ◽  
Integrated Circuit ◽  
Production Test ◽  
Analysis Techniques ◽  
Device Model ◽  
Charged Device ◽  
Subsequent Failure

Abstract The intent of this work is to demonstrate the importance of charged device model (CDM) ESD testing and characterization by presenting a case study of a situation in which CDM testing proved invaluable in establishing the reliability of a GaAs radio frequency integrated circuit (RFIC). The problem originated when a sample of passing devices was retested to the final production test. Nine of the 200 sampled devices failed the retest, thus placing the reliability of all of the devices in question. The subsequent failure analysis indicated that the devices failed due to a short on one of two capacitors, bringing into question the reliability of the dielectric. Previous ESD characterization of the part had shown that a certain resistor was likely to fail at thresholds well below the level at which any capacitors were damaged. This paper will discuss the failure analysis techniques which were used and the testing performed to verify the failures were actually due to ESD, and not caused by weak capacitors.

Advanced IR-OBIRCH Analysis Technique for High Isb Failure Analysis

2010 ◽  
Author(s):  
Kuo Hsiung Chen ◽  
Wen Sheng Wu ◽  
Yu Hsiang Shu ◽  
Jian Chan Lin
Keyword(s):  
Failure Analysis ◽  
Failure Mechanisms ◽  
Fault Localization ◽  
Resistance Change ◽  
The Real ◽  
Analysis Techniques ◽  
Analysis Technique ◽  
Leakage Failure ◽  
Failure Site

Abstract IR-OBIRCH (Infrared Ray – Optical Beam Induced Resistance Change) is one of the main failure analysis techniques [1] [2] [3] [4]. It is a useful tool to do fault localization on leakage failure cases such as poor Via or contact connection, FEoL or BEoL pattern bridge, and etc. But the real failure sites associated with the above failure mechanisms are not always found at the OBIRCH spot locations. Sometimes the real failure site is far away from the OBIRCH spot and it will result in inconclusive PFA Analysis. Finding the real failure site is what matters the most for fault localization detection. In this paper, we will introduce one case using deep sub-micron process generation which suffers serious high Isb current at wafer donut region. In this case study a BEoL Via poor connection is found far away from the OBIRCH spots. This implies that layout tracing skill and relation investigation among OBIRCH spots are needed for successful failure analysis.

THE IMPLEMENTATION OF RADIN INTEN II’S NATIONALISM RESISTANCE VALUES WITHIN LOCAL HISTORY LEARNING

Ta dib ◽  
2020 ◽  
Vol 23 (2) ◽  
pp. 145
Author(s):  
Surandi Surandi ◽  
Supardi Supardi ◽  
Johan Setiawan
Keyword(s):  
Data Collection ◽  
Learning Process ◽  
Local History ◽  
Data Display ◽  
Analysis Techniques ◽  
Learning Plan ◽  
History Learning ◽  
Collection Data ◽  
Students Attitudes

Abstract: The purposes of this study are to find out: (1) the implementation of Radin Inten II’s resistance nationalism values in the learning process; (2) the obstacles experienced by teachers when implementing Radin Inten II’s resistance nationalism values in the learning process; (3) the efforts made by teachers in overcoming obstacles during the implementation of Radin Inten II’s nationalism values in the learning process. This study used qualitative approach with the type of case study conducted at SMAN 1 Kalianda. Data collection techniques consisted of observation, interviews, and documentary studies. Data analysis techniques used the model of Miles & Huberman consisting of data collection, data reduction, data display, and conclusion. The results show: (1) the implementation of Radin Inten II’s nationalism resistance values in the process of learning local history was carried out by compiling a syllabus and implementing learning plan (RPP) by incorporating local history into Indonesian historical material which was consisted of planning, implementation, and evaluation, (2) the obstacles experienced by teachers included: the ability of teachers during learning process, students’ attitudes, and time constraints, (3) the efforts made by the teacher were taking the initiative to instill the values of nationalism in the resistance of Radin Inten II’s, applying various models, strategies, methods and singing a national song before learning. Abstrak: Tujuan penelitian ini adalah untuk mengetahui: (1) implementasi nilai-nilai nasionalisme perlawanan Radin Inten II dalam proses pembelajaran, (2) kendala yang dialami oleh guru saat implementasi nilai-nilai nasionalisme perlawanan Radin Inten II dalam proses pembelajaran, (3) upaya yang dilakukan guru dalam mengatasi kendala yang dihadapi saat implementasi nilai-nilai nasionalisme perlawanan Radin Inten II dalam proses pembelajaran. Penelitian ini menggunakan pendekatan kualitatif dengan jenis studi kasus di SMAN 1 Kalianda. Teknik pengumpulan data terdiri dari observasi, wawancara, dan dokumentasi. Teknik analisis data menggunakan model Miles & Huberman yang terdiri dari pengumpulan data, reduksi data, penyajian data, dan penarikan kesimpulan. Hasil penelitian menunjukkan: (1) implementasi nilai-nilai nasionalisme perlawanan Radin Inten II dalam proses pembelajaran sejarah lokal dilakukan dengan menyusun silabus dan rencana pelaksana pembelajaran (RPP) dengan memasukkan sejarah lokal kedalam materi sejarah Indonesia yang terdiri dari perencanaan, pelaksanaan, dan evaluasi, (2) kendala yang dialami oleh guru diantaranya: kemampuan guru dalam proses pembelajaran, sikap siswa, dan adanya keterbatasan waktu, (3) upaya yang dilakukan oleh guru yaitu berinisiatif menanamkan nilai-nilai nasionalisme dalam perlawanan Radin Inten II, menerapkan berbagai model, strategi, metode dan menyanyikan lagu nasional sebelum pembelajaran.

scholarly journals Formal Verification of Health Assessment Tools: a Case Study

2016 ◽  
Vol 324 ◽  
pp. 31-50 ◽  
Author(s):  
Jonas Santos Bezerra ◽  
Andrei Costa ◽  
Leila Ribeiro ◽  
Érika Cota
Keyword(s):  
Formal Verification ◽  
Health Assessment ◽  
Assessment Tools

Analisis Pembiayaan Dana Talangan Haji untuk  Biaya Perjalan Ibadah Haji

2018 ◽  
Vol 1 (2) ◽  
pp. 228-244
Author(s):  
Asmawarna Sinaga ◽  
Anjur Perkasa Alam ◽  
Fariz Arkan ◽  
Sri Wahyuni Hasibuan
Keyword(s):  
Islamic Law ◽  
Field Research ◽  
Interactive Methods ◽  
Islamic Banks ◽  
Data Presentation ◽  
Analysis Techniques ◽  
Collection Data ◽  
Definition Of ◽  
The Cost

  Analysis of the amount of financing the hajj bailout for the cost of the pilgrimage (Case Study of Bank Sumut Syariah Sub-Branch Stabat).Asmawarna Sinaga and Anjur Perkasa Alam. Hajj financing is a loan from a sharia bank to customers to cover the shortage of funds to obtain a seat (seat) Hajj at the time of repayment BPIH (Hajj Travel Expenses). This financing product uses the Qardh Wal Ijarah principle. The purpose of this research is to know the view of Islamic law against financing of Hajj bailout fund and to know the view of Islamic law about ujrah fee on akad of bailout fund of Hajj. This research is field research. The definition of the Hajj bailout is a bailout fund from a bank to a special customer to cover kekurangandana to cover the lack of funds to obtain a portion number at the time to pay the cost of organizing the pilgrimage. The research design uses a qualitative approach with non-statistical analysis While the data analysis techniques use content analysis and interactive methods consisting of data reduction, data collection, data presentation and conclusion. The results of this study note that the akad bailout funds in Islamic banks contain multi-akad, where the contract used qardh and ijarah is allowed. While the view of Islamic law regarding the taking of ujrah fee on hajj bailout fund is not in accordance with sharia due to the percentage of ujrah fee based on qardh fund.

Sign in / Sign up

Export Citation Format

Share Document