A Hazard Modeling Language for Safety-Critical Systems Based on the Hazard Ontology.
Jiale ZhouKaj HänninenKristina LundqvistPublished in: SEAA (2017)
Keyphrases
- safety critical
- safety analysis
- modeling language
- formal methods
- nuclear power plant
- metamodel
- embedded systems
- support systems
- agent architecture
- fault tolerant
- adaptive systems
- knowledge representation
- intelligent systems
- management system
- databases
- black box
- model checking
- intelligent agents
- knowledge based systems
- decision support
- distributed systems
- software engineering
- data warehouse
- control system
- cooperative