DREAM & TEAM: A Tool and a Notation Supporting Exploration of Options and Traceability of Choices for Safety Critical Interactive Systems.
Xavier LacazePhilippe A. PalanquePublished in: INTERACT (2) (2007)
Keyphrases
- interactive systems
- safety critical
- support systems
- human computer interaction
- formal methods
- nuclear power plant
- safety analysis
- fault tolerant
- embedded systems
- artificial intelligence
- user interface
- agent architecture
- regulatory requirements
- digital entertainment
- life cycle
- case based reasoning
- multi agent systems