RT Conference Proceedings
T1 Incremental Latency Analysis of Heterogeneous Cyber-Physical Systems
A1 Delange, Julien
A1 Feiler, Peter
A2 Cucinotta, Tommaso
A2 Pautet, Laurent
A2 García Valls, Marisol
AB Cyber-Physical Systems, as used in automotive, avionics, or aerospace domains, have critical real-time require-ments. Time-related issues might have important impacts and, as these systems are becoming extremely software-reliant, validate and enforcing timing constraints is becoming difficult. Current techniques are mainly focused on validating these constraints late by using integration tests and tracing the system execution. Such methods are time-consuming and labor-intensive and, discovering timing issue late in the development process might incur significant rework efforts. In this paper, we propose an incremental model-based ap-proach to analyze and validate timing requirements of cyber-physical systems. We first capture the system functions, its related latency requirements and validate the end-to-end latency at a high level. This functional architecture is then refined into an implementation deployed on an execution platform. As system description is evolving, the latency analysis is being refined with more precise values. Such an approach provide latency analysis from a high level specification without having to implement the system, saving potential re-engineering efforts. It also helps engineers to select appropriate execution platform components or change the deployment strategy of system functions to ensure that latency requirements will be met when implementing the system.
PB Universidad Carlos III de Madrid
SN 978-84-697-1736-3
YR 2014
FD 2014-11
LK https://hdl.handle.net/10016/19688
UL https://hdl.handle.net/10016/19688
LA eng
NO REACTION 2014. 3rd International Workshop on Real-time and Distributed Computing in Emerging Applications. Rome, Italy. December 2nd, 2014.
NO This material is based upon work funded and supported by the Department of Defense under Contract No. FA8721-05-C-0003 with Carnegie Mellon University for the operation ofthe Software Engineering Institute, a federally funded research and development center.
DS e-Archivo
RD 1 sept. 2024