Tool-Supported Validation of Embedded Systems in Automotive Applications
Thomas Kropf, Driver Assistance Function and Software Development Robert Bosch GmbH
Abstract
Safety and reliability are crucial factors in the design of electronic circuits and systems in automotive as they are often used in safety-critical applications (e.g., ABS, Airbag). Therefore, methods and tools play a significant role in establishing the correct function. This talk will address which methods like formal verification are already applied for designing such systems, which additional requirements result from the special application domain, and where further development is necessary, in order to improve methods and tools especially in the automotive domain.