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

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

|    

Kompetenzzentrum Embedded Systems - Sonstiges

AutoFocus
The CASE tool AutoFocus is the core of the tool development activities of the embedded systems group.

Focus
Focus consists of a set of mathematical models and notations for the specification, refinement, abstraction and verification of distributed reactive systems. It is the result of the subproject A6 of the Sonderforschungsbereich 342. Most of the foundational work of the embedded systems group is based on Focus.

Validas Model Validation AG
Validas is a spin-off company of the embedded systems activities at the chair of Software & Systems Engineering. Validas is the distributor for the Quest tool set (see above), which won the first price in the tool competition of the FM'99 World Congress on Formal Methods.