Towards the design of fault-tolerant mixed-criticality systems on multicores.

Luyuan Zeng Pengcheng Huang Lothar Thiele

Published 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