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.
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.
A joint tooling and standardization endeavor between Adventium Labs and the Carnegie Mellon University (CMU) Software Engineering Institute (SEI) is making significant strides in aligning and accelerating combined use of the Future Airborne Capability Environment (FACE™) Technical Standard and the Architecture Analysis and Design Language (AADL).
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 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 is combining technologies it developed with funding from the National Aeronautics and Space Administration (NASA) and the U.S. Army Combat Capabilities Development Command (CCDC) to provide new capabilities for least commitment design of complex systems like aircraft and spacecraft.
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).
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.
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.