Extended FRAM by Integrating with Model Checking to Effectively Explore Hazard Evolution
المؤلفون المشاركون
Duan, Guihuan
Tian, Jin
Wu, Juyi
المصدر
Mathematical Problems in Engineering
العدد
المجلد 2015، العدد 2015 (31 ديسمبر/كانون الأول 2015)، ص ص. 1-11، 11ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2015-11-22
دولة النشر
مصر
عدد الصفحات
11
التخصصات الرئيسية
الملخص EN
Functional Resonance Analysis Method (FRAM), which defines a systemic framework to model complex systems from the perspective of function and views accidents as emergent phenomenon of function’s variability, is playing an increasingly significant role in the development of systemic accident theory.
However, as FRAM is typically taken as a theoretic method, there is a lack of specific approaches or supportive tools to bridge the theory and practice.
To fill the gap and contribute to the development of FRAM, (1) function’s variability was described further, with the rules of interaction among variability of different functions being determined and (2) the technology of model checking (MC) was used for the analysis of function’s variability to automatically search the potential paths that could lead to hazards.
By means of MC, system’s behaviors (normal or abnormal) are simulated and the counter example(s) that violates the safety constraints and requirements can be provided, if there is any, to improve the system design.
The extended FRAM approach was applied to a typical air accident analysis, with more details drawn than the conclusions in the accident report issued officially by Agenzia Nazionale per la Sicurezza del Volo (ANSV).
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Duan, Guihuan& Tian, Jin& Wu, Juyi. 2015. Extended FRAM by Integrating with Model Checking to Effectively Explore Hazard Evolution. Mathematical Problems in Engineering،Vol. 2015, no. 2015, pp.1-11.
https://search.emarefa.net/detail/BIM-1073189
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Duan, Guihuan…[et al.]. Extended FRAM by Integrating with Model Checking to Effectively Explore Hazard Evolution. Mathematical Problems in Engineering No. 2015 (2015), pp.1-11.
https://search.emarefa.net/detail/BIM-1073189
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Duan, Guihuan& Tian, Jin& Wu, Juyi. Extended FRAM by Integrating with Model Checking to Effectively Explore Hazard Evolution. Mathematical Problems in Engineering. 2015. Vol. 2015, no. 2015, pp.1-11.
https://search.emarefa.net/detail/BIM-1073189
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-1073189
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر