Third IEEE International Conference on Space Mission Challenges ...

Technical Committee on Autonomous and Autonomic Systems (TCAAS)
Technical Committee on Complexity in Computing (TCCX)
<strong>Third</strong> <strong>IEEE</strong> <strong>International</strong> <strong>Conference</strong> on
SPACE MISSION CHALLENGES FOR INFORMATION TECHNOLOGY
SMC-IT 2009 POST CONFERENCE
Pasadena Convention Center • Pasadena, California, USA • 19 - 23 July 2009 • http://smc-it.org
PROCEEDINGS PRESENTATIONS
BY AUTHOR BY SESSION
BY AUTHOR BY SESSION
GETTING STARTED
BY AUTHOR
IWPSS 2009
TRADEMARKS
BY SESSION
MULTIMEDIA PHOTOS CONFERENCE INFORMATION

Technical Committee on Autonomous and Autonomic Systems (TCAAS)
Technical Committee on Complexity in Computing (TCCX)
<strong>Third</strong> <strong>IEEE</strong> <strong>International</strong> <strong>Conference</strong> on
SPACE MISSION CHALLENGES FOR INFORMATION TECHNOLOGY
SMC-IT 2009 POST CONFERENCE PROCEEDINGS
Pasadena Convention Center • Pasadena, California, USA • 19 - 23 July 2009 • http://smc-it.org
CONFERENCE INFORMATION
PAPERS BY SESSION
PAPERS BY AUTHOR
SEARCH
MAIN MENU

<strong>Conference</strong> Information
<strong>Third</strong> <strong>IEEE</strong> <strong>International</strong> <strong>Conference</strong> on Space Mission
Challenges for Information Technology
Message from the General Chairs
Welcome from the Steering Committee
Message from <strong>IEEE</strong> Computer Society Sponsors
Organization
Mini-Workshops
Cover Art (Book version)
Title Page (Book version)
Copyright Page (Book version)
Table of Contents (Book version)
Author Index (Book version)
Publisher's Information (Book version)

Sessions
Session 1 - Fault Tolerant Computing I
Session 2 - Telecommunications
Session 3 - Operations IT
Session 4 - Reliable Software Engineering I
Session 5 (Student I) - Human/Robotics
Session 6 - Fault Tolerant Computing II
Session 7 - Human/Robotic Systems
Session 8 - Data Systems
Session 9 - Knowledge Management
Session 10 (Student II) - Astrophysics & Planetary Simulations
Session 11 - Engineering Modeling & Simulation
Session 12 - Space Systems Autonomy
Session 13 - Ground Information Systems
Session 14 - Mission Cost Management
Session 15 (Student III) - Mission & Systems Design
Session 16 - Fault Tolerant Computing III

Sessions (cont.)
Session 17 - Advanced Information Systems
Session 18 - Mission Design
Session 19 - Reliable Software Engineering II

Papers by Session
Session 1 - Fault Tolerant Computing I
An Exploration of Tiled Architectures for Space Applications
Peter M. Kogge and Megan Vance
Time and Space Partitioning in Spacecraft Avionics
James Windsor and Kjeld Hjortnaes

Papers by Session
Session 2 - Telecommunications
The Lunar Laser Communications Demonstration (LLCD)
D. M. Boroson, J. J. Scozzafava, D. V. Murphy, B. S. Robinson, and M. I. T. Lincoln
Application of the Concatenation of Reed Solomon and Luby Transform Codes
in Deep Communications
Yongzhao Lin, Chengke Wu, Qun Zhang, and Wei Liu
The Deep Impact Network Experiment Operations Center Monitor and Control
System
Shin-Ywan (Cindy) Wang, J. Leigh Torgerson, Joshua Schoolcraft, and Yan Brenman

Session 3 - Operations IT
Papers by Session
Integrating Software Technologies in RAXEM2 - AI Meets Information Technology
Giulio Bernardi, Amedeo Cesta, and Gabriella Cortellessa
Web 2.0 for Ground Resource Allocation
Yeou-Fang Wang, Mitchell Schrock, John Baldwin, Gabriel Rangel, and Chester Borden
SKEYP: AI Applied to SOHO Keyhole Operations
Nicola Policella, Henrique Oliveira, and Tero Siili

Papers by Session
Session 4 - Reliable Software Engineering I
A Workflow Model for Earth Observation Sensor Webs
Robert Morris, Jennifer Dungan, and Petr Votava
Viewpoint-Based Test Analysis for Dependable Onboard Flight Software
Takao Mori, Shinya Iwasaki, Shohgo Ujihara, Naohiko Kohtake, and Yasuharu Nishi
Model Based Analysis and Test Generation for Flight Software
Corina S. Pasareanu, Johann Schumann, Peter Mehlitz, Mike Lowry, Gabor Karsai,
Harmon Nine, and Sandeep Neema

Papers by Session
Session 5 (Student I) - Human/Robotics
A Visual Brain Chip Based on Selective Attention for Robot Vision Application
Tao Wang, Nanning Zheng, and Kuizhi Mei
Frequency Modulation Based Vibrotactile Device for Teleoperation
H. Phong Pham and Ryad Chellali
A Path Planning System based on 3D Occlusion Detection for Lunar Exploration
Rovers
Andres Mora, Keiji Nagatani, Kazuya Yoshida, and Marco Chacin

Papers by Session
Session 6 - Fault Tolerant Computing II
Prototype Implementation of a Goal-Based Software Health Management Service
Matthew Barry and Gregory Horvath
Simulating and Detecting Radiation-Induced Errors for Onboard Machine
Learning
Robert Granat, Kiri L. Wagstaff, Benjamin Bornstein, Benyang Tang, and Michael Turmon
Introspection-Based Verification and Validation
Hans P. Zima and Mark L. James

Papers by Session
Session 7 - Human/Robotic Systems
Motor Activity-Perception Based Approach for Improving Teleoperation Systems
Ryad Chellali, Fabien Dionnet, and Abdeldjallil Naceri
An Autonomous System for the Locomotion of a Hexapod Exploration Robot
Pablo Muñoz-Martínez, María D. R-Moreno, Javier Gómez-Elvira, Julio J. Romeral-Planelló,
and Sara Navarro-López
A Practical Comparison of Motion Planning Techniques for Robotic Legs
in Environments with Obstacles
Tristan B. Smith and Daniel Chavez-Clemente

Papers by Session
Session 8 - Data Systems
A Reusable Process Control System Framework for the Orbiting Carbon
Observatory and NPP Sounder PEATE Missions
Chris A. Mattmann, Dana Freeborn, Dan Crichton, Brian Foster, Andrew Hart, David Woollard,
Sean Hardman, Paul Ramirez, Sean Kelly, Albert Y. Chang, and Charles E. Miller
A Case for Database Filesystems
Philip A. Adams and John C. Hax
A Functional Implementation of the Asynchronous Message Service
Andrew J. Harris

Papers by Session
Session 9 - Knowledge Management
Enhancing Collaboration among NASA Engineers through a Knowledge Sharing
System
Daria E. Topousis, Erin K. Means, Keri S. Murphy, and Manson Yew
The MECA Project - Ontology-Based Data Portability for Space Missions
Leo Breebaart, André Bos, Tim Grant, Antonio Olmedo Soler, Mark Neerincx, Nanja Smets,
Jasper Lindenberg, Uwe Brauer, and Mikael Wolff
A Graphical Environment for the Semantic Validation of a Plan Execution
Language
Camilo Rocha, César Muñoz, and Héctor Cadavid

Papers by Session
Session 10 (Student II) - Astrophysics & Planetary
Simulations
Automatic Extraction of Planetary Image Features
G. Troglio, J. A. Benediktsson, G. Troglio, G. Moser, S. B. Serpico, and J. Le Moigne
Extensible Simulation of Planets and Comets
Natalie Wiser-Orozco, Keith Schubert, Ernesto Gomez, and Richard Botting
Patterned Growth in Extreme Environments
Penelope Boston, Jane Curnutt, Ernesto Gomez, Keith Schubert, and Brian Strader

Papers by Session
Session 11 - Engineering Modeling & Simulation
Dshell++: A Component Based, Reusable Space System Simulation Framework
Christopher S. Lim and Abhinandan Jain
Dspace: Real-Time 3D Visualization System for Spacecraft Dynamics Simulation
Marc I. Pomerantz, Abhinandan Jain, and Steven Myint
Modeling the Image-Processing Behavior of the NASA Voyager Mission
with ASSL
Emil Vassev and Mike Hinchey

Papers by Session
Session 12 - Space Systems Autonomy
Automated Targeting for the MER Rovers
Tara Estlin, Rebecca Castano, Benjamin Bornstein, Daniel Gaines, Robert C. Anderson,
Charles de Granville, David Thompson, Michael Burl, Michele Judd, and Steve Chien
Autonomous Planning and Execution for a Future Titan Aerobot
Daniel Gaines, Tara Estlin, Steve Schaffer, Caroline Chouinard, and Alberto Elfes
Rapid Prototyping of Planning & Scheduling Tools
Amedeo Cesta, Simone Fratini, Alessandro Donati, Henrique Oliveira, and Nicola Policella

Papers by Session
Session 13 - Ground Information Systems
Integrated Information Architectures for Space Missions
Leo Hartman

Papers by Session
Session 14 - Mission Cost Management
Knowledge Management Guided by Economic Valuation Models
Stewart A. Sutton and Joseph Betser
Earned Value Management Software Projects
Robert A. Hanna
Cost Reduction - Buzzwords and Their Real Use: Mission Families, Mission
Planning, Mission Automation and Standardization
Michael Koller and Christian Schurig

Papers by Session
Session 15 (Student III) - Mission & Systems Design
Increasing the Efficiency of Next-Generation Space Operations by Exploiting
Predictability
Daniel Fischer, Knut Eckstein, David Basin, and Thomas Engel
Reliable and Efficient Concurrent Synchronization for Embedded Real-Time
Software
Damian Dechev and Bjarne Stroustrup

Papers by Session
Session 16 - Fault Tolerant Computing III
A Fault-Tolerant Middleware Switch for Space Applications
Sergio Montenegro and Ebrahim Haririan
Fault Detection and Isolation of a Cryogenic Rocket Engine Combustion Chamber
Using a Parity Space Approach
Paul van Gelder and André Bos
A Novel Efficient Method for Conflicts Set Generation for Model-Based Diagnosis
Amir Fijany, Anthony Barrett, and Farrokh Vatan

Papers by Session
Session 17 - Advanced Information Systems
Continuing to Improve Telemetry Data Accessibility
A. Li, E. Hu, and C. Olson
Sequential Principal Component Analysis - A Hardware-Implementable Transform
for Image Compression
Tuan A. Duong and Vu A. Duong

Papers by Session
Session 18 - Mission Design
The Mission Planning Lab: A Visualization and Analysis Tool
Sarah C. Daugherty and Benjamin W. Cervantes
Policy-Based Design of Human-Machine Collaboration in Manned Space
Missions
Jurriaan van Diggelen, Jeffrey M. Bradshaw, Tim Grant, Matthew Johnson, and Mark Neerincx

Papers by Session
Session 19 - Reliable Software Engineering II
A Combinatorial Test Suite Generator for Gray-Box Testing
Anthony Barrett and Daniel Dvorak
Generating Code Review Documentation for Auto-Generated Mission-Critical
Software
Ewen Denney and Bernd Fischer
Improving the Accuracy of Space Mission Software Anomaly Frequency
Estimates
Allen P. Nikora and Galen Balcom

A
Adams, Philip A.
Anderson, Robert C.
B
Balcom, Galen
Baldwin, John
Barrett, Anthony
Barry, Matthew
Basin, David
Benediktsson, J. A.
Bernardi, Giulio
Betser, Joseph
Borden, Chester
Bornstein, Benjamin
Boroson, D. M.
Papers by Author
Bos, André
Boston, Penelope
Botting, Richard
Bradshaw, Jeffrey M.
Brauer, Uwe
Breebaart, Leo
Brenman, Yan
Burl, Michael
C
Cadavid, Héctor
Castano, Rebecca
Cervantes, Benjamin W.
Cesta, Amedeo
Chacin, Marco
Chang, Albert Y.
Chavez-Clemente, Daniel

Chellali, Ryad
Chien, Steve
Chouinard, Caroline
Cortellessa, Gabriella
Crichton, Dan
Curnutt, Jane
D
Daugherty, Sarah C.
Dechev, Damian
Denney, Ewen
Diggelen, Jurriaan van
Dionnet, Fabien
Donati, Alessandro
Dungan, Jennifer
Duong, Tuan A.
Duong, Vu A.
Papers by Author
Dvorak, Daniel
E
Eckstein, Knut
Elfes, Alberto
Engel, Thomas
Estlin, Tara
F
Fijany, Amir
Fischer, Bernd
Fischer, Daniel
Foster, Brian
Fratini, Simone
Freeborn, Dana

G
Gaines, Daniel
Gelder, Paul van
Gomez, Ernesto
Gómez-Elvira, Javier
Granat, Robert
Grant, Tim
Granville, Charles de
H
Hanna, Robert A.
Hardman, Sean
Haririan, Ebrahim
Harris, Andrew J.
Hart, Andrew
Hartman, Leo
Papers by Author
Hax, John C.
Hinchey, Mike
Hjortnaes, Kjeld
Horvath, Gregory
Hu, E.
I
Iwasaki, Shinya
J
Jain, Abhinandan
James, Mark L.
Johnson, Matthew
Judd, Michele
K
Karsai, Gabor

Kelly, Sean
Kogge, Peter M.
Kohtake, Naohiko
Koller, Michael
L
Li, A.
Lim, Christopher S.
Lin, Yongzhao
Lincoln, M. I. T.
Lindenberg, Jasper
Liu, Wei
Lowry, Mike
M
Mattmann, Chris A.
Means, Erin K.
Papers by Author
Mehlitz, Peter
Mei, Kuizhi
Miller, Charles E.
Moigne, J. Le
Montenegro, Sergio
Mora, Andres
Mori, Takao
Morris, Robert
Moser, G.
Muñoz, César
Muñoz-Martínez, Pablo
Murphy, D. V.
Murphy, Keri S.
Myint, Steven
N
Naceri, Abdeldjallil

Nagatani, Keiji
Navarro-López, Sara
Neema, Sandeep
Neerincx, Mark
Nikora, Allen P.
Nine, Harmon
Nishi, Yasuharu
O
Oliveira, Henrique
Olson, C.
P
Pasareanu, Corina S.
Pham, H. Phong
Policella, Nicola
Pomerantz, Marc I.
Papers by Author
R
Ramirez, Paul
Rangel, Gabriel
R-Moreno, María D.
Robinson, B. S.
Rocha, Camilo
Romeral-Planelló, Julio J.
S
Schaffer, Steve
Schoolcraft, Joshua
Schrock, Mitchell
Schubert, Keith
Schumann, Johann
Schurig, Christian
Scozzafava, J. J.

Serpico, S. B.
Siili, Tero
Smets, Nanja
Smith, Tristan B.
Soler, Antonio Olmedo
Strader, Brian
Stroustrup, Bjarne
Sutton, Stewart A.
T
Tang, Benyang
Thompson, David
Topousis, Daria E.
Torgerson, J. Leigh
Troglio, G.
Turmon, Michael
Papers by Author
U
Ujihara, Shohgo
V
Vance, Megan
Vassev, Emil
Vatan, Farrokh
Votava, Petr
W
Wagstaff, Kiri L.
Wang, Shin-Ywan (Cindy)
Wang, Tao
Wang, Yeou-Fang
Windsor, James
Wiser-Orozco, Natalie

Wolff, Mikael
Woollard, David
Wu, Chengke
Y
Yew, Manson
Yoshida, Kazuya
Z
Zhang, Qun
Zheng, Nanning
Zima, Hans P.
Papers by Author

Adams, Philip A.
A Case for Database Filesystems
Anderson, Robert C.
Papers by Author
Automated Targeting for the MER Rovers
Balcom, Galen
Improving the Accuracy of Space Mission Software Anomaly Frequency
Estimates
Baldwin, John
Web 2.0 for Ground Resource Allocation
Barrett, Anthony
A Novel Efficient Method for Conflicts Set Generation for Model-Based Diagnosis
A Combinatorial Test Suite Generator for Gray-Box Testing

Barry, Matthew
Papers by Author
Prototype Implementation of a Goal-Based Software Health Management Service
Basin, David
Increasing the Efficiency of Next-Generation Space Operations by Exploiting
Predictability
Benediktsson, J. A.
Automatic Extraction of Planetary Image Features
Bernardi, Giulio
Integrating Software Technologies in RAXEM2 - AI Meets Information Technology
Betser, Joseph
Knowledge Management Guided by Economic Valuation Models

Borden, Chester
Papers by Author
Web 2.0 for Ground Resource Allocation
Bornstein, Benjamin
Simulating and Detecting Radiation-Induced Errors for Onboard Machine
Learning
Automated Targeting for the MER Rovers
Boroson, D. M.
The Lunar Laser Communications Demonstration (LLCD)
Bos, André
The MECA Project - Ontology-Based Data Portability for Space Missions
Fault Detection and Isolation of a Cryogenic Rocket Engine Combustion Chamber
Using a Parity Space Approach

