Resolute: An assurance case language for architecture models

Andrew Gacek, John Backes, Darren Cofer, Konrad Slind, Rockwell Collins, Mike Whalen

Research output: Chapter in Book/Report/Conference proceedingConference contribution

27 Scopus citations

Abstract

Arguments about the safety, security, and correctness of a complex system are often made in the form of an assurance case. An assurance case is a structured argument, often represented with a graphical interface, that presents and sup- ports claims about a system's behavior. The argument may combine different kinds of evidence to justify its top level claim. While assurance cases deliver some level of guarantee of a system's correctness, they lack the rigor that proofs from formal methods typically provide. Furthermore, changes in the structure of a model during development may result in inconsistencies between a design and its assurance case. Our solution is a framework for automatically generating assurance cases based on 1) a system model specified in an architectural design language, 2) a set of logical rules expressed in a domain specific language that we have developed, and 3) the results of other formal analyses that have been run on the model. We argue that the rigor of these automatically generated assurance cases exceeds those of traditional assurance case arguments because of their more formal logical foundation and direct connection to the architectural model. Copyright is held by the owner/author(s).

Original languageEnglish (US)
Title of host publicationHILT 2014 - Proceedings of the ACM Conference on High Integrity Language Technology
PublisherAssociation for Computing Machinery, Inc
Pages19-27
Number of pages9
ISBN (Electronic)9781450332170
DOIs
StatePublished - Oct 18 2014
EventACM SIGAda's Annual International Conference High Integrity Language Technology, HILT 2014 - Portland, United States
Duration: Oct 18 2014Oct 21 2014

Publication series

NameHILT 2014 - Proceedings of the ACM Conference on High Integrity Language Technology

Conference

ConferenceACM SIGAda's Annual International Conference High Integrity Language Technology, HILT 2014
CountryUnited States
CityPortland
Period10/18/1410/21/14

Keywords

  • AADL
  • Architecture models
  • Assurance case
  • Avionics

Fingerprint Dive into the research topics of 'Resolute: An assurance case language for architecture models'. Together they form a unique fingerprint.

Cite this