Comparative Analysis on the Impact of Defensive Programming Techniques for Safety-Critical Systems.
Alex Ander Javarotti ZumaldeJorge Martins SecallJoão Battista Camargo JuniorPublished in: LADC (2009)
Keyphrases
- comparative analysis
- safety critical
- safety analysis
- formal methods
- embedded systems
- support systems
- fault tolerant
- intelligent systems
- management system
- expert systems
- nuclear power plant
- knowledge based systems
- real time
- agent architecture
- data mining
- medical images
- knowledge representation
- artificial intelligence