Reference : A Model-Driven Co-Design Framework for Fusing Control and Scheduling Viewpoints

	Document type :	Scientific journals : Article
	Discipline(s) :	Engineering, computing & technology : Computer science
	Focus Areas :	Computational Sciences
	To cite this reference:	http://hdl.handle.net/10993/34987

Title :	A Model-Driven Co-Design Framework for Fusing Control and Scheduling Viewpoints
Language :	English
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 []
Publication date :	20-Feb-2018
Journal title :	Sensors
Publisher :	Molecular Diversity Preservation International (MDPI)
Volume :	18
Issue/season :	2
Special issue title :	Design and Implementation of Future CPS
Pages :	628
Peer reviewed :	Yes (verified by ORBilu)
Audience :	International
ISSN :	1424-8220
e-ISSN :	1424-3210
City :	Basel
Country :	Switzerland
Keywords :	[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
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.
Research centres :	FSTC CSC
Funders :	Fonds National de la Recherche - FnR
Name of the research project :	EARLY
Target :	Researchers ; Professionals ; Students ; General public ; Others
Permalink :	http://hdl.handle.net/10993/34987
DOI :	10.3390/s18020628
Other URL :	http://www.mdpi.com/1424-8220/18/2/628
FnR project :	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): File Commentary Version Size Access Open access sensors-18-00628.pdf Publisher postprint 2.36 MB View/Open Additional material(s): File Commentary Size Access Open access cpal_codesign_framework.zip 11.58 MB View/Open

All documents in ORBi^lu are protected by a user license.

 

University of Luxembourg Library |  Feedback |  Legal notices Site Map