Die korrekte Entwicklung nebenläufiger Systeme ist auf Grund der Komplexität ein mühsames Unterfangen und häufig mit vielen Iterationen verbunden. Typischerweise wird das Verhalten von Eingebetteten Systemen, Telekommunikationsanlagen, aber auch ganz allgemein von Protokollen, mit formalen Sprachen und Werkzeugen realisiert, mit denen der Entwurf durch Einsatz von dort integrierten Simulatoren und Code-Erzeugern auch gleich test- und ausführbar gemacht werden kann. Da im Bereich Embedded Systeme häufig hohe Anforderungen an Hard- und Software gestellt werden, wie z.B. bei Produkten in der Medizintechnik, ist eine werkzeug-gestützte Entwicklung von immenser Bedeutung. Durch den Einsatz von Simulationen und automatisierten Tests kann parallel zur fortschreitenden Entwicklung frühzeitig Fehler entdeckt und das dynamische Verhalten dieser Systeme anschaulich erfasst werden.
Auf Anfrage können solche Arbeiten aus den Bereichen Automotive (strukturierte Entwicklung von Car-Infotainment-Systemen), der Medizintechnik und der Protokollentwicklung (UMTS, drahtlose Ad-Hoc-Netzwerke, etc.) vergeben werden.

Angebote für Praxispahesen und Projektarbeiten erfolgen in Kürze. Eigene Themen sin willkommen!