Saglietti F, Föhrweiser D, Winzinger S, Lill R (2015)
Publication Language: English
Publication Type: Conference contribution, Conference Contribution
Publication year: 2015
Publisher: IEEE
Edited Volumes: Proceedings - 41st Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2015
Pages Range: 479-483
Conference Proceedings Title: Proceedings EUROMICRO SEAA 2015
Event location: Madeira (Portugal)
ISBN: 9781467375856
DOI: 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.
APA:
Saglietti, F., Föhrweiser, D., Winzinger, S., & Lill, R. (2015). Model-Based Design and Testing of Decisional Autonomy and Cooperation in Cyber-Physical Systems. In Proceedings EUROMICRO SEAA 2015 (pp. 479-483). Madeira (Portugal): IEEE.
MLA:
Saglietti, Francesca, et al. "Model-Based Design and Testing of Decisional Autonomy and Cooperation in Cyber-Physical Systems." Proceedings of the 41st EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), Madeira (Portugal) IEEE, 2015. 479-483.
BibTeX: Download