Model Based Engineering (MBE) Tools

Challenge: Testing and analysis for system-level requirements 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 and the Architecture Centric Virtual Integration Process (ACVIP). These methodologies utilize detailed models of the system software to conduct ongoing integration testing and analysis of system software models. 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: Analyze models of a system for compliance with MILS properties. Verify that connected components operate at the same security level and that different security levels are separated with a protective measure like an air gap, cross domain solution, or firewall. 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

Tools planned for release:

  • Distributed Risk Management Tools: Conduct risk analysis of a modeled system by leveraging a formalized top down analysis combined with bottom up failure modes and effect analysis (FMEA).
    Model Format: AADL
  • Risk Management Framework Analysis Tool: Analyze models to identify and report missing security controls within the system architecture and assess whether modeled security controls can be bypassed and are tamper-resistant.
    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)

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 camet-library@adventiumlabs.com for further details.
 
Click here to read the Frequently Asked Questions document for using CAMET Library in proposals to the Joint Multi-Role Technology Demonstrator (JMR TD) Mission Systems Architecture Demonstration (MSAD) Capstone Demonstration (BAA W911W6-18-R-0006) and related solicitations.