Introduction
Introduction Statistics Contact Development Disclaimer Help
NASA Technical Reports Server (NTRS) 20170011550: Tool Support for ...
by NASA Technical Reports Server (NTRS)
Thumbnail
Download
Web page
Argument-based assurance cases, often represented and
organized using graphical argument structures, are
increasingly being used in practice to provide assurance
to stakeholders, e.g., regulatory authorities, that a
system is acceptable for its intended use with respect to
dependability and safety concerns. In general,
comprehensive system-wide assurance arguments aggregate a
substantial amount of diverse information, such as the
results of safety analysis, requirements analysis,
design, verification and other engineering activities.
Although a variety of assurance case tools exist, many
desirable argument structure operations such as
hierarchical and modular abstraction, argument pattern
instantiation, and inclusion extraction of richly
structured information have limited to no automation
support. Consequently, a considerable amount of time and
effort can be spent in creating, understanding,
evaluating, and managing argument structures. Over the
past three years, we have been developing a toolset for
assurance case automation, AdvoCATE, at the NASA Ames
Research Center, to close this automation gap. This paper
describes how AdvoCATE is being engineered atop formal
foundations for assurance case argument structures, to
provide unique capabilities for: (a) automated creation
and assembly of assurance arguments, (b) integration of
formal methods into wider assurance arguments, (c)
automated pattern instantiation, (d) hierarchical
abstraction, (e) queries and views, and (f) verification
of arguments. We (and our colleagues) have used AdvoCATE
in real projects for safety and airworthiness assurance,
in the context of both manned and unmanned aircraft
systems.
Date Published: 2022-07-02 23:04:59
Identifier: NASA_NTRS_Archive_20170011550
Item Size: 60999921
Language: english
Media Type: texts
# Topics
NASA Technical Reports Server (NTRS);...
# Collections
NASA_NTRS_Archive
additional_collections
# Uploaded by
@chris85
# Similar Items
View similar items
PHAROS
You are viewing proxied material from tilde.pink. The copyright of proxied material belongs to its original authors. Any comments or complaints in relation to proxied material should be directed to the original authors of the content concerned. Please see the disclaimer for more details.