Event-based Formalization of Safety-critical Operating System Standards: An Experience Report on ARINC 653 using Event-B.
Yongwang ZhaoZhibin YangDavid SanánPublished in: CoRR (2015)
Keyphrases
- operating system
- safety critical
- fault tolerant
- formal methods
- safety analysis
- agent architecture
- distributed systems
- embedded systems
- computer systems
- support systems
- microsoft windows
- web services
- windows xp
- virtual machine
- adaptive systems
- operating environment
- memory management
- knowledge representation
- red hat
- learning systems
- metadata
- decision support
- expert systems
- knowledge base
- information systems
- artificial intelligence
- multi tasking
- real time