The Community for Technology Leaders
2015 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA) (2015)
Madeira, Portugal
Aug. 26, 2015 to Aug. 28, 2015
ISBN: 978-1-4673-7584-9
pp: 479-483
ABSTRACT
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.
INDEX TERMS
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
CITATION
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
100 ms
(Ver 3.3 (11022016))