Event-based formalization of safety-critical operating system standards: An experience report on ARINC 653 using Event-B.
Yongwang ZhaoZhibin YangDavid SanánYang LiuPublished in: ISSRE (2015)
Keyphrases
- operating system
- safety critical
- fault tolerant
- embedded systems
- formal methods
- safety analysis
- computer systems
- agent architecture
- distributed systems
- support systems
- virtual machine
- microsoft windows
- metadata
- windows xp
- multi tasking
- operating environment
- memory management
- adaptive systems
- data mining
- management system
- artificial intelligence
- database