Vorträge embedded world 2010

Dienstag, den 02. März 2010 um 07:52 Uhr

02.03.10 10.30 Uhr:
"Konzepte und Werkzeuge für die Entwicklung von Automotive Systeme"

Der Entwurf nebenläufiger, eingebetteter Systeme gestaltet sich durch die hohe Parallelität und die Wechselwirkungen zwischen den beteiligten Prozessen schwierig, teuer und oftmals fehleranfällig. In der Praxis werden oft Softwarefamilien verwendet, die über einen langen Zeitraum gepflegt werden müssen. Daher sollten Änderungen in der Spezifikation mit geringem Aufwand möglich sein und zu eindeutigen Codeanpassungen führen. Der Vortrag stellt eine Methode und Werkzeugfamilie vor, die zur Reduzierung der Systemkomplexität auf die Synthese großer Automaten aus einer Vielzahl kleinerer setzt, so dass man sich in jedem Entwicklungsschritt auf wichtige Systemmerkmale konzentrieren kann. Das vollständige System kann dann automatisch durch Codegeneratoren erzeugt werden. Den Test der Spezifikation unterstützt ein
integrierter Simulator mit der Möglichkeit, real-existierende Hardware an die   Simulation anzubinden (sog. Restbussimulation). Die vollständige Überprüfung    benutzerdefinierter Eigenschaften ist durch einen Modelchecker unter Einsatz
einer Erreichbarkeitsanalyse gewährleistet.

03.03.10 10.00 Uhr:
"Software-Entwicklung in eingebetteten Systemen – ein praktischer Ansatz zur Aufwandsminimierung im Prozessumfeld"

Normen und Prozesse stellen die Entwicklung von komplexer Software vor immer größere Herausforderungen. Nicht nur der Problemlösungsvorgang an sich, auch die Herangehensweise und die Dokumentation der einzelnen Schritte bis hin zum qualitativ hochwertigen Endprodukt bedürfen eines erheblichen Arbeitsaufwands.
Um diesen Aufwand möglichst gering zu halten, sollten nicht nur entsprechende Werkzeuge eingesetzt werden. Vielmehr muss das Design der Software so gestaltet werden, dass ein nachhaltiger Nutzen entsteht, der den Anforderungen aus dem Software-Lebenszyklus, dem Problemlösungsprozess, dem Konfigurationsmanagement und dem Risikomanagement gerecht wird.
Dieser Vortrag bietet einen praktischen Ansatz zur Softwareentwicklung in eingebetteten verteilten Systemen.