A combined analysis method of FMEA and FTA for improving the safety analysis quality of safety-critical software

2013 ◽  
Author(s):  
Xiangyu Han ◽  
Jun Zhang
Keyword(s):  
Safety Analysis ◽  
Analysis Method ◽  
Combined Analysis ◽  
Safety Critical ◽  
Analysis Quality

A Survey of Parametric Static Analysis

2021 ◽  
Vol 54 (7) ◽  
pp. 1-37
Author(s):  
Jihyeok Park ◽  
Hongki Lee ◽  
Sukyoung Ryu
Keyword(s):  
Recent Work ◽  
Static Analysis ◽  
Abstract Interpretation ◽  
Black Box ◽  
Parameter Selection ◽  
Survey Analysis ◽  
Future Directions ◽  
Analysis Techniques ◽  
Analysis Quality

Understanding program behaviors is important to verify program properties or to optimize programs. Static analysis is a widely used technique to approximate program behaviors via abstract interpretation. To evaluate the quality of static analysis, researchers have used three metrics: performance, precision, and soundness. The static analysis quality depends on the analysis techniques used, but the best combination of such techniques may be different for different programs. To find the best combination of analysis techniques for specific programs, recent work has proposed parametric static analysis . It considers static analysis as black-box parameterized by analysis parameters , which are techniques that may be configured without analysis details. We formally define the parametric static analysis, and we survey analysis parameters and their parameter selection in the literature. We also discuss open challenges and future directions of the parametric static analysis.

Hybrid safety analysis method based on SVM and RST: An application to carrier landing of aircraft

2015 ◽  
Vol 80 ◽  
pp. 56-65 ◽  
Author(s):  
Ying Dai ◽  
Jin Tian ◽  
Hao Rong ◽  
Tingdi Zhao
Keyword(s):  
Safety Analysis ◽  
Analysis Method

scholarly journals THE DEVELOPMENT OF THE QUALITY MANAGEMENT SYSTEM IN TERMS OF KNOWLEDGE MANAGEMENT / KOKYBĖS VADYBOS SISTEMŲ TOBULINIMAS ŽINIŲ VADYBOS ASPEKTU

2011 ◽  
Vol 3 (4) ◽  
pp. 113-119
Author(s):  
Romualdas Vitkauskas
Keyword(s):  
Knowledge Management ◽  
Quality Management ◽  
Quality Management System ◽  
Analysis Method ◽  
Continual Improvement ◽  
Correlation Analysis Method ◽  
Product And Process ◽  
Quality Of Products ◽  
The Relationship

The interaction of quality management and knowledge man­agement are analyzed quite widely in scientific literature and discussed with reference to various models integrating these two management theories. However, there are not enough precise tools that could provide a possibility of improving the quality of products and services through knowledge management. To this end, the article examines the already existing models for the interaction between quality management and knowledge management. The results of a survey on Lithuanian industry show what organizational knowledge is the most important while implementing quality management principles aimed at improving quality. The correlation analysis method showed the relationship between quality management principles (process approach, continual improvement, management, facts) and the factors defining the product and process quality (the extent of determining process execution time, process resources, costs of process stages, indicators for products and/or services, the dura­tion of the process, the extent of measuring indicators, the extent of collecting information on indicators, the extent of collecting information about the costs of the process). Santrauka Kokybės vadybos ir žinių vadybos sąveika mokslinėje literatūroje analizuojama gana plačiai, aptariami įvairūs sąveikos modeliai integruojant šias dvi vadybos teorijas. Tačiau nepakankamai nagrinėjamos konkrečios priemonės, kuriomis būtų galima pagerinti produktų ir paslaugų kokybę pasitelkiant žinių vadybą. Tuo tikslu straipsnyje analizuojami jau egzis­tuojantys kokybės vadybos ir žinių vadybos sąveikos modeliai bei pateikiami Lietuvos pramonės įmonių tyrimo rezultatai, parodantys, kokios organizacinės žinios svarbiausios įgyvendinant kokybės vadybos principus, skirtus kokybei gerinti. Taikant koreliacinės analizės metodą nustatyta, kad egzistuoja ryšys tarp kokybės vadybos principų (procesinio požiūrio, nuolatinio gerinimo, valdymo remiantis faktais) įgyvendinimo lygio ir veiksnių, apibūdinančių produktų ir procesų kokybę (procesų įvykdymo laiko nustatymas, procesų išteklių nustatymas, procesų etapų išlaidų nustatymas, produktų ir (ar) paslaugų rodiklių nustatymas, rodiklių matavimas, rodiklių informacijos rinkimas, informacijos apie proceso trukmę nustatymas ir informacijos apie proceso išlaidas rinkimas).

scholarly journals EXCHANGE CURVE-BASED INVENTORY POLICY ANALYSIS OF NON-REUSABLE INDUSTRIAL PACKAGING IN PRODUCTION

2021 ◽  
Vol 24 (1) ◽  
pp. 43-49
Author(s):  
Agota Banyaine Toth ◽  
Keyword(s):  
Cost Efficiency ◽  
Computation Method ◽  
Analysis Method ◽  
Packaging System ◽  
Inventory Policy ◽  
Inventory Investment ◽  
Micro Level ◽  
Quality Of Products ◽  
The Cost

The well-chosen inventory policy has a great impact on the performance of production and logistics processes, because it can influence not only the reliability, the cost efficiency, and the sustainability of the processes and resources, but packaging system can force the quality of products and processes. Within the frame of this article an exchange curve-based analysis method of packaging related inventory policy is described. This analysis method makes it possible to highlight the problems in inventory policy and find an improve solution in both macro- and micro-level. The computation method is based on the exchange of annual order cost and average inventory investment, especially in the case of economic order quantity-based packaging order policies.

scholarly journals Hubungan Antara Kualitas Guru dengan Prestasi Belajar Siswa pada Mata Pelajaran Housekeeping

Media Wisata ◽  
2021 ◽  
Vol 12 (1) ◽  
Author(s):  
Sri Larasati
Keyword(s):  
Student Achievement ◽  
Data Analysis ◽  
Teacher Quality ◽  
Test Data ◽  
Moment Analysis ◽  
Analysis Method ◽  
Improve Performance ◽  
Employment Practices ◽  
The Relationship

Teacher Quality is one factor that determines student achievement, the research to find out the relationship and contribution to the quality of teachers to student achievement in subjects Housekeeping. This Reseach is expected to expective to be useful for teachers to improve performance. To measure student achievement are used Pearson Product Moment analysis method. Of test data analysis can be seen that there is asignificant relationship with the teacher quality anatara student achiement, which toount (7.09423) is greater than ttable (2.021). Whereas the contribution of teacher quality on student achiement is the amount of KP 46.64% while the remaining 53.36% is determinedby other variables is one of the largest employment practices in the industry.

Sign in / Sign up

Export Citation Format

Share Document