Paper Info
Title
Time-Sensitive Adaptation in CPS through Run-Time Configuration Generation and Verification
Abstract
The inherent dynamic nature of Cyber Physical Systems (CPS) requires novel mechanisms to support their evolution over their operation life time. Though typically the development of CPS integrates the software (cyber) design with the physical domain, this contribution concentrates mainly on another essential integration plane: The software design level. This paper presents an approach to support the adaptation process of CPS required by their evolution. It is based on the run-time generation of verified system configurations and their analysis to guide the evolution of the system through correct configurations that meet the functional and timing requirements of the new situations. We show its feasibility by presenting and analyzing the results of the execution for a reduced-scale time-sensitive application that employs a complex verification technique to model functional and temporal aspects of the system.
Year
DOI
Venue
2014
10.1109/COMPSAC.2014.55
Computer Software and Applications Conference
Keywords
Field
DocType
formal specification,program compilers,program verification,software maintenance,CPS,adaptation process,complex verification technique,cyber physical systems,functional aspects,functional requirements,operation life time,physical domain,run-time configuration generation,software cyber design,software design level,system configurations verification,system evolution,temporal aspects,time-sensitive adaptation,timing requirements,Cyber physical systems,adaptive systems,run-time verification
Functional verification,Software design,Systems engineering,Adaptive system,Computer science,Time sensitive,Verification,Real-time computing,Cyber-physical system,Software,Software verification
Conference
ISSN
Citations 
PageRank 
0730-3157
15
0.72
References 
Authors
9
3
Name
Order
Citations
PageRank
Marisol García-Valls154040.75
Diego Perez-Palacin2150.72
R. Mirandola3556.65