Madlener, Felix ; Weingart, Julia ; Huss, Sorin (2010)
Verification of Dynamically Reconfigurable Embedded Systems by Model Transformation Rules.
Konferenzveröffentlichung, Bibliographie
Kurzbeschreibung (Abstract)
This paper describes a methodology for the verification of reconfigurable embedded systems. The reconfigurable systems are described in the Discrete Event Specified System for Reconfigurable Systems (RecDEVS) computational model and the verification is performed by a model transformation from the RecDEVS Model of Computation into an equivalent representation for the UPPAAL model checking tool. We introduce an algorithm for the automatic transformation of such models. This allows the usage of an stateof-the art verification tool for the verification of arbitrary properties of system specifications denoted in RecDEVS. We also present a set of important system properties, which may be verified with this approach. This includes some reconfiguration domain specific verification properties. The feasibility of this approach is demonstrated for a complex automotive application.
| Typ des Eintrags: | Konferenzveröffentlichung |
|---|---|
| Erschienen: | 2010 |
| Autor(en): | Madlener, Felix ; Weingart, Julia ; Huss, Sorin |
| Art des Eintrags: | Bibliographie |
| Titel: | Verification of Dynamically Reconfigurable Embedded Systems by Model Transformation Rules |
| Sprache: | Englisch |
| Publikationsjahr: | Oktober 2010 |
| Buchtitel: | 4th IEEE/ACM International Conference on Hardware-Software Codesign and System Synthesis (CODES+ISSS 2010), part of the Embedded Systems Week |
| Kurzbeschreibung (Abstract): | This paper describes a methodology for the verification of reconfigurable embedded systems. The reconfigurable systems are described in the Discrete Event Specified System for Reconfigurable Systems (RecDEVS) computational model and the verification is performed by a model transformation from the RecDEVS Model of Computation into an equivalent representation for the UPPAAL model checking tool. We introduce an algorithm for the automatic transformation of such models. This allows the usage of an stateof-the art verification tool for the verification of arbitrary properties of system specifications denoted in RecDEVS. We also present a set of important system properties, which may be verified with this approach. This includes some reconfiguration domain specific verification properties. The feasibility of this approach is demonstrated for a complex automotive application. |
| Freie Schlagworte: | Secure Things;RecDEVS, Verification, Design Methodology, Reconfigurable Systems |
| Fachbereich(e)/-gebiet(e): | LOEWE > LOEWE-Zentren > CASED – Center for Advanced Security Research Darmstadt LOEWE > LOEWE-Zentren LOEWE |
| Hinterlegungsdatum: | 31 Dez 2016 00:15 |
| Letzte Änderung: | 17 Mai 2018 13:02 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum