Resolute: an assurance case language for architecture models
Special Interest Group on Ada Programming Language, pp. 19-28, 2014.
aadlarchitecture modelsassurance caseavionics
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
PPT (Upload PPT)