Boston, Penelope
Papers by Author
Patterned Growth in Extreme Environments
Botting, Richard
Extensible Simulation of Planets and Comets
Bradshaw, Jeffrey M.
Policy-Based Design of Human-Machine Collaboration in Manned Space
Missions
Brauer, Uwe
The MECA Project - Ontology-Based Data Portability for Space Missions
Breebaart, Leo
The MECA Project - Ontology-Based Data Portability for Space Missions

Brenman, Yan
Papers by Author
The Deep Impact Network Experiment Operations Center Monitor and Control
System
Burl, Michael
Automated Targeting for the MER Rovers
Cadavid, Héctor
A Graphical Environment for the Semantic Validation of a Plan Execution
Language
Castano, Rebecca
Automated Targeting for the MER Rovers
Cervantes, Benjamin W.
The Mission Planning Lab: A Visualization and Analysis Tool

Cesta, Amedeo
Papers by Author
Integrating Software Technologies in RAXEM2 - AI Meets Information Technology
Rapid Prototyping of Planning & Scheduling Tools
Chacin, Marco
A Path Planning System based on 3D Occlusion Detection for Lunar Exploration
Rovers
Chang, Albert Y.
A Reusable Process Control System Framework for the Orbiting Carbon
Observatory and NPP Sounder PEATE Missions
Chavez-Clemente, Daniel
A Practical Comparison of Motion Planning Techniques for Robotic Legs
in Environments with Obstacles

Chellali, Ryad
Papers by Author
Frequency Modulation Based Vibrotactile Device for Teleoperation
Motor Activity-Perception Based Approach for Improving Teleoperation Systems
Chien, Steve
Automated Targeting for the MER Rovers
Chouinard, Caroline
Autonomous Planning and Execution for a Future Titan Aerobot
Cortellessa, Gabriella
Integrating Software Technologies in RAXEM2 - AI Meets Information Technology
Crichton, Dan
A Reusable Process Control System Framework for the Orbiting Carbon
Observatory and NPP Sounder PEATE Missions

Curnutt, Jane
Papers by Author
Patterned Growth in Extreme Environments
Daugherty, Sarah C.
The Mission Planning Lab: A Visualization and Analysis Tool
Dechev, Damian
Reliable and Efficient Concurrent Synchronization for Embedded Real-Time
Software
Denney, Ewen
Generating Code Review Documentation for Auto-Generated Mission-Critical
Software

Diggelen, Jurriaan van
Papers by Author
Policy-Based Design of Human-Machine Collaboration in Manned Space
Missions
Dionnet, Fabien
Motor Activity-Perception Based Approach for Improving Teleoperation Systems
Donati, Alessandro
Rapid Prototyping of Planning & Scheduling Tools
Dungan, Jennifer
A Workflow Model for Earth Observation Sensor Webs
Duong, Tuan A.
Sequential Principal Component Analysis - A Hardware-Implementable Transform
for Image Compression

Duong, Vu A.
Papers by Author
Sequential Principal Component Analysis - A Hardware-Implementable Transform
for Image Compression
Dvorak, Daniel
A Combinatorial Test Suite Generator for Gray-Box Testing
Eckstein, Knut
Increasing the Efficiency of Next-Generation Space Operations by Exploiting
Predictability
Elfes, Alberto
Autonomous Planning and Execution for a Future Titan Aerobot

Engel, Thomas
Papers by Author
Increasing the Efficiency of Next-Generation Space Operations by Exploiting
Predictability
Estlin, Tara
Automated Targeting for the MER Rovers
Autonomous Planning and Execution for a Future Titan Aerobot
Fijany, Amir
A Novel Efficient Method for Conflicts Set Generation for Model-Based Diagnosis
Fischer, Bernd
Generating Code Review Documentation for Auto-Generated Mission-Critical
Software

Fischer, Daniel
Papers by Author
Increasing the Efficiency of Next-Generation Space Operations by Exploiting
Predictability
Foster, Brian
A Reusable Process Control System Framework for the Orbiting Carbon
Observatory and NPP Sounder PEATE Missions
Fratini, Simone
Rapid Prototyping of Planning & Scheduling Tools
Freeborn, Dana
A Reusable Process Control System Framework for the Orbiting Carbon
Observatory and NPP Sounder PEATE Missions
Gaines, Daniel
Automated Targeting for the MER Rovers

Papers by Author
Autonomous Planning and Execution for a Future Titan Aerobot
Gelder, Paul van
Fault Detection and Isolation of a Cryogenic Rocket Engine Combustion Chamber
Using a Parity Space Approach
Gomez, Ernesto
Extensible Simulation of Planets and Comets
Patterned Growth in Extreme Environments
Gómez-Elvira, Javier
An Autonomous System for the Locomotion of a Hexapod Exploration Robot
Granat, Robert
Simulating and Detecting Radiation-Induced Errors for Onboard Machine
Learning

Grant, Tim
Papers by Author
The MECA Project - Ontology-Based Data Portability for Space Missions
Policy-Based Design of Human-Machine Collaboration in Manned Space
Missions
Granville, Charles de
Automated Targeting for the MER Rovers
Hanna, Robert A.
Earned Value Management Software Projects
Hardman, Sean
A Reusable Process Control System Framework for the Orbiting Carbon
Observatory and NPP Sounder PEATE Missions

Haririan, Ebrahim
Papers by Author
A Fault-Tolerant Middleware Switch for Space Applications
Harris, Andrew J.
A Functional Implementation of the Asynchronous Message Service
Hart, Andrew
A Reusable Process Control System Framework for the Orbiting Carbon
Observatory and NPP Sounder PEATE Missions
Hartman, Leo
Integrated Information Architectures for Space Missions
Hax, John C.
A Case for Database Filesystems

Hinchey, Mike
Papers by Author
Modeling the Image-Processing Behavior of the NASA Voyager Mission
with ASSL
Hjortnaes, Kjeld
Time and Space Partitioning in Spacecraft Avionics
Horvath, Gregory
Prototype Implementation of a Goal-Based Software Health Management Service
Hu, E.
Continuing to Improve Telemetry Data Accessibility
Iwasaki, Shinya
Viewpoint-Based Test Analysis for Dependable Onboard Flight Software

Jain, Abhinandan
Papers by Author
Dshell++: A Component Based, Reusable Space System Simulation Framework
Dspace: Real-Time 3D Visualization System for Spacecraft Dynamics Simulation
James, Mark L.
Introspection-Based Verification and Validation
Johnson, Matthew
Policy-Based Design of Human-Machine Collaboration in Manned Space
Missions
Judd, Michele
Automated Targeting for the MER Rovers
Karsai, Gabor
Model Based Analysis and Test Generation for Flight Software

Kelly, Sean
Papers by Author
A Reusable Process Control System Framework for the Orbiting Carbon
Observatory and NPP Sounder PEATE Missions
Kogge, Peter M.
An Exploration of Tiled Architectures for Space Applications
Kohtake, Naohiko
Viewpoint-Based Test Analysis for Dependable Onboard Flight Software
Koller, Michael
Cost Reduction - Buzzwords and Their Real Use: Mission Families, Mission
Planning, Mission Automation and Standardization
Li, A.
Continuing to Improve Telemetry Data Accessibility

Lim, Christopher S.
Papers by Author
Dshell++: A Component Based, Reusable Space System Simulation Framework
Lin, Yongzhao
Application of the Concatenation of Reed Solomon and Luby Transform Codes
in Deep Communications
Lincoln, M. I. T.
The Lunar Laser Communications Demonstration (LLCD)
Lindenberg, Jasper
The MECA Project - Ontology-Based Data Portability for Space Missions
Liu, Wei
Application of the Concatenation of Reed Solomon and Luby Transform Codes
in Deep Communications

Lowry, Mike
Papers by Author
Model Based Analysis and Test Generation for Flight Software
Mattmann, Chris A.
A Reusable Process Control System Framework for the Orbiting Carbon
Observatory and NPP Sounder PEATE Missions
Means, Erin K.
Enhancing Collaboration among NASA Engineers through a Knowledge Sharing
System
Mehlitz, Peter
Model Based Analysis and Test Generation for Flight Software
Mei, Kuizhi
A Visual Brain Chip Based on Selective Attention for Robot Vision Application

Miller, Charles E.
Papers by Author
A Reusable Process Control System Framework for the Orbiting Carbon
Observatory and NPP Sounder PEATE Missions
Moigne, J. Le
Automatic Extraction of Planetary Image Features
Montenegro, Sergio
A Fault-Tolerant Middleware Switch for Space Applications
Mora, Andres
A Path Planning System based on 3D Occlusion Detection for Lunar Exploration
Rovers
Mori, Takao
Viewpoint-Based Test Analysis for Dependable Onboard Flight Software

Morris, Robert
Papers by Author
A Workflow Model for Earth Observation Sensor Webs
Moser, G.
Automatic Extraction of Planetary Image Features
Muñoz, César
A Graphical Environment for the Semantic Validation of a Plan Execution
Language
Muñoz-Martínez, Pablo
An Autonomous System for the Locomotion of a Hexapod Exploration Robot
Murphy, D. V.
The Lunar Laser Communications Demonstration (LLCD)

Murphy, Keri S.
Papers by Author
Enhancing Collaboration among NASA Engineers through a Knowledge Sharing
System
Myint, Steven
Dspace: Real-Time 3D Visualization System for Spacecraft Dynamics Simulation
Naceri, Abdeldjallil
Motor Activity-Perception Based Approach for Improving Teleoperation Systems
Nagatani, Keiji
A Path Planning System based on 3D Occlusion Detection for Lunar Exploration
Rovers
Navarro-López, Sara
An Autonomous System for the Locomotion of a Hexapod Exploration Robot

Neema, Sandeep
Papers by Author
Model Based Analysis and Test Generation for Flight Software
Neerincx, Mark
The MECA Project - Ontology-Based Data Portability for Space Missions
Policy-Based Design of Human-Machine Collaboration in Manned Space
Missions
Nikora, Allen P.
Improving the Accuracy of Space Mission Software Anomaly Frequency
Estimates
Nine, Harmon
Model Based Analysis and Test Generation for Flight Software

Nishi, Yasuharu
Papers by Author
Viewpoint-Based Test Analysis for Dependable Onboard Flight Software
Oliveira, Henrique
SKEYP: AI Applied to SOHO Keyhole Operations
Rapid Prototyping of Planning & Scheduling Tools
Olson, C.
Continuing to Improve Telemetry Data Accessibility
Pasareanu, Corina S.
Model Based Analysis and Test Generation for Flight Software
Pham, H. Phong
Frequency Modulation Based Vibrotactile Device for Teleoperation

Policella, Nicola
Papers by Author
SKEYP: AI Applied to SOHO Keyhole Operations
Rapid Prototyping of Planning & Scheduling Tools
Pomerantz, Marc I.
Dspace: Real-Time 3D Visualization System for Spacecraft Dynamics Simulation
Ramirez, Paul
A Reusable Process Control System Framework for the Orbiting Carbon
Observatory and NPP Sounder PEATE Missions
Rangel, Gabriel
Web 2.0 for Ground Resource Allocation
R-Moreno, María D.
An Autonomous System for the Locomotion of a Hexapod Exploration Robot

Robinson, B. S.
Papers by Author
The Lunar Laser Communications Demonstration (LLCD)
Rocha, Camilo
A Graphical Environment for the Semantic Validation of a Plan Execution
Language
Romeral-Planelló, Julio J.
An Autonomous System for the Locomotion of a Hexapod Exploration Robot
Schaffer, Steve
Autonomous Planning and Execution for a Future Titan Aerobot
Schoolcraft, Joshua
The Deep Impact Network Experiment Operations Center Monitor and Control
System

Schrock, Mitchell
Papers by Author
Web 2.0 for Ground Resource Allocation
Schubert, Keith
Extensible Simulation of Planets and Comets
Patterned Growth in Extreme Environments
Schumann, Johann
Model Based Analysis and Test Generation for Flight Software
Schurig, Christian
Cost Reduction - Buzzwords and Their Real Use: Mission Families, Mission
Planning, Mission Automation and Standardization
Scozzafava, J. J.
The Lunar Laser Communications Demonstration (LLCD)

Serpico, S. B.
Papers by Author
Automatic Extraction of Planetary Image Features
Siili, Tero
SKEYP: AI Applied to SOHO Keyhole Operations
Smets, Nanja
The MECA Project - Ontology-Based Data Portability for Space Missions
Smith, Tristan B.
A Practical Comparison of Motion Planning Techniques for Robotic Legs
in Environments with Obstacles
Soler, Antonio Olmedo
The MECA Project - Ontology-Based Data Portability for Space Missions

Strader, Brian
Papers by Author
Patterned Growth in Extreme Environments
Stroustrup, Bjarne
Reliable and Efficient Concurrent Synchronization for Embedded Real-Time
Software
Sutton, Stewart A.
Knowledge Management Guided by Economic Valuation Models
Tang, Benyang
Simulating and Detecting Radiation-Induced Errors for Onboard Machine
Learning
Thompson, David
Automated Targeting for the MER Rovers

Topousis, Daria E.
Papers by Author
Enhancing Collaboration among NASA Engineers through a Knowledge Sharing
System
Torgerson, J. Leigh
The Deep Impact Network Experiment Operations Center Monitor and Control
System
Troglio, G.
Automatic Extraction of Planetary Image Features
Automatic Extraction of Planetary Image Features
Turmon, Michael
Simulating and Detecting Radiation-Induced Errors for Onboard Machine
Learning

Ujihara, Shohgo
Papers by Author
Viewpoint-Based Test Analysis for Dependable Onboard Flight Software
Vance, Megan
An Exploration of Tiled Architectures for Space Applications
Vassev, Emil
Modeling the Image-Processing Behavior of the NASA Voyager Mission
with ASSL
Vatan, Farrokh
A Novel Efficient Method for Conflicts Set Generation for Model-Based Diagnosis
Votava, Petr
A Workflow Model for Earth Observation Sensor Webs

Wagstaff, Kiri L.
Papers by Author
Simulating and Detecting Radiation-Induced Errors for Onboard Machine
Learning
Wang, Shin-Ywan (Cindy)
The Deep Impact Network Experiment Operations Center Monitor and Control
System
Wang, Tao
A Visual Brain Chip Based on Selective Attention for Robot Vision Application
Wang, Yeou-Fang
Web 2.0 for Ground Resource Allocation
Windsor, James
Time and Space Partitioning in Spacecraft Avionics

Wiser-Orozco, Natalie
Papers by Author
Extensible Simulation of Planets and Comets
Wolff, Mikael
The MECA Project - Ontology-Based Data Portability for Space Missions
Woollard, David
A Reusable Process Control System Framework for the Orbiting Carbon
Observatory and NPP Sounder PEATE Missions
Wu, Chengke
Application of the Concatenation of Reed Solomon and Luby Transform Codes
in Deep Communications

Yew, Manson
Papers by Author
Enhancing Collaboration among NASA Engineers through a Knowledge Sharing
System
Yoshida, Kazuya
A Path Planning System based on 3D Occlusion Detection for Lunar Exploration
Rovers
Zhang, Qun
Application of the Concatenation of Reed Solomon and Luby Transform Codes
in Deep Communications
Zheng, Nanning
A Visual Brain Chip Based on Selective Attention for Robot Vision Application
Zima, Hans P.
Introspection-Based Verification and Validation

Papers by Author
A B C D E F G
H I J K L M N
O P Q R S T U
V W X Y Z

Technical Committee on Autonomous and Autonomic Systems (TCAAS)
Technical Committee on Complexity in Computing (TCCX)
<strong>Third</strong> <strong>IEEE</strong> <strong>International</strong> <strong>Conference</strong> on
SPACE MISSION CHALLENGES FOR INFORMATION TECHNOLOGY
SMC-IT 2009 POST CONFERENCE PRESENTATIONS
Pasadena Convention Center • Pasadena, California, USA • 19 - 23 July 2009 • http://smc-it.org
CONFERENCE INFORMATION
PAPERS BY SESSION
PAPERS BY AUTHOR
SEARCH
MAIN MENU

<strong>Conference</strong> Information
Message from the General Chairs
2009 SMC-IT Presentations
Welcome from the Steering Committee
Message from <strong>IEEE</strong> Computer Society Sponsors
Organization
Mini-Workshops
Title Page (Book version)
Copyright Page (Book version)
SMC-IT Presentations Table of Contents (Book version)
SMC-IT Presentations Author Index (Book version)
Publisher's Information (Book version)

Sessions
Technical Program - Sunday, July 19, 2009
Mini-Workshop 5A: (Invited) Multicore Processors for Space - Opportunities
and Challenges
Mini-Workshop 10A (Bridge): 6th <strong>International</strong> Workshop on Planning and Scheduling
for Space (IWPSS) (Part 1)
Technical Program - Monday, July 20, 2009
Plenary Keynote 1
Mini-Workshop 1: Software Reliability in Space Missions
Mini-Workshop 2: Information Technologies for Effective Management of Earth
Observation Systems
Mini-Workshop 5B (Invited): Multicore Processors for Space - Opportunities
and Challenges
Workshop Keynote
Mini-Workshop 5B: Session I: Programming for Parallelism in Space: Tools
and Programming Models
Mini-Workshop 5B: Session IA: Compilers
Mini-Workshop 5B: Session IB: Parallel Libraries

