Formalisation-Driven Development of Safety-Critical Systems.
Alexei IliasovAlexander B. RomanovskyElena TroubitsynaLinas LaibinisPublished in: HASE (2016)
Keyphrases
- safety critical
- formal methods
- support systems
- embedded systems
- fault tolerant
- safety analysis
- nuclear power plant
- agent architecture
- regulatory requirements
- adaptive systems
- real time
- learning systems
- knowledge based systems
- distributed systems
- expert systems
- case study
- development process
- intelligent systems
- medical images
- decision making