Dr. rer. nat.

Weiß, Gereon

Filters
Reset filters

Settings
Now showing 1 - 10 of 12
  • Publication
    Evaluation of Traffic Control Systems as ITS Infrastructure for Automated Driving
    ( 2018)
    Franze, Juliane
    ;
    Seydel, Dominique
    ;
    Weiß, Gereon
    ;
    Haspel, Ulrich
    Vehicles with automated driving systems require more sensor information about their environment than non-automated vehicles. Detection with camera, lidar or other sensors is already state of the art in newer vehicles. As of today though, they only work in close proximity and lack the incorporation of existing traffic information from local authorities. In this paper, we present a novel way of providing traffic management information to vehicles, sent directly from Road Authorities. We use existing ITS (Intelligent Transport Systems) infrastructure and assess how information on traffic control and reroutes, displayed on variable message signs, can be used as sensory input for vehicles. We examine real world data from a South German Road Authority. The evaluation of latency, reliability and integrity of traffic information has been conducted end-to-end as well as between the six stations that are involved. We show the general feasibility of our proposal and discuss which obstacles need to be overcome for a wider use in other road systems.
  • Publication
    Software implementieren und absichern
    ( 2017)
    Weiß, Gereon
    ;
    Jiru, Josef
    Ein plötzliches Verkehrshindernis kann zur Gefahr werden. Vor allem dann, wenn es Autofahrer zu spät wahrnehmen und es nicht schaffen, rechtzeitig darauf zu reagieren. Ein Gefahrenwarner kann dem vorbeugen. Jedoch sind solche fahrzeugübergreifenden Funktionen sehr komplex: Sie erfordern neue Entwicklungsansätze und Entwicklungswerkzeuge. Das heißt vor allem, dass vernetzte Fahrfunktionen schon früh im Entwurf simuliert und getestet werden sollten.
  • Publication
    Safe adaptation for reliable and energy-efficient E/E architectures
    ( 2017)
    Weiß, Gereon
    ;
    Schleiß, Philipp
    ;
    Drabek, Christian
    ;
    Ruiz, Alejandra
    ;
    Radermacher, Ansgar
    The upcoming changing mobility paradigms request more and more services and features to be included in future cars. Electric mobility and highly automated driving lead to new requirements and demands on vehicle information and communication (ICT) architectures. For example, in the case of highly automated driving, future drivers no longer need to monitor and control the vehicle all the time. This calls for new fault-tolerant approaches of automotive E/E architectures. In addition, the electrification of vehicles requires a flexible underlying E/E architecture which facilitates enhanced energy management. Within the EU-funded SafeAdapt project, a new E/E architecture for future vehicles has been developed in which adaptive systems ensure safe, reliable, and cost-effective mobility. The holistic approach provides the necessary foundation for future invehicle systems and its evaluation shows the great potential of such reliable and energy-efficient E/E architectures.
  • Publication
    Ausfallsichere E/E-Architektur für hochautomatisierte Fahrfunktionen
    ( 2016)
    Weiß, Gereon
    ;
    Schleiß, Philipp
    ;
    Drabek, Christian
    Die Hochautomatisierung erfordert neue Ansätze zur Ausfallsicherheit von Fahrzeugbordnetzen: Wird der Fahrer künftig von der Überwachung des Fahrzeugs befreit, müssen die E/E-Architekturen eine höhere Ausfallsicherheit bereitstellen. Im Rahmen des EU Projekts SafeAdapt wird hierzu ein ganzheitlicher Ansatz vorgestellt.
  • Publication
    Design of self-adaptation in distributed embedded systems
    (Verlag Dr. Hut, 2015)
    Weiß, Gereon
    ;
    Knorr, Rudi
    ;
    Bauer, Bernhard
    Nowadays, complex computers are integrated in numerous devices and are deployed in diverse application areas, for example in the automotive, avionic, health-care, and industrial automation domain. These embedded systems are evolving towards complex interconnected and adaptive systems. They increasingly integrate more and more functionality and must function under varying conditions and in diverse situations. Therefore, distributed embedded systems become self-adaptive so that they can adjust to varying context situations. This poses new challenges for the development of these self-adaptive distributed embedded systems. Therefore, this thesis introduces a novel model-driven approach for designing self-adaptation of these systems. The presented approach is applied to the application domain of automotive Electrics / Electronics (E/E).
  • Publication
    Towards runtime adaptation in AUTOSAR
    ( 2013)
    Zeller, Marc
    ;
    Prehofer, Christian
    ;
    Krefft, Daniel
    ;
    Weiß, Gereon
    In many industrial application domains networked embedded systems realize safety-critical applications. In such systems, adapting the software distribution at runtime can be used to optimize system configurations, to add new features or to handle failure cases. The main objective of this paper is to devise a flexible and efficient solution for runtime adaptation in AUTOSAR, which requires minimal changes to the current architecture. We elaborate the main challenges for extending AUTOSAR and argue that small changes in the architecture and design process are feasible and effective for this purpose. Our work is validated by a proof of concept implementation.
  • 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
    Bessere Softwaremodelle mit einem Richtlinien-Katalog
    ( 2013)
    Drabek, Christian
    ;
    Weiß, Gereon
    Mit dem von Fraunhofer ESK entwickelten Werkzeugprototypen können Entwickler die Einhaltung von Richtlinien bei der Modellierung von Softwaremodellen künftig verlässlicher, umfassender und schneller prüfen. Das Programm umfasst sowohl derzeit gängige Methoden für die Validierung von Softwaremodellen als auch Mechanismen für die Prüfung von Modellierungsrichtlinien: Ein modularer Richtlinienkatalog, Profile mit unterschiedlichen Regelanforderungen und die Konfiguration einzelner Regeln erlauben eine Anpassung an die aktuelle Modellierungsaufgabe. Dazu kommen Möglichkeiten zur Dokumentation und automatisierten Korrektur von gefundenen Problemen.
  • Publication
    Towards runtime adaptation in AUTOSAR
    ( 2013)
    Zeller, Marc
    ;
    Prehofer, Christian
    ;
    Krefft, Daniel
    ;
    Weiß, Gereon
    In many industrial application domains networked embedded systems realize safety-critical applications. In such systems, adapting the software distribution at runtime can be used to optimize system configurations, to add new features or to handle failure cases. The main objective of this paper is to devise a flexible and efficient solution for runtime adaptation in AUTOSAR, which requires minimal changes to the current architecture. We elaborate the main challenges for extending AUTOSAR and argue that small changes in the architecture and design process are feasible and effective for this purpose. Our work is validated by a proof of concept implementation.