2015 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA) (2015)
Aug. 26, 2015 to Aug. 28, 2015
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SEAA.2015.68
This article presents a study on the benefits offered by Coloured Petri Nets in capturing and separating permanent and temporary behavioural information and on the systematic support they hereby provide to model-based design and testing of cyber-physical systems. In particular, it illustrates the application of CPN modelling to capture the behaviour of cooperative mobile robots and highlights their benefits in terms of compactness and scalability. Finally, the article reports on the applicability of test case generation algorithms supporting the coverage of the underlying CPN models with respect to different testing criteria.
Robots, Testing, Petri nets, Image color analysis, Cyber-physical systems, Firing, Conferences,Coloured Petri Nets, Model-based Design, Model-based Testing, Cyber-physical Systems, Autonomy, Cooperation
Francesca Saglietti, David Fohrweiser, Stefan Winzinger, Raimar Lill, "Model-Based Design and Testing of Decisional Autonomy and Cooperation in Cyber-Physical Systems", 2015 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA), vol. 00, no. , pp. 479-483, 2015, doi:10.1109/SEAA.2015.68