Kurt Woodham (L-3 Communications-Titan Group)
L-3 Communications-Titan Group
Publications by Kurt Woodham (L-3 Communications-Titan Group)
-
Model-Based Software Quality Assurance with the Architecture Analysis and Design Language
June 14, 2012 • Conference Paper
Peter H. FeilerDavid P. GluchKurt Woodham (L-3 Communications)
This paper describes the results of applying a model-based software quality assurance practice framework using the AADL to JPL's Mission Data System reference architecture.
read -
Case Study: Model-Based Analysis of the Mission Data System Reference Architecture
May 01, 2010 • Technical Report
Peter H. FeilerDavid P. GluchKurt Woodham (L-3 Communications-Titan Group)
This report describes how AADL support an instantiation of a reference architecture, address architectural themes, and provide a foundation for the analysis of performance elements and system assurance concerns.
read