Fault Injection Boundary-Scan Design for Verification of Fault-Tolerant Systems.

Published in: ITC (1994)

Keyphrases

fault tolerant
high assurance
distributed systems
safety critical
fault tolerance
formal methods
load balancing
computer systems
operating system
software architecture
interconnection networks
complex systems
information systems
model checking
response time
fault isolation
fault injection
digital libraries