Cost Effectiveness of Formal Methods in the Development of Avionics Systems at AÉROSPATIALE.
François PilarskiPublished in: B (1998)
Keyphrases
- formal methods
- safety critical
- cost effectiveness
- knowledge based systems
- software engineering
- formal specification
- formal analysis
- provably correct
- model checking
- cost effective
- development lifecycle
- artificial intelligence
- real time
- reactive systems
- multi agent systems
- model checker
- building blocks
- case study
- database
- process algebra
- data mining
- knowledge base
- support systems
- modeling language
- embedded systems
- knowledge management
- knowledge acquisition
- fine grained