Introduction to characterization of monitors for testing safety-critical software.
Christian Di BiagioGuido PennellaAnna LomartireGiovanni CantonePublished in: ICSOFT (1) (2006)
Keyphrases
- safety critical
- formal methods
- safety analysis
- embedded systems
- fault tolerant
- agent architecture
- software intensive systems
- nuclear power plant
- support systems
- regulatory requirements
- adaptive systems
- test cases
- multi agent systems
- real time
- software systems
- machine learning
- software components
- design patterns
- formal specification
- intelligent agents
- software engineering