Resolute: an assurance case language for architecture models

Special Interest Group on Ada Programming Language, pp. 19-28, 2014.

Cited by: 0|Bibtex|Views4|Links
EI
Keywords:
aadlarchitecture modelsassurance caseavionics

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 supports claims about a system's behavior. The argument may combine different kinds of evidence to justify it...More

Code:

Data:

Your rating :
0

 

Tags
Comments