2009
Model-Based Software Quality Assurance with the Architecture Analysis and Design Language
ABSTRACT - Model-based software quality assurance (MB-SQA) provides a rigorous framework for the verification and validation of software systems through the systematic modeling and analysis of formal architecture representations. This paper describes the results of applying an MB-SQA practice framework that utilizes the Architecture Analysis and Design Language (AADL) to JPL's Mission Data System (MDS) reference architecture. The MDS is a unified reference architecture for space mission flight, ground, and test systems. In the case study, the AADL assurance practice framework and several AADL-based analyses were applied to the evaluation of critical quality attributes of the MDS reference architecture as well as an MDS adaptation for the control of a heated camera. The results of the case study demonstrate the utility of the practice framework and the AADL-based analyses in addressing (1) the modeling of key MDS architectural themes and (2) quality assurance with respect to performance, particularly flow latency.
AIAA Infotech@Aerospace 2009.
Seattle, WA.
April
A Control Architecture for Safe Human-Robotic Interactions During Lunar Surface Operations
ABSTRACT - Long duration human-robotic missions to the Moon and beyond will require increased use of automation beyond current Space Shuttle and International Space Station practice. This paper explores the application of a model- and state-based goal-oriented control architecture to solving the problem of coordinating activities between humans and robots to improve the reliability and safety of these interactions. A goal-oriented control system continuously enforces constraints on states of the system to achieve not only control goals, but also to enforce passive constraints, such as safety constraints, on those activities.
AIAA Infotech@Aerospace 2009.
Seattle, WA.
April
Publications
By Year
By Author
Copyright Notice
This material is provided for your personal use only and may not be retransmitted or redistributed without permission in writing from the paper's publisher and/or author.
You may not upload this material to any public server, on-line service, network, or bulletin board without prior written permission from the publisher and/or author. You may not make copies for any commercial purpose.
This material is not public domain. Reproduction or storage of materials retrieved from this web site are subject to the U.S. Copyright Act of 1976, Title 17 U.S.C.
