search menu icon-carat-right cmu-wordmark

Innovative Defense Technologies' Automated Test and ReTest (ATRT) Integration with the Architecture Analysis Design Language (AADL)

This presentation by Keith Harriman, Joe Moritz, and John Hudak was given virtually at AADL/ACVIP User Day 2022.

Software Engineering Institute


IDT has developed a proof of concept that integrates our patented Automated Test and Re-Test (ATRT) toolkit for use with an Architecture Analysis and Design Language (AADL) model. Our proof of concept showed that a system designer can create assurance tests directly from the model throughout the lifecycle of the system, from design to operations.

IDT’s ATRT is both a methodology and a set of tools designed to use recorded data from the system under test. IDT’s tools can then perform automated test and analysis of the system by using the behavior and requirements as described in the AADL model. IDT’s design for integrating AADL supports distributed testing across the system’s development cycle to include requirement capture, system design, system performance, unit test, and system certification. By using IDT’s tools to integrate automated test using AADL, a system designer will maximize the use of resources for test planning which can be based on previous results and trend analysis.

IDT developed a plugin for the Carnegie Mellon Software Engineering Institute’s OSATE tool which converts implementation instances of end-to-end flows into IDT’s file format. These files are then used by IDT’s ATRT software to automate testing of the system behavior and requirements defined in the AADL model. The system tester can install IDT’s OSATE plugin directly through the OSATE interface and make it accessible on the OSATE user bar.

Keith Harriman is currently serving as the Chief Engineer in the IDT’s Aviation Solutions business area and has over 30 years’ experience designing and testing complex DoD systems. In this position, he is the lead engineer for Automated Test and Analysis focused on airborne commercial platforms where IDT is applying ATRT technology to expand the test envelope of varying test conditions. He has previously been the Lead System Engineer for Model Based System Engineering applications used to build system behavior models for weapon systems such as the SPY-6 Radar and Aegis Combat System testing. In a previous position, Keith was the lead software engineer for a GPS-III multi-company satellite constellation development program where he led the effort to review and update the satellite and payload designs.

Joe Moritz is a Senior Program Manager in IDT’s Aviation Solutions business area and is IDT’s lead for USAF and U.S. Army business development as well as executing US Air Force and Army programs in the aviation space. In his current position. he is leading ATRT integration and virtualization projects supporting the F-16 Program Office and the development of a predictive maintenance solution for the Minuteman III weapon system for the Air Force Nuclear Weapons Center. Joe has over 25 years of experience leading large teams on high-value and complex cyber, nuclear, command, control, communications (NC3), intelligence, surveillance, reconnaissance (ISR) & information technology (IT) development programs in dynamic environments in support of joint & coalition operations.

John Hudak is a Principal Engineer in the Software Solutions Division of Carnegie Mellon University, Software Engineering Institute.