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

  Home  |  Forschung/Kompetenz  |  Lehre  |  Personen  |  Publikationen  |  Sonstiges  |  Kontakt  | 

|    

Kompetenzzentrum Tool Support - Überblick

Verwendung von rechnergestützen Systemen im Software-Engineeringprozess heisst Computer-Aided Software Engineering (CASE). CASE-Tools unterstützen viele Software-Entwicklungsschritte im Engineeringprozess. Modellbasierte Analyse- und Design-Werkzeuge sind besonders wichtige CASE-Tools, die bei der Entwicklung korrekter Software eingesetzt werden.

Die Werkzeuge und Methoden Gruppe untersucht die Verwendung von modellbasierten Werkzeugen mit dem Fokus auf der Entwicklung sicherheitskritische eingebetteter Systeme. Dazu fundiert die Entwicklung auf mathematischen Grundlagen. Zum praktischen Einsatz von sicherheitskritischer, eingebetteter Software mit nachweisbaren Eigenschaften, wird die Integration von CASE-Tools mit Validierungs- und Verifikations-Werkzeugen basierend auf den mathematischen Fundamenten der Modellen untersucht. Zusätzlich werden methodische Fragestellungen im Bereich von Spezifikation und Qualitätssicherung in der Gruppe Werkzeuge und Methoden untersucht.

Die bekanntesten Werkzeuge unseres Lehrstuhls zur Entwicklung, Validierung und Verifikation von Software Systemen sind AutoFOCUS und Isabelle. Zusätzlich werden an unserer Gruppe noch eine Reihe von Erweiterung und Verbindungen zwischen anderen Werkzeugen entwickelt. Die obige Liste enthält wichtige Werkzeuge die von unserer Gruppe entwickelt wurden.