Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems: a case study.
Francesco AlbertiSilvio GhilardiElena PaganiSilvio RaniseGian Paolo RossiPublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2010)
Keyphrases
- fault tolerant
- safety critical
- distributed systems
- fault tolerance
- high assurance
- support systems
- design tools
- case study
- knowledge based systems
- load balancing
- computer systems
- evolvable hardware
- parallel algorithm
- software engineering
- state machine
- technical systems
- intelligent systems
- multi agent
- human operators
- artificial intelligence