A Roadmap and Some Directions Towards the Engineering of Interactive Systems Deployable in Safety Critical Contexts.
David NavarrePhilippe A. PalanqueCélia MartiniePublished in: EICS Workshops (2019)
Keyphrases
- safety critical
- interactive systems
- formal methods
- agent architecture
- fault tolerant
- human computer interaction
- safety analysis
- nuclear power plant
- embedded systems
- support systems
- regulatory requirements
- user interface
- software intensive systems
- adaptive systems
- real time
- low cost
- software engineering
- management system
- digital entertainment
- control system
- artificial intelligence
- decision support system
- multimedia