![[logo of the networked systems group]](/en/images/vs.gif)
Research
| Projects |
 | FERAL - a holistic model-driven simulation framework for virtual prototypes |
| A holistic model-driven simulation framework for virtual prototypes. |
| | Sinnodium Task 6.1.4 - Adaptive Services in Networked Production Environments |
| Adaptive services in networked production environments. |
| | SDL Package Substitution tool |
| Tool to manage big SDL systems |
| | Embedded, flexible and roboust bootloader for the Imote2 Hardware |
| Finished Projects |
| | µPros - Mikroprotokollbasierte Entwicklung adaptiver integrierter mobiler Ad-hoc-Netzwerke |
| DFG-Projekt Go503/5-1 |
 | Ambient Systems |
| | Generic Communication Systems |
| SFB 501, Teilprojekt B4 |
| | SDL Formal Semantics Project |
| | Protocol Implementation with FDTs |
| DFG-Projekt Go 503/4-1 |
| | FOREST - Formal Requirement Specification Technique |
| Organisations |
| | Deutsche Forschungsgemeinschaft (DFG) |
| | Gesellschaft für Informatik (GI) |
| | SDL Forum Society |
| | Superordinated page: AG Vernetzte Systeme |
| | Feedback |
| Go to the contact details of the person in charge of this page |
| | Deutsch  |
| This page in german. Diese Seite auf deutsch. |