QWE2002 Paper 7T

Dr. Mihaela Barreau, Dr. Jean-Yves Morel & Dr. Alexis Todoskoff
(University of Angers)

State-of-the Art Information on Petri Nets Applied to Software Quality

Key Points

Presentation Abstract

The purpose of this article is to highlight the advantages of Petri Nets (PN) in the embedded systems development (easy understanding, modeling, modularity, structural analysis, bench-marking, simulation) in particular in the design, the checking, the evaluation, and the validation of the reliability of these systems with software and hardware components. It is a bibliographical synthesis presenting the use of PN throughout the cycle of development, within the framework of reliability study.

About the Author

Dr. Mihaela Barreau received the PhD in automatic control and computer science from the University of Angers (France) in 1997. She is associate professor in automatic control and computer science in the Quality & Reliability Engineering Department of the University of Angers. Her research interests are in Petri Nets and complex software/hardware systems reliability.

Dr. Jean-Yves Morel received the PhD in automatic control and computer science from the University of Angers (France) in 1996. He is an associate professor in automatic control and electronics engineering in the Electrical Engineering Department of the University of Angers. His research interests are in the application of Petri Nets to hardware-software systems reliability.

Dr. Alexis Todoskoff received the PhD in automatic control and man-machine systems from the University of Valenciennes (France) in 1999. Since 1999, he is an associate professor in automatic control and software engineering in the Quality & Reliability Engineering Department of the University of Angers. His main research field is in the reliability of software systems.