Hardware certification for real-time safety-critical systems: State of the art.
Andrew J. KorneckiJanusz ZalewskiPublished in: Annu. Rev. Control. (2010)
Keyphrases
- safety critical
- real time
- embedded systems
- safety analysis
- formal methods
- fault tolerant
- low cost
- nuclear power plant
- support systems
- software intensive systems
- adaptive systems
- agent architecture
- distributed systems
- regulatory requirements
- software development
- data mining
- load balancing
- intelligent agents
- intelligent systems
- management system
- learning process
- multi agent