Progamming High Integrity
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.