Die Präsentation wird geladen. Bitte warten

Die Präsentation wird geladen. Bitte warten

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

Ähnliche Präsentationen


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, 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

6 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)


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

Ähnliche Präsentationen


Google-Anzeigen