Safety analysis of train control system based on model-driven design methodology.
Abdelhakim BaouyaOtmane Aït MohamedDjamal BennouarSamir OuchaniPublished in: Comput. Ind. (2019)
Keyphrases
- safety analysis
- design methodology
- model driven
- control system
- data driven
- closed loop
- metamodel
- nuclear power plant
- service oriented
- fuzzy logic
- fault model
- fuzzy neural network
- data integration
- design process
- real time
- control algorithm
- fuzzy control
- object oriented
- safety critical
- symbolic model checking
- fuzzy controller
- control method
- control strategy
- control scheme
- formal specification
- reverse engineering
- user interface
- case study
- knowledge base