Skip to content

Releases: ge-high-assurance/RACK

Release v5.9

28 Apr 19:32
Compare
Choose a tag to compare
Release v5.9 Pre-release
Pre-release

This release has the following changes:

  • LMCO & SRI ontology overlays
  • dataInsertedBy query nodegroup
  • Construct query improved and working
  • Boeing data validation queries
  • Streamlined Wiki

Release v5.1

29 Mar 18:13
Compare
Choose a tag to compare

This release has the following changes:

  • Ontology changes
    • MODEL ontology extension (#299)
    • In STR-Ontology, StrInPort and StrOutPort are subtypes of StrPort
  • Migration tool for nodegroups across ontology changes-Beta version (#323)
  • Enhanced nodegroup error detection in SemTK SPARQLgraph
  • Quicker RACK-in-a-Box startup (#315)
  • Scraping toolkit-Beta version (#305)

Release v5.0

08 Mar 18:47
Compare
Choose a tag to compare

This release has the following changes:

  • Made some changes to RACK ontology (click here for more details)
  • Updated ASSIST tooling with ability to use additional recognizers
  • Updated Turnstile example to use ASSIST for software structure data generation and ingestion
  • Pulled process data into extra data graphs with separate names (ARP-475A, DO-330, DO-178C, MIL-STD-881D)
  • Updated names of query nodegroups' returned results to follow naming convention (click here for more details)
  • Added example to Turnstile illustrating how to provide dateTime information in a CSV file (click here for more details)
  • Added Ada analysis tooling from Galois
  • Improved performance for data ingestion and querying
  • Scripts and data for loading in Boeing example: RACK V5 is not preloaded with this data but these have been sent to all ARCOS performers.
  • Added support for runtime constraints and multiple data-graphs to the RACK CLI (click here for more details)

Release v4.9

05 Mar 17:30
Compare
Choose a tag to compare
Release v4.9 Pre-release
Pre-release

This release has the following changes:

  • Made some changes to RACK ontology (click here for more details)
  • Updated ASSIST tooling with ability to use additional recognizers
  • Updated Turnstile example to use ASSIST for software structure data generation and ingestion
  • Pulled process data into extra data graphs with separate names (ARP-475A, DO-330, DO-178C, MIL-STD-881D)
  • Updated names of query nodegroups' returned results to follow naming convention (click here for more details)
  • Added example to Turnstile illustrating how to provide dateTime information in a CSV file (click here for more details)
  • Added Ada analysis tooling from Galois
  • Improved performance for data ingestion and querying
  • Scripts and data for loading in Boeing example: RACK V5 is not preloaded with this data but these have been sent to all ARCOS performers.
  • Added support for runtime constraints and multiple data-graphs to the RACK CLI (click here for more details)

Release v4.1

17 Dec 20:02
Compare
Choose a tag to compare

This release has the following changes:

Release v4.0

07 Dec 18:40
Compare
Choose a tag to compare

This release has the following changes:

  • Moved a few directories out of RACK-Ontology to their own places
  • Added GrammaTech ontology overlays
  • Added SPARQLgraph union queries
  • Added Provenance-Example illustrating how to record who, when, and how data is entered into RACK
  • Updated Turnstile sample data with examples of satisfiedBy DO-178C objectives (see Objective.csv and the Objective ingest nodegroup)
  • Automated ingestion for Turnstile data (node groups and SADL files used to generate CSV files, in turn used to run queries, in turn used to generate CSV files for data ingestion)

Release v3.9

03 Dec 21:34
Compare
Choose a tag to compare
Release v3.9 Pre-release
Pre-release

This release contains the following new features:

Release v3.0

24 Oct 01:36
Compare
Choose a tag to compare

This release contains the following new features:

  • First release of RACK Automated Software Structure Ingestion and System Testing (ASSIST) tooling for C++.
  • SemTK Java support (as requested by a member of the ARCOS community).
  • Improved richness of Common Data Representation (CDR), covering more of the ontology. (Note: uniqueIdentifier renamed to identifier.) See the Turnstile model for sample instance data.
  • Order independence of data ingestion, demonstrated on our Turnstile example.
  • Command line interface supports count query.

Release v2.0

27 Aug 20:29
df6f497
Compare
Choose a tag to compare

This release contains the following new features:

  • Refinement of Release v1.0, with extensions to the base ontology to support
    • Numerical value from an analysis
    • Precondition/Postcondition/Invariant constraints on code
    • Evolution of evidence
    • Ability to represent logical component on physical implementation
    • Control flow for components
  • Enhancement to script for loading ontology and data into RACK
  • More pre-loaded queries for Software Structure of Turnstile example
  • Streamlined RACK Wiki
    Please see the README file in the release attachment for instructions to install and run RACK.

Release v1.0

02 Aug 21:42
Compare
Choose a tag to compare

This release contains the following new features:

  • Refinement of Release v0.0, with extensions to the base ontology to support
    • Classes of documents
    • Process documents
    • Temporal properties on Entities and Activities
    • Functions and classes
  • "notes" on all the properties for better usability
  • Data ingestion script
  • Preload with data from standards: ARP-4754A, DO-178C, DO-330, MIL-STD-881D

Please see the README file in the release attachment for instructions to install and run RACK.