Formal schedulability analysis based on multi-core RTOS model.
Imane HaurJean-Luc BéchennecOlivier Henri RouxPublished in: RTNS (2021)
Keyphrases
- computational model
- statistical model
- formal model
- management system
- artificial intelligence
- mathematical model
- decision making
- high level
- probabilistic model
- machine learning
- theoretical analysis
- empirical data
- quantitative analysis
- computational models
- neural network model
- experimental data
- theoretical framework
- em algorithm
- prior knowledge
- objective function
- genetic algorithm