| SHOLIS
(continued) |
|
|
|
|
|
|
|
|
|
|
|
|
| • | Stringent
requirements: IDS 00-55 |
||||||||||
| – | Formalized
safety management and quality |
||||||||||
| systems |
|||||||||||
| – | Formal
specification of systems behaviour |
||||||||||
| – | Formal
proof (at both spec level and code level) |
||||||||||
| – | Fully
independent verification and validation |
||||||||||
| – | Timing
and memory limits |
||||||||||
