AADL/ACVIP User Days

The SysML to AADL Bridge tool's primary goal is to support modeling styles and workflows that are consistent with both the SysML and AADL standards and conventions by allowing an engineer to use or create a SysML model as a basis for generated AADL code for design and analysis of the Cyber Physical system elements.  Instead of attempting to translate all of the SysML model concepts into AADL, we allow the user to use the AADL semantics to annotate the pieces of the SysML model that are required in AADL by applying stereotypes from our AADL standard compliant profile.  The current tooling supports Magic Draw and Enterprise Architect models and can generate AADL packages, package diagrams, component types and implementations, connections and flows.  Tag values defined in the SysML model which are based on AADL property sets are also translated into AADL.  AADL models are then used for analyses and design phase incremental refinement and implementation in accord with the ACVIP process, explained in another session.