Heterogeneous Simulation and Interoperability of Tools Applied to the Design, Integration and Development of Safety Critical Systems.
Eugenio BrusaPublished in: CIISE (2016)
Keyphrases
- safety critical
- formal methods
- embedded systems
- support systems
- safety analysis
- design tools
- nuclear power plant
- fault tolerant
- knowledge based systems
- agent architecture
- heterogeneous systems
- adaptive systems
- regulatory requirements
- learning systems
- low cost
- building blocks
- design process
- software engineering
- cooperative
- metadata
- artificial intelligence
- decision support
- distributed systems
- case study
- real time
- formal specification
- load balancing
- open source