Research and Development Projects
-
AutoFocus - A CASE Tool for the Design of Distributed
Systems
- Research Project with the support of SFB A6 project
Focus
-
Quest - Combining Formal and Graphical Software Development
- Development Project for BSI in cooperation with DFKI, DB.
- MCC - Microsoft Competence Center
- in cooperation with Microsoft GmbH and Microsoft Research.
-
SEDEN - Rapid Prototyping and Verification of
Hybrid Autocar Systems
(finished)
- Research Project in cooperation with BMW AG, Munich.
-
SPECTRUM - Deduction oriented Specification and Design of
Software
- DFG Research Project in cooperation with LMU (Prof. Dr. Wirsing).
-
KORSO - Deduction oriented Development of Specifications
(finished)
- Project part of the BMBF-compound project KORSO, "Korrekte Software"
("Correct Software").
-
KorSys - Correct Software for safety-critical systems
- Project part of the BMBF-compound project
KorSys
in cooperation with BMW, ESG, OFFIS and SIEMENS.
-
FOCUS - A Design Methodology for Distributed Systems
- Project part of the SFB 342, "Methoden und Werkzeuge für
die Nutzung paralleler Rechnerarchitekturen".
-
FORSOFT - Bayerischer Forschungsverbund Software-Engineering
- Research cooperation between the TU München, LMU München, FAU Erlangen-Nürnberg, FAST and numerous bavarian industrial partners such as ABF, ADICOM, C. Behrens, BMW, ConSol, consultens, GILDEMEISTER, GSSE, PRO DV SOFTWARE, Rohde&Schwarz, Siemens, Software Factory and TRAUB.
-
Deduction in Formal Software Development
- Project within the DFG-Program "Deduktion"
-
COMPASS - a Comprehensive Algebraic Approach for System
Specification and Development
- Cooperation in the same named ESPRIT-team 3264.
-
Types for Proofs and Programs
- Part of the ESPRIT Project 21900-TYPES
-
Formal Methods in Software and System Development (finished)
- Cooperation with ZFE / Siemens AG.
-
Software and Systems Engineering
- in cooperation with EMSC and SNI.
-
Interactive Tools for Program Design (finished)
-
SysLab - Research Laboratory for Software and Systems
Development
- Cooperation with SNI, Siemens ZFE, Siemens ÖN
-
"Video on Demand" - Formal Foundation of System Specifications
(finished)
- Cooperation between Siemens AG ÖN TN EV A and
Project SysLab, TU München.
-
TLT - Temporal Logic of Transitions
(finished)
- Cooperation between the SysLab Project and Siemens AG, ZFE
-
Bellevue: Component-oriented Visual Program Development
- DFG-Project in cooperation with the chair of Prof. Endres
-
Formal Foundation of SDL
(finished)
- Cooperation Siemens AG ZFE T SE 4 and Project SysLab, TU München.
-
FAST e.V.
- Cooperation with the "Forschungsinstitut für angewandte
Software-Technologie (FAST) e.V.
("Research Institute for Applied Software Technology")
-
ARCUS - Standard-Architecture of Information Systems
- Cooperation with sd&m
-
SETIK - Strategy Study to estimate Trends and Developments in Information- and Communication Technology
- Development Project for BSI
- NADA
-
NELLI - Netzgestützter Lehrverbund zur Lehrerausbildung in Informatik
- Lehrprojekt zu ausgewählten Informatikthemen in Zusammenarbeit mit der FAU Erlangen-Nürnberg, der LMU München und der Universität Passau
-
InTime - Methodische Fundierung echtzeitkritischer Systeme auf Basis praxisnaher Beschreibungstechniken
- DFG-Projekt, assoziiert mit dem Schwerpunktprogramm Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen.
-
VERIFICARD
- Formalization and verification of aspects of JavaCard