Hardening High-Assurance Systems: MILS as Software Design for Avionics.
Kevin MuellerPublished in: MILS (2017)
Keyphrases
- software design
- high assurance
- software systems
- software engineering
- fault tolerant
- intelligent systems
- software development
- distributed systems
- data processing
- complex systems
- management system
- databases
- source code
- open source
- software architecture
- cooperative
- software components
- case study
- object oriented systems
- artificial intelligence