Skip to content

aaurandt/Resolute_test-Updates

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

15 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Resolute Assurance Case Analysis

Resolute allows users to define a set of claim functions and associate them with an AADL model. You can use these claim functions to represent the requirements to be satisfied, the verification actions used to verify them, and assumptions made by a verification action in order to produce a valid result. You will express the requirements as predicates on subrequirements and verification actions. Verification actions invoke Boolean computational functions to represent predicates to be evaluated and general computational functions to compute values to be compared in predicates. The computational function notation has its roots in Lute and REAL. You can organize claim functions into a hierarchy where a claim function is satisfied only if its subclaim functions are satisfied according to the specified predicate logic.

With the Resolute tool, users define claim functions and computational functions in Resolute annex libraries, i.e., Resolute annex clauses placed directly in an AADL package. The verification results are then displayed in a view labeled Assurance Case.

User Guide

The user's guide for Resolute, including description of the plug-in for OSATE, assurance case concepts, specification language reference manual, and examples is contained in the in-tool help. The source code for the help documentation is contained in the com.rockwellcollins.atc.resolute.help project.

Development Guide

See the main Resolute repository for information regarding developing and maintaining Resolute.

Installing Resolute in OSATE

This repo can be installed on Eclipse by following these steps:

  1. Go to Help > Install New Software...
  2. Select Add
  3. In the location, enter https://aaurandt.github.io/Resolute_test-Updates, or specify a specific release or snapshot (e.g., https://aaurandt.github.io/Resolute_test-Updates/releases/4.0.0) and press Add
  4. Make sure the box Contact all update sites during install to find required software is unchecked
  5. Check the desired software, click Next >, and finish the rest of the install according to the prompts

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages