Design-Time Verification of Reconfigurable Real-time Embedded Systems

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. V...

Full description

Saved in:
Bibliographic Details
Main Authors: Krichen, F., Hamid, B., Zalila, B., Jmaiel, M.
Format: Conference Proceeding
Language:English
Subjects:
Adaptation models
Bandwidth
design-time verification
dynamic reconfiguration
Embedded systems
Hardware
Instruction sets
Real-time systems
Unified modeling language
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
DOI:10.1109/HPCC.2012.217