|
Kompetenzzentrum Embedded Systems - Sonstiges
AutoFocus
Das Werkzeug AutoFocus ist der Kern der Werkzeugentwicklungsaktivitäten des Embedded Systems Kompetenzzentrum. Dieses Werkzeug ermöglicht die durchgängig modellbasierte Entwicklung von eingebetteten Systemen beginnend von den Nutzerfunktionen, über die Definition einer Logischen Architektur bis hin zum Deployment auf eine verteilte Hardware Plattform. Darauf aufbauend wurden zahlreiche Analysen und Verifikationstechniken entwickelt, um die Qualität und die Korrektheit der Modelle zu prüfen. AutoFocus unterstützt die Generierung des vollständigen Applikationscodes aus den Modellen für zahlreiche Sprachen und Zielplattformen.
Protobuf-Embedded-C
Protobuf-Embedded-C ist ein Middleware-Generator, der basierend auf Google-Protocol-Buffers eine Middleware in der Sprache C generiert, welche für Embedded Platformen geeignet ist, da dieser sowohl unabhängig von dynamischer Speicherallokation, als auch äußerst ressourcensparend ist.
Focus
Focus ist eine Menge mathematischer Modelle und Notationen zur Spezifikation und Verifikation von verteilten reaktiven Systemen. Mit den Konzepten der Verfeinerung (refinement) und der Abstraktion (abstraction) bildet Focus das theoretische Fundament der Arbeiten der Embedded Systems Gruppe. Focus ist das Ergebnis des Teilprojekts A6 des Sonderforschungsbereichs 342.
Validas
Model Validation AG
Validas ist ein Spin-Off Unternehmen der Embedded Systems
Gruppe des Lehrstuhls.
|
|
