Model Based Engineering (MBE) Tools

Challenge: Testing and analysis for system-level requirements for embedded systems is often 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 can include size, weight, and power (SWaP) budgets, bandwidth and CPU utilization, timing, safety, and security.

Solution: Adventium’s Curated Access to Model-based Engineering Tools Library (CAMET™ Library) addresses this challenge by supporting model-based development methodologies such as Model-based DevOps, Digital Engineering, and the Architecture Centric Virtual Integration Process (ACVIP). These methodologies utilize detailed models of the embedded system software to conduct ongoing integration testing and analysis. Sign up as a sponsor.

Tools in the CAMET Library include:

  • Architecture Tradespace Analysis Tools: Evaluate system design trade-offs by varying architecture choices and property values across a range of alternatives, applying third party analysis tools, and enabling visualization and evaluation against requirements. Click here for a demonstration.
    Model Format: AADL
  • Continuous Virtual Integration Toolkit (CVIT): Apply software engineering concepts of continuous integration and testing to model-based engineering and analysis. CVIT allows users to stand up a server at their facility that automatically executes scripts for integration, analysis, and report generation of system models. Most CAMET Library analysis tools support CVIT and instructions are included for adapting other tools to use CVIT. Click here for a demonstration video
  • FASTAR™ Compositional Schedulability Analysis: Apply multiple different timing and resource analysis tools that support different scheduling methods and types of equipment in order to provide end-to-end, system-wide analysis results. Click here for a demonstration.
    Supported Analyzers: MAST for distributed priority-scheduled systems, SPICA for ARINC 653 scheduled systems
    Model Format: AADL
  • FASTAR™ Scheduler: Generate schedules from a model of real-time embedded software systems. Schedules address thread and connection timing and demand requirements and also constraints on specified end-to-end flow latencies.
    Schedules Generated: ARINC 653
    Model Format: AADL
  • Multiple Independent Levels of Security (MILS) Analysis:  The MILS Analysis tool analyzes AADL models to reduce the risk that systems will fail certification under DoDI 8540.01 Cross Domain Policy. The tool verifies that connected components operate at the same security level and that different security levels are separated with a protective measure like an air gap or an approved cross domain solution.  Click here for a demonstration.
    Model Format: AADL
  • Real-Time Operating System (RTOS) Configuration Generator: Generate RTOS-specific schedule configuration from an architecture model of the software components to be integrated in the target execution environment. The configuration is generated from a model that has already undergone analysis and verification using other tools. Click here for a demonstration.
    Supported RTOS: LynxOS-178
    Model Format: AADL
  • Risk Management Framework Analysis Tool: The RMF Analysis tool analyzes system models to reduce the risk that systems will fail certification under DoDI 8510.01 Risk Management Framework for DoD Information Technology (IT). The tool performs analyses to answer the following questions: does the architecture isolate information flows with different criticalities, does the architecture place security controls everywhere they are needed, and are the controls enforced as intended (non-bypassable and tamper-resistant)? Click here for a demonstration.
    Model Format: AADL
  • State Linked Interface Compliance Engine for Data (SLICED): Conduct behavioral analysis of models to detect errors in messaging patterns/paradigms, sampling rates, and latency requirements in embedded systems software. Combines timing analysis and Future Airborne Capability Environment (FACE™) data models with descriptions of the state of a software Unit of Portability (UoP).
    Model Format: AADL, FACE, and SysML (MagicDraw)
  • Systems Engineering Safety and Security Analysis Framework (SESSAF): Supports application of the Systems-Theoretic Process Analysis (STPA) to existing AADL embedded system models. STPA is a risk analysis technique for developing scenarios that lead to identified hazards and losses. SESSAF users add safety information and details using an intuitive user interface with limited interaction with the underlying model.
    Model Format: AADL

Other features of the CAMET Library:

  • AADL Interactive Development Environment (IDE): The CAMET Library analysis tools operate as Open Source AADL Tool Environment (OSATE) plugins. The tools operate in the OSATE application and support “headless” operation, executing directly from the command line (used for CVIT). 
  • Java-based Tool Invocation: Selected CAMET Library tools operate as standalone binaries via a standard Java API for use in any Java-friendly environment outside of OSATE. These include FASTAR Scheduler and the RTOS Configuration tools.
  • Standards-Based: CAMET Library tools consume models represented in the SAE standard Architecture Analysis & Design Language (AADL) known for its ability to model embedded system software. Several tools support other standards such as Future Airborne Capability Environment (FACE™) and System Modeling Language (SysML). Tools, Training, and Reference Materials for using AADL with FACE are on CAMET Library and available publicly here.
  • Documentation: Tools include a user guide, example models, and instructional video to help new users get up and running. 
CAMET Library Access: CAMET Library access is available to sponsors. Sponsorship provides access to all CAMET Library tools, software, models, and other materials for up to five users per sponsorship. Academic institutions that plan to use the library in course curriculum and teaching can apply for no cost access. New tools and functionality improvements can be commissioned separately. Sign up as a sponsor.

Mentoring and Support: In addition to materials available on the CAMET Library, sponsors may contract with Adventium to provide them project or application focused support and mentoring on a time and materials or other contractual basis. For basic background information and training on AADL, please see the set of resources listed at the bottom of this page. Contact for further details.