Testing Complex Safety-Critical Systems in SOA Context.
Renato DoniniStefano MarroneNicola MazzoccaAntonio OrazzoDomenico PapaSalvatore VenticinquePublished in: CISIS (2008)
Keyphrases
- safety critical
- formal methods
- safety analysis
- fault tolerant
- nuclear power plant
- context aware
- management system
- context sensitive
- embedded systems
- support systems
- information systems
- decision support system
- agent architecture
- regulatory requirements
- real time
- software intensive systems
- service oriented architecture
- object oriented
- expert systems
- web services
- artificial intelligence