TU Darmstadt / ULB / TUbiblio

Verification of Dynamically Reconfigurable Embedded Systems by Model Transformation Rules

Madlener, Felix and Weingart, Julia and Huss, Sorin (2010):
Verification of Dynamically Reconfigurable Embedded Systems by Model Transformation Rules.
In: 4th IEEE/ACM International Conference on Hardware-Software Codesign and System Synthesis (CODES+ISSS 2010), part of the Embedded Systems Week, [Conference or Workshop Item]

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.

Item Type: Conference or Workshop Item
Erschienen: 2010
Creators: Madlener, Felix and Weingart, Julia and Huss, Sorin
Title: Verification of Dynamically Reconfigurable Embedded Systems by Model Transformation Rules
Language: ["languages_typename_1" not defined]
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.

Title of Book: 4th IEEE/ACM International Conference on Hardware-Software Codesign and System Synthesis (CODES+ISSS 2010), part of the Embedded Systems Week
Uncontrolled Keywords: Secure Things;RecDEVS, Verification, Design Methodology, Reconfigurable Systems
Divisions: LOEWE > LOEWE-Zentren > CASED – Center for Advanced Security Research Darmstadt
LOEWE > LOEWE-Zentren
LOEWE
Date Deposited: 31 Dec 2016 00:15
Identification Number: ISS:Madlener:2010:Vericationof:186
Export:
Suche nach Titel in: TUfind oder in Google

Optionen (nur für Redakteure)

View Item View Item