Sessions (cont.)
Mini-Workshop 5B: Session II: Supporting Technologies and Tools for Multicore
in Space
Mini-Workshop 5B: Session III: Will It Work? Is It Still Working?
Mini-Workshop 10B (Bridge): 6th <strong>International</strong> Workshop on Planning and Scheduling
for Space (IWPSS) (Part 2)
Technical Program - Tuesday, July 21, 2009
Plenary Keynote 2
Mini-Workshop 5C (Invited): Multicore Processors for Space - Opportunities
and Challenges
Mini-Workshop 5C: Session IV: Space Applications on Multicore Processors
Mini-Workshop 5C: Session V: Operating Systems, Hypervisors & I/O for Multicore
in Space
Mini-Workshop 5C: Session VI: Architecture Specific Optimization Techniques:
MAESTRO
Mini-Workshop 6: 1st <strong>International</strong> Workshop on Software Health Management (SHM
2009)
Mini-Workshop 7: IT for Climate Research

Sessions (cont.)
Mini-Workshop 8: Human Robot Interfaces: Concepts, Challenges and Applications
Mini-Workshop 9: *AA-SES-IV: Autonomic & Autonomous Space Exploration Systems
Mini-Workshop 10C (Bridge): 6th <strong>International</strong> Workshop on Planning and Scheduling
for Space (IWPSS) (Part 3)
Technical Program - Wednesday, July 22, 2009
Plenary Keynote 3
Plenary Keynote 4
Session 1 - Fault Tolerant Computing I
Session 2 - Telecommunications
Session 3 - Operations IT
Session 4 - Reliable Software Engineering I
Session 5 (Student I) - Human/Robotics
Session 6 - Fault Tolerant Computing II
Session 7 - Human / Robotic Systems
Session 8 - Data Systems
Session 9 - Knowledge Management

Sessions (cont.)
Session 10 (Student II) - Astrophysics & Planetary Simulations
Banquet Speaker
Technical Program - Thursday, July 23, 2009
Plenary Keynote 5
Plenary Keynote 6
Session 11 - Engineering Modeling & Simulation
Session 12 - Space Systems Autonomy
Session 13 - Ground Information Systems
Session 14 - Mission Cost Management
Session 15 (Student III) - Mission & Systems Design
Session 16 - Fault Tolerant Computing III
Session 17 - Advanced Information Systems
Session 18 - Mission Design
Session 19 - Reliable Software Engineering II
Closing Panel Discussion
Closing Remarks

Papers by Session
Technical Program - Sunday, July 19, 2009

Papers by Session
Mini-Workshop 5A: (Invited) Multicore Processors
for Space - Opportunities and Challenges
Mini-Workshop 5A: Multicore Flight Software - Opportunities and Challenges Call
for Papers
Marti Bancroft
A Quick Tour through the Multicore Landscape
B. Scott Michel
Spacecraft Flight Computer Considerations: The Road to Flight
Raphael Some, Len Day, and Mike Sievers
Leveraging Multicore and Virtualization
Michael Deliman III and Mark Hermeling
Maestro Multi-core Software
Steve Crago

Papers by Session
Mini-Workshop 10A (Bridge): 6th <strong>International</strong>
Workshop on Planning and Scheduling for Space
(IWPSS) (Part 1)
Mini-Workshop 10A (Bridge): 6th <strong>International</strong> Workshop on Planning
and Scheduling for Space (IWPSS) (Part 1) Call for Papers
Anthony Barrett
Controlling Rovers on Mars: Mars Exploration Rovers
Ashley Stroupe
Request-Driven Scheduling for NASA’s Deep Space Network
Mark Johnston, Daniel Tran, Belinda Arroyo, and Christopher Page
A Local Approach to Automated Correction of Violated Precedence and Resource
Constraints in Manually Altered Schedules
Roman Barták and Tomáš Skalický

Papers by Session
Technical Program - Monday, July 20, 2009
Monday Welcome - Logistics
Larry Bergman
SMC-IT 2009 Opening Remarks - Enabling the Dream of Flight
Mike Hinchey and Roy Sterritt

Plenary Keynote 1
Papers by Session
Autonomy: From Outer to Inner Space
Kanna Rajan

Papers by Session
Mini-Workshop 1: Software Reliability in Space
Missions
Mini-Workshop 1: Software Reliability in Space Missions Call for Papers
Norm Schneidewind, Mike Hinchey, and Christopher J. Krupiarz
Software Reliability in Space Missions
Norm Schneidewind and Mike Hinchey
Application of the Architectural Analysis and Design Language (AADL)
for Quantitative System Reliability and Availability Modeling
Chris Vogl, Myron Hecht, and Alexander Lam
Finding Defects in Unstructured Software Artifacts
Allen Nikora
Architecture-Centric Reliability Analysis of the NASA cFE/CFS
Dharma Ganesan, Mikael Lindvall, Maureen Bartholomew, Mike Blau, Dave McComas,
and Glenn Cammarata
Formal Specification and Analysis of Execution Logs
Klaus Havelund, Alex Groce, Margaret Smith, and Howard Barringer

Papers by Session
Mini-Workshop 2: Information Technologies
for Effective Management of Earth Observation Systems
Mini-Workshop 2: Information Technologies for Effective Management of Earth
Observation Systems Call for Papers
Robert Morris and Ashit Talukder
Towards a Flexible, Fast, & Standards-Based Earth Observation Information
Turnpike
Peter Baumann
Improving the Access of HDF Data via OPeNDAP
Kent Yang
QuakeSim: A Web Portal Environment for Solid Earth Observation and Analysis
Robert Granat, Xiaoming Gao, Marlon Pierce, Rami Al-Ghanmi, Dennis McLeod, Lisa Grant,
Jay Parker, Yehuda Bock, and Andrea Donnellan
Automated Data Assimilation and Flight Planning for Multi-platform Observation
Missions
Nikunj C. Oza, Robert Morris, Anthony Strawa, Elif Kurklu, and Leslie Keely
Earth Atmospheric Science Mission Concept Exploration Framework
Meemong Lee

Papers by Session
Adaptive Sky - Feature Correspondence for the Generation of Object-Centric
Datasets from Multi-instrument, Multi-platform Satellite Observations
Michael J. Garay
Automatic Multi-modal Image Registration
Adnan Ansar and Larry Matthies

Papers by Session
Mini-Workshop 5B (Invited): Multicore Processors
for Space - Opportunities and Challenges
Mini-Workshop 5B (Invited): Multicore Processors for Space - Opportunities
and Challenges Call for Papers
Marti Bancroft

Workshop Keynote
Digital Space
Anant Agarwal
Papers by Session

Papers by Session
Mini-Workshop 5B: Session I: Programming
for Parallelism in Space: Tools and Programming
Models

Papers by Session
Mini-Workshop 5B: Session IA: Compilers
Models and Tools for Space-Borne Computing: What Can We Learn
from Emerging High-Productivity Languages?
Hans P. Zima
Empirical Analysis of Unified Parallel C on the Tile-64 Processor
Ahmed Anber, Olivier Serres, Saumil Merchant, and Tarek El-Ghazawi
R-Stream®: Automatic Parallelization and Mapping for Space Processors
Richard Lethin

Papers by Session
Mini-Workshop 5B: Session IB: Parallel Libraries
MPI Performance Analysis and Optimization on Tile64/Maestro
Mikyung Kang, Eunhui Park, Minkyoung Cho, Jinwoo Suh, Dong-In Kang, and Stephen P. Crago
OpenMP Implementation for OPERA
Vass Litvinov and Richard Lethin

Papers by Session
Mini-Workshop 5B: Session II: Supporting Technologies
and Tools for Multicore in Space
Run-Time Monitor (RTM)
Mikyung Kang, Inkeun Cho, Dong-In Kang, Stephen Crago, Spundun Bhatt, Inseok Choi,
Xu Yang, Meng-Ju Wu, and Donald Yeung
Integrated Development Environment for Tile64 / Maestro
Karandeep Singh, Rob Kost, Kyungjin Yoo, Kristin Parker, and Steve Crago

Papers by Session
Mini-Workshop 5B: Session III: Will It Work? Is It Still
Working?
Introspection-Based Fault Tolerance
Mark L. James, Paul L. Springer, and Hans P. Zima
Adaptive Software-Based Fault Tolerance for Space Multicore Processing
Adam Jacobs, Grzegorz Cieslewski, and Alan D. George

Papers by Session
Mini-Workshop 10B (Bridge): 6th <strong>International</strong>
Workshop on Planning and Scheduling for Space
(IWPSS) (Part 2)
Mini-Workshop 10B (Bridge): 6th <strong>International</strong> Workshop on Planning
and Scheduling for Space (IWPSS) (Part 2) Call for Papers
Anthony Barrett
AIMS: A Tool for Long-Term Planning of the ESA INTEGRAL Mission
Cédric Pralet and Gérard Verfaillie
MrSpock: A Long-Term Planning Tool for Mars Express
A. Cesta, G. Cortellessa, S. Fratini, and A. Oddi
SKyeP AI Applied to SOHO Keyhole Operations (1)
Nicola Policella, Henrique Oliveira, and Tero Siili
Planning and Scheduling Challenges for Orbital Express
Russell Knight
Applying Lessons Learned in Planning and Scheduling the Hubble Space
Telescope to the James Webb Space Telescope
Robert E. Hawkins, Ian J. E. Jordan, and Mark E. Giuliano

Papers by Session
A Retrospective Snapshot of the Planning Processes in MER Operations after 5
Years
Anthony Barrett, Deborah Bass, Sharon Laubach, and Andrew Mishkin
Orbital Operations Planning & Scheduling for the MESSENGER Mission
Alice Berman, Teck Choo, Deborah Domingue, Mark Holdridge, Rick Shelton, and Josh Steele

Papers by Session
Technical Program - Tuesday, July 21, 2009
Tuesday Welcome - Logistics
Sven Grenander and Larry Bergman
Software, Computing, and Networking on Space Missions
Richard J. Doyle

Plenary Keynote 2
Stealing Success
Rob Manning
Papers by Session

Papers by Session
Mini-Workshop 5C (Invited): Multicore Processors
for Space - Opportunities and Challenges

Papers by Session
Mini-Workshop 5C: Session IV: Space Applications
on Multicore Processors
Parallelizing Lunar Safe Landing Algorithms on the Tilera Tile64 Processor
Carlos Villalpando, Steve Goldberg, Andrew E. Johnson, and Raphael Some
Space Applications on Tilera
Justin Richardson, Chris Massie, Herman Lam, Kunal Gosrani, and Alan George
OpenJPEG2K Performance on Maestro
Xu Yang and Donald Yeung
Multi-core Architectures for Emerging NASA Applications: Some Results
for Tilera's Tile 64 and Maestro
Ed Upchurch and Paul Springer
FFTW on MAESTRO
Karandeep Singh, Steve Crago, and Chenjie Yu

Papers by Session
Mini-Workshop 5C: Session V: Operating Systems,
Hypervisors & I/O for Multicore in Space
Fault Tolerance and Multicore: Using a Hypervisor and Virtualization to Enhance
Fault Tolerance and Increase Reliability
Mike Deliman

Papers by Session
Mini-Workshop 5C: Session VI: Architecture Specific
Optimization Techniques: MAESTRO
DMA Performance on Tile64/Maestro
Karandeep Singh and Steve Crago

Papers by Session
Mini-Workshop 6: 1st <strong>International</strong> Workshop
on Software Health Management (SHM 2009)
Mini-Workshop 6: 1st <strong>International</strong> Workshop on Software Health Management
(SHM 2009) Call for Papers
Gabor Karsai
Software Health Management: A Short Review of Challenges and Existing
Techniques
Knot Pipatsrisawat, Adnan Darwiche, Ole J. Mengshoel, and Johann Schumann
Software Active Online Monitoring under Anticipatory Semantics
Changzhi Zhao, Wei Dong, Ji Wang, and Zhichang Qi
Toward Monitoring Fault-Tolerant Embedded Systems
Alwyn E. Goodloe and Lee Pike
Reflex and Healing Architecture for Software Health Management
Abhishek Dubey, Nagbhushan Mahadevan, and Robert Kereskenyi
Prototype Implementation of a Goal-Based Software Health Management Service
(1)
Matthew Barry and Gregory Horvath

Papers by Session
Using Auto-generated Diagnostic Trees for Verification of Operational Procedures
in Software-Hardware Systems
Tolga Kurtoglu, Robyn Lutz, and Ann Patterson-Hine
Flight Software Process Gap Analysis for Model Based Development
Luis C. Trevino
Software Quality Consulting: Putting Software Quality into Effect
Markus Pizka

Papers by Session
Mini-Workshop 7: IT for Climate Research
Mini-Workshop 7: IT for Climate Research Call for Papers
Daniel Crichton
Global Change Activities and Opportunities (AR5): Overview and Plans
for CMIP5/AR5
Karl E. Taylor
JPL’s Global Change and Energy IT Architecture
Chris A. Mattmann, Dan Crichton, and Amy Braverman
DOE Climate Research
Dean N. Williams
IT Architectures for Global Change Research: JPL's Global Change and Energy
IT Architecture
Chris A. Mattmann and Dan Crichton
I.T. for NOAA Satellite Climatological Data Records
Aleksandar Jelenak
The Earth System Grid
Dean N. Williams

Papers by Session
Specific Projects and Technologies: Climate Data Exchange
Amy Braverman, Dan Crichton, Chris Mattmann, Rob Raskin, David Woollard, Mike Cayanan,
Rob Hanna, and Sean Kelly
Assessing Impacts of Climate and Land Use Change with the NASA Terrestrial
Observation and Prediction System (TOPS)
Forrest Melton, Rama Nemani, Hirofumi Hashimoto, Sam Hiatt, Andrew Michaelis,
Cristina Milesi, Petr Votava, and Weile Wang
The Carbon-Land Model Intercomparison Project (C-LAMP)
Forrest M. Hoffman, James T. Randerson, Peter E. Thornton, Natalie M. Mahowald,
Keith Lindsay, Yen-Huei Lee, Cynthia D. Nevison, Scott C. Doney, Gordon B. Bonan,
Reto Stöckli, Curtis C. Covey, Steven W. Running, and Inez Y. Fung
Leveraging IT Technologies for Modeling and Research: Challenges to Integrating
Satellite Observations and Climate Modeling
Michael Gunson, Dan Crichton, Amy Braverman, and Joao Teixeira
Ontologies and Knowledge Capture for Global Change Research
and Applications
Rob Raskin

Papers by Session
Mini-Workshop 8: Human Robot Interfaces: Concepts,
Challenges and Applications
Mini-Workshop 8: Human Robot Interfaces: Concepts, Challenges
and Applications Call for Papers
Ryad Chellali
How the Brain Predicts Gravity
Thierry Pozzo
Depth Perception in Virtual Reality
Fabien Dionnet
Reducing Distance between Humans and Robots
Ryad Chellali

Papers by Session
Mini-Workshop 9: *AA-SES-IV: Autonomic &
Autonomous Space Exploration Systems
Mini-Workshop 9: *AA-SES-IV: Autonomic & Autonomous Space Exploration
Systems Call for Papers
Roy Sterritt
SPAACE IV: Self-Properties for an Autonomous & Autonomic Computing
Environment
Roy Sterritt and Mike Hinchey
Autonomic Associate for Space Exploration
Bob Simpson, Chris Rouff, Joe Roberts, and Gary Edwards
Decision Controllers for Embedded Human Systems
Jonathan Sprinkle and Diyang Chu
Behavior Extraction by Efficient Automata Learning - The Voyager Case Study
Tiziana Margaria, Falk Howar, Christian Wagner, and Bernhard Steffen
Autonomic Computing and Ambient Assisted Living
Chris Nugent and Roy Sterritt
Autonomic Wireless Sensor Networks (AWSNs)
Julie A. McCann and Roy Sterritt

Papers by Session
Enabling Self-Management by Using Model-Based Design Space Exploration
Abhishek Dubey and Daniel Balasubramanian

Papers by Session
Mini-Workshop 10C (Bridge): 6th <strong>International</strong>
Workshop on Planning and Scheduling for Space
(IWPSS) (Part 3)
Mini-Workshop 10C (Bridge): 6th <strong>International</strong> Workshop on Planning
and Scheduling for Space (IWPSS) (Part 3) Call for Papers
Anthony Barrett
Multi-objective Scheduling for Space Science Missions (Invited Talk)
Mark Giuliano and Mark D. Johnston
On-board Plan Modification for Opportunistic Science
Derek Long, Mark Woods, Andy Shaw, and Derek Pullan
Tractable Goal Selection with Oversubscribed Resources
Gregg Rabideau, Steve Chien, and David McLaren
Autonomous Planning and Execution for a Future Titan Aerobot (1)
Dan Gaines Tara Estlin, Steve Schaffer, Caroline Chouinard, and Alberto Elfes
Enhancing NASA's Procedure Representation Language to Support Planning
Operations
Pete Bonasso, Dave Kortenkamp, and Mark Boddy

Papers by Session
Peer-to-Peer Planning for Space Mission Control
Javier Barreiro, Grailing Jones Jr., and Steve Schaffer
Post Servicing Mission 4 Parallel Observing with the Hubble Space Telescope
Thomas Civeit, Mark Giuliano, and Reiko Rager
Planning Operations of the Earth Observing Satellite EO-1: A Case Study
in Representing and Reasoning about Spacecraft Operations Constraints
Steve Chien, Daniel Tran, Gregg Rabideau, Steve Schaffer, Daniel Mandl, and Stuart Frye
The RAXEM Tool on Mars Express - Uplink Planning Optimisation
and Scheduling Using AI Constraint Resolution
Erhard Rabenau, Michel Denis, Alessandro Donati, Nicola Policella, Amedeo Cesta,
Gabriella Cortellessa, Angelo Oddi, Simone Fratini, and Guilio Bernardi
Welcome - Logistics
Sven Grenander and Larry Bergman

