Tomas Bures
Catia Trubiani
ABSTRACT
Context: the dynamic nature of complex Cyber-Physical Systems (CPS) introduces new research challenges since they need to smartly self-adapt to changing situations in their environment. This triggers the usage of methodologies that keep track of changes and raise alarms whether extra-functional requirements (e.g., safety, reliability, performance) are violated. Objective: this paper investigates the usage of software performance engineering techniques as support to provide a model-based performance evaluation of smart CPS. The goal is to understand at which extent performance models, specifically Queueing Networks (QN), are suitable to represent these dynamic scenarios. Method and Results: we evaluate the performance characteristics of a smart parking application where cars need to communicate with hot-spots to find an empty spot to park. Through QN we are able to efficiently derive performance predictions that are compared with long-run simulations, and the relative error of model-based analysis results is no larger than 10% when transient or congestion states are discarded. Conclusion: the usage of performance models is promising in this domain and our goal is to experiment further performance models in other CPS case studies to assess their effectiveness.
- Radhakisan Baheti and Helen Gill. 2011. Cyber-physical systems. The impact of control technology Vol. 12 (2011), 161--166.Google Scholar
- Simonetta Balsamo and Vittoria de Nitto Personè. 1994. A survey of product form queueing networks with blocking and their equivalences. Annals of Operations research Vol. 48, 1 (1994), 31--61.Google ScholarCross Ref
- Steffen et Al. Becker. 2012. The MechatronicUML design method-- process, syntax, and semantics. SE group, University of Paderborn, Tech. Rep. tr-ri-12--326 (2012).Google Scholar
- Giuliano Casale and Giuseppe Serazzi. 2011. Quantitative system evaluation with Java modeling tools WOSP/SIPEW Conference. 449--454. Google ScholarDigital Library
- Patricia Derler, Edward A Lee, and Alberto Sangiovanni Vincentelli. 2012. Modeling cyber--physical systems. IEEE, Vol. 100, 1 (2012), 13--28.Google ScholarCross Ref
- Rima Al Ali et Al. 2014. DEECo: an ecosystem for cyber-physical systems. In ICSE Companion. 610--611. Google ScholarDigital Library
- Allan Edgard Silva Freitas and Romildo Martins da Silva Bezerra. 2016. Performance Evaluation of Cyber-Physical Systems. ICIC Express Letters Vol. 10 (2016).Google Scholar
- Florian Hagenauer, Falko Dressler, and Christoph Sommer. 2014. Poster: A simulator for heterogeneous vehicular networks 2014 IEEE Vehicular Networking Conference (VNC). 185--186.Google Scholar
Index Terms
- Performance Modelling of Smart Cyber-Physical Systems
Recommendations
QN-based Modeling and Analysis of Software Performance Antipatterns for Cyber-Physical Systems
ICPE '21: Proceedings of the ACM/SPEC International Conference on Performance EngineeringIdentifying performance problems in modern software systems is nontrivial, even more so when looking at specific application domains, such as cyber-physical systems. The heterogeneity of software and hardware components makes the process of performance ...
To what extent formal methods are applicable for performance analysis of smart cyber-physical systems?
ECSA '19: Proceedings of the 13th European Conference on Software Architecture - Volume 2The dynamic nature of complex Cyber-Physical Systems (CPS) introduces new research challenges since they need to smartly deal with changing situations in their environment. This triggers the usage of methodologies that keep track of changes and raise ...
Software Engineering for Smart Cyber-Physical Systems: Challenges and Promising Solutions
Smart Cyber--Physical Systems (sCPS) are modern CPS systems that are engineered to seamlessly integrate a large number of computation and physical components; they need to control entities in their environment in a smart and collective way to achieve a ...
Comments