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.
-
RACK (Rapid Assurance Curation Kit)RACK is a semantic triplestore backed by an ontology (or what we also call the data model) tailored for curating evidence from certification artifacts.
-
-
CLARISSAConsistent Logical Automated Reasoning for Integrated System Software Assurance (CLARISSA) Tools were built based on Assurance 2.0 methodology for constructing and evaluating assurance cases
-
ARBITERARBITER automatically develops a software assurance case using systems and software engineering artifacts, a library of pre-approved logical arguments, and causal models for innocuity requirements.
-
Automated Assurance Case EnvironmentCompositional and hierarchical assurance case framework for continuous, and automated assurance.
-
CertGATECertGATE 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.
- Automating Semantic Analysis of System Assurance Cases Using Goal-Directed ASP
- Assurance Case Synthesis from a Curated Semantic Triplestore
- A Semantic Tri Plestore- Based ARP 4 754A Compliance Summary Dashboard
- Towards the Co-evolution of Models, Code, and Assurance Cases: The CAID Framework
- Continuous Safety & Security Evidence Genera-tion, Curation and Assurance Case Construction Using the Evidential Tool Bus
Recent News
Upcoming Events
-
The 17th NASA Formal Methods Symposium
URL: https://shemesh.larc.nasa.gov/nfm2025/