Keyphrases
- design requirements
- design issues
- interactive systems
- design criteria
- knowledge based systems
- building blocks
- learning systems
- fault diagnosis
- case study
- markov chain
- design process
- design methodology
- fault model
- artificial intelligence
- safety critical
- stochastic processes
- formal methods
- design tools
- embedded systems
- complex systems
- user interface