Automated Test and Re-Test (ATRT): Model Based Testing (MBT) of Integrated Aviation Mission Systems
Abstract:
Contents include: Agenda; Background: IDT / Automated Test and Re-TEST (ATRT); Technology Overview, Leveraged from ATRT SysML MBSE approach (TRL 8/9), Currently being extended into AADL via A17-006 SBIR, AADL to ATRT interface; Follow-Up Conversations and Discussion available upon request: Demonstrations Available - AADL to ATRT feature list and accomplishments, Automated analysis from AADL model demonstration.
Security Markings
DOCUMENT & CONTEXTUAL SUMMARY
Distribution Code:
A - Approved For Public Release
Distribution Statement: Public Release
RECORD
Collection: TRECMS