2017 | OriginalPaper | Buchkapitel
A Formal Approach for the Verification of Control Systems in Autonomous Driving Applications
verfasst von : Paweł Skruch, Marek Długosz, Pawel Markiewicz
Erschienen in: Trends in Advanced Intelligent Control, Optimization and Automation
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Control systems in autonomous vehicles can be considered as distributed embedded software systems where independent microprocessor systems communicate together using different communication protocols. Typical autonomous driving functionality is then realised by several microprocessors communicating with each other. Quality assurance and safety standards combined with increasing complexity and reliability demands make the development of such systems challenging. In order to assure the required quality and compliance with safety standards, a formal and methodical approach for testing and verification is required. The paper presents a proposal of such approach for verification and testing of control systems in the automotive applications covering active safety, advanced driver assistance and autonomous driving systems. The main focus of this approach is black-box testing and includes test design, implementation and execution.