TU München - Fakultät für Informatik
Chair IV: Software & Systems Engineering

  Home  |  Research/Competence  |  Teaching  |  People  |  Publications  |  Misc  |  Contact  | 

|    

Competence Center Embedded Systems - Projects

Bequest
BeQuest investigates notations and refinement steps for the design of hybrid, i.e. mixed discrete and continuous, embedded systems.

DenTUM-I


DenTUM-II
(in collaboration with DENSO CORPORATION) The goal of this project was to define a methodology for the model-based development of automotive systems. This methodology was evaluated by developing an Adaptive Cruise Control (ACC) system with Pre-Crash Safety (PCS) functionality.

IMMA
Integrated Mathematical Machine Modeling

InTime
InTime develops a semantical and methological foundation of the UML-RT with emphasis on the flexible development of real-time critical systems.

Mobasis
Project Mobasis

Verisoft Automotive
Project Verisoft Automotive

Verisoft-XT
("Automotive Application" subproject, in ollaboration with Robert Bosch GmbH) The purpose of this project is to integrate verification techniques in real industrial development processes - from specification and analysis of requirements to a verified implementation. The aim is to delope methods necessary to bridge the gap from informal requirements towards formal specification and from there to executable mplementation.

Korsys
The aim of project KorSys (Korrekte Systeme) is to improve the applicability of formal methods for the specification and verification of complex software systems in practice.

Quest
The project combines mathematical and graphical software development techniques for the development of correct embedded systems software. Quest is funded by the Bundesamt für Sicherheit im Informationswesen (BSI)