Minimality of critical scenarios with linear logic and cutsets
Joint Authors
Debbache, Nasr al-Din
Boucerredj, Layla
Source
Issue
Vol. 2014, Issue 29 (31 Mar. 2014), pp.42-50, 9 p.
Publisher
Annaba Badji Mokhtar University
Publication Date
2014-03-31
Country of Publication
Algeria
No. of Pages
9
Main Subjects
Topics
Abstract AR
يقترح هذا العمل نهجا جديدا في مجال أمنية التشغيل للأنظمة الميكاترونيكية.
هدفها هو استخراج كافة السيناريوهات الحرجة ذات الحد الأدنى التي تؤدي بالنظام إلى حالة الفشل، و ذلك مباشرة من أشجار الدليل للمنطق الخطي لإقامة روابط سببية بين الأحداث غير المرغوب فيها و الحالات الطبيعية.
أشجار الدليل للمنطق الخطي تحتوي على أحداث التي هي نتيجة لحالة في السيناريو، و لكن ليس سببا ضروريا تماما للإنتاج النهائي للحالة الحرجة.
و حجم شجرة الدليل يتناسب مع عدد من التحولات في معبر متتالي يمكن إثباته.
لهذا يستند هذا النهج على مفهوم الحد الأدنى لطريقة شجرة الخطأ و تطبيقها على أشجار الدليل للمنطق الخطي لنموذج شبكات بيتري في سياق غير مألوف.
الهدف منه هو تقليل حجم أشجار الدليل للمنطق الخطي و توليد عدد أدنى من السيناريوهات الحرجة.
Abstract EN
This work proposes a new approach for analyzing the dependability of mechatronic systems; its goal is to extract all minimal feared scenarios that lead a system in a state of failure, directly from the proof trees of linear logic to establish the causality between undesirable events and normal operations.
The proof trees of linear logic contain events that are the result of event in the scenario, but not strictly necessary for the final production of the critical feared state.
The size of the proof tree is proportional to the number of firing transitions in the sequent provable.
The proposed approach is based on the concept of minimal cutsets of the fault tree method applied to the proof trees of linear logic of Petri net model in an unknown context.
The aim is to reduce the size of the proof trees of linear logic and generate a minimum number of feared scenarios.
Abstract FRE
Ce travail propose une nouvelle approche d'analyse de la sûreté de fonctionnement des systèmes mécatroniques.
Son objectif est d’extraire les scénarios redoutés minimaux qui conduisent un système vers un état de défaillance, à partir des arbres de preuves de la logique linéaire et établir les liens de causalité entre les événements redoutés et les fonctionnements normaux.
Les arbres de preuves de la logique linéaire contiennent des événements qui sont la conséquence d’événement inclus dans le scénario, mais qui ne sont pas strictement nécessaires à l’obtention de l’état critique redouté final.
La taille de l’arbre de preuve est proportionnelle au nombre de franchissement des transitions dans le séquent prouvable.
L’approche proposée est basée sur la notion de coupe minimale de la méthode des arbres de défaillances appliquées aux arbres de preuves de la logique linéaire du modèle réseau de Pétri dans un contexte inconnu.
L’objectif est de réduire la taille des arbres de preuves de la logique linéaire et de générer un nombre minimal de scénarios redoutés.
American Psychological Association (APA)
Boucerredj, Layla& Debbache, Nasr al-Din. 2014. Minimality of critical scenarios with linear logic and cutsets. Synthèse،Vol. 2014, no. 29, pp.42-50.
https://search.emarefa.net/detail/BIM-420622
Modern Language Association (MLA)
Boucerredj, Layla& Debbache, Nasr al-Din. Minimality of critical scenarios with linear logic and cutsets. Synthèse No. 29 (2014), pp.42-50.
https://search.emarefa.net/detail/BIM-420622
American Medical Association (AMA)
Boucerredj, Layla& Debbache, Nasr al-Din. Minimality of critical scenarios with linear logic and cutsets. Synthèse. 2014. Vol. 2014, no. 29, pp.42-50.
https://search.emarefa.net/detail/BIM-420622
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references : p. 49-50
Record ID
BIM-420622