Dr. rer. nat.

Weiß, Gereon

Filters

3 3
Reset filters

Settings
Now showing 1 - 6 of 6
  • Publication
    Interface verification using executable reference models: An application in the automotive infotainment
    ( 2013)
    Drabek, Christian
    ;
    Pramsohler, Thomas
    ;
    Zeller, Marc
    ;
    Weiß, Gereon
    Modern in-vehicle infotainment systems comprise highly interactive software components. The verification of the interfaces of such components poses a major challenge for developers. In this work, we present an approach for model-based verification of distributed infotainment components. We define a layered reference model which specifies the interaction between two components at syntactical and behavioral level. The layers abstract from the used middleware so developers may focus on the components' actual interface behavior. Additionally, we define a model execution framework which enables the reuse of the reference model for verification of interface implementations. We demonstrate the applicability of the approach using an industrial case study. Our approach aims at reducing errors in the communication behavior and increasing the overall product quality.
  • Publication
    ERNEST - framework for the early verification and validation of networked embedded systems
    ( 2013)
    Kamphausen, Benjamin
    ;
    Stante, Alexander
    ;
    Zeller, Marc
    ;
    Weiß, Gereon
    Since the requirements and the set of provided functionalities of networked embedded systems are growing, the complexity of these systems is continuously increasing as well. Early verification of embedded systems is necessary to prevent failures and to save costs during the design. Considering solely functional properties of the software for networked embedded systems is insufficient to satisfy the quality requirements in most of their application domains. To produce robust software-based embedded systems in a cost-efficient way, an early verification of non-functional properties is inevitable. ERNEST is an open tool-chain framework to enable the early verification of component-based software in the area of networked embedded systems. Based on a specific simulation framework, written in SystemC, ERNEST provides flexible mechanisms to verify non-functional properties in early design stages. ERNEST can be integrated easily into a model-based design flow and is based on the open-source development platform Eclipse. Thus, it states an extensible tool platform for verifying non-functional properties, which can easily be enhanced by various analysis techniques. To analyze and verify a networked embedded system, the modeled hardware, software and communication behavior is simulated as accurate as needed. The results of these simulations can be used in third-party tools or re-integrated into the initial model. Thus, an iterative model-driven development exploiting early prototyping is possible.
  • Publication
    Verifying & validating non-functional properties of automotive software architectures in early design stages
    ( 2013)
    Stante, Alexander
    ;
    Kamphausen, Benjamin
    ;
    Zeller, Marc
    ;
    Weiß, Gereon
    An increasing number of functions in modern automobiles are software-based. A modern automotive architecture contains up to 100 electronic control units (ECU) that communicate with one another to ensure proper vehicle functionality. The requirements and the set of provided functionalities of automotive embedded systems are growing, the complexity of these systems is continuously increasing as well. Early verification of automotive software architectures is necessary to prevent failures and to save costs during the design. Considering solely functional properties of the software for networked embedded systems is insufficient to satisfy the quality requirements in the automotive domain. To produce robust software-based embedded systems in a cost-efficient way, an early verification of non-functional properties is inevitable. Based on a specific simulation framework, written in SystemC, the open tool-chain framework ERNEST provides flexible mechanisms to verify non-functional properties of component-based software systems in early design stages. ERNEST can be integrated easily into a model-based design flow and is based on the open-source development platform Eclipse. Thus, it states an extensible tool platform for verifying non-functional properties, which can easily be enhanced by various analysis techniques.
  • Publication
    Towards efficient on-line schedulability tests for adaptive networked embedded real-time systems
    ( 2012)
    Becker, Klaus
    ;
    Zeller, Marc
    ;
    Weiß, Gereon
    In networked embedded systems, runtime adaptive software promises an increase of flexibility, fault tolerance and extensibility. Often, this requires that software components have to be allocated dynamically to execution platforms at runtime. Hence, the platforms have to execute dynamically changing task sets. However, in real-time systems, a task set cannot be executes without previously checking its schedulability w.r.t. given timing constraints. Therefore, it has to be determined, whether or not the existing task set would be still schedulable including newly arriving tasks. In this paper, we propose a schedulability test algorithm for such systems, exploiting the situation of adding a new task to an existing task set. Therefore, we adapt existing schedulability tests to exploit the specific acceptance test use case. The benefits of the developed adaptations are shown by experimental investigations.
  • Publication
    Approach for iterative validation of automotive embedded systems
    ( 2010)
    Weiß, Gereon
    ;
    Zeller, Marc
    ;
    Eilers, D.
    ;
    Knorr, Rudi
    Architecture description languages (ADLs) allow specifying system information in architecture models. These are generally used for capturing early design decisions concerning system or software development. Therefore, ADLs can be utilized for an early and iterative validation of the modelled system. With EAST-ADL an automotive specific ADL is defined which allows describing an automotive system at different layers of abstraction targeting AUTOSAR systems. SystemC is an executable system modelling and simulation language which permits Hardware/Software-Co-Design. With the Transaction-Level Modeling (TLM) methodology the description of different layers of abstraction in SystemC is enabled. This work addresses the early validation of automobile electronic systems by providing a transformation of EAST-ADL models to SystemC at different layers of abstraction. This allows specific analysis with Hardware/Software Co-Simulation iteratively in the development process. The proposed approach is realized in a tool-chain and demonstrated by a typical automotive use case. Hence, we show the potential of an early validation of system and software designs based on architecture models.
  • Publication
    A multi-layered control architecture for self-management in adaptive automotive systems
    ( 2009)
    Zeller, Marc
    ;
    Weiß, Gereon
    ;
    Eilers, Dirk
    ;
    Knorr, Rudi
    In this paper we discuss the need of a novel control architecture for managing the growing complexity in modern vehicles and outline a multi-layered approach for self-management in adaptive automotive systems. With this multi-layered control architecture it is possible to react in an adequate and quick way to changes in the supervised technical system. Especially for complex distributed real-time systems with various different requirements and system objectives, like vehicles, this approach provides the necessary degree of flexibility and dependability. In a first evaluation of this control architecture in a realistic automotive scenario we show the advantages of the multi-layered approach compared to a traditional central control architecture.