Certification of Safety-Critical Software Under DO-178C and DO-278A.
Stephen A. JacklinPublished in: Infotech@Aerospace (2012)
Keyphrases
- safety critical
- formal methods
- embedded systems
- fault tolerant
- safety analysis
- software intensive systems
- agent architecture
- nuclear power plant
- support systems
- adaptive systems
- software engineering practices
- real time
- learning systems
- software engineering
- decision making
- software systems
- knowledge based systems
- management system
- learning process