SysMLv2 as a DMSL to support AADLv2 Semantics and Analysis

reportActive / Technical Report | Accesssion Number: AD1195561 | Open PDF

Abstract:

Outline: 1. Model-Based for complex avionics systems, the SAE AADL language 2. SysMLv2 as a host DSML for AADL 3. Leveraging AADL ecosystem.

Author(s):
Hugues, Jerome
Author Organization(s):
CARNEGIE-MELLON UNIV PITTSBURGH PA
Funding Organization(s):
AIR FORCE LIFE CYCLE MANAGEMENT CENTER HANSCOM AFB MA, HANSCOM AFB , MA
Document Type:
Technical Report/Briefing Charts
Publication Date:
2023 Mar 13
Pagination:
26

Security Markings

DOCUMENT & CONTEXTUAL SUMMARY

Distribution Code:
A - Approved For Public Release
Distribution Statement: Public Release

RECORD

Collection: TRECMS
Identifying Numbers
Contract Number(s):
FA8702-15-D-0002
Subject Terms
Modernization Areas:
Cyber
Communities of Interest:
Cyber
Descriptor(s):
software development, model based systems engineering, systems modeling language, aircrafts, language, aerospace industry, engineering, standards, systems engineering, computer programs, embedded systems, models, procurement, department of defense, safety, unmanned aerial vehicles, army aviation
Keyword(s):
SysMLv2 (Systems Modeling Language version 2), AADLv2 (aadl version 2), MBSE (Model Based Systems Engineering), aadl (Architecture Analysis and Design Language)
Subject Categories:
Mathematical and Computer Sciences
Creation Date:
2023 Mar 14
Update Date:
2023 Jun 30