Ph.D. - geht es zur Homepage der Informatik des Fachbereiches 3 ...

Contents
3.3.3. Rascal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
3.3.4. MetaEdit+ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
3.4. Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
4. The GOPPRR Meta Meta Model – An Extension of GOPRR 39
4.1. Concrete Syntax Description Formalism . . . . . . . . . . . . . . . . . . . . . . 40
4.2. GOPPRR C++ Abstract Syntax Model . . . . . . . . . . . . . . . . . . . . . . 43
4.3. GOPPRR XML Schema Definition . . . . . . . . . . . . . . . . . . . . . . . . . 46
4.4. MERL GOPPRR Generator . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
4.5. The Object Constraint Language for Static Semantics . . . . . . . . . . . . . . 47
4.5.1. OCL Example: Global, Numerical Criteria . . . . . . . . . . . . . . . . 48
4.5.2. OCL Example: Numerical Criteria within a Graph . . . . . . . . . . . . 48
4.5.3. OCL Example: Boolean Criteria within a Graph by further Type Specification
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
4.5.4. OCL Example: Port Connection Specification . . . . . . . . . . . . . . . 49
4.5.5. OCL Example: Graphical Containment . . . . . . . . . . . . . . . . . . 49
4.5.6. Limitations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
4.5.7. Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
4.6. Tool Chain . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
4.7. Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
II. Dependability 55
5. Verification and Validation 57
5.1. Applicable and Related Standards . . . . . . . . . . . . . . . . . . . . . . . . . 58
5.1.1. DIN EN 61508 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
5.1.2. EN 50128, EN 50129, and EN 50126 . . . . . . . . . . . . . . . . . . . . 59
5.1.3. DO-178B . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
5.2. Verification and Validation as Open Source Software . . . . . . . . . . . . . . . 60
5.3. Software Life Cycle with Domain-Specific Modelling . . . . . . . . . . . . . . . 61
5.4. Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
6. Security in Open Source Software 65
6.1. Memory Management . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
6.1.1. Partitioning . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
6.1.2. Paging . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
6.1.3. Segmentation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
6.1.4. Segmentation combined with Paging . . . . . . . . . . . . . . . . . . . . 68
6.2. Hardware Virtualisation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
6.2.1. Bandwidth Protection . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
6.2.2. Minimal Host Operating System . . . . . . . . . . . . . . . . . . . . . . 73
6.2.3. Hardware Assisted Virtualisation . . . . . . . . . . . . . . . . . . . . . . 73
6.2.4. Process Communication . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
x