Spezifikation, Verifikation, Testtheorie Prof. Dr. Holger Schlingloff Institut für Informatik und Fraunhofer FIRST
unser benachbartes Forschungsinstitut Abteilungen Eingebettete Systeme Interaktionssysteme Intelligente Datenverarbeitung ca. 120 Mitarbeiter studentische Mitarbeiter Studien- und Diplomarbeiten
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
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
Vorlesung Eingebettete Systeme Titel Informationssicherheit eingebetteter Systeme Zeit: Mittwoch 11:15 – 12:45, RUD25, Beginn: (!) 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
Blockvorlesung Algebraische Spezifikation Titel: Algebraische Spezifikation von Software und Hardware (H. Schlingloff / M. Roggenbach) Veranstaltungsform: Block-Kurs an 2 Wochenenden nachmittags, 16.1., nachmittags, 23.1., 24.1 Inhalt Spezifikationsformalismen Common Algebraic Specification Language Industrielle Anwendungsbeispiele Werkzeuge (Theorembeweiser, Transformatoren)