[Back]

D. Moldovan, H. Truong:
"A Platform for Run-Time Health Verification of Elastic Cyber-Physical Systems";
Talk: IEEE 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS 2016), London, United Kingdom; 2016-09-19 - 2016-09-21; in: "Proceedings of the IEEE 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS 2016)", IEEE, (2016), ISBN: 978-1-5090-3431-4; 379 - 384.

Cyber-physical Systems (CPS) have components deployed both in the physical world, and in computing environments, such as smart buildings or factories. Elastic Cyber-physical Systems (eCPS) are adaptable CPS capable of aligning their resources, cost, and quality to varying demand. However, failures can appear at run-time in the physical or software resources used by the eCPS. Failures can have different origins, from hardware failure, to management operations, software bugs, or resource congestion. While static verification methods can determine failure sources, they are less applicable to eCPS with complex hardware and software stacks. To this end, in this paper we introduce an approach and supporting platform for verifying at run-time eCPS health, and evaluate it on an eCPS for analysis of streaming data from smart environments.

elastic system, run-time verification, cyber-physical

http://dx.doi.org/10.1109/MASCOTS.2016.14

Project Head Hong-Linh Truong:
Testing Cyber-Physical Systems under Uncertainlty, Systematic, Extensible, and Configurable Model-based and Search-based Testing Methodologies