| Tool | Description | |
|---|---|---|
|
A-CERT (Advancing Certification Evidence, Rigor, and Traceability) | A-CERT (Advancing Certification Evidence, Rigor, and Traceability) toolchain for automatic collection of evidence to support automated construction of assurance arguments for high-confidence software. |
|
ARBITER | ARBITER is an evidence-based software assurance case generation tool. |
|
Automated Assurance Case Environment | Tool and framework for automating and streamlining the creation, validation, and assessment of assurance cases. It has 4 core components: |
|
CAID | Model-based software development is rarely performed with models only, and not everything is generated from the model(s). Handcrafted source code, documentation, simulation, data, tests, and assurance cases are the obvious (but not the only) examples. |
|
CertGATE | Every step of the certification process is aided by CertGATE. |
|
CLARISSA | CLARISSA Tools consists of: (i) Assurance and Safety Case Environment (ASCE) which is the most widely adopted commercial software for the creation and management of safety and security assurance cases, and (ii) a goal-directed top-down solver for Const |
|
Prototype Verification System (PVS) | The PVS interactive theorem prover combines an expressive specification language based on higher-order logic with powerful proof automation and extensive formalized libraries. |
|
RACK (Rapid Assurance Curation Kit) | RACK (Rapid Assurance Curation Kit) is a semantic triplestore backed by an ontology. The ontology (or what we also call the data model) is tailored for curating evidence from certification artifacts of software systems. |
|
RADLER | RADLER is a comprehensive framework designed for developing distributed real-time systems with verifiable behaviors. |
Feedback
Feedback
If you experience a bug or would like to see an addition on the current page, feel free to leave us a message.