Notice
This item was automatically migrated from a legacy system. It's data has not been checked and might not meet the quality criteria of the present system.
Record link: 
http://hdl.handle.net/20.500.12708/56755
-
Title: 
A Platform for Run-Time Health Verification of Elastic Cyber-Physical Systems
-
Citation: 
Moldovan, D., & Truong, H.-L. (2016). A Platform for Run-Time Health Verification of Elastic Cyber-Physical Systems. In 2016 IEEE 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS). IEEE 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS 2016), London, United Kingdom, EU. IEEE. https://doi.org/10.1109/mascots.2016.14
-
Publisher DOI: 
10.1109/mascots.2016.14
-
Publication Type: 
Inproceedings - Full-Paper Contribution
en
Authors: 
Moldovan, Daniel 
Truong, Hong-Linh 
-
Organisational Unit: 
E194-02 - Forschungsbereich Distributed Systems 
-
Published in: 
2016 IEEE 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS) 
-
Date (published): 
2016
-
Event name: 
IEEE 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS 2016) 
-
Event date: 
19-Sep-2016 - 21-Sep-2016
-
Event place: 
London, United Kingdom, EU
-
Number of Pages: 
6
-
Publisher: 
IEEE
-
Peer reviewed: 
Yes
-
Keywords: 
elastic system; run-time verification; cyber-physical
-
Abstract: 
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 diff...
en
Project title: 
Testing Cyber-Physical Systems under Uncertainlty, Systematic, Extensible, and Configurable Model-based and Search-based Testing Methodologies 
-
Research Areas: 
Distributed and Parallel Systems: 95%
Computer Science Foundations: 5%
-
Science Branch: 
Informatik
-
Appears in Collections:
Conference Paper

Show full item record

Page view(s)

253
checked on Nov 23, 2023

Google ScholarTM

Check