Towards verification-based development of in-vehicle safety critical software: a case study.
Martijn M. H. P. van den HeuvelReinder J. BrilPeter van de VeldeJohan J. LukkienPublished in: EDCC-CARS (2010)
Keyphrases
- safety critical
- formal methods
- safety analysis
- embedded systems
- fault tolerant
- nuclear power plant
- support systems
- agent architecture
- regulatory requirements
- adaptive systems
- case study
- real time
- model checking
- software systems
- low cost
- software engineering
- knowledge based systems
- formal specification
- software intensive systems
- decision support system
- information systems