Formal verification in system design process: From EFFBDs to Petri nets

18th Annual International Symposium of the International Council on Systems Engineering, INCOSE 2008

Volumn 4, Issue , 2008, Pages 2074-2084

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

^a Sodius   (France)

^b not available   (France)

Author keywords

[No Author keywords available]

Indexed keywords

MODEL CHECKING; PETRI NETS; SAFETY ENGINEERING; SYSTEMS ENGINEERING;

BLOCK DIAGRAMS; CRITICAL PROPERTIES; END USERS; FUNCTION FLOWS; SAFETY ANALYSIS; SYSTEM DESIGN PROCESS; TIME PETRI NETS;

FORMAL VERIFICATION;

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

References (16)

1. Alur R., Courcoubetis C. and Dill D.L., "Model-checking for real-time systems." 5th IEEE Symposium on Logic in Computer, pp 414-425. IEEE Computer Society Press, June 1990.
2. Berthomieu, B. and Menasche, M., "An enumerative approach for analyzing time Petri nets." IFIP Congress Series, vol. 9, pp 41-46, 1983.
3. Gardey G., Lime D., Magnin M. and Roux O. H., "Roméo: A tool for analyzing time Petri nets." 17th International Conference on Computer Aided Verification (CAV'05), Lecture Notes in Computer Science, Edinburgh, UK, 2005.
4. 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. Ph.D. dissertation, IRCCyN, Nantes, France, 2005.
5. Henzinger, T. A., Manna, Z. and Pnueli, A., "Timed Transition Systems." Real Time: Theory in Practice, Lecture Notes in Computer Science, 1992.
6. Herzog, E., An approach to Systems Engineering tools data representation and exchange. Ph.D. dissertation, Linköpings Universitet, Sweden, 2004.
7. IEEE, IEEE Std 1220-1998: Standard for Application and Management of the Systems Engineering Process, revision of the IEEE Std 1220-1994, January 1999. Available online: http://ieeexplore.ieee.org/iel4/5981/16015/00741941.pdf.
8. Long, J., "Relationships between common graphical representations in Systems Engineering." 5th International Symposium of the INCOSE, St. Louis, MO, USA. July 1995, updated July 2002.
9. Merlin P., A study of recoverability of computing systems. Ph.D. dissertation, Dpt. Of Computer Science, University of California, CA, USA, 1974.
10. Petri C.A., Kommunikation mit Automaten. Ph.D. dissertation, Institut für instrumentelle Mathematik, Bonn, Germany, 1962.
11. Rugina, A.-E., "System dependability evaluation using AADL (Architecture Analysis and Design Language)." Rencontres des Jeunes Chercheurs en Informatique Temps-Réel (RJCITR), Nancy, France, September 2005.
12. SAE Aerospace, Architecture Analysis & Design Language (AADL) - SAE AS 5506. November 2004. Available online: http://www.aadl.info.
13. Seidner, C., Lerat, J.-P. and Roux, O. H., "Usability of formal verification on EFFBD models: Applying Petri nets to Systems Engineering issues." 17th International Symposium of the International Council on Systems Engineering (IS2007), San Diego, CA, USA, June 2007.
14. Seidner, C. and Roux, O. H., On the formal verification of EFFBD models using a structural translation to time Petri nets. Technical Report number RI2007-3 ref. 3695. IRCCyN, Nantes, France, October 2007.
15. SysML Finalization Task Force, OMG Systems Modeling Language (OMG SysML™) Specification - Proposed Available Specification. Object Management Group, March 2007. Available online: http://www.omg.org/cgi-bin/apps/doc?ptc/07-02-03.pdf.
16. Vandeperren, Y. and Dehaene, W., "SysML and Systems Engineering applied to UML-based SoC design." 2nd UML-SoC Workshop at 42nd Design Automation Conference, Anaheim, CA, USA, June 2005.