Modulbeschreibung
Progamming High Integrity
Kurzzeichen:
M_TuIT_EVA_1024
ECTS-Credits:
2
Leitidee:
- 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.
Modulverantwortung:
Piai Guido
Standort (angeboten):
Buchs
Zusätzliche Eingangskompetenzen:
Electrical and Mechatronic Engineers, Computer and Data Scientists
Modultyp:
Wahlpflicht-Modul für MSE Master of Science in Engineering BB STD_08 (BU)(Keine Semesterempfehlung)Kategorie:Fachliche Vertiefung (MSE-FachV)
Wahlpflicht-Modul für MSE Master of Science in Engineering BB STD_13 (BU)(Keine Semesterempfehlung)Kategorie:Fachliche Vertiefung (MSE-FachV)
Wahlpflicht-Modul für MSE Master of Science in Engineering BB STD_16 (BU)(Keine Semesterempfehlung)Kategorie:Fachliche Vertiefung (MSE-FachV)
Wahlpflicht-Modul für MSE Master of Science in Engineering VZ STD_08 (BU)(Keine Semesterempfehlung)Kategorie:Fachliche Vertiefung (MSE-FachV)
Wahlpflicht-Modul für MSE Master of Science in Engineering VZ STD_13 (BU)(Keine Semesterempfehlung)Kategorie:Fachliche Vertiefung (MSE-FachV)
Wahlpflicht-Modul für MSE Master of Science in Engineering VZ STD_16 (BU)(Keine Semesterempfehlung)Kategorie:Fachliche Vertiefung (MSE-FachV)
Wahlpflicht-Modul für Technik und IT MSE_20(Keine Semesterempfehlung)Kategorie:Fachliche Vertiefung (MSE-FachV)
Bemerkungen:
https://moodle.msengineering.ch/mod/data/view.php?d=76&rid=4022
Modulbewertung:
Note von 1 - 6
Leistungsnachweise und deren Gewichtung
Während der Unterrichtsphase:
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:
Inhalte
Angestrebte Lernergebnisse (Abschlusskompetenzen):
- 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.
Modul- 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