Department of Informatics

TU München - Fakultät für Informatik
Software & Systems Engineering Research Group


Competence Center Embedded Systems - Related Information

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

Protobuf-Embedded-C is a Middleware-Generator that based on Google-Protocol-Buffers generates a middleware in the language C, which is applicable for embedded devices, by being independant of dynamic memory allocation as well as very ressource efficient.

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.


© 1999-2009 - Software & Systems Engineering Research Group
Sitemap |  Contact
Last change: 2011-06-14 16:12:02