The future of design specification and verification of safety critical interactive systems.: can our systems be sure (safe, usable, reliable and evolvable)?
David NavarrePhilippe A. PalanquePublished in: EICS (2009)
Keyphrases
- interactive systems
- safety critical
- formal methods
- safety analysis
- embedded systems
- human computer interaction
- model checking
- user interface
- formal verification
- nuclear power plant
- formal specification
- support systems
- knowledge based systems
- regulatory requirements
- modeling language
- fault tolerant
- software intensive systems
- business rules
- agent architecture
- design process
- knowledge acquisition