Article (Scientific journals)
A Model-Driven Co-Design Framework for Fusing Control and Scheduling Viewpoints
SUNDHARAM, Sakthivel Manikandan; NAVET, Nicolas; Altmeyer, Sebastian et al.
2018In Sensors, 18 (2), p. 628
Peer Reviewed verified by ORBi
 

Files


Full Text
sensors-18-00628.pdf
Publisher postprint (2.42 MB)
Download
Annexes
cpal_codesign_framework.zip
(11.85 MB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
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
Abstract :
[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.
Disciplines :
Computer science
Author, co-author :
SUNDHARAM, Sakthivel Manikandan ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
NAVET, Nicolas ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Altmeyer, Sebastian
Havet, Lionel
External co-authors :
yes
Language :
English
Title :
A Model-Driven Co-Design Framework for Fusing Control and Scheduling Viewpoints
Publication date :
20 February 2018
Journal title :
Sensors
ISSN :
1424-8220
eISSN :
1424-3210
Publisher :
Molecular Diversity Preservation International (MDPI), Basel, Switzerland
Special issue title :
Design and Implementation of Future CPS
Volume :
18
Issue :
2
Pages :
628
Peer reviewed :
Peer Reviewed verified by ORBi
Focus Area :
Computational Sciences
FnR Project :
FNR10053122 - Timing-aware Model-based Design With Application To Automotive Embedded Systems, 2015 (01/11/2015-30/09/2018) - Sakthivel Manikandan Sundharam
Name of the research project :
EARLY
Funders :
FNR - Fonds National de la Recherche
Available on ORBilu :
since 22 February 2018

Statistics


Number of views
113 (21 by Unilu)
Number of downloads
454 (5 by Unilu)

Scopus citations®
 
7
Scopus citations®
without self-citations
5
OpenCitations
 
5
OpenAlex citations
 
7
WoS citations
 
5

Bibliography


Similar publications



Contact ORBilu