Updates to CAMET Library of MBE Tools

Today we released technical updates for the model-based engineering tools in our CAMET Library. Feedback from our engaged users has been key to these upgrades and refinements. You can learn more about the CAMET Library of model-based engineering tools and learn how to gain access at https://www.adventiumlabs.com/our-work/products-services/model-based-engineering-mbe-tools. A brief summary of these improvements is listed below. 

SysML AADL Profile and Translation Tools

This is the first release of the MagicDraw/Cameo version and an update of the current Enterprise Architect Version. Specific improvements:

  • Flow specification, including source and sinks, presented via sequence diagrams.
  • Added profile extensions for RMF and FASTAR.
  • Updated profile extensions for ARINC653, SESSAF, MILS.

State Linked Interface Compliance Engine for Data (SLICED)

Version 2.7.1 of SLICED provides significant expansions in capability for analyzing behavior of cyber-physical systems, including support for advanced AADL language features and automated generation of SysML Sequence Diagrams in MagicDraw. Specific improvements:

  • New capability to address edge cases in deadline and message queue analysis.
  • Improved usability and discoverability of SLICED features.
  • (OSATE) Added support for multiple sending actions on a transition.
  • (OSATE) Added support for multiple incoming messages on a transition guard.
  • (OSATE) Added support for the timeout guard.
  • (OSATE) Improved support for AADL Modes.
  • (OSATE) Fixed NuSMV syntax errors that occur with some AADL models.
  • (MagicDraw) Added sequence diagram generation.

Framework for Analysis of Schedulability, Timing and Resources (FASTAR™)

Multi-core support has been added to the FASTAR SPICA ARINC 653 schedule generator, timing analyzer, and timeline visualizer tools. 

Risk Management Framework (RMF) Analysis Tool

This update improves user entry for RMF security control names and Control Correlation Identifier (CCI) names that conform to NIST Special Publication (SP) 800-53 Revision 4, and it simplifies future migration to NIST SP 800-53 Revision 5. Specific improvements:

  • Users can now enter security controls and CCIs using their common names rather than tool-specific names, eliminating the need to create custom property sets.
  • The tool automatically detects and reports user entry errors in control names and CCI names.
  • The tool validates control names and CCI names against a NIST-generated spreadsheet (included) that conforms to NIST SP 800-53 Revision 4.

Updated CubeSat Model

This is a detailed model of a 1U CubeSat with multiple architectural configuration options for each of the subsystems as well as an accompanying parts database that contains over 90 commercial off-the-shelf (COTS) components. This model includes multiple design alternatives expressed as implementations. The CubeSat model can be used to illustrate application of different analysis tools to support configuration and architectural trade-offs. 

Trade Space Tool Coming Soon!

Multiple Analyses for Domain Separation (MADS) Tool

With the MADS tool, a system developer will be able to trade off different domain separation architectures, and the tool generates unique reports for each instance that can be viewed from many perspectives. This will be the first release of MADS. Specific capabilities:

  • Minimizes the model specification effort needed to conduct multiple analyses for domain separation,
  • Supports continuous analysis throughout the system’s development, and
  • Provides objective evidence to convince system accreditors that separation exists across multiple domains in the system as modeled.