CAMET
CAMET: Curated Access to Model-based Engineering Tools
Challenge: As modern cyber-physical systems grow in scope and complexity, embedded software is responsible for the vast majority of the system’s functionality. Typically, testing and analysis for system-level requirements for embedded systems is not done until later stages of development when the cost to fix problems is orders of magnitude higher than fixing them in the earlier phases. These system-level requirements involve critical trade-offs between size, weight, power budgets, bandwidth and CPU utilization, which have significant ramifications on timing, as well as safety and security.
Solution: Galois’s CAMET® Library of model-based engineering tools, when applied early in the design process and continuously throughout a program, helps system engineers and architects improve system capabilities and reduce the risk of cost and schedule overruns. CAMET supports the delivery of highly reliable, highly functional, safe and secure cyber-physical systems.
Subscription: Each subscription provides access to all CAMET Library tools, software, models, and other materials for up to five users for the term selected. Enterprise support agreements, as well as new tools or functionality improvements, can be contracted separately. To learn more and subscribe, click here.
For a list of Model-Based Engineering Tools available in the CAMET Library, click here.
CAMET Library
The CAMET® Library of Model-Based System Engineering tools was created to analyze and detect flaws in complex systems early on, during the requirements and design phases. CAMET’s powerful tools were developed with the support of SBIR awards from multiple agencies.
Phase III SBIR support from the Army has matured them for use on the Future Vertical Lift program, one of the Army’s top modernization priorities.
Key Features
- Tools that support continuous integration and testing for model-based engineering and analysis
- Subscribers have access to all CAMET Library tools, software, models, and other materials
- Each subscription provides access for up to five users
- Supports modeling standards such as AADL, SysML, and FACE
- User guides, example models, and instructional videos help new users get up and running
- The CAMET Library analysis tools operate as plugins to the Open Source AADL Tool Environment (OSATE)
- Selected CAMET Library tools operate as standalones via a standard Java API for use in any Java-friendly environment
Additional Resources
-
Paper: Applying ACVIP for Verification by Analysis during Airworthiness Qualification
-
Paper: ACVIP Reduces Risk to Aviation MOSA
-
Paper: Airworthiness Qualification of ACVIP Tools
-
"Introduction to the Architecture Centric Virtual Integration Process" presented at the SEI's 2021 AADL/ACVIP User Days (YouTube)
-
"SysML to AADL Bridge: Automating the translation of SysML into AADL for Analysis" presented at the SEI's 2021 AADL/ACVIP User Days (YouTube)
-
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
-
Original 2017 Press Release Introducing the CAMET® Library
-
Third Party AADL Resources