An On-Demand Test Triggering Mechanism for NoC-Based Safety-Critical Systems.
Jason D. LeeNikhil GuptaPraveen BhojwaniRabi N. MahapatraPublished in: ISQED (2008)
Keyphrases
- safety critical
- formal methods
- fault tolerant
- embedded systems
- safety analysis
- support systems
- agent architecture
- nuclear power plant
- artificial intelligence
- adaptive systems
- management system
- low cost
- real time
- intelligent systems
- regulatory requirements
- software development
- distributed systems
- open source
- decision making
- information systems
- data mining