Automated Method for Assurance Case Construction from System Design Models.
Charles HartsellNagabhushan MahadevanAbhishek DubeyGabor KarsaiPublished in: ICSRS (2021)
Keyphrases
- statistical model
- probabilistic model
- prior knowledge
- high accuracy
- monte carlo simulation
- pairwise
- user interface
- significant improvement
- experimental evaluation
- optimization algorithm
- similarity measure
- hybrid model
- machine learning methods
- high precision
- clustering method
- feature set
- support vector machine
- classification accuracy
- dynamic programming
- preprocessing
- objective function
- model selection
- computationally efficient
- design process
- detection method
- segmentation method
- classification method
- video sequences
- training data
- decision trees
- numerical methods
- generation method