|
Kompetenzzentrum Embedded Systems - Projekte
 Bequest
Projekt Bequest
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
Mobasis
Projekt Mobasis
Verisoft Automotive
Projekt 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)
|
