Reference : A Model-Driven Co-Design Framework for Fusing Control and Scheduling Viewpoints
Scientific journals : Article
Engineering, computing & technology : Computer science
Computational Sciences
http://hdl.handle.net/10993/34987
A Model-Driven Co-Design Framework for Fusing Control and Scheduling Viewpoints
English
Sundharam, Sakthivel Manikandan mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Navet, Nicolas mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Altmeyer, Sebastian mailto []
Havet, Lionel mailto []
20-Feb-2018
Sensors
Molecular Diversity Preservation International (MDPI)
18
2
Design and Implementation of Future CPS
628
Yes (verified by ORBilu)
International
1424-8220
1424-3210
Basel
Switzerland
[en] model-driven engineering; ; control software; ; timing tolerance contract; ; controller model; ; schedulability; ; stability; ; input jitters; ; varying execution-times; ; output jitters; ; input-to-output delay; ; co-simulation; ; real-time scheduling; ; control system performance
[en] Model-Driven Engineering (MDE) is widely applied in the industry to develop new software functions and integrate them into the existing run-time environment of a Cyber-Physical System (CPS). The design of a software component involves designers from various viewpoints such as control theory, software engineering, safety, etc. In practice, while a designer from one discipline focuses on the core aspects of his field (for instance, a control engineer concentrates on designing a stable controller), he neglects or considers less importantly the other engineering aspects (for instance, real-time software engineering or energy efficiency). This may cause some of the functional and non-functional requirements not to be met satisfactorily. In this work, we present a co-design framework based on timing tolerance contract to address such design gaps between control and real-time software engineering. The framework consists of three steps: controller design, verified by jitter margin analysis along with co-simulation, software design verified by a novel schedulability analysis, and the run-time verification by monitoring the execution of the models on target. This framework builds on CPAL (Cyber-Physical Action Language), an MDE design environment based on model-interpretation, which enforces a timing-realistic behavior in simulation through timing and scheduling annotations. The application of our framework is exemplified in the design of an automotive cruise control system.
FSTC CSC
Fonds National de la Recherche - FnR
EARLY
Researchers ; Professionals ; Students ; General public ; Others
http://hdl.handle.net/10993/34987
10.3390/s18020628
http://www.mdpi.com/1424-8220/18/2/628
FnR ; FNR10053122 > Sakthivel Manikandan Sundharam > EARLY > Timing-aware Model-Based Design with application to automotive embedded systems > 01/11/2015 > 31/10/2018 > 2015

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
sensors-18-00628.pdfPublisher postprint2.36 MBView/Open

Additional material(s):

File Commentary Size Access
Open access
cpal_codesign_framework.zip11.58 MBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.