To what extent formal methods are applicable for performance analysis of smart cyber-physical systems?-Reference-Cited by-同舟云学术

To what extent formal methods are applicable for performance analysis of smart cyber-physical systems?

Published:2019 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 13th European Conference on Software Architecture - ECSA '19 - volume 2
language:
Short-container-title:

Author:

Pagliari Lorenzo¹,D'Angelo Mirko²,Caporuscio Mauro²,Mirandola Raffaela³,Trubiani Catia¹

Affiliation:

1. Gran Sasso Science Institute, Italy

2. Linnaeus University, Sweden

3. Politecnico di Milano, Italy

Publisher

ACM Press

Reference37 articles.

1. Aldeida Aleti, Barbora Buhnova, Lars Grunske, Anne Koziolek, and Indika Meedeniya. 2013. Software Architecture Optimization Methods: A Systematic Literature Review.IEEE Trans. Software Eng. 39, 5 (2013), 658--683.

2. Martin Andersson, Dan Henriksson, Anton Cervin, and K Arzen. 2005. Simulation of wireless networked control systems. InEuropean Control Conference on Decision and Control. 476--481.

3. Asoke Kumar Bhunia, Laxminarayan Sahoo, and Dilip Roy. 2010. Reliability stochastic optimization for a series system with interval component reliability via genetic algorithm.Appl. Math. Comput. 216, 3 (2010), 929--939.

4. Tomás Bures, Vladimír Matena, Raffaela Mirandola, Lorenzo Pagliari, and Catia Trubiani. 2018. Performance Modelling of Smart Cyber-Physical Systems. InInternational Conference on Performance Engineering. 37--40.

5. Lei Cao, Jian Cao, and Minglu Li. 2005. Genetic algorithm utilized in cost-reduction driven web service selection. InInternational Conference on Computational and Information Science. 679--686.

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Integrating the analysis of multiple non-functional properties in model-driven engineering;Software and Systems Modeling;2021-11-28

2. Performance Modelling of Intelligent Transportation Systems: Experience Report;Companion of the ACM/SPEC International Conference on Performance Engineering;2021-04-19