![[Logo der AG Vernetzte Systeme]](/images/vs.gif)
Forschung
| Projekte |
 | 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 |
| Abgeschlossene Projekte |
| | µPros - Mikroprotokollbasierte Entwicklung adaptiver integrierter mobiler Ad-hoc-Netzwerke |
| DFG-Projekt Go503/5-1 |
 | Ambient Systems |
| | Generische Kommunikationssysteme |
| SFB 501, Teilprojekt B4 |
| | SDL Formal Semantics Project |
| | Protokollimplementierung mit FDTs - Vom Prototyp zum effizienten Code |
| DFG-Projekt Go 503/4-1 |
| | FOREST - Formal Requirement Specification Technique |
| Organisationen |
| | Deutsche Forschungsgemeinschaft (DFG) |
| | Gesellschaft für Informatik (GI) |
| | SDL Forum Society |
| | Übergeordnete Seite: AG Vernetzte Systeme |
| | Feedback |
| Zu den Kontaktdetails des Verantwortlichen dieser Seite |
| | English  |
| This page in english. Diese Seite auf englisch. |