Design-Time Verification of Reconfigurable Real-time Embedded Systems
Design-Time Verification of Reconfigurable Real-time Embedded Systems
复制标题
DOI：
10.1109/hpcc.2012.217
复制
发表时间：
2012-06
期刊：
影响因子：
--
通讯作者：
Fatma Krichen;B. Hamid;Bechir Zalila;M. Jmaiel
中科院分区：
文献类型：
--
作者：
Fatma Krichen;B. Hamid;Bechir Zalila;M. Jmaiel
在本文中，我们提出了一个框架，允许建模和验证可重构的分布式实时嵌入式（DRE）系统。事实上，由于重新配置大大增加了系统设计和执行的复杂性，许多非功能属性和约束不容易保留。因此，在应用重构措施后，应验证非功能特性的持续满足。为此，我们开发了一种集成的基于模型的开发方法，允许对可重构DRE系统进行建模和验证。
In this paper, we propose a framework allowing the modeling and verification of reconfigurable Distributed Real-time Embedded (DRE) systems. In fact, as reconfiguration significantly complicates system design and execution, many non-functional properties and constraints cannot be easily preserved. Verifying the continuous satisfaction of non-functional properties should be thus accomplished after applying reconfiguration actions. For this purpose, we develop an integrated model-based development approach allowing modeling and verification of reconfigurable DRE systems.