SysML to AADL Bridge Tool announced

Adventium Labs released a new SysML/AADL Bridge tool and supporting profiles on its CAMET Library this month. This new capability supports the translation of System Modeling Language (SysML) models into Architecture Analysis and Design Language (AADL) models. Profiles from Enterprise Architect, a SysML modeling tool, are used to stereotype elements within a SysML model that are then translated into AADL by the Bridge tooling.

DARPA Selects Adventium Labs to Research Weird Machines

Adventium Labs has been awarded a $900K, 18-month research project to identify and mitigate weird machines in computer systems. Weird machines are unintended, emergent computational capabilities within a computer system enabling it to be used in ways not intended by the system designers. Among other problems, this emergent execution can be exploited to enable or amplify cyber-attacks. Spectre and Meltdown are well-known examples of cyber-attacks that exploit emergent computation to expose protected information without requiring any violation of the system’s normal operation. 

Safety Analysis Goes Hand-In-Hand with System Design

SESSAF, a newly released analysis tool from Adventium Labs, adds another dimension to industry practices for safety analysis of complex systems that rely on software like aircraft. SESSAF enables system evaluators and system engineers to work in concert. “With SESSAF, safety analysts can evaluate the design as it’s being created by system engineers,” said Adventium’s Rand Whillock. “When engineering makes a design change, safety engineers assess how the change impacts safety.

Adventium Labs and ANSYS demonstrate AADL-based analysis capabilities within ANSYS SCADE Architect

Adventium Labs and ANSYS teamed up this year to demonstrate new capabilities for model analysis in ANSYS’ SCADE Architect. “SCADE Architect is a great platform for Adventium’s analysis tools,” said Adventium’s Tyler Smith, “it only took two weeks to get familiar with the SCADE ecosystem and develop two new SCADE Architect plugins.”

Adventium Labs Grows Model-Based System Engineering Capabilities

NASA awarded Adventium a two-year, nearly $900K grant to mature and transition results from a previous NASA research program to the Army Combat Capabilities and Development Command (CCDC)’s Joint Multi-Role Technology Demonstrator (JMR-TD) program and related programs. The grant is a one for one match of Army funding from the JMR-TD program, one of 11 such grants made under NASA’s Civilian Commercialization Readiness Pilot Program (CCRPP). The result will provide new capabilities to Model-Based System Engineering (MBSE) initiatives at both NASA and the Department of Defense (DoD).

Adventium Demonstrating Model-Based System Engineering Analysis Tools at FACE™ Technical Interchange Meeting

The Future Airborne Capabilities Environment (FACE™) Technical Interchange Meeting is being held on September 17th, 2019 in Dayton, OH. Adventium will be demonstrating model-based system engineering (MBSE) analysis tools that support the DoD's Digital Engineering Strategy and the Army's Architecture Centric Virtual Integration Process (ACVIP) on an exemplar robot running FACE Technical Standard Edition 3.0 aligned Units of Conformance.

Architecture Analysis & Design Language (AADL) Annex F: AADL Annex for the FACE™ Technical Standard Edition 3.0 Published by SAE International

The Architecture Analysis & Design Language (AADL) Annex F: AADL Annex for the FACE™ Technical Standard Edition 3.0 has officially been published by SAE International. Adventium Labs led the development of this annex and its approval for inclusion as part of the AADL standard. The annex supports the modeling, analysis, and integration of Future Airborne Capability Environment (FACE) artifacts in AADL.