Towards the design of fault-tolerant mixed-criticality systems on multicores.
Luyuan ZengPengcheng HuangLothar ThielePublished in: CASES (2016)
Keyphrases
- fault tolerant
- distributed systems
- safety critical
- fault tolerance
- high assurance
- design process
- management system
- building blocks
- complex systems
- evolvable hardware
- design tools
- load balancing
- formal methods
- state machine
- knowledge based systems
- computer systems
- data structure
- interconnection networks
- fault isolation
- database