MLU
INF.01108.04 - Konstruktion sicherer Software (Complete module description)
Original version English
INF.01108.04 5 CP
Module label Konstruktion sicherer Software
Module code INF.01108.04
Semester of first implementation
Faculty/Institute Institut für Informatik
Module used in courses of study / semesters
  • Bioinformatik (MA120 LP) (Master) > Bioinformatik BioinformatikMA120, Version of accreditation (WS 2009/10 - SS 2016) > Softwaretechnik und Programmiersprachen
  • Bioinformatik (MA120 LP) (Master) > Bioinformatik BioinformatikMA120, Version of accreditation (WS 2016/17 - WS 2022/23) > Softwaretechnik und Übersetzerbau
  • Informatik (MA120 LP) (Master) > Informatik InformatikMA120, Version of accreditation (WS 2006/07 - SS 2013) > Primärmodule
  • Informatik (MA120 LP) (Master) > Informatik InformatikMA120, Version of accreditation (WS 2006/07 - SS 2013) > Sekundärmodule
  • Informatik (MA120 LP) (Master) > Informatik InformatikMA120, Version of accreditation (WS 2013/14 - SS 2016) > Vertiefende Module der Vertiefungsrichtung `Softwaretechnik und Übersetzerbau`
Responsible person for this module
Further responsible persons
Dr. Werner Gabrisch
Prerequisites
Skills to be acquired in this module
Die TeilnehmerInnen sollen Grundlagen und Methoden kennen lernen, die zur Konstruktion von Softwaresystemen in sicherheitstechnischen Bereichen wie z. B. Flugzeuge oder Automobile verwendet werden.
Module contents
Ausgehend von einer Einführung in die Problematik von Steuerungssystemen für reale Prozesse werden Methoden der Beschreibung von Modellen vermittelt. Dabei wird der Schwerpunkt auf den praktischen Einsatz gelegt. Zunächst werden wesentliche Grundbegriffe der statischen und dynamischen Modellierung vorgestellt. Es werden verschieden Methoden zur Transformation der Modelle untereinander und zu ihrer Verifikation vorgestellt. Es werden Ansätze zur automatisierten Umsetzung von Modellen zu lauffähigen Programmen vermittelt.
1. Eingebettete-Systeme, Sicherheits- und Lebendigkeitsbedingungen
2. Abstrakte Zustandsmaschinen
3. Automaten mit Erweiterungen
4. Temporale Logik
5. Modellprüfung
6. Codegenerierung
7. Programmprüfung
Forms of instruction Lecture (3 SWS)
Exercises (2 SWS)
Course
Languages of instruction German, English
Duration (semesters) 1 Semester Semester
Module frequency beginnend im Sommersemester im Wechsel mit
Module capacity unlimited
Time of examination
Credit points 5 CP
Share on module final degree Course 1: %; Course 2: %; Course 3: %.
Share of module grade on the course of study's final grade 1
Module course label Course type Course title SWS Workload of compulsory attendance Workload of preparation / homework etc Workload of independent learning Workload (examination and preparation) Sum workload
Course 1 Lecture Vorlesung 3 0
Course 2 Exercises Übung 2 0
Course 3 Course Bearbeitung der Übungsaufgaben/Selbststudium 0
Workload by module 150 150
Total module workload 150
Examination Exam prerequisites Type of examination
Course 1
Course 2
Course 3
Final exam of module
Regelmäßige Teilnahme und an den Übungen, Erfolgreiches Lösen von Übungsaufgaben, Die Lösungen von Übungsaufgaben erklären können
mündl./schriftl./elektron. Prüfung
Exam repetition information
Prerequisites and conditions Prerequisites Frequency Compulsory attendance Share on module grade in percent
Course 1 Summer semester No %
Course 2 Summer semester No %
Course 3 Summer semester No %