Institut für Technik der Informationsverarbeitung (ITIV)

Integration of Contracts for Verification of ECU Behavior in Automotive Networks in the Simulation Tool VisualSim

Integration of Contracts for Verification of ECU Behavior in Automotive Networks in the Simulation Tool VisualSim

.
.

Context

In the last decade, the automotive architecture experienced a substantial increase of its electronic and software portions. Those are responsible for the processing of a large amount of sensor data as well as the control of different automated mechatronic processes such as Advanced Driver-Assistance Systems (ADAS). The software functions run on corresponding Electronic Control Units (ECUs) and must fulfill various real-time and safety requirements.

For a formal specification of the operation environment conditions (Assumptions) and the guarantees delivered by the software components under these conditions (Guarantees), a contract-based approach can be used as a design and verification paradigm. The main advantages offered by contracts are: a clear traceability of requirements, enabling for formal verification and building unit for incremental verification. In this work, contracts for ECU specification should be integrated in the simulation tool VisualSim.

 

Tasks

  • Literature research in the fields of “Automotive Embedded Systems”, “Contract-based Design”, “Network and behavioral Simulation”
  • Identifying relevant metrics to be specified and monitored by contracts (e.g. Timing, Bandwidth, Value intervals)
  • Conception of an approach for contract-based verification with a VisualSim simulation model
  • Applying the concept to an exemplary architecture of an ADAS System
  • Evaluation of developed simulation
  • Documentation of the developed models and the results

 

Requirements

  • Motivation and creative way of thinking
  • Knowledge in system and software engineering, especially embedded systems
  • First programming knowledge (Java, Python or similar)