A Method to Formally Evaluate Safety Case Evidences against a System Architecture Model.
Stefan BjörnanderRikard LandPatrick J. GraydonKristina LundqvistPhilippa ConmyPublished in: ISSRE Workshops (2012)
Keyphrases
- mathematical model
- formal model
- cost function
- statistical model
- reference model
- objective function
- probabilistic model
- linear model
- linear regression
- statistical methods
- significant improvement
- theoretical analysis
- detection method
- computational model
- evaluation method
- high order
- management system
- prior knowledge
- parameter space
- input data
- modeling method
- high accuracy
- selection mechanism
- preprocessing
- sensitivity analysis
- prediction model
- bp neural network
- hybrid model
- regression analysis
- markov model
- gaussian distribution
- reconstruction method
- closed form
- optimization model
- similarity measure
- optimization method
- feature selection
- parameter estimation
- classification method
- bayesian framework
- clustering method
- autoregressive
- pairwise
- dynamic programming
- evaluation model
- study proposes
- energy function
- segmentation method
- tree structure
- monte carlo simulation
- network model
- kalman filter
- conceptual model