Automatic Test Management of Safety-Critical Systems: The Common Core - Behavioural Emulation of Hard-Soft Components.
Antonio GrilloGiovanni CantoneChristian Di BiagioGuido PennellaPublished in: ICSOFT (SE) (2007)
Keyphrases
- safety critical
- formal methods
- management system
- safety analysis
- support systems
- nuclear power plant
- embedded systems
- fault tolerant
- adaptive systems
- agent architecture
- decision making
- information systems
- intelligent systems
- building blocks
- decision support system
- real time
- software components
- expert systems
- regulatory requirements
- semi automatic
- learning systems
- knowledge based systems
- decision support
- knowledge management