The Automated Rapid Certification Of Software (ARCOS) portal hosts simulators, verification tools, and tool suites for automating the evaluation of software assurance evidence to enable certifiers to determine rapidly that system risk is acceptable. The design studios and portal is community accessible and provides capabilities for high quality assurance evidence generation, data curation, and assurance case generation.
Consistent Logical Automated Reasoning for Integrated System Software Assurance (CLARISSA) Tools were built based on Assurance 2.0 methodology for constructing and evaluating assurance cases
RACK is a semantic triplestore backed by an ontology (or what we also call the data model) tailored for curating evidence from certification artifacts.
A software-suite for tracking dependencies across different types of tools and repositories.
A toolchain for automatic collection of evidence to support construction of assurance arguments for software, focusing on assurance of legacy systems and systems that make use of legacy and COTS components.
RADLER is a framework for designing and verifying multi-rate distributed systems, based on a rigorous model of computation.
CertGATE is a set of services for efficiently constructing, transforming, and querying enterprise-scale assurance cases that are represented in standard computational data structures and maintained in efficient storage mechanisms.