An Industrial Case: Pitfalls and Benefits of Applying Formal Methods to the Development of a Network-Centric RTOS.
Eric VerhulstGjalt G. de JongVitaliy MezhuyevPublished in: FM (2008)
Keyphrases
- formal methods
- network centric
- safety critical
- knowledge based systems
- software engineering
- development lifecycle
- model checking
- case study
- user centric
- artificial intelligence
- high level
- software development
- knowledge acquisition
- decision support
- fine grained
- development process
- formal specification
- decision making
- databases