Informatik
      Software & Systems Engineering
   
     
Overview
 
Team
 
Partners
 
   
 
 
 
 
 
 
 
 
 
 
 		  
 
 
 
 
 
 
 
 
 
 
 

   
  
  Verisoft-Automotive Beweisen als Ingenieurwissenschaft
 
Overview:

Verisoft is a long-term research project funded by the Federal Ministry of Education and Research (bmb+f).
Project administrating organization is the German Centre for Air- and Space Technology (DLR).
The main goal of the project is the persistent formal verification of computer systems.
The correct functionality of systems, as they are applied, for example, in automotive engineering, in security technology and
in the sector of medical technology, are to be mathematically proved.

Automotive is a part of Verisoft project in which practical scenario an application from the automotive sphere is about to be persistently verified.

The automotive software are something special because they are safety critical, real-time, embedded and distributed.
The study in this area is very important because software becoming more and more complex and the formalization of standarts
(FlexRay, OSEKtime FTCom, OSEKtime), theoretical base for the integration of formal methods into development process
as well some case studies on real-time system are needed.

TU München team deal with following aspects of the Verisoft-Automotive project:
Specification and Verification of FlexRay-protocol (considering the future integration with OSEKtime)
Specification and Verification of OSEKtime Communication Layer FTCom:
analyse of the communication concepts (considering the future integration with FlexRay)
Specification and Verification of the time-triggered operating system OSEKtime:
appropriate structuring of OSEKtime into layers, modelling of most important of them,
search of specific appropriate for specification and verification modelling concepts
Specification and Verification of the application (emergency call)
Integration of infrastructure and application

 
   

 
 
  Maria Spichkova
  Last modified 4.06.2004