Towards the Design of Certifiable Mixed-criticality Systems.
Sanjoy K. BaruahHaohan LiLeen StougiePublished in: IEEE Real-Time and Embedded Technology and Applications Symposium (2010)
Keyphrases
- building blocks
- design issues
- design tools
- machine learning
- design criteria
- design space
- computer systems
- design process
- computer aided
- human computer interface
- engineering design
- data sets
- knowledge based systems
- expert systems
- information systems
- embedded systems
- management system
- design decisions
- user interface
- formal methods
- multi agent
- design processes
- information retrieval
- mechanical systems
- technical systems