SafeSlice: a model slicing and design safety inspection tool for SysML.
Davide FalessiShiva NejatiMehrdad SabetzadehLionel C. BriandAntonio MessinaPublished in: SIGSOFT FSE (2011)
Keyphrases
- conceptual model
- computational model
- probabilistic model
- theoretical analysis
- probability distribution
- experimental data
- mathematical model
- design process
- real time
- case study
- layout design
- knowledge base
- safety analysis
- parameter estimation
- prediction model
- metamodel
- modeling tool
- safety critical
- neural network model
- management system
- cost function
- objective function
- similarity measure
- web services
- data sets