2 search results - page 1 / 1 » Model Extraction for ARINC 653 Based Avionics Software |
SPIN
2007
Springer
13 years 10 months ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
SIGADA
2007
Springer
13 years 10 months ago
2007
Springer
A system based on a hierarchical scheduler is a system in which the processor is shared between several collaborative schedulers. Such schedulers exist since 1960 and they are bec...