A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems.
David NavarrePhilippe A. PalanqueSandra BasnyatPublished in: SAFECOMP (2008)
Keyphrases
- user interaction
- interactive systems
- safety critical
- formal methods
- user interface
- human computer interaction
- safety analysis
- fault tolerant
- agent architecture
- nuclear power plant
- user feedback
- user behavior
- formal specification
- embedded systems
- knowledge based systems
- support systems
- artificial intelligence
- model checking
- user input
- digital entertainment
- regulatory requirements
- user model
- real time
- control system
- context awareness
- adaptive systems
- decision support
- computational intelligence
- cooperative
- information systems
- machine learning