SafeDeML: On Integrating the Safety Design into the System Model.
Tim GonschorekPhilipp BergtMarco FilaxFrank OrtmeierJan von Hoyningen-HüneThorsten PiperPublished in: SAFECOMP (2019)
Keyphrases
- computational model
- formal model
- conceptual framework
- mathematical model
- case study
- probabilistic model
- objective function
- statistical model
- theoretical analysis
- conceptual model
- experimental data
- modeling tool
- information retrieval
- software architecture
- hidden markov models
- cost function
- prior knowledge
- evolutionary algorithm
- artificial neural networks
- decision trees
- genetic algorithm