Durch den Einsatz intelligenter eingebetteter Systeme werden zunehmend sichere und effizientere Automobile entwickelt. Die Realisierung dieser Systeme ist nur mit komplexer und verteilter Software möglich. Die hierfür eingesetzten Methoden zur Spezifikation, Validierung und Verifikation werden durch diese Entwicklung vor neue Herausforderungen gestellt. Zukünftige internationale Standards wie die ISO 26262 stellen explizite Anforderungen an die Methoden zu Spezifikation, zur Auslegung und funktionalen Absicherung von sicherheitskritischen Systemen. In dieser Arbeit wird eine Methode vorgestellt zur Spezifikation und systematischen Absicherung von eingebetten Systemen. Ein Hauptaugenmerk ist die Vertrauensbildung und Vertrauenserhöhung in die Qualität des in der Entwicklung befindlichen Systems durch Einsatz geeigneter Methoden in der Spezifikations-, der Design- und der Testphase. Schwerpunkte sind die frühzeitige Identifikation von Entwurfsfehlern und die Abschätzung der Qualität der Implementierung in den späteren Entwicklungsphasen. Hierfür wird das beabsichtige Sollverhalten des Systems frühzeitig analysiert und in ein formales Modell überführt. Das formale Modell fungiert für die anschließenden Schritte als Testmodell und ermöglicht die Generierung von automatisiert ausführbaren Testfällen.

    Increasingly intelligent and interconnected systems are embedded in automobiles to make road vehicles even more safe and economical. The realization of these systems is only possible by making use of complex and distributed software. Its development poses a challenge for the methods of specification, validation, and verification. Upcoming international standards such as ISO 26262 explicitly state requirements for the methods used for specification, design, and verification of safety-related systems. In this thesis, a method for the formal specification and systematic verification of embedded systems is presented. The focus is on the building and gaining of confidence in the quality of the system under development with the appliance of appropriate methods during the entire development process. Key aspects are early identification of design errors and estimation of the quality of the implementation in late development phases, in which systems are integrated and verified for field usage. For this purpose, the intended behavior of the system is analyzed and transformed into a formal model at an early development stage. The formal model serves as a test model for the following validation and verification of the system under development. Additionally, automated executable test cases can be derived from the model.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Specification and verification of embedded real-time systems in the automotive domain


    Additional title:

    Spezifikation und Verifikation von eingebetteten Echtzeitsystemen in Fahrzeugen


    Contributors:

    Published in:

    Publication date :

    2011


    Size :

    162 Seiten, Bilder, Tabellen, 157 Quellen



    Type of media :

    Theses


    Type of material :

    Print


    Language :

    English