Automated Model-Based Assurance Case Management Using Constrained Natural Language
Abstract
References
Index Terms
- Automated Model-Based Assurance Case Management Using Constrained Natural Language
Recommendations
Model based system assurance using the structured assurance case metamodel
Highlights- A detailed background introduction and motivation of model-based assurance case.
AbstractAssurance cases are used to demonstrate confidence in system properties of interest (e.g. safety and/or security). A number of system assurance approaches are adopted by industries in the safety-critical domain. However, the task of ...
Using model-based assurance to strengthen diagnostic procedures
ASE '11: Proceedings of the 26th IEEE/ACM International Conference on Automated Software EngineeringIn previous work we described Diagnostic Tree for Verification (DTV), a partially automated software engineering technique by which diagnostic trees generated from system models are used to help check out diagnostic procedures. Diagnostic procedures are ...
Comments
Information & Contributors
Information
Published In
Publisher
IEEE Press
Publication History
Qualifiers
- Research-article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
View options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in