Modulbeschreibung
Progamming High Integrity
Kürzel:
M_TuIT_EVA_1024
Durchführungszeitraum:
HS/21-HS/22
ECTS-Punkte:
2
Lernziele:
- Students can describe the concepts of cyclomatic complexity and how it relates to verification and validation of code and components.
- Students can explain the failure scenarios of programming languages and compilers, understand and use static code checkers and program code generators.
- Students can explain the run-time environments and their architectures required in both critical and mixed-criticality systems.
Verantwortliche Person:
Piai Guido
Standort (angeboten):
Buchs
Zusätzlich vorausgesetzte Kenntnisse:
Electrical and Mechatronic Engineers, Computer and Data Scientists
Modultyp:
Standard-Modul für MSE Master of Science in Engineering BB STD_08 (BU)(Keine Semesterempfehlung)
Standard-Modul für MSE Master of Science in Engineering BB STD_16 (BU)(Keine Semesterempfehlung)
Standard-Modul für MSE Master of Science in Engineering BB STD_13 (BU)(Keine Semesterempfehlung)
Standard-Modul für MSE Master of Science in Engineering VZ STD_08 (BU)(Keine Semesterempfehlung)
Standard-Modul für MSE Master of Science in Engineering VZ STD_16 (BU)(Keine Semesterempfehlung)
Standard-Modul für MSE Master of Science in Engineering VZ STD_13 (BU)(Keine Semesterempfehlung)
Standard-Modul für Technik und IT MSE_20(Keine Semesterempfehlung)
Bemerkungen:
https://moodle.msengineering.ch/mod/data/view.php?d=76&rid=4022
ECTS-Punkte pro Kategorie
Fachliche Vertiefung / 2 Punkte
Fachliche Vertiefung / 2 Punkte
Fachliche Vertiefung / 2 Punkte
Fachliche Vertiefung / 2 Punkte
Fachliche Vertiefung / 2 Punkte
Fachliche Vertiefung / 2 Punkte
Fachliche Vertiefung / 2 Punkte
Modulbewertung
Bewertungsart:
Note von 1 - 6
Leistungsbewertung
Während des Semesters:
Dieses Modul wird mittels mündlicher Prüfung bewertet.
Bewertungsart:
Note von 1 - 6
Gewichtung:
Dieses Modul wird mittels mündlicher Prüfung (Gewicht 100%) bewertet.
Bemerkungen:
Kurse in diesem Modul
Progamming High Integrity
Kürzel:
TuIT_EVA_1024
Arbeitsaufwand:
60
Semester:
1
Lernziele:
- Students can describe the concepts of cyclomatic complexity and how it relates to verification and validation of code and components.
- Students can explain the failure scenarios of programming languages and compilers, understand and use static code checkers and program code generators.
- Students can explain the run-time environments and their architectures required in both critical and mixed-criticality systems.
Plan und Lerninhalt:
- Algorithms and Applications: Cyclomatic complexity, process, patterns, verification, validation, function points, reliability predictions
- Tools: Pitfalls of C programming and High Integrity SW workflow, compilers, static code checkers, code generators
Runtime environments: Operating systems, hypervisors, application architectures - Exercises based on practical problems
- Complexity reduction
- Reliability prediction
- High integrity coding in C
Kursart:
Durchführung gemäss Stundenplan
Ergänzende Veranstaltung mit Lektionen pro Woche
- Max. Teilnehmer: 99
- Harte Grenze: nein