版权所有:内蒙古大学图书馆 技术提供:维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
作者机构: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.