A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf
.
AdvoCATE: An Assurance Case Automation Toolset
[chapter]
2012
Lecture Notes in Computer Science
We present AdvoCATE, an Assurance Case Automation ToolsEt, to support the automated construction and assessment of safety cases. In addition to manual creation and editing, it has a growing suite of automated features. In this paper, we highlight its capabilities for (i) inclusion of specific metadata, (ii) translation to and from various formats, including those of other widely used safety case tools, (iii) composition, with auto-generated safety case fragments, and (iv) computation of safety
doi:10.1007/978-3-642-33675-1_2
fatcat:mobapy5rtjcfldi5ar47prz4xq