Critical scenarios derivation methodology for mechatronic systems

Reliability Engineering and System Safety

Volumn 84, Issue 1, 2004, Pages 33-44

  Demmou, Hamid ^a   Khalfaoui, Sarhane ^a,b   Guilhem, Edwige ^b   Valette, Robert ^a  

^a LAAS CNRS   (France)

^b CENTRO RICERCHE FIAT   (Italy)

Author keywords

Feared scenarios; Hybrid systems; Linear logic; Mechatronic systems; Petri net; Reliability in design

Indexed keywords

ACCIDENT PREVENTION; CONSTRAINT THEORY; DIFFERENTIAL EQUATIONS; FAILURE (MECHANICAL); GRAPH THEORY; LARGE SCALE SYSTEMS; PETRI NETS; RELIABILITY; SYSTEMS ANALYSIS;

FEARED SCENARIOS; HYBRID SYSTEMS; LINEAR LOGIC; MECHATRONIC SYSTEMS; RELIABILITY IN DESIGN;

MECHATRONICS;

EID: 1642633038     PISSN: 09518320     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ress.2003.11.007     Document Type: Conference Paper

References (12)

1. Murata T. Petri nets: properties, analysis and applications. Proc IEEE. 77:(4):1989;541-580.
2. Peterson J.L. Petri net theory and the modelling of systems. 1981;Prentice-Hall, New Jersy. ISBN 0-13-661983-5.
3. Moncelet G. Application des réseaux de Petri à l'évaluation de la sûreté de fonctionnement des systèmes mécatroniques du monde automobile. Thèse de Doctorat, No 3076. Toulouse: Université Paul Sabatier; 1998.
4. Girard J. Linear logic. Theor Comput Sci. 50:1987;1-102.
5. Champagnat R., Esteban P., Pingaud P., Valette R. Modelling and simulation of a hybrid system through Pr/Tr PN DAE model, ADPM'98. Third International Conference on Automation of Mixed Processes, 19-20 March, Reims, France. 1998;. p. 131-7.
6. Girault F. Formalisation en Logique Linéaire du fonctionnement des réseaux de Petri. Thèse de Doctorat, No 2870. Toulouse: Université Paul Sabatier; 1997.
7. Pradin-Chézalviel B., Valette R., Künzle L.A. Scenario duration characterization of t-timed Petri nets using linear logic, IEEE PNPM'99. Eighth International Workshop on Petri Nets and Performance Models, Zaragoza, Spain, September 6-10. 1999;. p. 208-17.
8. Manuel d'utilisation de l'outil Sofia de la société Sofreten, disponible à partir de la page web http://www.sofreten.fr/Aide%20Simfia/index.htm.
9. Garret C.J., Guarro S.B., Apostolakis G.E. The dynamic flowgraph methodology for assessing the dependability of embedded software systems. IEEE Trans Syst Man Cybernetics. 25:(5):1995;824-840.
10. Demmou H., Guilhem E., Valette R., Khalfaoui S. An algorithm for deriving critical scenarios in mechatronic systems. IEEE-SMC, Hammamet, Tunisia, 6-9 October. 2002.
11. Khalfaoui S., Guilhem E., Demmou H., Valette R. Une méthode pour obtenir des scénarios critiques dans les systèmes mécatroniques. Colloque Européen de Sûreté de Fonctionnement (lm13), Palais des Congrès - Lyon - France - 18 au 21 Mars. 2002.
12. Lee W.S., Grosh D.L., Tillman F.A., Lie C.H. Fault tree analysis, methods, and applications - a review. IEEE Trans Reliab. Aug 1:1985;194-203. ISSN 0018-9529; R-34.