Towards a verification approach for reconfigurable embedded systems

This paper proposes a verification approach of reconfigurable Distributed Real-time Embedded (DRE) systems. Since dynamic reconfiguration significantly complicates the execution of such a system, it is necessary to ensure the preservation of non-functional properties after applying a such reconfigur...

Full description

Saved in:
Bibliographic Details
Main Authors: Krichen, F., Gassara, A., Zalila, B., Jmaiel, M.
Format: Conference Proceeding
Language:English
Subjects:
Embedded systems
Global Positioning System
Hardware
Instruction sets
Real time systems
Resource management
Satellites
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:This paper proposes a verification approach of reconfigurable Distributed Real-time Embedded (DRE) systems. Since dynamic reconfiguration significantly complicates the execution of such a system, it is necessary to ensure the preservation of non-functional properties after applying a such reconfiguration. The proposed approach allows thus verifying non-functional properties at design time. Using our verification approach, the designer can easily verify these properties without deep knowledge of existing verification techniques.
ISSN:1530-1346
2642-7389
DOI:10.1109/ISCC.2012.6249388