™ Hard Real-Time Operating System, for Safety-Critical Software.
Davide FalessiGuido PennellaGiovanni CantonePublished in: PVM/MPI (2005)
Keyphrases
- operating system
- safety critical
- computer systems
- formal methods
- fault tolerant
- embedded systems
- safety analysis
- microsoft windows
- agent architecture
- multi tasking
- windows xp
- distributed systems
- linux kernel
- virtual machine
- support systems
- adaptive systems
- application level
- application programs
- user interface
- operating environment
- data processing
- source code
- memory management
- real time
- red hat
- load balancing
- health care
- database systems
- artificial intelligence