Adapting Models to Model Checkers, A Case Study : Analysing AADL Using Time or Colored Petri Nets.
Xavier RenaultFabrice KordonJérôme HuguesPublished in: IEEE International Workshop on Rapid System Prototyping (2009)
Keyphrases
- probabilistic model
- hybrid model
- high level
- parameter estimation
- stochastic model
- case study
- neural network model
- statistical model
- bayesian framework
- analytical model
- model fitting
- autoregressive
- experimental data
- classification models
- neural network
- linear models
- domain models
- management system
- computational model
- hierarchical model
- learning models
- metamodel
- generic model
- linear regression
- goodness of fit
- mathematical model
- multiple models
- colored petri nets
- modelling language
- modeling method
- model construction
- mathematical models
- prediction model
- simulation model
- computational models
- probability distribution
- prior knowledge
- learning algorithm