Model-based testing of autonomous systems based on Coloured Petri Nets

ARCS Workshops, ARCS 2012

Volumn , Issue , 2012, Pages

  Lill, Raimar ^a   Saglietti, Francesca ^a  

^a UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTONOMOUS SYSTEMS; COLOURED PETRI NETS; COOPERATING AGENTS; MODEL BASED TESTING; MODELLING LANGUAGE; VERIFICATION TECHNIQUES;

PETRI NETS;

MODEL CHECKING;

EID: 84864228343     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Article

References (16)

1. Jensen, K.; Kristensen, L. M.; Wells, L.: Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems. In: International Journal on Software Tools for Technology Transfer (STTT), Vol. 9, No. 3-4. Springer-Verlag, 2007; pp. 213-254.
2. Milner, R.: A Calculus of Communicating Systems. Vol. LNCS 92, Springer-Verlag, 1980.
3. Hoare, C. A. R.: Communicating Sequential Processes. In: Communications of the ACM, Vol. 21, No. 8. ACM Digital Library, 1978; pp. 666-677.
4. Object Management Group: UML Profile for Schedulability, Performance and Time Specification. Version 1.1, formal/05-01-02, 2005.
5. Object Management Group: UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems. Version 1.1, formal/2011-06-02, 2011.
6. Murata, T.: Petri Nets: Properties, Analysis and Applications. In: Proc. IEEE, Vol. 77, No. 4. IEEE, 1989; pp. 541-580.
7. Störrle, H.; Hausmann, J. H.: Towards a Formal Semantics of UML 2.0 Activities. In (Liggesmeyer, P.; Pohl, K.; Goedicke, M. Eds.): Proc. Software Engineering 2005, Essen, Germany, 2005. Vol. LNI 64, Köllen Verlag, 2005; pp. 117-128.
8. Jensen, K.: An Introduction to the Theoretical Aspects of Coloured Petri Nets. In (de Bakker, J. W.; de Roever, W.-P.; Rozenberg, G. Eds.): A Decade of Concurrency - Reflections and Perspectives, Proc. REX School/Symposium, Noordwijkerhout, the Netherlands, 1993. Vol. LNCS 803, Springer-Verlag, 1994; pp. 230-272.
9. Milner, R. et al.: The Definition of Standard ML (Revised). MIT Press, 1997.
10. Zhu, H.; He, X.: A Theory of Testing High Level Petri Nets. In (Feng, Y.; Notkin, D.; Gaudel, M.-C. Eds.): Proc. 16th Int. Conf. on Software - Theory and Practice, IFIP World Computer Congress 2000, Beijing, China, 2000. Publishing House of Electronics Industry, 2000; pp. 443-450.
11. Zhu, H.; He, X.: A Methodology of Testing High-Level Petri Nets. In: Information and Software Technology, Vol. 44, No. 8. Elsevier, 2002; pp. 473-489.
12. Genrich, H. J.; Lautenbach, K.: System Modelling with High-Level Petri Nets. In: Theoretical Computer Science, Vol. 13, Issue 1. Elsevier, 1981; pp. 109-136.
13. Westergaard, M.; Kristensen, L. M.: The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator. In (Franceschinis, G.; Wolf, K. Eds.): Proc. 30th Int. Conf. on Applications and Theory of Petri Nets, PETRI NETS 2009, Paris, France, 2009. Vol. LNCS 5606, Springer-Verlag, 2009; pp. 313-322.
14. Oster, N.; Saglietti, F.: Automatic Test Data Generation by Multi-Objective Optimisation. In (Górski, J. Ed.): Proc. 25th Int. Conf. on Computer Safety, Reliability, and Security, SAFECOMP 2006, Gdanks, Poland, 2006. Vol. LNCS 4166, Springer-Verlag, 2006; pp. 426-438.
15. Saglietti, F.; Pinte, F.: Automated Unit and Integration Testing for Component-based Software Systems. In: Proc. Workshop on Dependability and Security for Resource Constrained Embedded Systems (D&S4RCES'10), Vienna, Austria, 2010. ACM Digital Library, 2010.
16. Söhnlein, S. et al.: Software Reliability Assessment based on the Evaluation of Operational Experience. In (Müller-Clostermann, B.; Echtle, K.; Rathgeb, E. P. Eds.): Proc. 15th International GI/ITG Conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability in Fault Tolerance, MMB&DFT 2010, Essen, Germany, 2010. Vol. LNCS 5987, Springer-Verlag, 2010; pp. 24-38.