A Formal and Pragmatic Approach to Engineering Safety-critical Rail Vehicle Control Software.
Michael WasilewskiWilhelm HasselbringPublished in: Software Engineering (2011)
Keyphrases
- safety critical
- control software
- formal methods
- nuclear power plant
- safety analysis
- fault tolerant
- software engineering
- embedded systems
- artificial intelligence
- agent architecture
- control system
- real time
- support systems
- software intensive systems
- regulatory requirements
- knowledge based systems
- formal specification
- adaptive systems
- model checking
- software systems