Testing MetaObject Protocols Generated by Open Compilers for Safety-Critical Systems.
Juan-Carlos Ruiz-GarciaJean-Charles FabrePascale Thévenod-FossePublished in: Reflection (2001)
Keyphrases
- safety critical
- safety analysis
- formal methods
- nuclear power plant
- fault tolerant
- support systems
- embedded systems
- agent architecture
- expert systems
- management system
- decision support system
- knowledge based systems
- adaptive systems
- artificial intelligence
- intelligent systems
- distributed systems
- object oriented
- knowledge base
- decision making