• search hit 2 of 3
Back to Result List

Verification of Behavioral Compatibility in the Virtual Integration Methodology

  • The advantages of component-based systems include reuse of generic components as well as adaption through variants. However, they bare a high risk of containing incompatibilities between components, due to the lack of control over the integration-relevant aspects of their components. Current development processes are able to detect incompatibilities between components only at very late stages of system development. The Virtual Integration methodology is an approach to detect and to solve compatibility issues during early stages of system design. The methodology supports developers with a set of measures to reduce the risk of incompatibilities to a minimum at each abstraction layer of their system architecture. Realtime requirements of embedded systems make it necessary to support the methodology with a formal model, which can describe dynamic properties of these systems. In our approach, we use interface automata because they offer a lightweight formalism to describe the behavior of components and to verify their compatibility based on these descriptions. In a feasibility study we show, to which extend interface automata are adequate for the foresaid purpose in the automotive application field.

Export metadata

Additional Services

Share in Twitter Search Google Scholar Statistics
Metadaten
Author:Michael Schorer, Stefan Kuntz, Jürgen MottokORCiDGND
DOI:https://doi.org/10.1109/WISES.2010.5548424
Parent Title (English):8th IEEE Workshop on Intelligent Solutions in Embedded Systems,Heraklion, Greece, July 2010
Document Type:conference proceeding (article)
Language:English
Year of first Publication:2010
Release Date:2021/03/05
First Page:35
Last Page:42
Institutes:Fakultät Elektro- und Informationstechnik
Fakultät Elektro- und Informationstechnik / Laboratory for Safe and Secure Systems (LAS3)
research focus:Digitalisierung