Papers by Session
Technical Program - Wednesday, July 22, 2009
Opening Remarks and Keynote Introduction
Tom Cwik

Plenary Keynote 3
Papers by Session

Plenary Keynote 4
Papers by Session
Challenges and Accomplishments in Earth and Space Science at NASA&#8217;s
Goddard Space Flight Center
Peter Hughes

Papers by Session
Session 1 - Fault Tolerant Computing I
An Exploration of Tiled Architectures for Space Applications
Peter M. Kogge and Megan Vance
Time and Space Partitioning in Spacecraft Avionics
James Windsor

Papers by Session
Session 2 - Telecommunications
Deep Impact Network Experiment Operations Center Monitor and Control System
Shin-Ywan Wang, J. Leigh Torgerson, Joshua Schoolcraft, and Yan Brenman

Session 3 - Operations IT
Papers by Session
Integrating Software Technologies in RAXEM2 - AI Meets Information Technology
Giulio Bernardi, Amedeo Cesta, and Gabriella Cortellessa
Web 2.0 for Ground Resource Allocation
Yeou-Fang Wang, Mitchell Schrock, John Baldwin, Gabriel Rangel, and Chester Borden
SKyeP AI Applied to SOHO Keyhole Operations (2)
Nicola Policella, Henrique Oliveira, and Tero Siili

Papers by Session
Session 4 - Reliable Software Engineering I
A Workflow Model for Earth Observation Sensor Webs
Robert Morris, Jennifer Dungan, Lina Khatib, and Petr Votava
Viewpoint-Based Test Analysis for Dependable Onboard Flight Software
Takao Mori
Model Based Analysis and Test Generationfor Flight Software
Corina S. Pãsãreanu, Johann Schumann, Peter Mehlitz, Mike Lowry, CenterGabor Karsai,
Harmon Nine, and Sandeep Neema

Papers by Session
Session 5 (Student I) - Human/Robotics
A Visual Brain Chip Based on Selective Attention for Robot Vision Application
Tao Wang
Frequency Modulation Based Vibrotactile Device for Teleoperation and Virtual
Reality
Huynh-Phong Pham and Ryad Chellali
A Path Planning System Based on 3D Occlusion Detection for Lunar Exploration
Rovers
Andres Mora, K. Nagatani, K. Yoshida, and M. Chacin

Papers by Session
Session 6 - Fault Tolerant Computing II
Prototype Implementation of a Goal-Based Software Health Management Service
(2)
Matthew Barry and Gregory Horvath
Simulating and Detecting Radiation-Induced Errors for Onboard Machine
Learning
Robert Granat, Kiri L. Wagstaff, Benjamin Bornstein, Benyang Tang, and Michael Turmon
Introspection-Based Verification and Validation (2)
Mark L. James, Paul L. Springer, and Hans P. Zima

Papers by Session
Session 7 - Human / Robotic Systems
Motor Activity-Perception Based Approach for Improving Teleoperation Systems
Ryad Chellali, Fabien Dionnet, and Abdeldjallil Naceri
An Autonomous System for the Locomotion of a Hexapod Exploration Robot
Pablo Muñoz, María D. R-Moreno, Javier Gómez, Julio J. Romeral, and Sara Navarro
A Practical Comparison of Motion Planning Techniques for Robotic Legs
in Environments with Obstacles
Tristan Smith and Daniel Chavez

Session 8 - Data Systems
Papers by Session
A Reusable Process Control System Architecture for the Orbiting Carbon
Observatory and NPP Sounder PEATE Missions
Chris A. Mattmann
Data Intensive Science and Database File Systems
Philip A. Adams and John C. Hax
Implementing the Asynchronous Message Service (AMS) in a Functional
Programming Language
Andrew Harris

Papers by Session
Session 9 - Knowledge Management
Enhancing Collaboration among NASA Engineers through a Knowledge Sharing
System
Erin Means, Daria Topousis, Erin Means, Keri Murphy, and Manson Yew
The MECA Project - Ontology-Based Data Portability for Space Mission
Operations
Mark Neerincx, Jasper Lindenberg, Nanja Smets, Tim Grant, André Bos, Leo Breebaart,
Antonio Olmedo Soler, Uwe Brauer, and Mikael Wolff
PLEXIL5: A Graphical Environment for the Semantic Validation of a Plan
Execution Language
Camilo Rocha, César Muñoz, and Héctor Cadavid

Papers by Session
Session 10 (Student II) - Astrophysics & Planetary
Simulations
Automatic Feature Extraction of Planetary Images
G. Troglio, J. Le Moigne, J. A. Benediktsson, G. Moser, and S. B. Serpico
Extensible Simulation of Planets and Comets
Natalie Wiser-Orozco, Keith Evan Schubert, Ernesto Gomez, and Richard J. Botting
Patterned Growth in Extreme Environments
Penny Boston, Jane Curnutt, Keith Schubert, Ernesto Gomez, and Brian Strader

Banquet Speaker
Space Invaders
Jeff Norris
Papers by Session

Papers by Session
Technical Program - Thursday, July 23, 2009
Thursday Welcome - Logistics
Larry Bergman
Information Technology R&D at NASA Ames
Eugene L. Tu

Plenary Keynote 5
Papers by Session
NASA Supercomputing and Its Impact on Agency Missions
Rupak Biswas

Plenary Keynote 6
Papers by Session
Falcon 1 Flight 4 and 5: From Omelek to Orbit
Hans Koenigsmann

Papers by Session
Session 11 - Engineering Modeling & Simulation
Dshell++: A Component Based, Reusable Space System Simulation Framework
Christopher Lim and Abhinandan Jain
Dspace: Real-Time 3D Visualization System for Spacecraft Dynamics Simulations
Marc Pomerantz, Abhinandan Jain, and Steven Myint
Modeling the Image-Processing Behavior of the NASA Voyager Mission
with ASSL
Emil Vassev and Mike Hinchey

Papers by Session
Session 12 - Space Systems Autonomy
Automated Targeting for the MER Rovers
Tara Estlin, Rebecca Castano, Ben Bornstein, Dan Gaines, Robert C. Anderson,
Charles de Granville, David Thompson, Michael Burl, and Steve Chien
Autonomous Planning and Execution for a Future Titan Aerobot (2)
Dan Gaines, Tara Estlin, Steve Schaffer, Caroline Chouinard, and Alberto Elfes
Rapid Prototyping of Planning & Scheduling Tools
A. Cesta, S. Fratini, A. Donati, H. Oliveira, and N. Policella

Papers by Session
Session 13 - Ground Information Systems
Integrated Information Architectures for Space Missions
L. Hartman, P. Melanson, S. Piggott, L.-P. Durocher, and C. Adourian

Papers by Session
Session 14 - Mission Cost Management
Knowledge Management Guided by Economic Valuation Models
Stew Sutton and Joe Betser
Earned Value Management Software Projects
Robert Hanna
Cost Reduction – Buzzwords and Their Real Use: Mission Families, Mission
Planning, Mission Automation and Standardization
Michael Koller and Christian Schurig

Papers by Session
Session 15 (Student III) - Mission & Systems Design
Increasing the Efficiency of Next-Generation Space Operations by Exploiting
Predictability
Daniel Fischer, Knut Eckstein, David Basin, and Thomas Engel
Reliable and Efficient Concurrent Synchronization for Embedded Real-Time
Software
Damian Dechev and Bjarne Stroustrup

