RACK Cookbook - ge-high-assurance/RACK GitHub Wiki

Introduction

This cookbook aims to provide a common usage guide for the RACK data model, so that data providers and data consumers can find common ground in how our model is used. As we work with other ARCOS performers, recipes appropriate to the systems and evidence relevant to the program will be added here.

Recipes

Recipe 1 - Systems and Their Components

This recipe recommends how hierarchical structure of systems can be represented. For now, we support a simple tree-structured directed graph of system components and their inclusion in other system components.

Click here to download Recipe 1.

Recipe 1a - Creation of Systems

System development is a type of ACTIVITY related to the creation of one or more system components.

Click here to download Recipe 1a.

Recipe 1b - Systems Interfaces

INTERFACE describes directed connections between a SYSTEM, providing what another SYSTEM requires. Source SYSTEM provides what the INTERFACE offers; destination SYSTEM requires what the INTERFACE offers. The INTERFACE commodity (with values of type string) is the thing conveyed by the INTERFACE.

Click here to download Recipe 1b.

Recipe 2 - Testing

This recipe recommends how test procedure, test steps, and tests are modeled. This recipe also recommends how test log, test records, and test results are modeled. The contents of test procedures are test steps, and the contents of test steps are tests. Analogously, the contents of test logs are test records, and the contents of test records are test results.

Test records logs test steps, while test results confirms tests. This is how the two sides link.

Test Execution is a type of ACTIVITY, where test procedure is what was executed.

Test step sequences are specified by nextStep. Analogously, test record sequences are specified by nextRecord.

Finally, test verifies an ENTITY (such as a REQUIREMENT).

Click here to download Recipe 2 (1), (2), (3).

Recipe 3 - High and Low Level Requirements

This recipe recommends how low level and high level requirements can be modeled, and includes the notion of requirements specifications.

Click here to download Recipe 3.

Recipe 4 - Structural Coverage Analysis

This recipe recommends how to structure evidence about structural coverage analysis. The structural coverage ANALYSIS used an executable object FILE and a TEST_PROCEDURE. The ANALYSIS is runBy a test engineer and was analyzedWith a structural analysis tool. The ANALYSIS_OUTPUT wasGeneratedBy the ANALYSIS. The sturctural coverage analysis is on a source code file, which is specified in the analyzes relation of ANALYSIS_OUTPUT.

Click here to download Recipe 4.

Recipe 5 - Verification Activity to Standards

This recipe recommends how to model standards documents and verification about compliance to them.

Click here to download Recipe 5.

Recipe 6 - Hazard Structure

This recipe recommends how to model hazards and they are mitigated. Additionally, traceability of the hazard can be captured using wasDerivedFrom.

Click here to download Recipe 6.

Recipe 7 - Models

This recipe recommends how to connect an ENTITY to its MODEL and where that model is used. In this example, the MODELs of REQUIREMENTs that are used for requirement ANALYSIS such as completeness or conflict.

Click here to download Recipe 7.

Recipe 8 - Data Dictionary Terms

This recipe recommends how to connect connect DATA_DICTIONARY_TERMs to an ENTITY (such as a REQUIREMENT) that provides it, and also how to connect to an ENTITY that consumes it.

Click here to download Recipe 8.