22documents trouvés
Engineering dependability requirements for complex systems - A new information model definition
R.GUILLERM, H.DEMMOU, N.SADOU
ISI, SUPELEC Rennes
Manifestation avec acte : IEEE international Systems Conference, San Diego (USA) , 5-8 Avril 2010, pp.149-152 , N° 10129
Diffusable
121997Modèle d'information pour le gestion des exigences de sûreté dans un cadre d'ingéniérie système
R.GUILLERM, H.DEMMOU, N.SADOU
ISI, SUPELEC Rennes
Rapport LAAS N°10128, Février 2010
Diffusable
120642System engineering approach for safety management of complex systems
R.GUILLERM, H.DEMMOU, N.SADOU
ISI, SUPELEC Rennes
Manifestation avec acte : European Simulation and Modelling Conference (ESM'2009), Leicester (Royaume-Unis), 26-28 Octobre 2009, pp.150-157 , N° 09671
Lien : http://hal.archives-ouvertes.fr/hal-00766139
Diffusable
Plus d'informations
Abstract
This paper presents a system approach for safety management of complex system. System engineering which is an interdisciplinary field of engineering that focuses on how complex engineering projects should be designed and managed is the framework of the approach. It allows taking into account the safety requirements in system engineering process to facilitates traceability of these requirements throughout the life cycle of the system. Processes of EIA-632 system standard are used to guide the proposed approach.
ESA_PetriNet: Petri net based tool for reliability analysis
R.GUILLERM, H.DEMMOU, N.SADOU
SUPELEC Rennes, ISI
Manifestation avec acte : IEEE International Conference on Systems, Man, and Cybernetics (SMC 2009), San Antonio (Etats-Unis), 11-14 Octobre 2009, 6p. , N° 09450
Lien : http://hal.archives-ouvertes.fr/hal-00766146
Diffusable
Plus d'informations
Abstract
This paper describes the critical (feared) scenarios derivation tool ESA PetriNet (Extraction Scenarios Algorithm from Petri Net) available from : http://www.laas.fr/ESA. ESA PetriNet allows to derive scenarios leading to critical (feared) situation in embedded systems. The system model is given by a Petri net. To derive critical scenarios and to avoid the state space explosion, the solution is to use directly the Petri net model. Linear logic (which does not appears in this paper)offers a theoretical framework to interpret the Petri net model and to extract the scenarios. ESA PetriNet provides all minimal scenarios which contain strictly necessary and sufficient events to reach a specified state. ESA PetriNet can be used with classical Petri net modelling or in its objects oriented version.
Mots-Clés / Keywords
Embedded systems; Feared scenarios; Petri nets; Reliability; Dynamic systems;
La sûreté de fonctionnement dans les processus d'ingénierie système
R.GUILLERM, N.SADOU, H.DEMMOU
SUPELEC Rennes, ISI
Rapport LAAS N°09467, Juillet 2009, 9p.
Diffusable
118556Hybrid Approach for Deriving Feared Scenarios in Industrial Systems
N.SADOU, R.GUILLERM, H.DEMMOU, K.ALLOULA
SUPELEC Rennes, ISI, ENSIACET
Manifestation avec acte : SAFE PROCESS 2009 - 7th IFAC Symposium on Fauult Detection Supervision and Safety of Technical Processes, Barcelone (Espagne), 30 Juin-3 Juillet 2009 , N° 09371
Diffusable
118185Petri net based tool for critical scenarios deriving
R.GUILLERM, H.DEMMOU, N.SADOU
ISI, SUPELEC Rennes
Rapport LAAS N°09347, Juin 2009, 9p.
Diffusable
118080ESA_PetriNet: tool for reliability analysis
R.GUILLERM, H.DEMMOU, N.SADOU
ISI, SUPELEC Rennes
Rapport LAAS N°09346, Juin 2009, 5p.
Diffusable
Plus d'informations
Mots-Clés / Keywords
Embedded systems; Feared scenarios; Petri nets; Reliability; Dynamic systems;
Design for reliability and safety: system engineering approach
R.GUILLERM, H.DEMMOU, N.SADOU
ISI, SUPELEC Rennes
Rapport LAAS N°09248, Juin 2009, 6p.
Diffusable
Plus d'informations
Mots-Clés / Keywords
Complex system; EIA-632; System engineering; Dependability; Requirements;
Discret and hybrib systems dependability analysis with ESA petrinet
R.GUILLERM, H.DEMMOU, N.SADOU
ISI, SUPELEC Rennes
Manifestation avec acte : 12th European Workshop on Dependable Computing (EWDC 2009), Toulouse (France), 14-15 Mai 2009, 2p. , N° 09147
Lien : http://hal.archives-ouvertes.fr/hal-00380707/fr/
Diffusable
Plus d'informations
Abstract
Based on Petri net modelling and linear logic as formal framework, ESA PetriNet allows to carry out dependability analysis of discrete (based on temporal Petri nets modelling) or hybrid systems (differential predicate-transition Petri nets modelling). ESA PetriNet implements the approach for critical scenarios deriving. The approach is based on a qualitative analysis of Petri net model. It consists in determining a sequence of events represented by transition firings in the Petri net model that leads the system from normal working to critical situation. ESA PetriNet allows deriving only pertinent scenarios. Minimality of these scenarios (composed by the necessary events) is introduced to facilite the analysis step.