Incremental Development of a Safety Critical System Combining formal Methods and DSMLs - - Application to a Railway System -.
Akram IdaniYves LedruAbderrahim Ait WakrimeRahma Ben AyedSimon Collart DutilleulPublished in: FMICS (2019)
Keyphrases
- safety critical
- formal methods
- development lifecycle
- knowledge based systems
- fault tolerant
- safety analysis
- software engineering
- model checking
- embedded systems
- formal specification
- agent architecture
- regulatory requirements
- support systems
- model checker
- artificial intelligence
- real time
- decision support
- database
- building blocks
- learning process
- database systems
- case study
- decision making
- information systems
- machine learning