Modulbeschreibung

Progamming High Integrity

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.

Kurse in diesem Modul

Progamming High Integrity:
  • 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
Ergänzende Veranstaltung mit undefined Lektionen pro Woche
Disclaimer

Diese Beschreibung ist rechtlich nicht verbindlich! Weitere Informationen finden Sie in der detaillierten Modulbeschreibung.