Formal development process of safety-critical embedded human machine interface systems.
Ning GeArnaud DieumegardEric JennBruno d'AusbourgYamine Aït AmeurPublished in: TASE (2017)
Keyphrases
- development process
- safety critical
- human machine interface
- formal methods
- embedded systems
- human machine interfaces
- software engineering
- case study
- safety analysis
- fault tolerant
- systems development
- software development
- design process
- distributed systems
- gesture recognition
- software requirements
- artificial intelligence
- source code
- agent architecture
- support systems
- machine learning