Functional validation of AADL models via model transformation to SystemC with ATL.
Pierre BomelDominique BlouinMickael LanoeEric SennPublished in: ACES-MB@MoDELS (2012)
Keyphrases
- model validation
- probabilistic model
- computational model
- hybrid model
- statistical models
- statistical model
- prediction model
- domain models
- stochastic model
- model fitting
- objective function
- neural network model
- experimental data
- computational models
- prior knowledge
- em algorithm
- accurate models
- hierarchical model
- complex systems
- modeling framework
- bayesian framework
- modeling method
- linear models
- parametric models
- analytical model
- conceptual model
- metamodel
- linear regression