咨询与建议

看过本文的还看了

相关文献

该作者的其他文献

文献详情 >A Model-Driven Co-Design Frame... 收藏

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.

读者评论 与其他读者分享你的观点

用户名:未登录
我的评分