Using Rule-Based Engine to Support Test Validation Management of Complex Safety-Critical Systems.
Valentina AcciliGiovanni CantoneChristian Di BiagioGuido PennellaFabrizio GoriPublished in: ICSOFT (PL/DPS/KE/MUSE) (2007)
Keyphrases
- safety critical
- support systems
- formal methods
- management system
- knowledge management
- fault tolerant
- embedded systems
- safety analysis
- adaptive systems
- decision support
- software intensive systems
- data mining
- agent architecture
- expert systems
- cooperative
- decision makers
- software engineering
- decision making
- information systems