Usability of formal verification on EFFBD models: Applying petri nets to systems engineering issues

17th Annual International Symposium of the International Council on Systems Engineering, INCOSE 2007 - Systems Engineering: Key to Intelligent Enterprises

Volumn 2, Issue , 2007, Pages 812-823

  Seidner, Charlotte ^a   Lerat, Jean Philippe ^a   Roux, Olivier H ^a  

^a INSTITUT DE RECHERCHE EN COMMUNICATIONS ET CYBERNÉTIQUE DE NANTES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL TOOLS; FORMAL VERIFICATIONS; HIGH-LEVEL MODELS; MODEL TRANSFORMATION; SYSTEMS ENGINEERS; TIME PETRI NETS; TRANSLATION TOOLS; VERIFICATION AND VALIDATION;

PETRI NETS;

SYSTEMS ENGINEERING;

EID: 84878088882     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)

1. Alur R., Courcoubetis C. and Dill D.L., "Model-checking for real-time systems". In 5th IEEE Symposium on Logic in Computer IEEE Computer Society Press, June, pp 414-425. 1990.
2. Alur R. and Dill D.L., "A theory of timed automata". Theoretical Computer Science, 126 pp 183-235, 1994.
3. Berthomieu B. and Diaz, M., "Modeling and verification of time dependent systems using time Petri nets". IEEE Transactions on Software Engineering 17 pp 259-273, 1991.
4. Delatour J., Contribution à la spécification des systèmes temps réel : l'approche UML/PNO. PhD thesis, Laboratoire d'Analyse et d'Architecture des Systèmes, 2003.
5. Diaz M. et al. Vérification et mise en oeuvre des réseaux de Petri. Lavoisier, 2003. Frankel D., Model Driven Architecture: Applying MDA to Enterprise Computing. John Wiley & Sons, OMG Press, 2003.
6. Gardey G., Contribution à la vérification et au contrôle des systèmes temps réel - Application aux réseaux de Petri temporels et aux automates temporisés. PhD thesis, IRCCyN, 2005.
7. Gardey G., Lime D., Magnin M. and Roux O.H, "Roméo: A tool for analyzing time Petri nets". In 17th International Conference on Computer Aided Verification, Lecture Notes in Computer Science, Edinburgh, UK, 2005.
8. IEEE, IEEE-1220: Application & management of systems engineering process, 1994. Jensen K., "Coloured Petri nets". In Advances in Petri nets 1986 Springer Verlag pp 248-299. 1987.
9. Kleppe A., Warmer J. and Bast W., MDA Explained : The Model Driven Architecture : Practice and Promise. Addison-Wesley Longman Publishing Co., Inc., Boston, USA, 2003.
10. Knutilla A., Schlenoff C., Ray S., Polyak S., Tate A., Cheah S. and Anderson R., "Process specification language: an analysis of existing representations". Technical report, National Institute of Standards and Technology, Manufacturing Engineering Laboratory, 1998.
11. Long J., "Relationships between common graphical representations in System Engineering". In 5th International Symposium of the INCOSE (updated July 2002), 1995
12. Merlin P., A study of recoverability of computing systems. PhD thesis, Dpt. Of Computer Science, University of California, Irvine, USA, 1974.
13. Ober I., Graf S., and Ober I., "Validation of UML models via a mapping to communicating extended timed automata". Lecture Notes in Computer Science, pp 127-145, 2004.
14. Oliver D., Kelliher T. and Keegan J., Engineering complex systems with models and objects. McGraw-Hill, 1997.
15. Petri C.A., Kommunikation mit Automaten. PhD thesis, Institut für instrumentelle Mathematik, 1962.
16. Ramchandani C., Analysis of asynchronous concurrent systems by timed Petri nets. PhD thesis, Massachusetts Institute of Technology, Cambridge, USA, 1974.
17. Rugina A.E., "System dependability evaluation using AADL (Architecture Analysis and Design Language)". In Rencontres Jeunes Chercheurs en Informatique Temps-Réel (RJCITR), September 2005.
18. Seidner C., Étude de la traduction de diagrammes de type eFFBD en réseaux de Petri temporels. M. Res. thesis, Ecole Centrale de Nantes, September 2006.
19. Seidner C., Lerat J.P., Roux O.H. and Magnin M., "Vérification dynamique et formelle d'un système décrit par son architecture fonctionnelle à l'aide de réseaux de Petri temporels (TPN): promesses et perspectives". In 4e Conférence Annuelle d'Ingénierie Système, Toulouse, France, May 2006.