Spezifikation, Verifikation, Testtheorie Prof. Dr. Holger Schlingloff Institut für Informatik und Fraunhofer FIRST.

Präsentation zum Thema: "Spezifikation, Verifikation, Testtheorie Prof. Dr. Holger Schlingloff Institut für Informatik und Fraunhofer FIRST."—  Präsentation transkript:

1 Spezifikation, Verifikation, Testtheorie Prof. Dr. Holger Schlingloff Institut für Informatik und Fraunhofer FIRST

2 unser benachbartes Forschungsinstitut Abteilungen Eingebettete Systeme Interaktionssysteme Intelligente Datenverarbeitung ca. 120 Mitarbeiter studentische Mitarbeiter Studien- und Diplomarbeiten

3 FIRST-EST Themen: Methoden und Werkzeuge zur effizienten und sicheren Entwicklung eingebetteter Software Architekturen und Technologien für verlässliche, eingebettete Systeme Ziele: Frühzeitige Qualitätssicherung und automatische Generierung von Software Verlässlichkeit von eingebetteten Architekturen Anwendungsbereiche: Verkehr (Aerospace, Bahntechnik, Automobil) Medizintechnik

4 Projektbeispiele Aerospace Bordrechner für TET-Forschungssatellit Scheduling Zentralcomputer des Airbus A400 Bahntechnik Validierung eines Voting-Algorithmus für Stellwerkscomputer Arbeiten für ETCS Automobilbereich modellbasierter Test von Controller-Software Medizintechnik Re-Engineering und Verifikation einer Blutpumpe Aufbau eines Body-Area-Netzes für Ambient Assisted Living

5 Vorlesung Eingebettete Systeme Titel Informationssicherheit eingebetteter Systeme Zeit: Mittwoch 11:15 – 12:45, RUD25, 4.113 Beginn: 21.10. (!) Prüfbar: JA (mündliche Prüfung) Inhalt Einführung in eingebettete Systeme Grundlagen Informationssicherheit Bedrohungen und Schutzmaßnahmen Spezielle Herausforderungen an Rechenleistung, Energie, Kommunikation Entwicklungsprozesse

6 Blockvorlesung Algebraische Spezifikation Titel: Algebraische Spezifikation von Software und Hardware (H. Schlingloff / M. Roggenbach) Veranstaltungsform: Block-Kurs an 2 Wochenenden 15.1. nachmittags, 16.1., 17.1. 22.1. nachmittags, 23.1., 24.1 Inhalt Spezifikationsformalismen Common Algebraic Specification Language Industrielle Anwendungsbeispiele Werkzeuge (Theorembeweiser, Transformatoren)