Systemmodellierung mit SCADE

Neben der traditionellen Softwareentwicklung spielt Software auch in eingebetteten Systemen eine immer größere Rolle. Diese Systeme zeichnen sich dadurch aus, das Aufgaben die früher traditionell in Hardware gelöst wurden aus Kostengründen immer häufiger durch Softwarekomponenten ersetzt werden.Beispiele sind Kontrollsysteme in Flugzeugen, Raumfahrt und Kraftwerken ebenso wie viele Komponenten in modernen Automobilen.

Für die Entwicklung dieser Systeme existieren mächtige Design- und Analysewerkzeuge die - weitgehend grafisch - Software- und Hardwareentwicklung vereinfachen. Eines der state-of-the-art Tools ist Esterel Technologies' SCADE Studio. In diesem Workshop wird eine Einführung in die Modellierung und Konstruktion mit SCADE gegeben. Die Veranstaltung wird von einem externen Experten von Esterel Technologies geleitet. Herr Gärtner wird in diesem zweitägien Seminar (jeweils 3 Stunden) eine Einführung in SCADE gegeben. Die ganze Veranstaltung ist praktisch orientiert und wird im Raum 1006 durchgeführt. Deshalb ist die Teilnehmerzahl auf 12 beschränkt.

Organisatorisches:

Der Workshop findet im Raum 1006 statt. Die Termine sind Donnerstag, 19.7 und Freitag 20.7 jeweiles 13:00 bis 16:00. Eine verbindliche Anmeldung ist bis spätestens Freitag 13.07 möglich. Für Anmeldung und Rückfragen, wendet euch bitte an Frank Ortmeier.

Anforderungen:

• Grundkenntnisse der Softwaretechnik
• Hilfreich: funktionale Sprachen, temporale Logik

weitere Informationen zu der Lehrveranstaltung: