Conceptual Modelling of the Dynamic Goal-oriented Safety Management for Safety Critical Systems.
Sana DebbechPhilippe BonSimon Collart DutilleulPublished in: ICSOFT (2019)
Keyphrases
- safety critical
- goal oriented
- safety analysis
- conceptual modelling
- formal methods
- embedded systems
- fault tolerant
- nuclear power plant
- agent architecture
- management system
- support systems
- adaptive systems
- real time
- database
- learning systems
- intelligent agents
- information systems
- e learning
- requirements engineering
- decision making
- case study
- patient care
- conceptual schema
- multi agent
- model checking
- software engineering