Papers by Session
Session 16 - Fault Tolerant Computing III
A Fault Fault-Tolerant Middleware Switch for Space Applications
Sergio Montenegro and Ebrahim Haririan
Fault Detection and Isolation of a Cryogenic Rocket Engine Using a Parity Space
Approach (#48)
Paul van Gelder, Andre Bos, Johann Keppeler, and Serge Le Conidec
A New Efficient Method for Conflict Sets Generation for Model-Based Diagnosis
Amir Fijany, Anthony Barrett, and Farrokh Vatan

Papers by Session
Session 17 - Advanced Information Systems
Continuing to Improve Telemetry Data Accessibility
Chris C. Olson, Angela Li, and Eric Hu
Sequential Principal Component Analysis - A Hardware Implementable Transform
for Image Compression
Tuan A. Duong and Vu A. Duong
Compiler-Enabled Power Efficient Register File Protection
Aviral Shrivastava

Papers by Session
Session 18 - Mission Design
The Mission Planning Lab: A Visualization and Analysis Tool
Sarah Daugherty and Ben Cervantes
Policy-Based Design of Human-Machine Collaboration in Manned Space
Missions
Jurriaan van Diggelen, Jeffrey M. Bradshaw, Tim Grant, Matthew Johnson, and Mark Neerincx

Papers by Session
Session 19 - Reliable Software Engineering II
A Combinatorial Test Suite Generator for Gray-Box Testing
Anthony Barrett and Daniel Dvorak
Generating Code Review Documentation for Auto-generated Mission-Critical
Software
Ewen Denney
Improving the Accuracy of Space Mission Software Anomaly Frequency
Estimates
Allen Nikora and Galen Balcom

Closing Panel Discussion
Papers by Session
How Much Onboard Computing Do We Need in Space?
Richard Doyle

Closing Remarks
Papers by Session
Flight Computing for Onboard Science Analysis
Steve Chien
Computational Demands for NRC Earth Science Decadal Survey Missions
Charles D. Norton
Closing Remarks
Larry Bergman

A
Adams, Philip A.
Adourian, C.
Agarwal, Anant
Al-Ghanmi, Rami
Anber, Ahmed
Anderson, Robert C.
Ansar, Adnan
Arroyo, Belinda
B
Balasubramanian, Daniel
Balcom, Galen
Baldwin, John
Bancroft, Marti
Barreiro, Javier
Papers by Author
Barrett, Anthony
Barringer, Howard
Barry, Matthew
Barták, Roman
Bartholomew, Maureen
Basin, David
Bass, Deborah
Baumann, Peter
Benediktsson, J. A.
Bergman, Larry
Berman, Alice
Bernardi, Giulio
Bernardi, Guilio
Betser, Joe
Bhatt, Spundun
Biswas, Rupak

Blau, Mike
Bock, Yehuda
Boddy, Mark
Bonan, Gordon B.
Bonasso, Pete
Borden, Chester
Bornstein, Ben
Bornstein, Benjamin
Bos, Andre
Bos, André
Boston, Penny
Botting, Richard J.
Bradshaw, Jeffrey M.
Brauer, Uwe
Braverman, Amy
Breebaart, Leo
Papers by Author
Brenman, Yan
Burl, Michael
C
Cadavid, Héctor
Cammarata, Glenn
Castano, Rebecca
Cayanan, Mike
Cervantes, Ben
Cesta, A.
Cesta, Amedeo
Chacin, M.
Chavez, Daniel
Chellali, Ryad
Chien, Steve
Cho, Inkeun
Cho, Minkyoung

Choi, Inseok
Choo, Teck
Chouinard, Caroline
Chu, Diyang
Cieslewski, Grzegorz
Civeit, Thomas
Conidec, Serge Le
Cortellessa, G.
Cortellessa, Gabriella
Covey, Curtis C.
Crago, Stephen
Crago, Stephen P.
Crago, Steve
Crichton, Dan
Crichton, Daniel
Curnutt, Jane
Papers by Author
Cwik, Tom
D
Darwiche, Adnan
Daugherty, Sarah
Day, Len
Dechev, Damian
Deliman III, Michael
Deliman, Mike
Denis, Michel
Denney, Ewen
Diggelen, Jurriaan van
Dionnet, Fabien
Domingue, Deborah
Donati, A.
Donati, Alessandro
Doney, Scott C.

Dong, Wei
Donnellan, Andrea
Doyle, Richard
Doyle, Richard J.
Dubey, Abhishek
Dungan, Jennifer
Duong, Tuan A.
Duong, Vu A.
Durocher, L.-P.
Dvorak, Daniel
E
Eckstein, Knut
Edwards, Gary
Elfes, Alberto
El-Ghazawi, Tarek
Engel, Thomas
Papers by Author
Estlin, Dan Gaines Tara
Estlin, Tara
F
Fijany, Amir
Fischer, Daniel
Fratini, S.
Fratini, Simone
Frye, Stuart
Fung, Inez Y.
G
Gaines, Dan
Ganesan, Dharma
Gao, Xiaoming
Garay, Michael J.
Gelder, Paul van

George, Alan
George, Alan D.
Giuliano, Mark
Giuliano, Mark E.
Goldberg, Steve
Gomez, Ernesto
Gómez, Javier
Goodloe, Alwyn E.
Gosrani, Kunal
Granat, Robert
Grant, Lisa
Grant, Tim
Granville, Charles de
Grenander, Sven
Groce, Alex
Gunson, Michael
Papers by Author
H
Hanna, Rob
Hanna, Robert
Haririan, Ebrahim
Harris, Andrew
Hartman, L.
Hashimoto, Hirofumi
Havelund, Klaus
Hawkins, Robert E.
Hax, John C.
Hecht, Myron
Hermeling, Mark
Hiatt, Sam
Hinchey, Mike
Hoffman, Forrest M.
Holdridge, Mark

Horvath, Gregory
Howar, Falk
Hu, Eric
Hughes, Peter
J
Jacobs, Adam
Jain, Abhinandan
James, Mark L.
Jelenak, Aleksandar
Johnson, Andrew E.
Johnson, Matthew
Johnston, Mark
Johnston, Mark D.
Jones Jr., Grailing
Jordan, Ian J. E.
Papers by Author
K
Kang, Dong-In
Kang, Mikyung
Karsai, CenterGabor
Karsai, Gabor
Keely, Leslie
Kelly, Sean
Keppeler, Johann
Kereskenyi, Robert
Khatib, Lina
Knight, Russell
Koenigsmann, Hans
Kogge, Peter M.
Koller, Michael
Kortenkamp, Dave
Kost, Rob

Krupiarz, Christopher J.
Kurklu, Elif
Kurtoglu, Tolga
L
Lam, Alexander
Lam, Herman
Laubach, Sharon
Lee, Meemong
Lee, Yen-Huei
Lethin, Richard
Li, Angela
Lim, Christopher
Lindenberg, Jasper
Lindsay, Keith
Lindvall, Mikael
Litvinov, Vass
Papers by Author
Long, Derek
Lowry, Mike
Lutz, Robyn
M
Mahadevan, Nagbhushan
Mahowald, Natalie M.
Mandl, Daniel
Manning, Rob
Margaria, Tiziana
Massie, Chris
Matthies, Larry
Mattmann, Chris
Mattmann, Chris A.
McCann, Julie A.
McComas, Dave
McLaren, David

McLeod, Dennis
Means, Erin
Mehlitz, Peter
Melanson, P.
Melton, Forrest
Mengshoel, Ole J.
Merchant, Saumil
Michaelis, Andrew
Michel, B. Scott
Milesi, Cristina
Mishkin, Andrew
Moigne, J. Le
Montenegro, Sergio
Mora, Andres
Mori, Takao
Morris, Robert
Papers by Author
Moser, G.
Muñoz, César
Muñoz, Pablo
Murphy, Keri
Myint, Steven
N
Naceri, Abdeldjallil
Nagatani, K.
Navarro, Sara
Neema, Sandeep
Neerincx, Mark
Nemani, Rama
Nevison, Cynthia D.
Nikora, Allen
Nine, Harmon
Norris, Jeff

Norton, Charles D.
Nugent, Chris
O
Oddi, A.
Oddi, Angelo
Oliveira, H.
Oliveira, Henrique
Olson, Chris C.
Oza, Nikunj C.
P
Page, Christopher
Park, Eunhui
Parker, Jay
Parker, Kristin
Pãsãreanu, Corina S.
Papers by Author
Patterson-Hine, Ann
Pham, Huynh-Phong
Pierce, Marlon
Piggott, S.
Pike, Lee
Pipatsrisawat, Knot
Pizka, Markus
Policella, N.
Policella, Nicola
Pomerantz, Marc
Pozzo, Thierry
Pralet, Cédric
Pullan, Derek
Q
Qi, Zhichang

R
Rabenau, Erhard
Rabideau, Gregg
Rager, Reiko
Rajan, Kanna
Randerson, James T.
Rangel, Gabriel
Raskin, Rob
Richardson, Justin
R-Moreno, María D.
Roberts, Joe
Rocha, Camilo
Romeral, Julio J.
Rouff, Chris
Running, Steven W.
Papers by Author
S
Schaffer, Steve
Schneidewind, Norm
Schoolcraft, Joshua
Schrock, Mitchell
Schubert, Keith
Schubert, Keith Evan
Schumann, Johann
Schurig, Christian
Serpico, S. B.
Serres, Olivier
Shaw, Andy
Shelton, Rick
Shrivastava, Aviral
Sievers, Mike
Siili, Tero

Simpson, Bob
Singh, Karandeep
Skalický, Tomáš
Smets, Nanja
Smith, Margaret
Smith, Tristan
Soler, Antonio Olmedo
Some, Raphael
Springer, Paul
Springer, Paul L.
Sprinkle, Jonathan
Steele, Josh
Steffen, Bernhard
Sterritt, Roy
Stöckli, Reto
Strader, Brian
Papers by Author
Strawa, Anthony
Stroupe, Ashley
Stroustrup, Bjarne
Suh, Jinwoo
Sutton, Stew
T
Talukder, Ashit
Tang, Benyang
Taylor, Karl E.
Teixeira, Joao
Thompson, David
Thornton, Peter E.
Topousis, Daria
Torgerson, J. Leigh
Tran, Daniel
Trevino, Luis C.

Troglio, G.
Tu, Eugene L.
Turmon, Michael
U
Upchurch, Ed
V
Vance, Megan
Vassev, Emil
Vatan, Farrokh
Verfaillie, Gérard
Villalpando, Carlos
Vogl, Chris
Votava, Petr
Papers by Author
W
Wagner, Christian
Wagstaff, Kiri L.
Wang, Ji
Wang, Shin-Ywan
Wang, Tao
Wang, Weile
Wang, Yeou-Fang
Williams, Dean N.
Windsor, James
Wiser-Orozco, Natalie
Wolff, Mikael
Woods, Mark
Woollard, David
Wu, Meng-Ju

Y
Yang, Kent
Yang, Xu
Yeung, Donald
Yew, Manson
Yoo, Kyungjin
Yoshida, K.
Yu, Chenjie
Z
Zhao, Changzhi
Zima, Hans P.
Papers by Author

Adams, Philip A.
Papers by Author
Data Intensive Science and Database File Systems
Adourian, C.
Integrated Information Architectures for Space Missions
Agarwal, Anant
Digital Space
Al-Ghanmi, Rami
QuakeSim: A Web Portal Environment for Solid Earth Observation and Analysis
Anber, Ahmed
Empirical Analysis of Unified Parallel C on the Tile-64 Processor

Anderson, Robert C.
Papers by Author
Automated Targeting for the MER Rovers
Ansar, Adnan
Automatic Multi-modal Image Registration
Arroyo, Belinda
Request-Driven Scheduling for NASA’s Deep Space Network
Balasubramanian, Daniel
Enabling Self-Management by Using Model-Based Design Space Exploration
Balcom, Galen
Improving the Accuracy of Space Mission Software Anomaly Frequency
Estimates

Baldwin, John
Papers by Author
Web 2.0 for Ground Resource Allocation
Bancroft, Marti
Mini-Workshop 5A: Multicore Flight Software - Opportunities and Challenges Call
for Papers
Mini-Workshop 5B (Invited): Multicore Processors for Space - Opportunities
and Challenges Call for Papers
Barreiro, Javier
Peer-to-Peer Planning for Space Mission Control
Barrett, Anthony
Mini-Workshop 10A (Bridge): 6th <strong>International</strong> Workshop on Planning
and Scheduling for Space (IWPSS) (Part 1) Call for Papers
Mini-Workshop 10B (Bridge): 6th <strong>International</strong> Workshop on Planning
and Scheduling for Space (IWPSS) (Part 2) Call for Papers

Papers by Author
A Retrospective Snapshot of the Planning Processes in MER Operations after 5
Years
Mini-Workshop 10C (Bridge): 6th <strong>International</strong> Workshop on Planning
and Scheduling for Space (IWPSS) (Part 3) Call for Papers
A New Efficient Method for Conflict Sets Generation for Model-Based Diagnosis
A Combinatorial Test Suite Generator for Gray-Box Testing
Barringer, Howard
Formal Specification and Analysis of Execution Logs
Barry, Matthew
Prototype Implementation of a Goal-Based Software Health Management Service
(1)
Prototype Implementation of a Goal-Based Software Health Management Service
(2)

Barták, Roman
Papers by Author
A Local Approach to Automated Correction of Violated Precedence and Resource
Constraints in Manually Altered Schedules
Bartholomew, Maureen
Architecture-Centric Reliability Analysis of the NASA cFE/CFS
Basin, David
Increasing the Efficiency of Next-Generation Space Operations by Exploiting
Predictability
Bass, Deborah
A Retrospective Snapshot of the Planning Processes in MER Operations after 5
Years

Baumann, Peter
Papers by Author
Towards a Flexible, Fast, & Standards-Based Earth Observation Information
Turnpike
Benediktsson, J. A.
Automatic Feature Extraction of Planetary Images
Bergman, Larry
Monday Welcome - Logistics
Tuesday Welcome - Logistics
Welcome - Logistics
Thursday Welcome - Logistics
Closing Remarks
Berman, Alice
Orbital Operations Planning & Scheduling for the MESSENGER Mission

Bernardi, Giulio
Papers by Author
Integrating Software Technologies in RAXEM2 - AI Meets Information Technology
Bernardi, Guilio
The RAXEM Tool on Mars Express - Uplink Planning Optimisation
and Scheduling Using AI Constraint Resolution
Betser, Joe
Knowledge Management Guided by Economic Valuation Models
Bhatt, Spundun
Run-Time Monitor (RTM)
Biswas, Rupak
NASA Supercomputing and Its Impact on Agency Missions

Blau, Mike
Papers by Author
Architecture-Centric Reliability Analysis of the NASA cFE/CFS
Bock, Yehuda
QuakeSim: A Web Portal Environment for Solid Earth Observation and Analysis
Boddy, Mark
Enhancing NASA's Procedure Representation Language to Support Planning
Operations
Bonan, Gordon B.
The Carbon-Land Model Intercomparison Project (C-LAMP)
Bonasso, Pete
Enhancing NASA's Procedure Representation Language to Support Planning
Operations

Borden, Chester
Papers by Author
Web 2.0 for Ground Resource Allocation
Bornstein, Ben
Automated Targeting for the MER Rovers
Bornstein, Benjamin
Simulating and Detecting Radiation-Induced Errors for Onboard Machine
Learning
Bos, Andre
Fault Detection and Isolation of a Cryogenic Rocket Engine Using a Parity Space
Approach (#48)

Bos, André
Papers by Author
The MECA Project - Ontology-Based Data Portability for Space Mission
Operations
Boston, Penny
Patterned Growth in Extreme Environments
Botting, Richard J.
Extensible Simulation of Planets and Comets
Bradshaw, Jeffrey M.
Policy-Based Design of Human-Machine Collaboration in Manned Space
Missions

Brauer, Uwe
Papers by Author
The MECA Project - Ontology-Based Data Portability for Space Mission
Operations
Braverman, Amy
JPL’s Global Change and Energy IT Architecture
Specific Projects and Technologies: Climate Data Exchange
Leveraging IT Technologies for Modeling and Research: Challenges to Integrating
Satellite Observations and Climate Modeling
Breebaart, Leo
The MECA Project - Ontology-Based Data Portability for Space Mission
Operations
Brenman, Yan
Deep Impact Network Experiment Operations Center Monitor and Control System

Burl, Michael
Papers by Author
Automated Targeting for the MER Rovers
Cadavid, Héctor
PLEXIL5: A Graphical Environment for the Semantic Validation of a Plan
Execution Language
Cammarata, Glenn
Architecture-Centric Reliability Analysis of the NASA cFE/CFS
Castano, Rebecca
Automated Targeting for the MER Rovers
Cayanan, Mike
Specific Projects and Technologies: Climate Data Exchange

Cervantes, Ben
Papers by Author
The Mission Planning Lab: A Visualization and Analysis Tool
Cesta, A.
MrSpock: A Long-Term Planning Tool for Mars Express
Rapid Prototyping of Planning & Scheduling Tools
Cesta, Amedeo
The RAXEM Tool on Mars Express - Uplink Planning Optimisation
and Scheduling Using AI Constraint Resolution
Integrating Software Technologies in RAXEM2 - AI Meets Information Technology
Chacin, M.
A Path Planning System Based on 3D Occlusion Detection for Lunar Exploration
Rovers

Chavez, Daniel
Papers by Author
A Practical Comparison of Motion Planning Techniques for Robotic Legs
in Environments with Obstacles
Chellali, Ryad
Mini-Workshop 8: Human Robot Interfaces: Concepts, Challenges
and Applications Call for Papers
Reducing Distance between Humans and Robots
Frequency Modulation Based Vibrotactile Device for Teleoperation and Virtual
Reality
Motor Activity-Perception Based Approach for Improving Teleoperation Systems
Chien, Steve
Tractable Goal Selection with Oversubscribed Resources
Planning Operations of the Earth Observing Satellite EO-1: A Case Study
in Representing and Reasoning about Spacecraft Operations Constraints
Automated Targeting for the MER Rovers

Papers by Author
Flight Computing for Onboard Science Analysis
Cho, Inkeun
Run-Time Monitor (RTM)
Cho, Minkyoung
MPI Performance Analysis and Optimization on Tile64/Maestro
Choi, Inseok
Run-Time Monitor (RTM)
Choo, Teck
Orbital Operations Planning & Scheduling for the MESSENGER Mission
Chouinard, Caroline
Autonomous Planning and Execution for a Future Titan Aerobot (1)
Autonomous Planning and Execution for a Future Titan Aerobot (2)

Chu, Diyang
Papers by Author
Decision Controllers for Embedded Human Systems
Cieslewski, Grzegorz
Adaptive Software-Based Fault Tolerance for Space Multicore Processing
Civeit, Thomas
Post Servicing Mission 4 Parallel Observing with the Hubble Space Telescope
Conidec, Serge Le
Fault Detection and Isolation of a Cryogenic Rocket Engine Using a Parity Space
Approach (#48)
Cortellessa, G.
MrSpock: A Long-Term Planning Tool for Mars Express

Cortellessa, Gabriella
Papers by Author
The RAXEM Tool on Mars Express - Uplink Planning Optimisation
and Scheduling Using AI Constraint Resolution
Integrating Software Technologies in RAXEM2 - AI Meets Information Technology
Covey, Curtis C.
The Carbon-Land Model Intercomparison Project (C-LAMP)
Crago, Stephen
Run-Time Monitor (RTM)
Crago, Stephen P.
MPI Performance Analysis and Optimization on Tile64/Maestro
Crago, Steve
Maestro Multi-core Software

Papers by Author
Integrated Development Environment for Tile64 / Maestro
FFTW on MAESTRO
DMA Performance on Tile64/Maestro
Crichton, Dan
JPL’s Global Change and Energy IT Architecture
IT Architectures for Global Change Research: JPL's Global Change and Energy
IT Architecture
Specific Projects and Technologies: Climate Data Exchange
Leveraging IT Technologies for Modeling and Research: Challenges to Integrating
Satellite Observations and Climate Modeling
Crichton, Daniel
Mini-Workshop 7: IT for Climate Research Call for Papers
Curnutt, Jane
Patterned Growth in Extreme Environments

Cwik, Tom
Papers by Author
Opening Remarks and Keynote Introduction
Darwiche, Adnan
Software Health Management: A Short Review of Challenges and Existing
Techniques
Daugherty, Sarah
The Mission Planning Lab: A Visualization and Analysis Tool
Day, Len
Spacecraft Flight Computer Considerations: The Road to Flight
Dechev, Damian
Reliable and Efficient Concurrent Synchronization for Embedded Real-Time
Software

Deliman III, Michael
Papers by Author
Leveraging Multicore and Virtualization
Deliman, Mike
Fault Tolerance and Multicore: Using a Hypervisor and Virtualization to Enhance
Fault Tolerance and Increase Reliability
Denis, Michel
The RAXEM Tool on Mars Express - Uplink Planning Optimisation
and Scheduling Using AI Constraint Resolution
Denney, Ewen
Generating Code Review Documentation for Auto-generated Mission-Critical
Software

Diggelen, Jurriaan van
Papers by Author
Policy-Based Design of Human-Machine Collaboration in Manned Space
Missions
Dionnet, Fabien
Depth Perception in Virtual Reality
Motor Activity-Perception Based Approach for Improving Teleoperation Systems
Domingue, Deborah
Orbital Operations Planning & Scheduling for the MESSENGER Mission
Donati, A.
Rapid Prototyping of Planning & Scheduling Tools

Donati, Alessandro
Papers by Author
The RAXEM Tool on Mars Express - Uplink Planning Optimisation
and Scheduling Using AI Constraint Resolution
Doney, Scott C.
The Carbon-Land Model Intercomparison Project (C-LAMP)
Dong, Wei
Software Active Online Monitoring under Anticipatory Semantics
Donnellan, Andrea
QuakeSim: A Web Portal Environment for Solid Earth Observation and Analysis
Doyle, Richard
How Much Onboard Computing Do We Need in Space?

Doyle, Richard J.
Papers by Author
Software, Computing, and Networking on Space Missions
Dubey, Abhishek
Reflex and Healing Architecture for Software Health Management
Enabling Self-Management by Using Model-Based Design Space Exploration
Dungan, Jennifer
A Workflow Model for Earth Observation Sensor Webs
Duong, Tuan A.
Sequential Principal Component Analysis - A Hardware Implementable Transform
for Image Compression

Duong, Vu A.
Papers by Author
Sequential Principal Component Analysis - A Hardware Implementable Transform
for Image Compression
Durocher, L.-P.
Integrated Information Architectures for Space Missions
Dvorak, Daniel
A Combinatorial Test Suite Generator for Gray-Box Testing
Eckstein, Knut
Increasing the Efficiency of Next-Generation Space Operations by Exploiting
Predictability
Edwards, Gary
Autonomic Associate for Space Exploration

Elfes, Alberto
Papers by Author
Autonomous Planning and Execution for a Future Titan Aerobot (1)
Autonomous Planning and Execution for a Future Titan Aerobot (2)
El-Ghazawi, Tarek
Empirical Analysis of Unified Parallel C on the Tile-64 Processor
Engel, Thomas
Increasing the Efficiency of Next-Generation Space Operations by Exploiting
Predictability
Estlin, Dan Gaines Tara
Autonomous Planning and Execution for a Future Titan Aerobot (1)
Estlin, Tara
Automated Targeting for the MER Rovers

Papers by Author
Autonomous Planning and Execution for a Future Titan Aerobot (2)
Fijany, Amir
A New Efficient Method for Conflict Sets Generation for Model-Based Diagnosis
Fischer, Daniel
Increasing the Efficiency of Next-Generation Space Operations by Exploiting
Predictability
Fratini, S.
MrSpock: A Long-Term Planning Tool for Mars Express
Rapid Prototyping of Planning & Scheduling Tools
Fratini, Simone
The RAXEM Tool on Mars Express - Uplink Planning Optimisation
and Scheduling Using AI Constraint Resolution

Frye, Stuart
Papers by Author
Planning Operations of the Earth Observing Satellite EO-1: A Case Study
in Representing and Reasoning about Spacecraft Operations Constraints
Fung, Inez Y.
The Carbon-Land Model Intercomparison Project (C-LAMP)
Gaines, Dan
Automated Targeting for the MER Rovers
Autonomous Planning and Execution for a Future Titan Aerobot (2)
Ganesan, Dharma
Architecture-Centric Reliability Analysis of the NASA cFE/CFS
Gao, Xiaoming
QuakeSim: A Web Portal Environment for Solid Earth Observation and Analysis

Garay, Michael J.
Papers by Author
Adaptive Sky - Feature Correspondence for the Generation of Object-Centric
Datasets from Multi-instrument, Multi-platform Satellite Observations
Gelder, Paul van
Fault Detection and Isolation of a Cryogenic Rocket Engine Using a Parity Space
Approach (#48)
George, Alan
Space Applications on Tilera
George, Alan D.
Adaptive Software-Based Fault Tolerance for Space Multicore Processing
Giuliano, Mark
Multi-objective Scheduling for Space Science Missions (Invited Talk)

Papers by Author
Post Servicing Mission 4 Parallel Observing with the Hubble Space Telescope
Giuliano, Mark E.
Applying Lessons Learned in Planning and Scheduling the Hubble Space
Telescope to the James Webb Space Telescope
Goldberg, Steve
Parallelizing Lunar Safe Landing Algorithms on the Tilera Tile64 Processor
Gomez, Ernesto
Extensible Simulation of Planets and Comets
Patterned Growth in Extreme Environments
Gómez, Javier
An Autonomous System for the Locomotion of a Hexapod Exploration Robot

Goodloe, Alwyn E.
Papers by Author
Toward Monitoring Fault-Tolerant Embedded Systems
Gosrani, Kunal
Space Applications on Tilera
Granat, Robert
QuakeSim: A Web Portal Environment for Solid Earth Observation and Analysis
Simulating and Detecting Radiation-Induced Errors for Onboard Machine
Learning
Grant, Lisa
QuakeSim: A Web Portal Environment for Solid Earth Observation and Analysis

Grant, Tim
Papers by Author
The MECA Project - Ontology-Based Data Portability for Space Mission
Operations
Policy-Based Design of Human-Machine Collaboration in Manned Space
Missions
Granville, Charles de
Automated Targeting for the MER Rovers
Grenander, Sven
Tuesday Welcome - Logistics
Welcome - Logistics
Groce, Alex
Formal Specification and Analysis of Execution Logs

Gunson, Michael
Papers by Author
Leveraging IT Technologies for Modeling and Research: Challenges to Integrating
Satellite Observations and Climate Modeling
Hanna, Rob
Specific Projects and Technologies: Climate Data Exchange
Hanna, Robert
Earned Value Management Software Projects
Haririan, Ebrahim
A Fault Fault-Tolerant Middleware Switch for Space Applications
Harris, Andrew
Implementing the Asynchronous Message Service (AMS) in a Functional
Programming Language

Hartman, L.
Papers by Author
Integrated Information Architectures for Space Missions
Hashimoto, Hirofumi
Assessing Impacts of Climate and Land Use Change with the NASA Terrestrial
Observation and Prediction System (TOPS)
Havelund, Klaus
Formal Specification and Analysis of Execution Logs
Hawkins, Robert E.
Applying Lessons Learned in Planning and Scheduling the Hubble Space
Telescope to the James Webb Space Telescope
Hax, John C.
Data Intensive Science and Database File Systems

Hecht, Myron
Papers by Author
Application of the Architectural Analysis and Design Language (AADL)
for Quantitative System Reliability and Availability Modeling
Hermeling, Mark
Leveraging Multicore and Virtualization
Hiatt, Sam
Assessing Impacts of Climate and Land Use Change with the NASA Terrestrial
Observation and Prediction System (TOPS)
Hinchey, Mike
SMC-IT 2009 Opening Remarks - Enabling the Dream of Flight
Mini-Workshop 1: Software Reliability in Space Missions Call for Papers
Software Reliability in Space Missions
SPAACE IV: Self-Properties for an Autonomous & Autonomic Computing
Environment

Papers by Author
Modeling the Image-Processing Behavior of the NASA Voyager Mission
with ASSL
Hoffman, Forrest M.
The Carbon-Land Model Intercomparison Project (C-LAMP)
Holdridge, Mark
Orbital Operations Planning & Scheduling for the MESSENGER Mission
Horvath, Gregory
Prototype Implementation of a Goal-Based Software Health Management Service
(1)
Prototype Implementation of a Goal-Based Software Health Management Service
(2)
Howar, Falk
Behavior Extraction by Efficient Automata Learning - The Voyager Case Study

Hu, Eric
Papers by Author
Continuing to Improve Telemetry Data Accessibility
Hughes, Peter
Challenges and Accomplishments in Earth and Space Science at NASA&#8217;s
Goddard Space Flight Center
Jacobs, Adam
Adaptive Software-Based Fault Tolerance for Space Multicore Processing
Jain, Abhinandan
Dshell++: A Component Based, Reusable Space System Simulation Framework
Dspace: Real-Time 3D Visualization System for Spacecraft Dynamics Simulations
James, Mark L.
Introspection-Based Fault Tolerance

Papers by Author
Introspection-Based Verification and Validation (2)
Jelenak, Aleksandar
I.T. for NOAA Satellite Climatological Data Records
Johnson, Andrew E.
Parallelizing Lunar Safe Landing Algorithms on the Tilera Tile64 Processor
Johnson, Matthew
Policy-Based Design of Human-Machine Collaboration in Manned Space
Missions
Johnston, Mark
Request-Driven Scheduling for NASA’s Deep Space Network
Johnston, Mark D.
Multi-objective Scheduling for Space Science Missions (Invited Talk)

Jones Jr., Grailing
Papers by Author
Peer-to-Peer Planning for Space Mission Control
Jordan, Ian J. E.
Applying Lessons Learned in Planning and Scheduling the Hubble Space
Telescope to the James Webb Space Telescope
Kang, Dong-In
MPI Performance Analysis and Optimization on Tile64/Maestro
Run-Time Monitor (RTM)
Kang, Mikyung
MPI Performance Analysis and Optimization on Tile64/Maestro
Run-Time Monitor (RTM)

Karsai, CenterGabor
Papers by Author
Model Based Analysis and Test Generationfor Flight Software
Karsai, Gabor
Mini-Workshop 6: 1st <strong>International</strong> Workshop on Software Health Management
(SHM 2009) Call for Papers
Keely, Leslie
Automated Data Assimilation and Flight Planning for Multi-platform Observation
Missions
Kelly, Sean
Specific Projects and Technologies: Climate Data Exchange

Keppeler, Johann
Papers by Author
Fault Detection and Isolation of a Cryogenic Rocket Engine Using a Parity Space
Approach (#48)
Kereskenyi, Robert
Reflex and Healing Architecture for Software Health Management
Khatib, Lina
A Workflow Model for Earth Observation Sensor Webs
Knight, Russell
Planning and Scheduling Challenges for Orbital Express
Koenigsmann, Hans
Falcon 1 Flight 4 and 5: From Omelek to Orbit

Kogge, Peter M.
Papers by Author
An Exploration of Tiled Architectures for Space Applications
Koller, Michael
Cost Reduction – Buzzwords and Their Real Use: Mission Families, Mission
Planning, Mission Automation and Standardization
Kortenkamp, Dave
Enhancing NASA's Procedure Representation Language to Support Planning
Operations
Kost, Rob
Integrated Development Environment for Tile64 / Maestro
Krupiarz, Christopher J.
Mini-Workshop 1: Software Reliability in Space Missions Call for Papers

Kurklu, Elif
Papers by Author
Automated Data Assimilation and Flight Planning for Multi-platform Observation
Missions
Kurtoglu, Tolga
Using Auto-generated Diagnostic Trees for Verification of Operational Procedures
in Software-Hardware Systems
Lam, Alexander
Application of the Architectural Analysis and Design Language (AADL)
for Quantitative System Reliability and Availability Modeling
Lam, Herman
Space Applications on Tilera

Laubach, Sharon
Papers by Author
A Retrospective Snapshot of the Planning Processes in MER Operations after 5
Years
Lee, Meemong
Earth Atmospheric Science Mission Concept Exploration Framework
Lee, Yen-Huei
The Carbon-Land Model Intercomparison Project (C-LAMP)
Lethin, Richard
R-Stream®: Automatic Parallelization and Mapping for Space Processors
OpenMP Implementation for OPERA
Li, Angela
Continuing to Improve Telemetry Data Accessibility

Lim, Christopher
Papers by Author
Dshell++: A Component Based, Reusable Space System Simulation Framework
Lindenberg, Jasper
The MECA Project - Ontology-Based Data Portability for Space Mission
Operations
Lindsay, Keith
The Carbon-Land Model Intercomparison Project (C-LAMP)
Lindvall, Mikael
Architecture-Centric Reliability Analysis of the NASA cFE/CFS
Litvinov, Vass
OpenMP Implementation for OPERA

Long, Derek
Papers by Author
On-board Plan Modification for Opportunistic Science
Lowry, Mike
Model Based Analysis and Test Generationfor Flight Software
Lutz, Robyn
Using Auto-generated Diagnostic Trees for Verification of Operational Procedures
in Software-Hardware Systems
Mahadevan, Nagbhushan
Reflex and Healing Architecture for Software Health Management
Mahowald, Natalie M.
The Carbon-Land Model Intercomparison Project (C-LAMP)

Mandl, Daniel
Papers by Author
Planning Operations of the Earth Observing Satellite EO-1: A Case Study
in Representing and Reasoning about Spacecraft Operations Constraints
Manning, Rob
Stealing Success
Margaria, Tiziana
Behavior Extraction by Efficient Automata Learning - The Voyager Case Study
Massie, Chris
Space Applications on Tilera
Matthies, Larry
Automatic Multi-modal Image Registration

Mattmann, Chris
Papers by Author
Specific Projects and Technologies: Climate Data Exchange
Mattmann, Chris A.
JPL’s Global Change and Energy IT Architecture
IT Architectures for Global Change Research: JPL's Global Change and Energy
IT Architecture
A Reusable Process Control System Architecture for the Orbiting Carbon
Observatory and NPP Sounder PEATE Missions
McCann, Julie A.
Autonomic Wireless Sensor Networks (AWSNs)
McComas, Dave
Architecture-Centric Reliability Analysis of the NASA cFE/CFS

McLaren, David
Papers by Author
Tractable Goal Selection with Oversubscribed Resources
McLeod, Dennis
QuakeSim: A Web Portal Environment for Solid Earth Observation and Analysis
Means, Erin
Enhancing Collaboration among NASA Engineers through a Knowledge Sharing
System
Enhancing Collaboration among NASA Engineers through a Knowledge Sharing
System
Mehlitz, Peter
Model Based Analysis and Test Generationfor Flight Software

Melanson, P.
Papers by Author
Integrated Information Architectures for Space Missions
Melton, Forrest
Assessing Impacts of Climate and Land Use Change with the NASA Terrestrial
Observation and Prediction System (TOPS)
Mengshoel, Ole J.
Software Health Management: A Short Review of Challenges and Existing
Techniques
Merchant, Saumil
Empirical Analysis of Unified Parallel C on the Tile-64 Processor

Michaelis, Andrew
Papers by Author
Assessing Impacts of Climate and Land Use Change with the NASA Terrestrial
Observation and Prediction System (TOPS)
Michel, B. Scott
A Quick Tour through the Multicore Landscape
Milesi, Cristina
Assessing Impacts of Climate and Land Use Change with the NASA Terrestrial
Observation and Prediction System (TOPS)
Mishkin, Andrew
A Retrospective Snapshot of the Planning Processes in MER Operations after 5
Years
Moigne, J. Le
Automatic Feature Extraction of Planetary Images

Montenegro, Sergio
Papers by Author
A Fault Fault-Tolerant Middleware Switch for Space Applications
Mora, Andres
A Path Planning System Based on 3D Occlusion Detection for Lunar Exploration
Rovers
Mori, Takao
Viewpoint-Based Test Analysis for Dependable Onboard Flight Software
Morris, Robert
Mini-Workshop 2: Information Technologies for Effective Management of Earth
Observation Systems Call for Papers
Automated Data Assimilation and Flight Planning for Multi-platform Observation
Missions
A Workflow Model for Earth Observation Sensor Webs

Moser, G.
Papers by Author
Automatic Feature Extraction of Planetary Images
Muñoz, César
PLEXIL5: A Graphical Environment for the Semantic Validation of a Plan
Execution Language
Muñoz, Pablo
An Autonomous System for the Locomotion of a Hexapod Exploration Robot
Murphy, Keri
Enhancing Collaboration among NASA Engineers through a Knowledge Sharing
System
Myint, Steven
Dspace: Real-Time 3D Visualization System for Spacecraft Dynamics Simulations

Naceri, Abdeldjallil
Papers by Author
Motor Activity-Perception Based Approach for Improving Teleoperation Systems
Nagatani, K.
A Path Planning System Based on 3D Occlusion Detection for Lunar Exploration
Rovers
Navarro, Sara
An Autonomous System for the Locomotion of a Hexapod Exploration Robot
Neema, Sandeep
Model Based Analysis and Test Generationfor Flight Software
Neerincx, Mark
The MECA Project - Ontology-Based Data Portability for Space Mission
Operations

Papers by Author
Policy-Based Design of Human-Machine Collaboration in Manned Space
Missions
Nemani, Rama
Assessing Impacts of Climate and Land Use Change with the NASA Terrestrial
Observation and Prediction System (TOPS)
Nevison, Cynthia D.
The Carbon-Land Model Intercomparison Project (C-LAMP)
Nikora, Allen
Finding Defects in Unstructured Software Artifacts
Improving the Accuracy of Space Mission Software Anomaly Frequency
Estimates
Nine, Harmon
Model Based Analysis and Test Generationfor Flight Software

Norris, Jeff
Space Invaders
Norton, Charles D.
Papers by Author
Computational Demands for NRC Earth Science Decadal Survey Missions
Nugent, Chris
Autonomic Computing and Ambient Assisted Living
Oddi, A.
MrSpock: A Long-Term Planning Tool for Mars Express
Oddi, Angelo
The RAXEM Tool on Mars Express - Uplink Planning Optimisation
and Scheduling Using AI Constraint Resolution

Oliveira, H.
Papers by Author
Rapid Prototyping of Planning & Scheduling Tools
Oliveira, Henrique
SKyeP AI Applied to SOHO Keyhole Operations (1)
SKyeP AI Applied to SOHO Keyhole Operations (2)
Olson, Chris C.
Continuing to Improve Telemetry Data Accessibility
Oza, Nikunj C.
Automated Data Assimilation and Flight Planning for Multi-platform Observation
Missions
Page, Christopher
Request-Driven Scheduling for NASA’s Deep Space Network

Park, Eunhui
Papers by Author
MPI Performance Analysis and Optimization on Tile64/Maestro
Parker, Jay
QuakeSim: A Web Portal Environment for Solid Earth Observation and Analysis
Parker, Kristin
Integrated Development Environment for Tile64 / Maestro
Pãsãreanu, Corina S.
Model Based Analysis and Test Generationfor Flight Software
Patterson-Hine, Ann
Using Auto-generated Diagnostic Trees for Verification of Operational Procedures
in Software-Hardware Systems

Pham, Huynh-Phong
Papers by Author
Frequency Modulation Based Vibrotactile Device for Teleoperation and Virtual
Reality
Pierce, Marlon
QuakeSim: A Web Portal Environment for Solid Earth Observation and Analysis
Piggott, S.
Integrated Information Architectures for Space Missions
Pike, Lee
Toward Monitoring Fault-Tolerant Embedded Systems
Pipatsrisawat, Knot
Software Health Management: A Short Review of Challenges and Existing
Techniques

Pizka, Markus
Papers by Author
Software Quality Consulting: Putting Software Quality into Effect
Policella, N.
Rapid Prototyping of Planning & Scheduling Tools
Policella, Nicola
SKyeP AI Applied to SOHO Keyhole Operations (1)
The RAXEM Tool on Mars Express - Uplink Planning Optimisation
and Scheduling Using AI Constraint Resolution
SKyeP AI Applied to SOHO Keyhole Operations (2)
Pomerantz, Marc
Dspace: Real-Time 3D Visualization System for Spacecraft Dynamics Simulations

Pozzo, Thierry
How the Brain Predicts Gravity
Pralet, Cédric
Papers by Author
AIMS: A Tool for Long-Term Planning of the ESA INTEGRAL Mission
Pullan, Derek
On-board Plan Modification for Opportunistic Science
Qi, Zhichang
Software Active Online Monitoring under Anticipatory Semantics
Rabenau, Erhard
The RAXEM Tool on Mars Express - Uplink Planning Optimisation
and Scheduling Using AI Constraint Resolution

Rabideau, Gregg
Papers by Author
Tractable Goal Selection with Oversubscribed Resources
Planning Operations of the Earth Observing Satellite EO-1: A Case Study
in Representing and Reasoning about Spacecraft Operations Constraints
Rager, Reiko
Post Servicing Mission 4 Parallel Observing with the Hubble Space Telescope
Rajan, Kanna
Autonomy: From Outer to Inner Space
Randerson, James T.
The Carbon-Land Model Intercomparison Project (C-LAMP)
Rangel, Gabriel
Web 2.0 for Ground Resource Allocation

Raskin, Rob
Papers by Author
Specific Projects and Technologies: Climate Data Exchange
Ontologies and Knowledge Capture for Global Change Research
and Applications
Richardson, Justin
Space Applications on Tilera
R-Moreno, María D.
An Autonomous System for the Locomotion of a Hexapod Exploration Robot
Roberts, Joe
Autonomic Associate for Space Exploration

Rocha, Camilo
Papers by Author
PLEXIL5: A Graphical Environment for the Semantic Validation of a Plan
Execution Language
Romeral, Julio J.
An Autonomous System for the Locomotion of a Hexapod Exploration Robot
Rouff, Chris
Autonomic Associate for Space Exploration
Running, Steven W.
The Carbon-Land Model Intercomparison Project (C-LAMP)
Schaffer, Steve
Autonomous Planning and Execution for a Future Titan Aerobot (1)
Peer-to-Peer Planning for Space Mission Control

Papers by Author
Planning Operations of the Earth Observing Satellite EO-1: A Case Study
in Representing and Reasoning about Spacecraft Operations Constraints
Autonomous Planning and Execution for a Future Titan Aerobot (2)
Schneidewind, Norm
Mini-Workshop 1: Software Reliability in Space Missions Call for Papers
Software Reliability in Space Missions
Schoolcraft, Joshua
Deep Impact Network Experiment Operations Center Monitor and Control System
Schrock, Mitchell
Web 2.0 for Ground Resource Allocation
Schubert, Keith
Patterned Growth in Extreme Environments

Schubert, Keith Evan
Papers by Author
Extensible Simulation of Planets and Comets
Schumann, Johann
Software Health Management: A Short Review of Challenges and Existing
Techniques
Model Based Analysis and Test Generationfor Flight Software
Schurig, Christian
Cost Reduction – Buzzwords and Their Real Use: Mission Families, Mission
Planning, Mission Automation and Standardization
Serpico, S. B.
Automatic Feature Extraction of Planetary Images

Serres, Olivier
Papers by Author
Empirical Analysis of Unified Parallel C on the Tile-64 Processor
Shaw, Andy
On-board Plan Modification for Opportunistic Science
Shelton, Rick
Orbital Operations Planning & Scheduling for the MESSENGER Mission
Shrivastava, Aviral
Compiler-Enabled Power Efficient Register File Protection
Sievers, Mike
Spacecraft Flight Computer Considerations: The Road to Flight

Siili, Tero
Papers by Author
SKyeP AI Applied to SOHO Keyhole Operations (1)
SKyeP AI Applied to SOHO Keyhole Operations (2)
Simpson, Bob
Autonomic Associate for Space Exploration
Singh, Karandeep
Integrated Development Environment for Tile64 / Maestro
FFTW on MAESTRO
DMA Performance on Tile64/Maestro
Skalický, Tomáš
A Local Approach to Automated Correction of Violated Precedence and Resource
Constraints in Manually Altered Schedules

Smets, Nanja
Papers by Author
The MECA Project - Ontology-Based Data Portability for Space Mission
Operations
Smith, Margaret
Formal Specification and Analysis of Execution Logs
Smith, Tristan
A Practical Comparison of Motion Planning Techniques for Robotic Legs
in Environments with Obstacles
Soler, Antonio Olmedo
The MECA Project - Ontology-Based Data Portability for Space Mission
Operations
Some, Raphael
Spacecraft Flight Computer Considerations: The Road to Flight

Papers by Author
Parallelizing Lunar Safe Landing Algorithms on the Tilera Tile64 Processor
Springer, Paul
Multi-core Architectures for Emerging NASA Applications: Some Results
for Tilera's Tile 64 and Maestro
Springer, Paul L.
Introspection-Based Fault Tolerance
Introspection-Based Verification and Validation (2)
Sprinkle, Jonathan
Decision Controllers for Embedded Human Systems
Steele, Josh
Orbital Operations Planning & Scheduling for the MESSENGER Mission

Steffen, Bernhard
Papers by Author
Behavior Extraction by Efficient Automata Learning - The Voyager Case Study
Sterritt, Roy
SMC-IT 2009 Opening Remarks - Enabling the Dream of Flight
Mini-Workshop 9: *AA-SES-IV: Autonomic & Autonomous Space Exploration
Systems Call for Papers
SPAACE IV: Self-Properties for an Autonomous & Autonomic Computing
Environment
Autonomic Computing and Ambient Assisted Living
Autonomic Wireless Sensor Networks (AWSNs)
Stöckli, Reto
The Carbon-Land Model Intercomparison Project (C-LAMP)

Strader, Brian
Papers by Author
Patterned Growth in Extreme Environments
Strawa, Anthony
Automated Data Assimilation and Flight Planning for Multi-platform Observation
Missions
Stroupe, Ashley
Controlling Rovers on Mars: Mars Exploration Rovers
Stroustrup, Bjarne
Reliable and Efficient Concurrent Synchronization for Embedded Real-Time
Software
Suh, Jinwoo
MPI Performance Analysis and Optimization on Tile64/Maestro

Sutton, Stew
Papers by Author
Knowledge Management Guided by Economic Valuation Models
Talukder, Ashit
Mini-Workshop 2: Information Technologies for Effective Management of Earth
Observation Systems Call for Papers
Tang, Benyang
Simulating and Detecting Radiation-Induced Errors for Onboard Machine
Learning
Taylor, Karl E.
Global Change Activities and Opportunities (AR5): Overview and Plans
for CMIP5/AR5

Teixeira, Joao
Papers by Author
Leveraging IT Technologies for Modeling and Research: Challenges to Integrating
Satellite Observations and Climate Modeling
Thompson, David
Automated Targeting for the MER Rovers
Thornton, Peter E.
The Carbon-Land Model Intercomparison Project (C-LAMP)
Topousis, Daria
Enhancing Collaboration among NASA Engineers through a Knowledge Sharing
System
Torgerson, J. Leigh
Deep Impact Network Experiment Operations Center Monitor and Control System

Tran, Daniel
Papers by Author
Request-Driven Scheduling for NASA’s Deep Space Network
Planning Operations of the Earth Observing Satellite EO-1: A Case Study
in Representing and Reasoning about Spacecraft Operations Constraints
Trevino, Luis C.
Flight Software Process Gap Analysis for Model Based Development
Troglio, G.
Automatic Feature Extraction of Planetary Images
Tu, Eugene L.
Information Technology R&D at NASA Ames

Turmon, Michael
Papers by Author
Simulating and Detecting Radiation-Induced Errors for Onboard Machine
Learning
Upchurch, Ed
Multi-core Architectures for Emerging NASA Applications: Some Results
for Tilera's Tile 64 and Maestro
Vance, Megan
An Exploration of Tiled Architectures for Space Applications
Vassev, Emil
Modeling the Image-Processing Behavior of the NASA Voyager Mission
with ASSL
Vatan, Farrokh
A New Efficient Method for Conflict Sets Generation for Model-Based Diagnosis

Verfaillie, Gérard
Papers by Author
AIMS: A Tool for Long-Term Planning of the ESA INTEGRAL Mission
Villalpando, Carlos
Parallelizing Lunar Safe Landing Algorithms on the Tilera Tile64 Processor
Vogl, Chris
Application of the Architectural Analysis and Design Language (AADL)
for Quantitative System Reliability and Availability Modeling
Votava, Petr
Assessing Impacts of Climate and Land Use Change with the NASA Terrestrial
Observation and Prediction System (TOPS)
A Workflow Model for Earth Observation Sensor Webs

Wagner, Christian
Papers by Author
Behavior Extraction by Efficient Automata Learning - The Voyager Case Study
Wagstaff, Kiri L.
Simulating and Detecting Radiation-Induced Errors for Onboard Machine
Learning
Wang, Ji
Software Active Online Monitoring under Anticipatory Semantics
Wang, Shin-Ywan
Deep Impact Network Experiment Operations Center Monitor and Control System
Wang, Tao
A Visual Brain Chip Based on Selective Attention for Robot Vision Application

Wang, Weile
Papers by Author
Assessing Impacts of Climate and Land Use Change with the NASA Terrestrial
Observation and Prediction System (TOPS)
Wang, Yeou-Fang
Web 2.0 for Ground Resource Allocation
Williams, Dean N.
DOE Climate Research
The Earth System Grid
Windsor, James
Time and Space Partitioning in Spacecraft Avionics
Wiser-Orozco, Natalie
Extensible Simulation of Planets and Comets

Wolff, Mikael
Papers by Author
The MECA Project - Ontology-Based Data Portability for Space Mission
Operations
Woods, Mark
On-board Plan Modification for Opportunistic Science
Woollard, David
Specific Projects and Technologies: Climate Data Exchange
Wu, Meng-Ju
Run-Time Monitor (RTM)
Yang, Kent
Improving the Access of HDF Data via OPeNDAP

Yang, Xu
Run-Time Monitor (RTM)
Papers by Author
OpenJPEG2K Performance on Maestro
Yeung, Donald
Run-Time Monitor (RTM)
OpenJPEG2K Performance on Maestro
Yew, Manson
Enhancing Collaboration among NASA Engineers through a Knowledge Sharing
System
Yoo, Kyungjin
Integrated Development Environment for Tile64 / Maestro

Yoshida, K.
Papers by Author
A Path Planning System Based on 3D Occlusion Detection for Lunar Exploration
Rovers
Yu, Chenjie
FFTW on MAESTRO
Zhao, Changzhi
Software Active Online Monitoring under Anticipatory Semantics
Zima, Hans P.
Models and Tools for Space-Borne Computing: What Can We Learn
from Emerging High-Productivity Languages?
Introspection-Based Fault Tolerance
Introspection-Based Verification and Validation (2)

Papers by Author
A B C D E F G
H I J K L M N
O P Q R S T U
V W X Y Z

Technical Committee on Autonomous and Autonomic Systems (TCAAS)
Technical Committee on Complexity in Computing (TCCX)
Sixth <strong>IEEE</strong> <strong>International</strong> Workshop on
PLANNING AND SCHEDULING FOR SPACE
IWPSS 2009
Pasadena Convention Center • Pasadena, California, USA • 19 - 23 July 2009 • http://smc-it.org
CONFERENCE INFORMATION
PAPERS BY SESSION
PAPERS BY AUTHOR
SEARCH
MAIN MENU

<strong>Conference</strong> Information
Sixth <strong>International</strong> Workshop on Planning
and Scheduling for Space
IWPSS Table of Contents (Book version)
IWPSS Author Index (Book version)
Publisher's Information (Book version)

IWPSS Technical Papers
Sessions

IWPSS Technical Papers
Papers by Session
AIMS: A Tool for Long-Term Planning of the ESA INTEGRAL Mission
Cédric Pralet and Gérard Verfaillie
Commentary on: AIMS: A Tool for Long-Term Planning of the ESA INTEGRAL
Mission
Roman Barták
A Scheduling System with Redundant Scheduling Capabilities
Marco Schmidt and Klaus Schilling
Managing SOHO's Keyhole Periods: Problem Definition and Solving
Model
Nicola Policella, Henrique Oliveira, and Tero Siili
Commentary on: Managing SOHO's Keyhole Periods: Problem Definition
and Solving Model
Russell Knight
The RAXEM Tool on Mars Express - Uplink Planning Optimisation
and Scheduling Using AI Constraint Resolution
Erhard Rabenau, Alessandro Donati, Michel Denis, Nicola Policella, Amedeo Cesta,
Gabriella Cortellessa, Angelo Oddi, Simone Fratini, and Guilio Bernardi

Papers by Session
Commentary on The RAXEM Tool on Mars Express - Uplink Planning
Optimisation and Scheduling Using AI Constraint Resolution
Reiko Tsuneto Rager
Post Servicing Mission 4 Parallel Observing with the Hubble Space Telescope
Thomas Civeit, Mark Giuliano, and Reiko Rager
Commentary on: Post Servicing Mission 4 Parallel Observing with the HST
Steve Chien
A Local Approach to Automated Correction of Violated Precedence and Resource
Constraints in Manually Altered Schedules
Roman Barták and Tomáš Skalický
Commentary on: A Local Approach to Automated Correction of Violated
Precedence and Resource Constraints in Manually Altered Schedules
Thomas Starbird
On-board Plan Modification for Opportunistic Science
Derek Long, Mark Woods, Andy Shaw, Derek Pullan, Dave Barnes, and Dave Price
Commentary on: On-board Plan Modification for Opportunistic Science
Tara Estlin
Improving Performance and Interoperability of the ESTRACK Planning System
Alexander Hoffmann, Holger Dreihahn, and Marc Niézette

Papers by Session
Tractable Goal Selection with Oversubscribed Resources
Gregg Rabideau, Steve Chien, and David McLaren
Applying Lessons Learned in Planning and Scheduling the Hubble Space
Telescope to the James Webb Space Telescope
Robert E. Hawkins, Ian J. E. Jordan, and Mark E. Giuliano
Commentary on "Applying Lessons Learned in Planning and Scheduling
the Hubble Space Telescope to the James Webb Space Telescope"
Nicola Policella
Orbital Operations Planning and Scheduling for the MESSENGER Mission
Alice F. Berman, Deborah L. Domingue, Mark E. Holdridge, Teck H. Choo, R. Joshua Steele,
and Richard G. Shelton
Commentary on: "Orbital Operations Planning and Scheduling for
the MESSENGER Mission"
Derek Long
Advanced Planning and Scheduling Initiative MrSPOCK AIMS for XMAS in
the Space Domain
R. Steel, M. Niézette, A. Cesta, S. Fratini, A. Oddi, G. Cortellessa, R. Rasconi, G. Verfaillie,
C. Pralet, M. Lavagna, A. Brambilla, F. Castellini, A. Donati, and N. Policella

Papers by Session
Advanced Planning and Scheduling Initiative's XMAS Tool: AI
for Automatic Scheduling of XMM-Newton Long Term Plan
Francesco Castellini and Michèle R. Lavagna
Advanced Planning and Scheduling Initiative's XMAS Tool: AI
for Automatic Scheduling of XMM-Newton Long Term Plan Commentary
Terri Wood
A Case Study of the MER Cape Verde Approach: Challenges for Planning
and Scheduling Systems
Daniel Gaines, Paolo Belluta, Jennifer Herman, Pauline Hwang, Ryan Mukai, Dan Porter,
Tara Estlin, Byron Jones, Eric Wood, John Grotzinger, Lauren Edgar, Alex Hayes, Trent Hare,
and Steve Squyres
Coordinating Multiple Spacecraft Assets for Joint Science Campaigns
Tara Estlin, Steve Chien, Rebecca Castano, Joshua Doubleday, Daniel Gaines,
Robert C. Anderson, Benjamin Bornstein, Charles de Granville, Russell Knight,
Gregg Rabideau, and Benyang Tang
Evolution of a Flexible Mission Planning and Scheduling System for Complex
Missions: Flexplan
Alicia T. Kavelaars, Assaf Barnoy, Francisco Colmenero, María Pereda, Juan Tejo,
Gonzalo Garcia, and Theresa W. Beech

Papers by Session
Request-Driven Scheduling for NASA's Deep Space Network
Mark D. Johnston, Daniel Tran, Belinda Arroyo, and Chris Page
Commentary: Request-Driven Scheduling for NASA's Deep Space
Network
Alice Berman
Autonomous Planning and Execution for a Future Titan Aerobot
Daniel Gaines, Tara Estlin, Steve Schaffer, Caroline Chouinard, and Alberto Elfes
Commentary on: Autonomous Planning and Execution for a Future Titan Aerobot
Alessandro Donati
Planning and Scheduling Challenges for Orbital Express
Russell Knight, Caroline Chouinard, Grailing Jones, and Daniel Tran
Commentary on: Planning and Scheduling Challenges for Orbital Express
Mark Boddy
Power Planning in the <strong>International</strong> Space Station Domain
Russell Knight, Steven Schaffer, and Bradley Clement
Compressed Large-Scale Activity Scheduling and Planning (CLASP) Applied
to DESDynI
Russell Knight and Steven Hu

Papers by Session
Planning Operations of the Earth Observing Satellite EO-1: Representing
and Reasoning with Spacecraft Operations Constraints
Steve Chien, Daniel Tran, Gregg Rabideau, Steve Schaffer, Daniel Mandl, and Stuart Frye
Commentary on "Planning Operations of the Earth Observing Satellite EO-1: A
Case Study in Representing Spacecraft Operations Constraints"
Gérard Verfaillie
Cooperative Space Mission Operation Planning by Extended Preferences
Eduardo Romero and Marcelo Oglietti
MrSPOCK: A Long-Term Planning Tool for MARS EXPRESS
Amedeo Cesta, Gabriella Cortellessa, Simone Fratini, and Angelo Oddi
Commentary on: MrSPOCK: a Long-Term Planning Tool for MARS EXPRESS
Bradley J. Clement
Enhancing NASA's Procedure Representation Language to Support Planning
Operations
Pete Bonasso, Mark Boddy, and Dave Kortenkamp
Commentary on: Enhancing NASA's Procedure Representation Language
to Support Planning Operations
Anthony Barrett

Papers by Session
A Retrospective Snapshot of the Planning Processes in MER Operations after 5
Years
Anthony Barrett, Deborah Bass, Sharon Laubach, and Andrew Mishkin
Commentary on: "A Retrospective Snapshot of the Planning Process
in MER Operations"
David E. Smith
Peer-to-Peer Planning for Space Mission Control
Javier Barreiro, Grailing Jones Jr., and Steve Schaffer
Commentary on: Peer-to-Peer Planning for Space Mission Control
Anthony Barrett

A
Anderson, Robert C.
Arroyo, Belinda
B
Barnes, Dave
Barnoy, Assaf
Barreiro, Javier
Barrett, Anthony
Barták, Roman
Bass, Deborah
Beech, Theresa W.
Belluta, Paolo
Berman, Alice
Berman, Alice F.
Bernardi, Guilio
Papers by Author
Boddy, Mark
Bonasso, Pete
Bornstein, Benjamin
Brambilla, A.
C
Castano, Rebecca
Castellini, F.
Castellini, Francesco
Cesta, A.
Cesta, Amedeo
Chien, Steve
Choo, Teck H.
Chouinard, Caroline
Civeit, Thomas
Clement, Bradley
Clement, Bradley J.

Colmenero, Francisco
Cortellessa, G.
Cortellessa, Gabriella
D
Denis, Michel
Domingue, Deborah L.
Donati, A.
Donati, Alessandro
Doubleday, Joshua
Dreihahn, Holger
E
Edgar, Lauren
Elfes, Alberto
Estlin, Tara
Papers by Author
F
Fratini, S.
Fratini, Simone
Frye, Stuart
G
Gaines, Daniel
Garcia, Gonzalo
Giuliano, Mark
Giuliano, Mark E.
Granville, Charles de
Grotzinger, John
H
Hare, Trent
Hawkins, Robert E.

Hayes, Alex
Herman, Jennifer
Hoffmann, Alexander
Holdridge, Mark E.
Hu, Steven
Hwang, Pauline
J
Johnston, Mark D.
Jones Jr., Grailing
Jones, Byron
Jones, Grailing
Jordan, Ian J. E.
K
Kavelaars, Alicia T.
Knight, Russell
Papers by Author
Kortenkamp, Dave
L
Laubach, Sharon
Lavagna, M.
Lavagna, Michèle R.
Long, Derek
M
Mandl, Daniel
McLaren, David
Mishkin, Andrew
Mukai, Ryan
N
Niézette, M.
Niézette, Marc

O
Oddi, A.
Oddi, Angelo
Oglietti, Marcelo
Oliveira, Henrique
P
Page, Chris
Pereda, María
Policella, N.
Policella, Nicola
Porter, Dan
Pralet, C.
Pralet, Cédric
Price, Dave
Pullan, Derek
Papers by Author
R
Rabenau, Erhard
Rabideau, Gregg
Rager, Reiko
Rager, Reiko Tsuneto
Rasconi, R.
Romero, Eduardo
S
Schaffer, Steve
Schaffer, Steven
Schilling, Klaus
Schmidt, Marco
Shaw, Andy
Shelton, Richard G.
Siili, Tero

Skalický, Tomáš
Smith, David E.
Squyres, Steve
Starbird, Thomas
Steel, R.
Steele, R. Joshua
T
Tang, Benyang
Tejo, Juan
Tran, Daniel
V
Verfaillie, G.
Verfaillie, Gérard
Papers by Author
W
Wood, Eric
Wood, Terri
Woods, Mark

Anderson, Robert C.
Papers by Author
Coordinating Multiple Spacecraft Assets for Joint Science Campaigns
Arroyo, Belinda
Request-Driven Scheduling for NASA's Deep Space Network
Barnes, Dave
On-board Plan Modification for Opportunistic Science
Barnoy, Assaf
Evolution of a Flexible Mission Planning and Scheduling System for Complex
Missions: Flexplan
Barreiro, Javier
Peer-to-Peer Planning for Space Mission Control

Barrett, Anthony
Papers by Author
Commentary on: Enhancing NASA's Procedure Representation Language
to Support Planning Operations
A Retrospective Snapshot of the Planning Processes in MER Operations after 5
Years
Commentary on: Peer-to-Peer Planning for Space Mission Control
Barták, Roman
Commentary on: AIMS: A Tool for Long-Term Planning of the ESA INTEGRAL
Mission
A Local Approach to Automated Correction of Violated Precedence and Resource
Constraints in Manually Altered Schedules
Bass, Deborah
A Retrospective Snapshot of the Planning Processes in MER Operations after 5
Years

Beech, Theresa W.
Papers by Author
Evolution of a Flexible Mission Planning and Scheduling System for Complex
Missions: Flexplan
Belluta, Paolo
A Case Study of the MER Cape Verde Approach: Challenges for Planning
and Scheduling Systems
Berman, Alice
Commentary: Request-Driven Scheduling for NASA's Deep Space
Network
Berman, Alice F.
Orbital Operations Planning and Scheduling for the MESSENGER Mission

Bernardi, Guilio
Papers by Author
The RAXEM Tool on Mars Express - Uplink Planning Optimisation
and Scheduling Using AI Constraint Resolution
Boddy, Mark
Commentary on: Planning and Scheduling Challenges for Orbital Express
Enhancing NASA's Procedure Representation Language to Support Planning
Operations
Bonasso, Pete
Enhancing NASA's Procedure Representation Language to Support Planning
Operations
Bornstein, Benjamin
Coordinating Multiple Spacecraft Assets for Joint Science Campaigns

Brambilla, A.
Papers by Author
Advanced Planning and Scheduling Initiative MrSPOCK AIMS for XMAS in
the Space Domain
Castano, Rebecca
Coordinating Multiple Spacecraft Assets for Joint Science Campaigns
Castellini, F.
Advanced Planning and Scheduling Initiative MrSPOCK AIMS for XMAS in
the Space Domain
Castellini, Francesco
Advanced Planning and Scheduling Initiative's XMAS Tool: AI
for Automatic Scheduling of XMM-Newton Long Term Plan

Cesta, A.
Papers by Author
Advanced Planning and Scheduling Initiative MrSPOCK AIMS for XMAS in
the Space Domain
Cesta, Amedeo
The RAXEM Tool on Mars Express - Uplink Planning Optimisation
and Scheduling Using AI Constraint Resolution
MrSPOCK: A Long-Term Planning Tool for MARS EXPRESS
Chien, Steve
Commentary on: Post Servicing Mission 4 Parallel Observing with the HST
Tractable Goal Selection with Oversubscribed Resources
Coordinating Multiple Spacecraft Assets for Joint Science Campaigns
Planning Operations of the Earth Observing Satellite EO-1: Representing
and Reasoning with Spacecraft Operations Constraints

Choo, Teck H.
Papers by Author
Orbital Operations Planning and Scheduling for the MESSENGER Mission
Chouinard, Caroline
Autonomous Planning and Execution for a Future Titan Aerobot
Planning and Scheduling Challenges for Orbital Express
Civeit, Thomas
Post Servicing Mission 4 Parallel Observing with the Hubble Space Telescope
Clement, Bradley
Power Planning in the <strong>International</strong> Space Station Domain
Clement, Bradley J.
Commentary on: MrSPOCK: a Long-Term Planning Tool for MARS EXPRESS

Colmenero, Francisco
Papers by Author
Evolution of a Flexible Mission Planning and Scheduling System for Complex
Missions: Flexplan
Cortellessa, G.
Advanced Planning and Scheduling Initiative MrSPOCK AIMS for XMAS in
the Space Domain
Cortellessa, Gabriella
The RAXEM Tool on Mars Express - Uplink Planning Optimisation
and Scheduling Using AI Constraint Resolution
MrSPOCK: A Long-Term Planning Tool for MARS EXPRESS
Denis, Michel
The RAXEM Tool on Mars Express - Uplink Planning Optimisation
and Scheduling Using AI Constraint Resolution

Domingue, Deborah L.
Papers by Author
Orbital Operations Planning and Scheduling for the MESSENGER Mission
Donati, A.
Advanced Planning and Scheduling Initiative MrSPOCK AIMS for XMAS in
the Space Domain
Donati, Alessandro
The RAXEM Tool on Mars Express - Uplink Planning Optimisation
and Scheduling Using AI Constraint Resolution
Commentary on: Autonomous Planning and Execution for a Future Titan Aerobot
Doubleday, Joshua
Coordinating Multiple Spacecraft Assets for Joint Science Campaigns

Dreihahn, Holger
Papers by Author
Improving Performance and Interoperability of the ESTRACK Planning System
Edgar, Lauren
A Case Study of the MER Cape Verde Approach: Challenges for Planning
and Scheduling Systems
Elfes, Alberto
Autonomous Planning and Execution for a Future Titan Aerobot
Estlin, Tara
Commentary on: On-board Plan Modification for Opportunistic Science
A Case Study of the MER Cape Verde Approach: Challenges for Planning
and Scheduling Systems
Coordinating Multiple Spacecraft Assets for Joint Science Campaigns
Autonomous Planning and Execution for a Future Titan Aerobot

Fratini, S.
Papers by Author
Advanced Planning and Scheduling Initiative MrSPOCK AIMS for XMAS in
the Space Domain
Fratini, Simone
The RAXEM Tool on Mars Express - Uplink Planning Optimisation
and Scheduling Using AI Constraint Resolution
MrSPOCK: A Long-Term Planning Tool for MARS EXPRESS
Frye, Stuart
Planning Operations of the Earth Observing Satellite EO-1: Representing
and Reasoning with Spacecraft Operations Constraints
Gaines, Daniel
A Case Study of the MER Cape Verde Approach: Challenges for Planning
and Scheduling Systems
Coordinating Multiple Spacecraft Assets for Joint Science Campaigns

Papers by Author
Autonomous Planning and Execution for a Future Titan Aerobot
Garcia, Gonzalo
Evolution of a Flexible Mission Planning and Scheduling System for Complex
Missions: Flexplan
Giuliano, Mark
Post Servicing Mission 4 Parallel Observing with the Hubble Space Telescope
Giuliano, Mark E.
Applying Lessons Learned in Planning and Scheduling the Hubble Space
Telescope to the James Webb Space Telescope
Granville, Charles de
Coordinating Multiple Spacecraft Assets for Joint Science Campaigns

Grotzinger, John
Papers by Author
A Case Study of the MER Cape Verde Approach: Challenges for Planning
and Scheduling Systems
Hare, Trent
A Case Study of the MER Cape Verde Approach: Challenges for Planning
and Scheduling Systems
Hawkins, Robert E.
Applying Lessons Learned in Planning and Scheduling the Hubble Space
Telescope to the James Webb Space Telescope
Hayes, Alex
A Case Study of the MER Cape Verde Approach: Challenges for Planning
and Scheduling Systems

Herman, Jennifer
Papers by Author
A Case Study of the MER Cape Verde Approach: Challenges for Planning
and Scheduling Systems
Hoffmann, Alexander
Improving Performance and Interoperability of the ESTRACK Planning System
Holdridge, Mark E.
Orbital Operations Planning and Scheduling for the MESSENGER Mission
Hu, Steven
Compressed Large-Scale Activity Scheduling and Planning (CLASP) Applied
to DESDynI

Hwang, Pauline
Papers by Author
A Case Study of the MER Cape Verde Approach: Challenges for Planning
and Scheduling Systems
Johnston, Mark D.
Request-Driven Scheduling for NASA's Deep Space Network
Jones Jr., Grailing
Peer-to-Peer Planning for Space Mission Control
Jones, Byron
A Case Study of the MER Cape Verde Approach: Challenges for Planning
and Scheduling Systems
Jones, Grailing
Planning and Scheduling Challenges for Orbital Express

Jordan, Ian J. E.
Papers by Author
Applying Lessons Learned in Planning and Scheduling the Hubble Space
Telescope to the James Webb Space Telescope
Kavelaars, Alicia T.
Evolution of a Flexible Mission Planning and Scheduling System for Complex
Missions: Flexplan
Knight, Russell
Commentary on: Managing SOHO's Keyhole Periods: Problem Definition
and Solving Model
Coordinating Multiple Spacecraft Assets for Joint Science Campaigns
Planning and Scheduling Challenges for Orbital Express
Power Planning in the <strong>International</strong> Space Station Domain
Compressed Large-Scale Activity Scheduling and Planning (CLASP) Applied
to DESDynI

Kortenkamp, Dave
Papers by Author
Enhancing NASA's Procedure Representation Language to Support Planning
Operations
Laubach, Sharon
A Retrospective Snapshot of the Planning Processes in MER Operations after 5
Years
Lavagna, M.
Advanced Planning and Scheduling Initiative MrSPOCK AIMS for XMAS in
the Space Domain
Lavagna, Michèle R.
Advanced Planning and Scheduling Initiative's XMAS Tool: AI
for Automatic Scheduling of XMM-Newton Long Term Plan

Long, Derek
Papers by Author
On-board Plan Modification for Opportunistic Science
Commentary on: "Orbital Operations Planning and Scheduling for
the MESSENGER Mission"
Mandl, Daniel
Planning Operations of the Earth Observing Satellite EO-1: Representing
and Reasoning with Spacecraft Operations Constraints
McLaren, David
Tractable Goal Selection with Oversubscribed Resources
Mishkin, Andrew
A Retrospective Snapshot of the Planning Processes in MER Operations after 5
Years

Mukai, Ryan
Papers by Author
A Case Study of the MER Cape Verde Approach: Challenges for Planning
and Scheduling Systems
Niézette, M.
Advanced Planning and Scheduling Initiative MrSPOCK AIMS for XMAS in
the Space Domain
Niézette, Marc
Improving Performance and Interoperability of the ESTRACK Planning System
Oddi, A.
Advanced Planning and Scheduling Initiative MrSPOCK AIMS for XMAS in
the Space Domain

Oddi, Angelo
Papers by Author
The RAXEM Tool on Mars Express - Uplink Planning Optimisation
and Scheduling Using AI Constraint Resolution
MrSPOCK: A Long-Term Planning Tool for MARS EXPRESS
Oglietti, Marcelo
Cooperative Space Mission Operation Planning by Extended Preferences
Oliveira, Henrique
Managing SOHO's Keyhole Periods: Problem Definition and Solving
Model
Page, Chris
Request-Driven Scheduling for NASA's Deep Space Network

Pereda, María
Papers by Author
Evolution of a Flexible Mission Planning and Scheduling System for Complex
Missions: Flexplan
Policella, N.
Advanced Planning and Scheduling Initiative MrSPOCK AIMS for XMAS in
the Space Domain
Policella, Nicola
Managing SOHO's Keyhole Periods: Problem Definition and Solving
Model
The RAXEM Tool on Mars Express - Uplink Planning Optimisation
and Scheduling Using AI Constraint Resolution
Commentary on "Applying Lessons Learned in Planning and Scheduling
the Hubble Space Telescope to the James Webb Space Telescope"

Porter, Dan
Papers by Author
A Case Study of the MER Cape Verde Approach: Challenges for Planning
and Scheduling Systems
Pralet, C.
Advanced Planning and Scheduling Initiative MrSPOCK AIMS for XMAS in
the Space Domain
Pralet, Cédric
AIMS: A Tool for Long-Term Planning of the ESA INTEGRAL Mission
Price, Dave
On-board Plan Modification for Opportunistic Science
Pullan, Derek
On-board Plan Modification for Opportunistic Science

Rabenau, Erhard
Papers by Author
The RAXEM Tool on Mars Express - Uplink Planning Optimisation
and Scheduling Using AI Constraint Resolution
Rabideau, Gregg
Tractable Goal Selection with Oversubscribed Resources
Coordinating Multiple Spacecraft Assets for Joint Science Campaigns
Planning Operations of the Earth Observing Satellite EO-1: Representing
and Reasoning with Spacecraft Operations Constraints
Rager, Reiko
Post Servicing Mission 4 Parallel Observing with the Hubble Space Telescope
Rager, Reiko Tsuneto
Commentary on The RAXEM Tool on Mars Express - Uplink Planning
Optimisation and Scheduling Using AI Constraint Resolution

Rasconi, R.
Papers by Author
Advanced Planning and Scheduling Initiative MrSPOCK AIMS for XMAS in
the Space Domain
Romero, Eduardo
Cooperative Space Mission Operation Planning by Extended Preferences
Schaffer, Steve
Autonomous Planning and Execution for a Future Titan Aerobot
Planning Operations of the Earth Observing Satellite EO-1: Representing
and Reasoning with Spacecraft Operations Constraints
Peer-to-Peer Planning for Space Mission Control
Schaffer, Steven
Power Planning in the <strong>International</strong> Space Station Domain

Schilling, Klaus
Papers by Author
A Scheduling System with Redundant Scheduling Capabilities
Schmidt, Marco
A Scheduling System with Redundant Scheduling Capabilities
Shaw, Andy
On-board Plan Modification for Opportunistic Science
Shelton, Richard G.
Orbital Operations Planning and Scheduling for the MESSENGER Mission
Siili, Tero
Managing SOHO's Keyhole Periods: Problem Definition and Solving
Model

Skalický, Tomáš
Papers by Author
A Local Approach to Automated Correction of Violated Precedence and Resource
Constraints in Manually Altered Schedules
Smith, David E.
Commentary on: "A Retrospective Snapshot of the Planning Process
in MER Operations"
Squyres, Steve
A Case Study of the MER Cape Verde Approach: Challenges for Planning
and Scheduling Systems
Starbird, Thomas
Commentary on: A Local Approach to Automated Correction of Violated
Precedence and Resource Constraints in Manually Altered Schedules

Steel, R.
Papers by Author
Advanced Planning and Scheduling Initiative MrSPOCK AIMS for XMAS in
the Space Domain
Steele, R. Joshua
Orbital Operations Planning and Scheduling for the MESSENGER Mission
Tang, Benyang
Coordinating Multiple Spacecraft Assets for Joint Science Campaigns
Tejo, Juan
Evolution of a Flexible Mission Planning and Scheduling System for Complex
Missions: Flexplan
Tran, Daniel
Request-Driven Scheduling for NASA's Deep Space Network

Papers by Author
Planning and Scheduling Challenges for Orbital Express
Planning Operations of the Earth Observing Satellite EO-1: Representing
and Reasoning with Spacecraft Operations Constraints
Verfaillie, G.
Advanced Planning and Scheduling Initiative MrSPOCK AIMS for XMAS in
the Space Domain
Verfaillie, Gérard
AIMS: A Tool for Long-Term Planning of the ESA INTEGRAL Mission
Commentary on "Planning Operations of the Earth Observing Satellite EO-1: A
Case Study in Representing Spacecraft Operations Constraints"
Wood, Eric
A Case Study of the MER Cape Verde Approach: Challenges for Planning
and Scheduling Systems

Wood, Terri
Papers by Author
Advanced Planning and Scheduling Initiative's XMAS Tool: AI
for Automatic Scheduling of XMM-Newton Long Term Plan Commentary
Woods, Mark
On-board Plan Modification for Opportunistic Science

Papers by Author
A B C D E F G
H I J K L M N
O P Q R S T U
V W X Y Z

An Exploration of Tiled Architectures for Space Applications
Peter Kogge and Megan Vance
Autonomy: From Outer to Inner Space
Kanna Rajan
Challenges and Accomplishments in Space Science at NASA's Goddard Space Flight Center
Peter Hughes
Closing Remarks
Larry Bergman
Digital Space
Anant Agarwal
Enabling the Dream of Flight
Mike Hinchey
Falcon 1 Flight 4 and 5 - From Omelek to Orbit
Hans Koenigsmann
How Much Onboard Computing Do We Need in Space
Richard Doyle
Information Technology R&D at NASA Ames
Eugene Tu
NASA Supercomputing and It's Impact on Agency Missions
Rupak Biswas
NASA/JPL: Welcome!
Tom Cwik
Video Presentations

Reception at the Petersen Automotive Museum
Software Challenges Facing National Security Space
Rami R. Razouk
Software, Computing, and Networking on Space Missions
Richard Doyle
Space Invaders
Jeffrey Norris
Stealing Success
Robert Manning
Video Presentations
Student Space Video Game Competition Exhibits (LLCB)
Kevin Hussey and Keith Schubert

Photos
Please see the Photos folder on this DVD.