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

Slides:



Advertisements
Ähnliche Präsentationen
Das Studium der Informatik
Advertisements

Das Lehrgebiet „Software Engineering“
Prof. Dr. Liggesmeyer, 1 Software Engineering: Dependability Prof. Dr.-Ing. Peter Liggesmeyer.
Implementierung eines BPSK (De)Modulators auf einem Spartan 3E FPGA
Vorlesung: 1 Betriebliche Informationssysteme 2003 Prof. Dr. G. Hellberg Studiengang Informatik FHDW Vorlesung: Betriebliche Informationssysteme Teil3.
Eingebettete Systeme Qualität und Produktivität
Modellbasierte Software-Entwicklung eingebetteter Systeme
Modellbasierte Software-Entwicklung eingebetteter Systeme
Eingebettete Systeme Qualität und Produktivität
Prof. Dr. Holger Schlingloff
Software-Engineering II Eingebettete Systeme, Softwarequalität, Projektmanagement Prof. Dr. Holger Schlingloff Institut für Informatik der Humboldt.
Prof. Dr. Holger Schlingloff
Eingebettete Systeme Qualität und Produktivität
ZfS Aachen: Kompetenzen und Dienstleistungen für Mittelstand und Lehre.
Modelle und Methoden der Linearen und Nichtlinearen Optimierung (Ausgewählte Methoden und Fallstudien) U N I V E R S I T Ä T H A M B U R G November 2011.
Modelle und Methoden der Linearen und Nichtlinearen Optimierung (Ausgewählte Methoden und Fallstudien) U N I V E R S I T Ä T H A M B U R G November 2012.
Abteilung EHS Eingebettete Hardware-/Software-Systeme Prof. Dr. Wolfgang Nebel Carsten Beth PDA Hörgerät Entwicklung eines PDA-basierten Hörgerätes.
Kooperierende autonome Fahrzeuge
Standortfaktoren INTERN - Ausdrucksstark präsentieren.
Qualitätssicherung von Software
Qualitätssicherung von Software Prof. Dr. Holger Schlingloff Humboldt-Universität zu Berlin und Fraunhofer FIRST.
Prof. Dr. Holger Schlingloff
Eingebettete Systeme Qualität und Produktivität
Modellbasierte Software- Entwicklung eingebetteter Systeme Prof. Dr. Holger Schlingloff Institut für Informatik der Humboldt Universität und Fraunhofer.
Management großer Softwareprojekte Prof. Dr. Holger Schlingloff Humboldt-Universität zu Berlin, Institut für Informatik Fraunhofer Institut für Rechnerarchitektur.
Software Verification 2 Automated Verification Prof. Dr. Holger Schlingloff Institut für Informatik der Humboldt Universität and Fraunhofer Institut für.
Universität Stuttgart Institut für Kernenergetik und Energiesysteme Links Links sind im Text angegeben. Weitere Links werden kontinuierlich eingefügt.
Universität Stuttgart Institut für Kernenergetik und Energiesysteme Testing Frameworks im Internet Testing Framework (xUnit, unit testing)
Universität Stuttgart Institut für Kernenergetik und Energiesysteme LE P MuSofT Erkundungsumgebung Entwicklung eines komponentenbasierten Systems WS 03/04.
Modularisierung der Bachelor-Studiengänge im Studiendekanat E 9. Jan Studiengangskoordinatoren und wissenschaftliche Mitarbeiter des Studiendekanates.
Fortgeschrittenen-Praktikum: Entwicklung und Implementierung eines webbasierten Fußball-Tippspiels mit.
Vorlesung: 1 Betriebssysteme 2007 Prof. Dr. G. Hellberg Studiengang Informatik FHDW Vorlesung: Betriebssysteme Hochverfügbarkeit (Einführung) 3. Quartal.
Vorlesung: 1 Betriebliche Informationssysteme 2003 Prof. Dr. G. Hellberg Studiengang Informatik FHDW Vorlesung: Betriebliche Informationssysteme Teil2.
Willkommen zu Vorlesung
Ralf KüstersDagstuhl 2008/11/30 2 Ralf KüstersDagstuhl 2008/11/30 3.
Fakultät für Informatik Lehrstuhl IV: Software & Systems Engineering Zentralübung Automotive Software Engineering – Übungsblatt 5 Sascha Schwind.
Berliner Rahmenpläne Informatik für die Sekundarstufe I
Institut für Theoretische Informatik TU Carolo-Wilhelmina zu Braunschweig Teamprojekt in Software Systems Engineering und Theoretischer Informatik Einsatz.
Simulation komplexer technischer Anlagen
Spezifikation von Anforderungen
Studiengang Geoinformatik
Praktische Optimierung Sommersemester 2010 Prof. Dr. Günter Rudolph Lehrstuhl für Algorithm Engineering Fakultät für Informatik TU Dortmund.
Das Lehrgebiet „Software Engineering“
Zusammenfassung der Vorlesung
Prof. Dr. Holger Schlingloff
Softwaretechnik und Informationssysteme (Gebiet und Modul II.1.1, Module III.1.x) Dozenten der Softwaretechnik.
Praktische Optimierung (Vorlesung) Prof. Dr. Günter Rudolph Fachbereich Informatik Lehrstuhl für Algorithm Engineering Wintersemester 2007/08.
Praktische Optimierung – Präludium
Auslegung eines Vorschubantriebes
IT für Führungskräfte Vortragender: Horst Treiblmaier.
Technische Dokumentation für Sollich Turbotemper-Maschinen
WS 2009/10 Datenbanksysteme Fr 15:15 – 16:45 R Vorlesung #3 Das relationale Modell (Teil 2)
Übersicht - Methodik Studien zur Imitation von Interpretationen klassischer Klavier-Musik durch neuronale Netze.
Seminar „Standards, Normen und Best-Practice-Modelle für Entwicklung und Betrieb von Softwaresystemen“ (Wintersemester 2008/2009) Vorbesprechung + Themenvergabe:
Managemententscheidungsunterstützungssysteme (Ausgewählte Methoden und Fallstudien) ( Die Thesen zur Vorlesung 3) Thema der Vorlesung Lösung der linearen.
AK Simulationswerkzeuge für das RE R. Schmid / Folie 1 Evaluation von simulationsfähigen RE-Werkzeugen Reto Schmid Institut für Informatik,
Software-Qualitätssicherung UE h Inst. f. Softwaretechnik und Interaktive Systeme Anrechenbarkeit: Bakk. 526 Wirtschaftsinformatik KfK Software.
Modellbasierte Software-Entwicklung eingebetteter Systeme
Modellbasierte Software-Entwicklung eingebetteter Systeme
Modellbasierte Software-Entwicklung eingebetteter Systeme
Grundlagen der Rechnerarchitektur [CS ]
Qualitätssicherung von Software Prof. Dr. Holger Schlingloff Humboldt-Universität zu Berlin und Fraunhofer FIRST.
TEST. 2 SK / Ressort Regeltechnik Täter Gegenspieler Zuschauer Mitspieler.
Modellbasierte Software- Entwicklung eingebetteter Systeme Prof. Dr. Holger Schlingloff Institut für Informatik der Humboldt Universität und Fraunhofer.
Modellbasierte Software- Entwicklung eingebetteter Systeme Prof. Dr. Holger Schlingloff Institut für Informatik der Humboldt Universität und Fraunhofer.
Modellbasierte Software- Entwicklung eingebetteter Systeme Prof. Dr. Holger Schlingloff Institut für Informatik der Humboldt Universität und Fraunhofer.
Modellbasierte Software- Entwicklung eingebetteter Systeme Prof. Dr. Holger Schlingloff Institut für Informatik der Humboldt Universität und Fraunhofer.
Prof. Dr. Uwe Brinkschulte
Software Verification 2 Automated Verification Prof. Dr. Holger Schlingloff Institut für Informatik der Humboldt Universität and Fraunhofer Institut für.
Fachrichtung Theoretische Informatik
 Präsentation transkript:

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)