Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1109/HPCC.2012.217 | HPCC-ICESS |
Keywords | Field | DocType |
integrated model-based development approach,continuous satisfaction,non-functional property,reconfigurable dre system,system design,reconfigurable real-time,reconfiguration action,design-time verification,formal verification,unified modeling language,embedded systems,real time systems,instruction sets,hardware,bandwidth | Functional verification,Unified Modeling Language,Intelligent verification,Computer science,Instruction set,Systems design,Bandwidth (signal processing),Control reconfiguration,Distributed computing,Embedded system,Formal verification | Conference |
ISSN | Citations | PageRank |
2576-3504 | 1 | 0.38 |
References | Authors | |
10 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Fatma Krichen | 1 | 21 | 4.51 |
Brahim Hamid | 2 | 136 | 24.73 |
Bechir Zalila | 3 | 170 | 17.10 |
Mohamed Jmaiel | 4 | 668 | 110.41 |