ACVIP Training Class Syllabus
ACVIP Overview
How ACVIP Solves Common MBSE Project Issues
Introduction to the ACVIP Workflow
ACVIP Resources and Solutions
Structuring Models for Delivery and Virtual Integration
Key Principles of ACVIP Modeling
Exercises: Introduction to Modeling in OSATE
Analysis Tools for Low Fidelity Model Analysis
Introduction to ACVIP Security and Separation Analysis
Exercises: Low Fidelity Model Analysis
Analysis Tools for High Fidelity Model Analysis
Introduction to ACVIP Utilization Analysis
Introduction to ACVIP Timing Analysis
Exercises: High Fidelity Model Analysis
Multi-Organization Model Based Development
Collaborative Development using ACVIP
Exercise: Distributed Model Development and Analysis
Multi-Organization Model Based Integration
Collaborative Integration using ACVIP
Exercise: Virtual Integration
SysML to AADL
SysML / AADL Profile
SysML / AADL Bridge Tool
Exercise: Generate AADL from a SysML model
ACVIP in a Larger Context
Working with Model from Other Sources
ACVIP Report Card
Exercise: Course Survey
Most Recent Tech Talk
Title Protocol Analysis Using Real Analysis in ACL2
Date Tuesday, November 21, 2023
Time 11:00 am
Speaker Max von Hippel
Location Galois was pleased to host this tech talk via live-stream for the public on November 21, 2023 from 11:00 am to 12:00 pm Pacific Time.
About
Portland, OR
421 SW 6th Avenue, Suite 300
Portland, Oregon 97204
Arlington, VA
901 N Stuart Street, Suite 501
Arlington, Virginia 22203
Minneapolis, MN
111 Third Avenue South, Suite 350
Minneapolis, MN 55401
Dayton, OH
444 E 2nd Street
Dayton, Ohio 45402
contact@galois.com