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

作     者：Sundharam, Sakthivel Manikandan Navet, Nicolas Altmeyer, Sebastian Havet, Lionel 

作者机构：Univ Luxembourg CSC Res Unit Lab Adv Software Syst LASSY L-4364 Esch Sur Alzette Luxembourg Univ Amsterdam CSA Grp NL-1098XH Amsterdam Netherlands RealTime At Work RTaW 4 Rue Piroux F-54000 Nancy France 

出 版 物：《SENSORS》 (传感器)

年 卷 期：2018年第18卷第2期

页      面：628-628页

核心收录：

学科分类：0710[理学-生物学] 071010[理学-生物化学与分子生物学] 0808[工学-电气工程] 07[理学] 0804[工学-仪器科学与技术] 0703[理学-化学] 

基　　金：FNR (Fonds National de la Recherche) Luxembourg National Research Fund (AFR) 

主　　题：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 

摘      要：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.