Featured Publications
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 architectur ...
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 appl ...
AIAA Infotech@Aerospace 2009.
Seattle, WA.
April
An Architectural Pattern for Goal-Based Control
ABSTRACT -
Time-based command sequencing is the time-honored paradigm for control of spacecraft and rovers in NASA's robotic missions, but the paradigm has been increasingly strained to accommodate today's miss ...
IEEE Aerospace Conference.
Big Sky, MT.
March
Goal-Based Operations of an Antenna Array for Deep Space Communication
ABSTRACT -
NASA is currently evaluating the benefits of transitioning to a highly reconfigurable network of arrayed disk antennas to support an increasing number of deep space missions. The next-generation Deep ...
iSAIRAS.
Los Angeles, CA.
Feb
Comparison of Goal-Based Operations and Command Sequencing
ABSTRACT -
In robotic space missions the purpose of any operations paradigm is to achieve specific objectives while protecting the health of the space vehicle(s). Unfortunately, in the dominant paradigm of com ...
SpaceOps.
Heidelberg, Germany.
May
Application of a Safety-Driven Design Methodology to an Outer Planet Exploration Mission
ABSTRACT -
Traditional requirements specification and hazard analysis techniques have not kept pace with the increasing complexity and constraints of modern space systems development. These techniques are incom ...
IEEE Aerospace Conference.
Big Sky, MT.
March
GN&C Fault Protection Fundamentals
ABSTRACT -
Addressing fault tolerance for spacecraft Guidance, Navigation, and Control has never been easy. Even under normal conditions, these systems confront a remarkable blend of complex issues across many ...
American Astronautical Society 31st Annual AAS Guidance and Control Conference.
Breckenridge, CO.
Feb
Verification Procedure for Generalized Goal-Based Programs
ABSTRACT -
Safety verification of fault-tolerant control systems is essential for the success of autonomous robotic systems. A control architecture called Mission Data System, developed at the Jet Propulsion L ...
AIAA Infotech@Aerospace Conference.
Rohnert Park, CA.
May
Safety Verification of a Fault Tolerant Reconfigurable Autonomous Goal-Based Robotic Control System
ABSTRACT -
Fault tolerance and safety verification of control systems are essential for the success of autonomous robotic systems. A control architecture called Mission Data System (MDS), developed at the Jet ...
IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).
San Diego, CA.
Oct/Nov
Goal-Based Operations: An Overview
ABSTRACT - Operating robotic space missions via time-based command sequences has become a limiting factor in the exploration, defense,
and commercial sectors. Command sequencing was originally designed for comp ...
AIAA Infotech@Aerospace Conference.
Rohnert Park, CA.
May
Model-Based Engineering Design Pilots at JPL
ABSTRACT - This paper discusses two recent formulation phase Model-Based Engineering Design pilot projects at the Jet Propulsion Laboratory. It describes how model-based functional and state analyses were synthe ...
IEEE Aerospace Conference.
Big Sky, MT.
March
Practical Application of Model-based Programming and State-based Architecture to Space Missions
ABSTRACT - Innovative systems and software engineering solutions are required to meet the increasingly challenging demands of deep-space robotic missions. While recent advances in the development of integrated s ...
IEEE International Conference on Space Mission Challenges for Information Technology.
Pasadena, CA.
July
Application of State Analysis and Goal-Based Operations to a MER Mission Scenario
ABSTRACT - State analysis is a model-based systems engineering metholodogy employing a rigorous discovery process which articulates
operations concepts and operability needs as an integrated part of system desi ...
SpaceOps Conference.
Rome, IT.
June
A Model-Based Requirements Database Tool for Complex Embedded Systems
ABSTRACT - It has become clear that spacecraft system complexity is reaching a threshold where customary methods of control are no
longer affordable or sufficiently reliable. At the heart of this problem are th ...
International Council on Systems Engineering (INCOSE) International Symposium.
Washington DC.
May
State-Based Models for Planning and Execution
ABSTRACT - Many traditional planners are build on top of existing execution engines that were not necessarily intended to be
operated by a planner. The Mission Data System has been designed from the onset to ha ...
International Conference on Automated Planning and Scheduling (ICAPS).
Monterey, CA.
June
A Unifying Framework for Systems Modeling, Control Systems Design, and System Operation
ABSTRACT - Current engineering practice in the analysis and design of large-scale multi-disciplinary control systems is typified by some form
of decomposition -- whether functional or physical or discipline-base ...
IEEE System, Man, and Cybernetics Conference.
Kona, HI.
October
Achieving Control and Interoperability Through Unified Model-Based Engineering and Software Engineering
ABSTRACT - This paper describes the control challenge faced by future exploration systems and outlines a realistic approach to solving it, based upon a unified, principled architectural approach to both software ...
AIAA Infotech@Aerospace Conference.
Arlington, VA.
September
Data Management in the Mission Data System
ABSTRACT - As spacecraft systems evolve from simple embedded devices to become more sophisticated computing platforms with complex behaviors it is increasingly necessary to model and manage the flow of data, an ...
IEEE System, Man, and Cybernetics Conference.
Kona, HI.
October
Mission Planning and Execution Within the Mission Data System
ABSTRACT - Not only has the number of launched spacecraft per year exploded recently, but spacecraft are also getting progressively
more complex as flyby missions give way to remote orbiters, which in turn give ...
International Workshop on Planning and Scheduling for Space.
Darmstadt, Germany.
June
Planning for V&V of the Mars Science Laboratory Rover Software
ABSTRACT - NASA's Mars Science Laboratory (MSL) rover mission is planning to make use of advanced software technologies in order to support fulfillment of its ambitious science objectives. The mission plans to a ...
IEEE Aerospace Conference.
Big Sky, MT.
March
The MDS Autonomous Control Architecture
ABSTRACT - We describe the autonomous control architecture for the JPL Mission Data System (MDS). MDS is a comprehensive new software infrastructure for supporting unmanned space exploration. The autonomous cont ...
World Automation Conference.
Maui, HI.
June
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.
