Skip to content

DARPA's Automated Rapid Certification of Software (ARCOS) project called RITE (RACK Integrated CerTification Environment)

License

Notifications You must be signed in to change notification settings

ge-high-assurance/RITE

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

RITE: RACK Integrated CerTification Environment

rite_logo

RITE is an Eclipse-based IDE that seamlessly connects with RACK (Rapid Assurance Curation Kit), a semantic triplestore backed by an ontology tailored for curating evidence from certification artifacts of software systems. RITE provides an interactive GUI that allows for easy ingestion of data into RACK, SADL (Semantic Application Design Language) model development, test data development, ingestion package creation, ontology analysis, querying using nodegroups, etc. Besides supporting basic data modeling and curation features, RITE also provides functionalities and GUI-support for easy generation of assurance artifacts and compliance reports to aid in system certification.

Download the latest release here

Latest Feature List (RITE 0.7.0)

  1. Creating Monolithic Ingestion Packages
  2. Creating Modular Ingestion Packages
  3. Uploading Ingestion Packages into RACK
  4. Viewing Information about the Ontology and Nodegroups on RACK
  5. Executing Nodegroups Stored on RACK
  6. Creating Instance Data for Testing the Ontology on RACK
  7. Generating Ingestion Nodegroups for the Ontology on RACK
  8. Selectively Clearing Ontology and/or Data Graphs on RACK
  9. Automatically Generating GSN Assurance Cases using the Evidence on RACK

A detailed tutorial for using RITE with additional information can be found in the RITE WIKI. Contact the RITE Development Team for more details.


Copyright (c) 2021-2023 General Electric Company, Galois, Inc.

All Rights Reserved

This material is based upon work supported by the Defense Advanced Research Projects Agency (DARPA) under Contract No. FA8750-20-C-0203.

Any opinions, findings and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the Defense Advanced Research Projects Agency (DARPA).

Distribution Statement "A" (Approved for Public Release, Distribution Unlimited)

About

DARPA's Automated Rapid Certification of Software (ARCOS) project called RITE (RACK Integrated CerTification Environment)

Topics

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages