LogoLogo
Galois Website
CAMET
CAMET
  • CAMET Library
  • Overview
    • 🎦Training Resources
    • ⚒️CAMET Tools
    • 🏁Subscription
  • LOG IN
Powered by GitBook
On this page
  • Videos
  • Additional Resources
Export as PDF
  1. Overview

Training Resources

PreviousCAMET LibraryNextCAMET Tools

Last updated 4 months ago

Videos

Getting Started

SysML to AADL Bridge Tool

Demos

Systems Engineering Safety and Security Analysis Framework (SESSAF)

Additional Resources

🎦

Introduction to the Architecture Centric Virtual Integration Process ->

Overview ->

Trade Space Tools Demo ->

Framework for Analysis of Schedulability, Timing and Resources (FASTAR) Demo ->

RTOS Configuration File Generation Demo ->

Multiple Independent Levels of Security (MILS) Demo ->

Continuous Virtual Integration Toolkit (CVIT) Demo ->

Model-based Analysis Using Domain Expertise (MAUDE) Demo ->

Stakeholder Access to Embedded System Models (SAESM) ->

SESSAF Installation Video

->

Model Creation ->

Adding Flows to the Model

->

Safety Analysis ->

Paper: Applying ACVIP for Verification by Analysis during Airworthiness Qualification
Paper: Airworthiness Qualification of ACVIP Tools
Register for the Software Engineering Institute (SEI) online course, Modeling System Architectures Using the Architecture Analysis and Design Language (AADL)
Publication: ACVIP: A Key Component of the DoD Digital Engineering Strategy
ACVIP Modeling & Analysis Handbook
Authoritative Source of Truth Study (ASoT Study)
Tools, Training, and Reference Materials for the FACE™ Technical Standard
2018 Article: System Architecture Virtual Integration Nets Significant Savings, Software Engineering Institute, Carnegie Mellon University
Use Case: Joint Common Architecture Demonstration