Safety Aware Place and Route for On-Chip Redundancy in Safety Critical Applications.

Romuald Girardey Michael Hübner Jürgen Becker

Published in: ISVLSI (2010)

Keyphrases

safety critical
safety analysis
fault tolerant
formal methods
embedded systems
nuclear power plant
low cost
agent architecture
support systems
regulatory requirements
information systems
distributed systems
database design
software agents