An Extension for AADL to Model Mixed-Criticality Avionic Systems Deployed on IMA architectures with TTEthernet.
Robati TiyamAmine El KouhenAbdelouahed GherbiSardaouna HamadouJohn MullinsPublished in: ACVI@MoDELS (2014)
Keyphrases
- computational model
- probabilistic model
- management system
- theoretical framework
- prior knowledge
- cost function
- objective function
- knowledge based systems
- statistical model
- formal model
- simulation model
- neural network model
- experimental data
- mathematical model
- parameter estimation
- probability distribution
- hidden markov models