75documents trouvés
Petri nets for dynamic systems reliability: scenarios based approach
N.SADOU, H.DEMMOU
ISI
Rapport LAAS N°08636, Décembre 2008, 33p.
Diffusable
Plus d'informations
Mots-Clés / Keywords
Embedded systems; Reliability analysis; Petri nets; Linear logic; Feared scenarios; Minimality;
Scénarii critiques minimaux pour la fiabilité des systèmes dynamiques
N.SADOU, H.DEMMOU, R.VALETTE
ISI, OLC
Ouvrage (contribution) : Diagnostic des Systèmes Complexes, Eds. D.Lefebvre, H.Chafouk, A.El Hami, M. Bennouna, N°ISBN 9954899200, Novembre 2008, pp.99-116 , N° 07567
Diffusable
Plus d'informations
Mots-Clés / Keywords
Réseaux de Petri temporel; Logique linéaire; Scenario; Minimalité;
Pertinent scenarios in temporal Petri nets for critical system analysis
N.SADOU, H.DEMMOU
ISI
Manifestation avec acte : 17th IFAC World Congress, Séoul (Corée), 6-11 Juillet 2008, pp.6926-6931 , N° 07546
Diffusable
Plus d'informations
Abstract
This paper deals with dynamic reliability of embedded systems. It is addressed by generating critical scenarios. This paper proposes a definition of the concepts of minimality and completeness, related to the notion of scenario. These two concepts guarantee the pertinence of scenarios. In Petri net model, a scenario is defined as a partial order between events leading from one partial state to another one. We use linear logic as a new representation of Petri net model. The definition of minimality and completeness is based on this new representation.
Mots-Clés / Keywords
Critical systems; Reliability Petri net; Linear logic; Scenario; Minimality; Completeness;
Critical scenarios for dynamic systems reliability
N.SADOU, H.DEMMOU
ISI
Revue Scientifique : International Journal of Design and Innovation Research, Vol.4, N°1, 14p., 2008 , N° 08483
Diffusable
Plus d'informations
Abstract
This paper deals with reliability of dynamic systems. It is addressed by generating critical scenarios. This paper proposes a definition of the concepts of minimality and completeness, related to the notion of scenario. These two concepts guarantee the pertinence of scenarios. In Petri net model, a scenario is defined as a partial order between events leading from one partial state to another one. We use linear logic as a new representation of Petri net model. The definition of minimality and completeness is based on this new representation.
Mots-Clés / Keywords
Temporal Petri nets; Linear logic; Scenario; Minimality; Completeness;
Hybrid approach for deriving feared scenarios in embedded systems
N.SADOU, H.DEMMOU, R.GUILLERM
ISI, Technicatome
Rapport LAAS N°07547, Octobre 2007, 6p.
Diffusable
111642Intégration de la sûreté de fonctionnement dans les processus d'ingénierie système
H.DEMMOU, M.MESSAADIA, N.SADOU, A.E.K.SAHRAOUI
ISI
Manifestation avec acte : 7ème Congres International de Génie Industriel, Trois Rivières (Canada), 5-8 Juin 2007, 11p. , N° 07103
Diffusable
110491Scenarios critiques minimaux pour la fiabilité des systèmes dynamiques
N.SADOU, H.DEMMOU, R.VALETTE
ISI, OLC
Manifestation avec acte : 7ème Congrès International Pluridisciplinaire. Qualité et Sûreté de Fonctionnement (QUALITA'2007), Tanger (Maroc), 20-22 Mars 2007, 8p. , N° 07010
Diffusable
109643Hybrid simulation for critical scenarios derivation
N.SADOU, H.DEMMOU
ISI
Manifestation avec acte : 2006 European Simulation and Modeling Conférence (ESM'2006), Toulouse (France), 23-25 Octobre 2006, pp.361-366 , N° 06575
Diffusable
108023ESA_PetriNet tool: extraction scenarios & analyzer by Petri net model. Application to the extraction of feared scenarios in a landing gears system
M.MEDJOUDJ, H.DEMMOU, R.VALETTE
ISI, OLC
Manifestation avec acte : 2006 European Simulation and Modeling Conférence (ESM'2006), Toulouse (France), 23-25 Octobre 2006, pp.375-382 , N° 06612
Diffusable
108022Minimality of critical scenarios in Petri net models
N.SADOU, H.DEMMOU
ISI
Manifestation avec acte : 2006 IEEE International Conference on Systems, Man, and Cybernetics, Taipei (Taiwan), 8-11 Octobre 2006, pp.3422-3429 , N° 06369
Diffusable
108160