Third IEEE International Conference onSPACE MISSION CHALLENGES FOR INFORMATION TECHNOLOGY SMC-IT 2009 POST CONFERENCE

Technical Committee on Autonomous and Autonomic Systems (TCAAS)

Technical Committee on Complexity in Computing (TCCX)

Pasadena Convention Center • Pasadena, California, USA • 19 - 23 July 2009 • http://smc-it.org

PROCEEDINGS PRESENTATIONS

BY AUTHOR

TRADEMARKS

BY SESSIONBY AUTHOR BY SESSIONBY AUTHOR BY SESSION

IWPSS 2009

GETTING STARTED

MULTIMEDIA PHOTOS CONFERENCE INFORMATION

CONFERENCE INFORMATION

PAPERS BY SESSION

PAPERS BY AUTHOR

SEARCH

MAIN MENU

Third IEEE International Conference onSPACE MISSION CHALLENGES FOR INFORMATION TECHNOLOGY SMC-IT 2009 POST CONFERENCE PROCEEDINGS

Technical Committee on Autonomous and Autonomic Systems (TCAAS)

Technical Committee on Complexity in Computing (TCCX)

Pasadena Convention Center • Pasadena, California, USA • 19 - 23 July 2009 • http://smc-it.org

Conference Information

Third IEEE International Conference on Space MissionChallenges for Information Technology

q Message from the General Chairsq Welcome from the Steering Committeeq Message from IEEE Computer Society Sponsorsq Organizationq Mini-Workshopsq Cover Art (Book version)q Title Page (Book version)q Copyright Page (Book version)q Table of Contents (Book version)q Author Index (Book version)q Publisher's Information (Book version)

Sessions

q Session 1 - Fault Tolerant Computing Iq Session 2 - Telecommunicationsq Session 3 - Operations ITq Session 4 - Reliable Software Engineering Iq Session 5 (Student I) - Human/Roboticsq Session 6 - Fault Tolerant Computing IIq Session 7 - Human/Robotic Systemsq Session 8 - Data Systemsq Session 9 - Knowledge Managementq Session 10 (Student II) - Astrophysics & Planetary Simulationsq Session 11 - Engineering Modeling & Simulationq Session 12 - Space Systems Autonomyq Session 13 - Ground Information Systemsq Session 14 - Mission Cost Managementq Session 15 (Student III) - Mission & Systems Designq Session 16 - Fault Tolerant Computing III

Sessions (cont.)

q Session 17 - Advanced Information Systemsq Session 18 - Mission Designq Session 19 - Reliable Software Engineering II

Papers by Session

Session 1 - Fault Tolerant Computing I

q An Exploration of Tiled Architectures for Space ApplicationsPeter M. Kogge and Megan Vance

q Time and Space Partitioning in Spacecraft AvionicsJames Windsor and Kjeld Hjortnaes

Papers by Session

Session 2 - Telecommunications

q The Lunar Laser Communications Demonstration (LLCD)D. M. Boroson, J. J. Scozzafava, D. V. Murphy, B. S. Robinson, and M. I. T. Lincoln

q Application of the Concatenation of Reed Solomon and Luby Transform Codesin Deep Communications

Yongzhao Lin, Chengke Wu, Qun Zhang, and Wei Liu

q The Deep Impact Network Experiment Operations Center Monitor and ControlSystem

Shin-Ywan (Cindy) Wang, J. Leigh Torgerson, Joshua Schoolcraft, and Yan Brenman

Papers by Session

Session 3 - Operations IT

q Integrating Software Technologies in RAXEM2 - AI Meets Information TechnologyGiulio Bernardi, Amedeo Cesta, and Gabriella Cortellessa

q Web 2.0 for Ground Resource AllocationYeou-Fang Wang, Mitchell Schrock, John Baldwin, Gabriel Rangel, and Chester Borden

q SKEYP: AI Applied to SOHO Keyhole OperationsNicola Policella, Henrique Oliveira, and Tero Siili

Papers by Session

Session 4 - Reliable Software Engineering I

q A Workflow Model for Earth Observation Sensor WebsRobert Morris, Jennifer Dungan, and Petr Votava

q Viewpoint-Based Test Analysis for Dependable Onboard Flight SoftwareTakao Mori, Shinya Iwasaki, Shohgo Ujihara, Naohiko Kohtake, and Yasuharu Nishi

q Model Based Analysis and Test Generation for Flight SoftwareCorina S. Pasareanu, Johann Schumann, Peter Mehlitz, Mike Lowry, Gabor Karsai,Harmon Nine, and Sandeep Neema

Papers by Session

Session 5 (Student I) - Human/Robotics

q A Visual Brain Chip Based on Selective Attention for Robot Vision ApplicationTao Wang, Nanning Zheng, and Kuizhi Mei

q Frequency Modulation Based Vibrotactile Device for TeleoperationH. Phong Pham and Ryad Chellali

q A Path Planning System based on 3D Occlusion Detection for Lunar ExplorationRovers

Andres Mora, Keiji Nagatani, Kazuya Yoshida, and Marco Chacin

Papers by Session

Session 6 - Fault Tolerant Computing II

q Prototype Implementation of a Goal-Based Software Health Management ServiceMatthew Barry and Gregory Horvath

q Simulating and Detecting Radiation-Induced Errors for Onboard MachineLearning

Robert Granat, Kiri L. Wagstaff, Benjamin Bornstein, Benyang Tang, and Michael Turmon

q Introspection-Based Verification and ValidationHans P. Zima and Mark L. James

Papers by Session

Session 7 - Human/Robotic Systems

q Motor Activity-Perception Based Approach for Improving Teleoperation SystemsRyad Chellali, Fabien Dionnet, and Abdeldjallil Naceri

q An Autonomous System for the Locomotion of a Hexapod Exploration RobotPablo Muñoz-Martínez, María D. R-Moreno, Javier Gómez-Elvira, Julio J. Romeral-Planelló,and Sara Navarro-López

q A Practical Comparison of Motion Planning Techniques for Robotic Legsin Environments with Obstacles

Tristan B. Smith and Daniel Chavez-Clemente

Papers by Session

Session 8 - Data Systems

q A Reusable Process Control System Framework for the Orbiting CarbonObservatory 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

q A Case for Database FilesystemsPhilip A. Adams and John C. Hax

q A Functional Implementation of the Asynchronous Message ServiceAndrew J. Harris

Papers by Session

Session 9 - Knowledge Management

q Enhancing Collaboration among NASA Engineers through a Knowledge SharingSystem

Daria E. Topousis, Erin K. Means, Keri S. Murphy, and Manson Yew

q The MECA Project - Ontology-Based Data Portability for Space MissionsLeo Breebaart, André Bos, Tim Grant, Antonio Olmedo Soler, Mark Neerincx, Nanja Smets,Jasper Lindenberg, Uwe Brauer, and Mikael Wolff

q A Graphical Environment for the Semantic Validation of a Plan ExecutionLanguage

Camilo Rocha, César Muñoz, and Héctor Cadavid

Papers by Session

Session 10 (Student II) - Astrophysics & PlanetarySimulations

q Automatic Extraction of Planetary Image FeaturesG. Troglio, J. A. Benediktsson, G. Troglio, G. Moser, S. B. Serpico, and J. Le Moigne

q Extensible Simulation of Planets and CometsNatalie Wiser-Orozco, Keith Schubert, Ernesto Gomez, and Richard Botting

q Patterned Growth in Extreme EnvironmentsPenelope Boston, Jane Curnutt, Ernesto Gomez, Keith Schubert, and Brian Strader

Papers by Session

Session 11 - Engineering Modeling & Simulation

q Dshell++: A Component Based, Reusable Space System Simulation FrameworkChristopher S. Lim and Abhinandan Jain

q Dspace: Real-Time 3D Visualization System for Spacecraft Dynamics SimulationMarc I. Pomerantz, Abhinandan Jain, and Steven Myint

q Modeling the Image-Processing Behavior of the NASA Voyager Missionwith ASSL

Emil Vassev and Mike Hinchey

Papers by Session

Session 12 - Space Systems Autonomy

q Automated Targeting for the MER RoversTara Estlin, Rebecca Castano, Benjamin Bornstein, Daniel Gaines, Robert C. Anderson,Charles de Granville, David Thompson, Michael Burl, Michele Judd, and Steve Chien

q Autonomous Planning and Execution for a Future Titan AerobotDaniel Gaines, Tara Estlin, Steve Schaffer, Caroline Chouinard, and Alberto Elfes

q Rapid Prototyping of Planning & Scheduling ToolsAmedeo Cesta, Simone Fratini, Alessandro Donati, Henrique Oliveira, and Nicola Policella

Papers by Session

Session 13 - Ground Information Systems

q Integrated Information Architectures for Space MissionsLeo Hartman

Papers by Session

Session 14 - Mission Cost Management

q Knowledge Management Guided by Economic Valuation ModelsStewart A. Sutton and Joseph Betser

q Earned Value Management Software ProjectsRobert A. Hanna

q Cost Reduction - Buzzwords and Their Real Use: Mission Families, MissionPlanning, Mission Automation and Standardization

Michael Koller and Christian Schurig

Papers by Session

Session 15 (Student III) - Mission & Systems Design

q Increasing the Efficiency of Next-Generation Space Operations by ExploitingPredictability

Daniel Fischer, Knut Eckstein, David Basin, and Thomas Engel

q Reliable and Efficient Concurrent Synchronization for Embedded Real-TimeSoftware

Damian Dechev and Bjarne Stroustrup

Papers by Session

Session 16 - Fault Tolerant Computing III

q A Fault-Tolerant Middleware Switch for Space ApplicationsSergio Montenegro and Ebrahim Haririan

q Fault Detection and Isolation of a Cryogenic Rocket Engine Combustion ChamberUsing a Parity Space Approach

Paul van Gelder and André Bos

q A Novel Efficient Method for Conflicts Set Generation for Model-Based DiagnosisAmir Fijany, Anthony Barrett, and Farrokh Vatan

Papers by Session

Session 17 - Advanced Information Systems

q Continuing to Improve Telemetry Data AccessibilityA. Li, E. Hu, and C. Olson

q Sequential Principal Component Analysis - A Hardware-Implementable Transformfor Image Compression

Tuan A. Duong and Vu A. Duong

Papers by Session

Session 18 - Mission Design

q The Mission Planning Lab: A Visualization and Analysis ToolSarah C. Daugherty and Benjamin W. Cervantes

q Policy-Based Design of Human-Machine Collaboration in Manned SpaceMissions

Jurriaan van Diggelen, Jeffrey M. Bradshaw, Tim Grant, Matthew Johnson, and Mark Neerincx

Papers by Session

Session 19 - Reliable Software Engineering II

q A Combinatorial Test Suite Generator for Gray-Box TestingAnthony Barrett and Daniel Dvorak

q Generating Code Review Documentation for Auto-Generated Mission-CriticalSoftware

Ewen Denney and Bernd Fischer

q Improving the Accuracy of Space Mission Software Anomaly FrequencyEstimates

Allen P. Nikora and Galen Balcom

Papers by Author

Aq Adams, Philip A.q Anderson, Robert C.

Bq Balcom, Galenq Baldwin, Johnq Barrett, Anthonyq Barry, Matthewq Basin, Davidq Benediktsson, J. A.q Bernardi, Giulioq Betser, Josephq Borden, Chesterq Bornstein, Benjaminq Boroson, D. M.

q Bos, Andréq Boston, Penelopeq Botting, Richardq Bradshaw, Jeffrey M.q Brauer, Uweq Breebaart, Leoq Brenman, Yanq Burl, Michael

Cq Cadavid, Héctorq Castano, Rebeccaq Cervantes, Benjamin W.q Cesta, Amedeoq Chacin, Marcoq Chang, Albert Y.q Chavez-Clemente, Daniel

Papers by Author

q Chellali, Ryadq Chien, Steveq Chouinard, Carolineq Cortellessa, Gabriellaq Crichton, Danq Curnutt, Jane

Dq Daugherty, Sarah C.q Dechev, Damianq Denney, Ewenq Diggelen, Jurriaan vanq Dionnet, Fabienq Donati, Alessandroq Dungan, Jenniferq Duong, Tuan A.q Duong, Vu A.

q Dvorak, Daniel

Eq Eckstein, Knutq Elfes, Albertoq Engel, Thomasq Estlin, Tara

Fq Fijany, Amirq Fischer, Berndq Fischer, Danielq Foster, Brianq Fratini, Simoneq Freeborn, Dana

Papers by Author

Gq Gaines, Danielq Gelder, Paul vanq Gomez, Ernestoq Gómez-Elvira, Javierq Granat, Robertq Grant, Timq Granville, Charles de

Hq Hanna, Robert A.q Hardman, Seanq Haririan, Ebrahimq Harris, Andrew J.q Hart, Andrewq Hartman, Leo

q Hax, John C.q Hinchey, Mikeq Hjortnaes, Kjeldq Horvath, Gregoryq Hu, E.

Iq Iwasaki, Shinya

Jq Jain, Abhinandanq James, Mark L.q Johnson, Matthewq Judd, Michele

Kq Karsai, Gabor

Papers by Author

q Kelly, Seanq Kogge, Peter M.q Kohtake, Naohikoq Koller, Michael

Lq Li, A.q Lim, Christopher S.q Lin, Yongzhaoq Lincoln, M. I. T.q Lindenberg, Jasperq Liu, Weiq Lowry, Mike

Mq Mattmann, Chris A.q Means, Erin K.

q Mehlitz, Peterq Mei, Kuizhiq Miller, Charles E.q Moigne, J. Leq Montenegro, Sergioq Mora, Andresq Mori, Takaoq Morris, Robertq Moser, G.q Muñoz, Césarq Muñoz-Martínez, Pabloq Murphy, D. V.q Murphy, Keri S.q Myint, Steven

Nq Naceri, Abdeldjallil

Papers by Author

q Nagatani, Keijiq Navarro-López, Saraq Neema, Sandeepq Neerincx, Markq Nikora, Allen P.q Nine, Harmonq Nishi, Yasuharu

Oq Oliveira, Henriqueq Olson, C.

Pq Pasareanu, Corina S.q Pham, H. Phongq Policella, Nicolaq Pomerantz, Marc I.

Rq Ramirez, Paulq Rangel, Gabrielq R-Moreno, María D.q Robinson, B. S.q Rocha, Camiloq Romeral-Planelló, Julio J.

Sq Schaffer, Steveq Schoolcraft, Joshuaq Schrock, Mitchellq Schubert, Keithq Schumann, Johannq Schurig, Christianq Scozzafava, J. J.

Papers by Author

q Serpico, S. B.q Siili, Teroq Smets, Nanjaq Smith, Tristan B.q Soler, Antonio Olmedoq Strader, Brianq Stroustrup, Bjarneq Sutton, Stewart A.

Tq Tang, Benyangq Thompson, Davidq Topousis, Daria E.q Torgerson, J. Leighq Troglio, G.q Turmon, Michael

Uq Ujihara, Shohgo

Vq Vance, Meganq Vassev, Emilq Vatan, Farrokhq Votava, Petr

Wq Wagstaff, Kiri L.q Wang, Shin-Ywan (Cindy)q Wang, Taoq Wang, Yeou-Fangq Windsor, Jamesq Wiser-Orozco, Natalie

Papers by Author

q Wolff, Mikaelq Woollard, Davidq Wu, Chengke

Yq Yew, Mansonq Yoshida, Kazuya

Zq Zhang, Qunq Zheng, Nanningq Zima, Hans P.

Papers by Author

Adams, Philip A.q A Case for Database Filesystems

Anderson, Robert C.q Automated Targeting for the MER Rovers

Balcom, Galenq Improving the Accuracy of Space Mission Software Anomaly Frequency

Estimates

Baldwin, Johnq Web 2.0 for Ground Resource Allocation

Barrett, Anthonyq A Novel Efficient Method for Conflicts Set Generation for Model-Based Diagnosisq A Combinatorial Test Suite Generator for Gray-Box Testing

Papers by Author

Barry, Matthewq Prototype Implementation of a Goal-Based Software Health Management Service

Basin, Davidq Increasing the Efficiency of Next-Generation Space Operations by Exploiting

Predictability

Benediktsson, J. A.q Automatic Extraction of Planetary Image Features

Bernardi, Giulioq Integrating Software Technologies in RAXEM2 - AI Meets Information Technology

Betser, Josephq Knowledge Management Guided by Economic Valuation Models

Papers by Author

Borden, Chesterq Web 2.0 for Ground Resource Allocation

Bornstein, Benjaminq Simulating and Detecting Radiation-Induced Errors for Onboard Machine

Learningq Automated Targeting for the MER Rovers

Boroson, D. M.q The Lunar Laser Communications Demonstration (LLCD)

Bos, Andréq The MECA Project - Ontology-Based Data Portability for Space Missionsq Fault Detection and Isolation of a Cryogenic Rocket Engine Combustion Chamber

Using a Parity Space Approach

Papers by Author

Boston, Penelopeq Patterned Growth in Extreme Environments

Botting, Richardq Extensible Simulation of Planets and Comets

Bradshaw, Jeffrey M.q Policy-Based Design of Human-Machine Collaboration in Manned Space

Missions

Brauer, Uweq The MECA Project - Ontology-Based Data Portability for Space Missions

Breebaart, Leoq The MECA Project - Ontology-Based Data Portability for Space Missions

Papers by Author

Brenman, Yanq The Deep Impact Network Experiment Operations Center Monitor and Control

System

Burl, Michaelq Automated Targeting for the MER Rovers

Cadavid, Héctorq A Graphical Environment for the Semantic Validation of a Plan Execution

Language

Castano, Rebeccaq Automated Targeting for the MER Rovers

Cervantes, Benjamin W.q The Mission Planning Lab: A Visualization and Analysis Tool

Papers by Author

Cesta, Amedeoq Integrating Software Technologies in RAXEM2 - AI Meets Information Technologyq Rapid Prototyping of Planning & Scheduling Tools

Chacin, Marcoq A Path Planning System based on 3D Occlusion Detection for Lunar Exploration

Rovers

Chang, Albert Y.q A Reusable Process Control System Framework for the Orbiting Carbon

Observatory and NPP Sounder PEATE Missions

Chavez-Clemente, Danielq A Practical Comparison of Motion Planning Techniques for Robotic Legs

in Environments with Obstacles

Papers by Author

Chellali, Ryadq Frequency Modulation Based Vibrotactile Device for Teleoperationq Motor Activity-Perception Based Approach for Improving Teleoperation Systems

Chien, Steveq Automated Targeting for the MER Rovers

Chouinard, Carolineq Autonomous Planning and Execution for a Future Titan Aerobot

Cortellessa, Gabriellaq Integrating Software Technologies in RAXEM2 - AI Meets Information Technology

Crichton, Danq A Reusable Process Control System Framework for the Orbiting Carbon

Observatory and NPP Sounder PEATE Missions

Papers by Author

Curnutt, Janeq Patterned Growth in Extreme Environments

Daugherty, Sarah C.q The Mission Planning Lab: A Visualization and Analysis Tool

Dechev, Damianq Reliable and Efficient Concurrent Synchronization for Embedded Real-Time

Software

Denney, Ewenq Generating Code Review Documentation for Auto-Generated Mission-Critical

Software

Papers by Author

Diggelen, Jurriaan vanq Policy-Based Design of Human-Machine Collaboration in Manned Space

Missions

Dionnet, Fabienq Motor Activity-Perception Based Approach for Improving Teleoperation Systems

Donati, Alessandroq Rapid Prototyping of Planning & Scheduling Tools

Dungan, Jenniferq A Workflow Model for Earth Observation Sensor Webs

Duong, Tuan A.q Sequential Principal Component Analysis - A Hardware-Implementable Transform

for Image Compression

Papers by Author

Duong, Vu A.q Sequential Principal Component Analysis - A Hardware-Implementable Transform

for Image Compression

Dvorak, Danielq A Combinatorial Test Suite Generator for Gray-Box Testing

Eckstein, Knutq Increasing the Efficiency of Next-Generation Space Operations by Exploiting

Predictability

Elfes, Albertoq Autonomous Planning and Execution for a Future Titan Aerobot

Papers by Author

Engel, Thomasq Increasing the Efficiency of Next-Generation Space Operations by Exploiting

Predictability

Estlin, Taraq Automated Targeting for the MER Roversq Autonomous Planning and Execution for a Future Titan Aerobot

Fijany, Amirq A Novel Efficient Method for Conflicts Set Generation for Model-Based Diagnosis

Fischer, Berndq Generating Code Review Documentation for Auto-Generated Mission-Critical

Software

Papers by Author

Fischer, Danielq Increasing the Efficiency of Next-Generation Space Operations by Exploiting

Predictability

Foster, Brianq A Reusable Process Control System Framework for the Orbiting Carbon

Observatory and NPP Sounder PEATE Missions

Fratini, Simoneq Rapid Prototyping of Planning & Scheduling Tools

Freeborn, Danaq A Reusable Process Control System Framework for the Orbiting Carbon

Observatory and NPP Sounder PEATE Missions

Gaines, Danielq Automated Targeting for the MER Rovers

Papers by Author

q Autonomous Planning and Execution for a Future Titan Aerobot

Gelder, Paul vanq Fault Detection and Isolation of a Cryogenic Rocket Engine Combustion Chamber

Using a Parity Space Approach

Gomez, Ernestoq Extensible Simulation of Planets and Cometsq Patterned Growth in Extreme Environments

Gómez-Elvira, Javierq An Autonomous System for the Locomotion of a Hexapod Exploration Robot

Granat, Robertq Simulating and Detecting Radiation-Induced Errors for Onboard Machine

Learning

Papers by Author

Grant, Timq The MECA Project - Ontology-Based Data Portability for Space Missionsq Policy-Based Design of Human-Machine Collaboration in Manned Space

Missions

Granville, Charles deq Automated Targeting for the MER Rovers

Hanna, Robert A.q Earned Value Management Software Projects

Hardman, Seanq A Reusable Process Control System Framework for the Orbiting Carbon

Observatory and NPP Sounder PEATE Missions

Papers by Author

Haririan, Ebrahimq A Fault-Tolerant Middleware Switch for Space Applications

Harris, Andrew J.q A Functional Implementation of the Asynchronous Message Service

Hart, Andrewq A Reusable Process Control System Framework for the Orbiting Carbon

Observatory and NPP Sounder PEATE Missions

Hartman, Leoq Integrated Information Architectures for Space Missions

Hax, John C.q A Case for Database Filesystems

Papers by Author

Hinchey, Mikeq Modeling the Image-Processing Behavior of the NASA Voyager Mission

with ASSL

Hjortnaes, Kjeldq Time and Space Partitioning in Spacecraft Avionics

Horvath, Gregoryq Prototype Implementation of a Goal-Based Software Health Management Service

Hu, E.q Continuing to Improve Telemetry Data Accessibility

Iwasaki, Shinyaq Viewpoint-Based Test Analysis for Dependable Onboard Flight Software

Papers by Author

Jain, Abhinandanq Dshell++: A Component Based, Reusable Space System Simulation Frameworkq Dspace: Real-Time 3D Visualization System for Spacecraft Dynamics Simulation

James, Mark L.q Introspection-Based Verification and Validation

Johnson, Matthewq Policy-Based Design of Human-Machine Collaboration in Manned Space

Missions

Judd, Micheleq Automated Targeting for the MER Rovers

Karsai, Gaborq Model Based Analysis and Test Generation for Flight Software

Papers by Author

Kelly, Seanq A Reusable Process Control System Framework for the Orbiting Carbon

Observatory and NPP Sounder PEATE Missions

Kogge, Peter M.q An Exploration of Tiled Architectures for Space Applications

Kohtake, Naohikoq Viewpoint-Based Test Analysis for Dependable Onboard Flight Software

Koller, Michaelq Cost Reduction - Buzzwords and Their Real Use: Mission Families, Mission

Planning, Mission Automation and Standardization

Li, A.q Continuing to Improve Telemetry Data Accessibility

Papers by Author

Lim, Christopher S.q Dshell++: A Component Based, Reusable Space System Simulation Framework

Lin, Yongzhaoq Application of the Concatenation of Reed Solomon and Luby Transform Codes

in Deep Communications

Lincoln, M. I. T.q The Lunar Laser Communications Demonstration (LLCD)

Lindenberg, Jasperq The MECA Project - Ontology-Based Data Portability for Space Missions

Liu, Weiq Application of the Concatenation of Reed Solomon and Luby Transform Codes

in Deep Communications

Papers by Author

Lowry, Mikeq Model Based Analysis and Test Generation for Flight Software

Mattmann, Chris A.q A Reusable Process Control System Framework for the Orbiting Carbon

Observatory and NPP Sounder PEATE Missions

Means, Erin K.q Enhancing Collaboration among NASA Engineers through a Knowledge Sharing

System

Mehlitz, Peterq Model Based Analysis and Test Generation for Flight Software

Mei, Kuizhiq A Visual Brain Chip Based on Selective Attention for Robot Vision Application

Papers by Author

Miller, Charles E.q A Reusable Process Control System Framework for the Orbiting Carbon

Observatory and NPP Sounder PEATE Missions

Moigne, J. Leq Automatic Extraction of Planetary Image Features

Montenegro, Sergioq A Fault-Tolerant Middleware Switch for Space Applications

Mora, Andresq A Path Planning System based on 3D Occlusion Detection for Lunar Exploration

Rovers

Mori, Takaoq Viewpoint-Based Test Analysis for Dependable Onboard Flight Software

Papers by Author

Morris, Robertq A Workflow Model for Earth Observation Sensor Webs

Moser, G.q Automatic Extraction of Planetary Image Features

Muñoz, Césarq A Graphical Environment for the Semantic Validation of a Plan Execution

Language

Muñoz-Martínez, Pabloq An Autonomous System for the Locomotion of a Hexapod Exploration Robot

Murphy, D. V.q The Lunar Laser Communications Demonstration (LLCD)

Papers by Author

Murphy, Keri S.q Enhancing Collaboration among NASA Engineers through a Knowledge Sharing

System

Myint, Stevenq Dspace: Real-Time 3D Visualization System for Spacecraft Dynamics Simulation

Naceri, Abdeldjallilq Motor Activity-Perception Based Approach for Improving Teleoperation Systems

Nagatani, Keijiq A Path Planning System based on 3D Occlusion Detection for Lunar Exploration

Rovers

Navarro-López, Saraq An Autonomous System for the Locomotion of a Hexapod Exploration Robot

Papers by Author

Neema, Sandeepq Model Based Analysis and Test Generation for Flight Software

Neerincx, Markq The MECA Project - Ontology-Based Data Portability for Space Missionsq Policy-Based Design of Human-Machine Collaboration in Manned Space

Missions

Nikora, Allen P.q Improving the Accuracy of Space Mission Software Anomaly Frequency

Estimates

Nine, Harmonq Model Based Analysis and Test Generation for Flight Software

Papers by Author

Nishi, Yasuharuq Viewpoint-Based Test Analysis for Dependable Onboard Flight Software

Oliveira, Henriqueq SKEYP: AI Applied to SOHO Keyhole Operationsq Rapid Prototyping of Planning & Scheduling Tools

Olson, C.q Continuing to Improve Telemetry Data Accessibility

Pasareanu, Corina S.q Model Based Analysis and Test Generation for Flight Software

Pham, H. Phongq Frequency Modulation Based Vibrotactile Device for Teleoperation

Papers by Author

Policella, Nicolaq SKEYP: AI Applied to SOHO Keyhole Operationsq Rapid Prototyping of Planning & Scheduling Tools

Pomerantz, Marc I.q Dspace: Real-Time 3D Visualization System for Spacecraft Dynamics Simulation

Ramirez, Paulq A Reusable Process Control System Framework for the Orbiting Carbon

Observatory and NPP Sounder PEATE Missions

Rangel, Gabrielq Web 2.0 for Ground Resource Allocation

R-Moreno, María D.q An Autonomous System for the Locomotion of a Hexapod Exploration Robot

Papers by Author

Robinson, B. S.q The Lunar Laser Communications Demonstration (LLCD)

Rocha, Camiloq A Graphical Environment for the Semantic Validation of a Plan Execution

Language

Romeral-Planelló, Julio J.q An Autonomous System for the Locomotion of a Hexapod Exploration Robot

Schaffer, Steveq Autonomous Planning and Execution for a Future Titan Aerobot

Schoolcraft, Joshuaq The Deep Impact Network Experiment Operations Center Monitor and Control

System

Papers by Author

Schrock, Mitchellq Web 2.0 for Ground Resource Allocation

Schubert, Keithq Extensible Simulation of Planets and Cometsq Patterned Growth in Extreme Environments

Schumann, Johannq Model Based Analysis and Test Generation for Flight Software

Schurig, Christianq Cost Reduction - Buzzwords and Their Real Use: Mission Families, Mission

Planning, Mission Automation and Standardization

Scozzafava, J. J.q The Lunar Laser Communications Demonstration (LLCD)

Papers by Author

Serpico, S. B.q Automatic Extraction of Planetary Image Features

Siili, Teroq SKEYP: AI Applied to SOHO Keyhole Operations

Smets, Nanjaq The MECA Project - Ontology-Based Data Portability for Space Missions

Smith, Tristan B.q A Practical Comparison of Motion Planning Techniques for Robotic Legs

in Environments with Obstacles

Soler, Antonio Olmedoq The MECA Project - Ontology-Based Data Portability for Space Missions

Papers by Author

Strader, Brianq Patterned Growth in Extreme Environments

Stroustrup, Bjarneq Reliable and Efficient Concurrent Synchronization for Embedded Real-Time

Software

Sutton, Stewart A.q Knowledge Management Guided by Economic Valuation Models

Tang, Benyangq Simulating and Detecting Radiation-Induced Errors for Onboard Machine

Learning

Thompson, Davidq Automated Targeting for the MER Rovers

Papers by Author

Topousis, Daria E.q Enhancing Collaboration among NASA Engineers through a Knowledge Sharing

System

Torgerson, J. Leighq The Deep Impact Network Experiment Operations Center Monitor and Control

System

Troglio, G.q Automatic Extraction of Planetary Image Featuresq Automatic Extraction of Planetary Image Features

Turmon, Michaelq Simulating and Detecting Radiation-Induced Errors for Onboard Machine

Learning

Papers by Author

Ujihara, Shohgoq Viewpoint-Based Test Analysis for Dependable Onboard Flight Software

Vance, Meganq An Exploration of Tiled Architectures for Space Applications

Vassev, Emilq Modeling the Image-Processing Behavior of the NASA Voyager Mission

with ASSL

Vatan, Farrokhq A Novel Efficient Method for Conflicts Set Generation for Model-Based Diagnosis

Votava, Petrq A Workflow Model for Earth Observation Sensor Webs

Papers by Author

Wagstaff, Kiri L.q Simulating and Detecting Radiation-Induced Errors for Onboard Machine

Learning

Wang, Shin-Ywan (Cindy)q The Deep Impact Network Experiment Operations Center Monitor and Control

System

Wang, Taoq A Visual Brain Chip Based on Selective Attention for Robot Vision Application

Wang, Yeou-Fangq Web 2.0 for Ground Resource Allocation

Windsor, Jamesq Time and Space Partitioning in Spacecraft Avionics

Papers by Author

Wiser-Orozco, Natalieq Extensible Simulation of Planets and Comets

Wolff, Mikaelq The MECA Project - Ontology-Based Data Portability for Space Missions

Woollard, Davidq A Reusable Process Control System Framework for the Orbiting Carbon

Observatory and NPP Sounder PEATE Missions

Wu, Chengkeq Application of the Concatenation of Reed Solomon and Luby Transform Codes

in Deep Communications

Papers by Author

Yew, Mansonq Enhancing Collaboration among NASA Engineers through a Knowledge Sharing

System

Yoshida, Kazuyaq A Path Planning System based on 3D Occlusion Detection for Lunar Exploration

Rovers

Zhang, Qunq Application of the Concatenation of Reed Solomon and Luby Transform Codes

in Deep Communications

Zheng, Nanningq A Visual Brain Chip Based on Selective Attention for Robot Vision Application

Zima, Hans P.q 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

CONFERENCE INFORMATION

PAPERS BY SESSION

PAPERS BY AUTHOR

SEARCH

MAIN MENU

Third IEEE International Conference onSPACE MISSION CHALLENGES FOR INFORMATION TECHNOLOGY SMC-IT 2009 POST CONFERENCE PRESENTATIONS

Technical Committee on Autonomous and Autonomic Systems (TCAAS)

Technical Committee on Complexity in Computing (TCCX)

Pasadena Convention Center • Pasadena, California, USA • 19 - 23 July 2009 • http://smc-it.org

Conference Information

2009 SMC-IT Presentations

q Message from the General Chairsq Welcome from the Steering Committeeq Message from IEEE Computer Society Sponsorsq Organizationq Mini-Workshopsq Title Page (Book version)q Copyright Page (Book version)q SMC-IT Presentations Table of Contents (Book version)q SMC-IT Presentations Author Index (Book version)q Publisher's Information (Book version)

Sessions

q Technical Program - Sunday, July 19, 2009q Mini-Workshop 5A: (Invited) Multicore Processors for Space - Opportunities

and Challengesq Mini-Workshop 10A (Bridge): 6th International Workshop on Planning and Scheduling

for Space (IWPSS) (Part 1)q Technical Program - Monday, July 20, 2009q Plenary Keynote 1q Mini-Workshop 1: Software Reliability in Space Missionsq Mini-Workshop 2: Information Technologies for Effective Management of Earth

Observation Systemsq Mini-Workshop 5B (Invited): Multicore Processors for Space - Opportunities

and Challengesq Workshop Keynoteq Mini-Workshop 5B: Session I: Programming for Parallelism in Space: Tools

and Programming Modelsq Mini-Workshop 5B: Session IA: Compilersq Mini-Workshop 5B: Session IB: Parallel Libraries

Sessions (cont.)

q Mini-Workshop 5B: Session II: Supporting Technologies and Tools for Multicore in Space

q Mini-Workshop 5B: Session III: Will It Work? Is It Still Working?q Mini-Workshop 10B (Bridge): 6th International Workshop on Planning and Scheduling

for Space (IWPSS) (Part 2)q Technical Program - Tuesday, July 21, 2009q Plenary Keynote 2q Mini-Workshop 5C (Invited): Multicore Processors for Space - Opportunities

and Challengesq Mini-Workshop 5C: Session IV: Space Applications on Multicore Processorsq Mini-Workshop 5C: Session V: Operating Systems, Hypervisors & I/O for Multicore

in Spaceq Mini-Workshop 5C: Session VI: Architecture Specific Optimization Techniques:

MAESTROq Mini-Workshop 6: 1st International Workshop on Software Health Management (SHM

2009)q Mini-Workshop 7: IT for Climate Research

Sessions (cont.)

q Mini-Workshop 8: Human Robot Interfaces: Concepts, Challenges and Applicationsq Mini-Workshop 9: *AA-SES-IV: Autonomic & Autonomous Space Exploration Systemsq Mini-Workshop 10C (Bridge): 6th International Workshop on Planning and Scheduling

for Space (IWPSS) (Part 3)q Technical Program - Wednesday, July 22, 2009q Plenary Keynote 3q Plenary Keynote 4q Session 1 - Fault Tolerant Computing Iq Session 2 - Telecommunicationsq Session 3 - Operations ITq Session 4 - Reliable Software Engineering Iq Session 5 (Student I) - Human/Roboticsq Session 6 - Fault Tolerant Computing IIq Session 7 - Human / Robotic Systemsq Session 8 - Data Systemsq Session 9 - Knowledge Management

Sessions (cont.)

q Session 10 (Student II) - Astrophysics & Planetary Simulationsq Banquet Speakerq Technical Program - Thursday, July 23, 2009q Plenary Keynote 5q Plenary Keynote 6q Session 11 - Engineering Modeling & Simulationq Session 12 - Space Systems Autonomyq Session 13 - Ground Information Systemsq Session 14 - Mission Cost Managementq Session 15 (Student III) - Mission & Systems Designq Session 16 - Fault Tolerant Computing IIIq Session 17 - Advanced Information Systemsq Session 18 - Mission Designq Session 19 - Reliable Software Engineering IIq Closing Panel Discussionq 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

q Mini-Workshop 5A: Multicore Flight Software - Opportunities and Challenges Callfor Papers

Marti Bancroft

q A Quick Tour through the Multicore LandscapeB. Scott Michel

q Spacecraft Flight Computer Considerations: The Road to FlightRaphael Some, Len Day, and Mike Sievers

q Leveraging Multicore and VirtualizationMichael Deliman III and Mark Hermeling

q Maestro Multi-core SoftwareSteve Crago

Papers by Session

Mini-Workshop 10A (Bridge): 6th InternationalWorkshop on Planning and Scheduling for Space(IWPSS) (Part 1)

q Mini-Workshop 10A (Bridge): 6th International Workshop on Planningand Scheduling for Space (IWPSS) (Part 1) Call for Papers

Anthony Barrett

q Controlling Rovers on Mars: Mars Exploration RoversAshley Stroupe

q Request-Driven Scheduling for NASA’s Deep Space NetworkMark Johnston, Daniel Tran, Belinda Arroyo, and Christopher Page

q A Local Approach to Automated Correction of Violated Precedence and ResourceConstraints in Manually Altered Schedules

Roman Barták and Tomáš Skalický

Papers by Session

Technical Program - Monday, July 20, 2009

q Monday Welcome - LogisticsLarry Bergman

q SMC-IT 2009 Opening Remarks - Enabling the Dream of FlightMike Hinchey and Roy Sterritt

Papers by Session

Plenary Keynote 1

q Autonomy: From Outer to Inner SpaceKanna Rajan

Papers by Session

Mini-Workshop 1: Software Reliability in SpaceMissions

q Mini-Workshop 1: Software Reliability in Space Missions Call for PapersNorm Schneidewind, Mike Hinchey, and Christopher J. Krupiarz

q Software Reliability in Space MissionsNorm Schneidewind and Mike Hinchey

q Application of the Architectural Analysis and Design Language (AADL)for Quantitative System Reliability and Availability Modeling

Chris Vogl, Myron Hecht, and Alexander Lam

q Finding Defects in Unstructured Software ArtifactsAllen Nikora

q Architecture-Centric Reliability Analysis of the NASA cFE/CFSDharma Ganesan, Mikael Lindvall, Maureen Bartholomew, Mike Blau, Dave McComas,and Glenn Cammarata

q Formal Specification and Analysis of Execution LogsKlaus Havelund, Alex Groce, Margaret Smith, and Howard Barringer

Papers by Session

Mini-Workshop 2: Information Technologies for Effective Management of Earth Observation Systems

q Mini-Workshop 2: Information Technologies for Effective Management of EarthObservation Systems Call for Papers

Robert Morris and Ashit Talukder

q Towards a Flexible, Fast, & Standards-Based Earth Observation InformationTurnpike

Peter Baumann

q Improving the Access of HDF Data via OPeNDAPKent Yang

q QuakeSim: A Web Portal Environment for Solid Earth Observation and AnalysisRobert Granat, Xiaoming Gao, Marlon Pierce, Rami Al-Ghanmi, Dennis McLeod, Lisa Grant,Jay Parker, Yehuda Bock, and Andrea Donnellan

q Automated Data Assimilation and Flight Planning for Multi-platform ObservationMissions

Nikunj C. Oza, Robert Morris, Anthony Strawa, Elif Kurklu, and Leslie Keely

q Earth Atmospheric Science Mission Concept Exploration FrameworkMeemong Lee

Papers by Session

q Adaptive Sky - Feature Correspondence for the Generation of Object-CentricDatasets from Multi-instrument, Multi-platform Satellite Observations

Michael J. Garay

q Automatic Multi-modal Image RegistrationAdnan Ansar and Larry Matthies

Papers by Session

Mini-Workshop 5B (Invited): Multicore Processors for Space - Opportunities and Challenges

q Mini-Workshop 5B (Invited): Multicore Processors for Space - Opportunitiesand Challenges Call for Papers

Marti Bancroft

Papers by Session

Workshop Keynote

q Digital SpaceAnant Agarwal

Papers by Session

Mini-Workshop 5B: Session I: Programming for Parallelism in Space: Tools and ProgrammingModels

Papers by Session

Mini-Workshop 5B: Session IA: Compilers

q Models and Tools for Space-Borne Computing: What Can We Learnfrom Emerging High-Productivity Languages?

Hans P. Zima

q Empirical Analysis of Unified Parallel C on the Tile-64 ProcessorAhmed Anber, Olivier Serres, Saumil Merchant, and Tarek El-Ghazawi

q R-Stream®: Automatic Parallelization and Mapping for Space ProcessorsRichard Lethin

Papers by Session

Mini-Workshop 5B: Session IB: Parallel Libraries

q MPI Performance Analysis and Optimization on Tile64/MaestroMikyung Kang, Eunhui Park, Minkyoung Cho, Jinwoo Suh, Dong-In Kang, and Stephen P. Crago

q OpenMP Implementation for OPERAVass Litvinov and Richard Lethin

Papers by Session

Mini-Workshop 5B: Session II: Supporting Technologiesand Tools for Multicore in Space

q 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

q Integrated Development Environment for Tile64 / MaestroKarandeep Singh, Rob Kost, Kyungjin Yoo, Kristin Parker, and Steve Crago

Papers by Session

Mini-Workshop 5B: Session III: Will It Work? Is It StillWorking?

q Introspection-Based Fault ToleranceMark L. James, Paul L. Springer, and Hans P. Zima

q Adaptive Software-Based Fault Tolerance for Space Multicore ProcessingAdam Jacobs, Grzegorz Cieslewski, and Alan D. George

Papers by Session

Mini-Workshop 10B (Bridge): 6th InternationalWorkshop on Planning and Scheduling for Space(IWPSS) (Part 2)

q Mini-Workshop 10B (Bridge): 6th International Workshop on Planningand Scheduling for Space (IWPSS) (Part 2) Call for Papers

Anthony Barrett

q AIMS: A Tool for Long-Term Planning of the ESA INTEGRAL MissionCédric Pralet and Gérard Verfaillie

q MrSpock: A Long-Term Planning Tool for Mars ExpressA. Cesta, G. Cortellessa, S. Fratini, and A. Oddi

q SKyeP AI Applied to SOHO Keyhole Operations (1)Nicola Policella, Henrique Oliveira, and Tero Siili

q Planning and Scheduling Challenges for Orbital ExpressRussell Knight

q Applying Lessons Learned in Planning and Scheduling the Hubble SpaceTelescope to the James Webb Space Telescope

Robert E. Hawkins, Ian J. E. Jordan, and Mark E. Giuliano

Papers by Session

q A Retrospective Snapshot of the Planning Processes in MER Operations after 5Years

Anthony Barrett, Deborah Bass, Sharon Laubach, and Andrew Mishkin

q Orbital Operations Planning & Scheduling for the MESSENGER MissionAlice Berman, Teck Choo, Deborah Domingue, Mark Holdridge, Rick Shelton, and Josh Steele

Papers by Session

Technical Program - Tuesday, July 21, 2009

q Tuesday Welcome - LogisticsSven Grenander and Larry Bergman

q Software, Computing, and Networking on Space MissionsRichard J. Doyle

Papers by Session

Plenary Keynote 2

q Stealing SuccessRob Manning

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

q Parallelizing Lunar Safe Landing Algorithms on the Tilera Tile64 ProcessorCarlos Villalpando, Steve Goldberg, Andrew E. Johnson, and Raphael Some

q Space Applications on TileraJustin Richardson, Chris Massie, Herman Lam, Kunal Gosrani, and Alan George

q OpenJPEG2K Performance on MaestroXu Yang and Donald Yeung

q Multi-core Architectures for Emerging NASA Applications: Some Resultsfor Tilera's Tile 64 and Maestro

Ed Upchurch and Paul Springer

q FFTW on MAESTROKarandeep Singh, Steve Crago, and Chenjie Yu

Papers by Session

Mini-Workshop 5C: Session V: Operating Systems,Hypervisors & I/O for Multicore in Space

q Fault Tolerance and Multicore: Using a Hypervisor and Virtualization to EnhanceFault Tolerance and Increase Reliability

Mike Deliman

Papers by Session

Mini-Workshop 5C: Session VI: Architecture SpecificOptimization Techniques: MAESTRO

q DMA Performance on Tile64/MaestroKarandeep Singh and Steve Crago

Papers by Session

Mini-Workshop 6: 1st International Workshop on Software Health Management (SHM 2009)

q Mini-Workshop 6: 1st International Workshop on Software Health Management(SHM 2009) Call for Papers

Gabor Karsai

q Software Health Management: A Short Review of Challenges and ExistingTechniques

Knot Pipatsrisawat, Adnan Darwiche, Ole J. Mengshoel, and Johann Schumann

q Software Active Online Monitoring under Anticipatory SemanticsChangzhi Zhao, Wei Dong, Ji Wang, and Zhichang Qi

q Toward Monitoring Fault-Tolerant Embedded SystemsAlwyn E. Goodloe and Lee Pike

q Reflex and Healing Architecture for Software Health ManagementAbhishek Dubey, Nagbhushan Mahadevan, and Robert Kereskenyi

q Prototype Implementation of a Goal-Based Software Health Management Service(1)

Matthew Barry and Gregory Horvath

Papers by Session

q Using Auto-generated Diagnostic Trees for Verification of Operational Proceduresin Software-Hardware Systems

Tolga Kurtoglu, Robyn Lutz, and Ann Patterson-Hine

q Flight Software Process Gap Analysis for Model Based DevelopmentLuis C. Trevino

q Software Quality Consulting: Putting Software Quality into EffectMarkus Pizka

Papers by Session

Mini-Workshop 7: IT for Climate Research

q Mini-Workshop 7: IT for Climate Research Call for PapersDaniel Crichton

q Global Change Activities and Opportunities (AR5): Overview and Plansfor CMIP5/AR5

Karl E. Taylor

q JPL’s Global Change and Energy IT ArchitectureChris A. Mattmann, Dan Crichton, and Amy Braverman

q DOE Climate ResearchDean N. Williams

q IT Architectures for Global Change Research: JPL's Global Change and EnergyIT Architecture

Chris A. Mattmann and Dan Crichton

q I.T. for NOAA Satellite Climatological Data RecordsAleksandar Jelenak

q The Earth System GridDean N. Williams

Papers by Session

q Specific Projects and Technologies: Climate Data ExchangeAmy Braverman, Dan Crichton, Chris Mattmann, Rob Raskin, David Woollard, Mike Cayanan,Rob Hanna, and Sean Kelly

q Assessing Impacts of Climate and Land Use Change with the NASA TerrestrialObservation and Prediction System (TOPS)

Forrest Melton, Rama Nemani, Hirofumi Hashimoto, Sam Hiatt, Andrew Michaelis,Cristina Milesi, Petr Votava, and Weile Wang

q 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

q Leveraging IT Technologies for Modeling and Research: Challenges to IntegratingSatellite Observations and Climate Modeling

Michael Gunson, Dan Crichton, Amy Braverman, and Joao Teixeira

q Ontologies and Knowledge Capture for Global Change Researchand Applications

Rob Raskin

Papers by Session

Mini-Workshop 8: Human Robot Interfaces: Concepts,Challenges and Applications

q Mini-Workshop 8: Human Robot Interfaces: Concepts, Challengesand Applications Call for Papers

Ryad Chellali

q How the Brain Predicts GravityThierry Pozzo

q Depth Perception in Virtual RealityFabien Dionnet

q Reducing Distance between Humans and RobotsRyad Chellali

Papers by Session

Mini-Workshop 9: *AA-SES-IV: Autonomic &Autonomous Space Exploration Systems

q Mini-Workshop 9: *AA-SES-IV: Autonomic & Autonomous Space ExplorationSystems Call for Papers

Roy Sterritt

q SPAACE IV: Self-Properties for an Autonomous & Autonomic ComputingEnvironment

Roy Sterritt and Mike Hinchey

q Autonomic Associate for Space ExplorationBob Simpson, Chris Rouff, Joe Roberts, and Gary Edwards

q Decision Controllers for Embedded Human SystemsJonathan Sprinkle and Diyang Chu

q Behavior Extraction by Efficient Automata Learning - The Voyager Case StudyTiziana Margaria, Falk Howar, Christian Wagner, and Bernhard Steffen

q Autonomic Computing and Ambient Assisted LivingChris Nugent and Roy Sterritt

q Autonomic Wireless Sensor Networks (AWSNs)Julie A. McCann and Roy Sterritt

Papers by Session

q Enabling Self-Management by Using Model-Based Design Space ExplorationAbhishek Dubey and Daniel Balasubramanian

Papers by Session

Mini-Workshop 10C (Bridge): 6th InternationalWorkshop on Planning and Scheduling for Space(IWPSS) (Part 3)

q Mini-Workshop 10C (Bridge): 6th International Workshop on Planningand Scheduling for Space (IWPSS) (Part 3) Call for Papers

Anthony Barrett

q Multi-objective Scheduling for Space Science Missions (Invited Talk)Mark Giuliano and Mark D. Johnston

q On-board Plan Modification for Opportunistic ScienceDerek Long, Mark Woods, Andy Shaw, and Derek Pullan

q Tractable Goal Selection with Oversubscribed ResourcesGregg Rabideau, Steve Chien, and David McLaren

q Autonomous Planning and Execution for a Future Titan Aerobot (1)Dan Gaines Tara Estlin, Steve Schaffer, Caroline Chouinard, and Alberto Elfes

q Enhancing NASA's Procedure Representation Language to Support PlanningOperations

Pete Bonasso, Dave Kortenkamp, and Mark Boddy

Papers by Session

q Peer-to-Peer Planning for Space Mission ControlJavier Barreiro, Grailing Jones Jr., and Steve Schaffer

q Post Servicing Mission 4 Parallel Observing with the Hubble Space TelescopeThomas Civeit, Mark Giuliano, and Reiko Rager

q Planning Operations of the Earth Observing Satellite EO-1: A Case Studyin Representing and Reasoning about Spacecraft Operations Constraints

Steve Chien, Daniel Tran, Gregg Rabideau, Steve Schaffer, Daniel Mandl, and Stuart Frye

q The RAXEM Tool on Mars Express - Uplink Planning Optimisationand Scheduling Using AI Constraint Resolution

Erhard Rabenau, Michel Denis, Alessandro Donati, Nicola Policella, Amedeo Cesta,Gabriella Cortellessa, Angelo Oddi, Simone Fratini, and Guilio Bernardi

q Welcome - LogisticsSven Grenander and Larry Bergman

Papers by Session

Technical Program - Wednesday, July 22, 2009

q Opening Remarks and Keynote IntroductionTom Cwik

Papers by Session

Plenary Keynote 3

Papers by Session

Plenary Keynote 4

q Challenges and Accomplishments in Earth and Space Science at NASA’sGoddard Space Flight Center

Peter Hughes

Papers by Session

Session 1 - Fault Tolerant Computing I

q An Exploration of Tiled Architectures for Space ApplicationsPeter M. Kogge and Megan Vance

q Time and Space Partitioning in Spacecraft AvionicsJames Windsor

Papers by Session

Session 2 - Telecommunications

q Deep Impact Network Experiment Operations Center Monitor and Control SystemShin-Ywan Wang, J. Leigh Torgerson, Joshua Schoolcraft, and Yan Brenman

Papers by Session

Session 3 - Operations IT

q Integrating Software Technologies in RAXEM2 - AI Meets Information TechnologyGiulio Bernardi, Amedeo Cesta, and Gabriella Cortellessa

q Web 2.0 for Ground Resource AllocationYeou-Fang Wang, Mitchell Schrock, John Baldwin, Gabriel Rangel, and Chester Borden

q SKyeP AI Applied to SOHO Keyhole Operations (2)Nicola Policella, Henrique Oliveira, and Tero Siili

Papers by Session

Session 4 - Reliable Software Engineering I

q A Workflow Model for Earth Observation Sensor WebsRobert Morris, Jennifer Dungan, Lina Khatib, and Petr Votava

q Viewpoint-Based Test Analysis for Dependable Onboard Flight SoftwareTakao Mori

q Model Based Analysis and Test Generationfor Flight SoftwareCorina 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

q A Visual Brain Chip Based on Selective Attention for Robot Vision ApplicationTao Wang

q Frequency Modulation Based Vibrotactile Device for Teleoperation and VirtualReality

Huynh-Phong Pham and Ryad Chellali

q A Path Planning System Based on 3D Occlusion Detection for Lunar ExplorationRovers

Andres Mora, K. Nagatani, K. Yoshida, and M. Chacin

Papers by Session

Session 6 - Fault Tolerant Computing II

q Prototype Implementation of a Goal-Based Software Health Management Service(2)

Matthew Barry and Gregory Horvath

q Simulating and Detecting Radiation-Induced Errors for Onboard MachineLearning

Robert Granat, Kiri L. Wagstaff, Benjamin Bornstein, Benyang Tang, and Michael Turmon

q Introspection-Based Verification and Validation (2)Mark L. James, Paul L. Springer, and Hans P. Zima

Papers by Session

Session 7 - Human / Robotic Systems

q Motor Activity-Perception Based Approach for Improving Teleoperation SystemsRyad Chellali, Fabien Dionnet, and Abdeldjallil Naceri

q An Autonomous System for the Locomotion of a Hexapod Exploration RobotPablo Muñoz, María D. R-Moreno, Javier Gómez, Julio J. Romeral, and Sara Navarro

q A Practical Comparison of Motion Planning Techniques for Robotic Legsin Environments with Obstacles

Tristan Smith and Daniel Chavez

Papers by Session

Session 8 - Data Systems

q A Reusable Process Control System Architecture for the Orbiting CarbonObservatory and NPP Sounder PEATE Missions

Chris A. Mattmann

q Data Intensive Science and Database File SystemsPhilip A. Adams and John C. Hax

q Implementing the Asynchronous Message Service (AMS) in a FunctionalProgramming Language

Andrew Harris

Papers by Session

Session 9 - Knowledge Management

q Enhancing Collaboration among NASA Engineers through a Knowledge SharingSystem

Erin Means, Daria Topousis, Erin Means, Keri Murphy, and Manson Yew

q The MECA Project - Ontology-Based Data Portability for Space MissionOperations

Mark Neerincx, Jasper Lindenberg, Nanja Smets, Tim Grant, André Bos, Leo Breebaart,Antonio Olmedo Soler, Uwe Brauer, and Mikael Wolff

q PLEXIL5: A Graphical Environment for the Semantic Validation of a PlanExecution Language

Camilo Rocha, César Muñoz, and Héctor Cadavid

Papers by Session

Session 10 (Student II) - Astrophysics & PlanetarySimulations

q Automatic Feature Extraction of Planetary ImagesG. Troglio, J. Le Moigne, J. A. Benediktsson, G. Moser, and S. B. Serpico

q Extensible Simulation of Planets and CometsNatalie Wiser-Orozco, Keith Evan Schubert, Ernesto Gomez, and Richard J. Botting

q Patterned Growth in Extreme EnvironmentsPenny Boston, Jane Curnutt, Keith Schubert, Ernesto Gomez, and Brian Strader

Papers by Session

Banquet Speaker

q Space InvadersJeff Norris

Papers by Session

Technical Program - Thursday, July 23, 2009

q Thursday Welcome - LogisticsLarry Bergman

q Information Technology R&D at NASA AmesEugene L. Tu

Papers by Session

Plenary Keynote 5

q NASA Supercomputing and Its Impact on Agency MissionsRupak Biswas

Papers by Session

Plenary Keynote 6

q Falcon 1 Flight 4 and 5: From Omelek to OrbitHans Koenigsmann

Papers by Session

Session 11 - Engineering Modeling & Simulation

q Dshell++: A Component Based, Reusable Space System Simulation FrameworkChristopher Lim and Abhinandan Jain

q Dspace: Real-Time 3D Visualization System for Spacecraft Dynamics SimulationsMarc Pomerantz, Abhinandan Jain, and Steven Myint

q Modeling the Image-Processing Behavior of the NASA Voyager Missionwith ASSL

Emil Vassev and Mike Hinchey

Papers by Session

Session 12 - Space Systems Autonomy

q Automated Targeting for the MER RoversTara Estlin, Rebecca Castano, Ben Bornstein, Dan Gaines, Robert C. Anderson,Charles de Granville, David Thompson, Michael Burl, and Steve Chien

q Autonomous Planning and Execution for a Future Titan Aerobot (2)Dan Gaines, Tara Estlin, Steve Schaffer, Caroline Chouinard, and Alberto Elfes

q Rapid Prototyping of Planning & Scheduling ToolsA. Cesta, S. Fratini, A. Donati, H. Oliveira, and N. Policella

Papers by Session

Session 13 - Ground Information Systems

q Integrated Information Architectures for Space MissionsL. Hartman, P. Melanson, S. Piggott, L.-P. Durocher, and C. Adourian

Papers by Session

Session 14 - Mission Cost Management

q Knowledge Management Guided by Economic Valuation ModelsStew Sutton and Joe Betser

q Earned Value Management Software ProjectsRobert Hanna

q Cost Reduction – Buzzwords and Their Real Use: Mission Families, MissionPlanning, Mission Automation and Standardization

Michael Koller and Christian Schurig

Papers by Session

Session 15 (Student III) - Mission & Systems Design

q Increasing the Efficiency of Next-Generation Space Operations by ExploitingPredictability

Daniel Fischer, Knut Eckstein, David Basin, and Thomas Engel

q Reliable and Efficient Concurrent Synchronization for Embedded Real-TimeSoftware

Damian Dechev and Bjarne Stroustrup

Papers by Session

Session 16 - Fault Tolerant Computing III

q A Fault Fault-Tolerant Middleware Switch for Space ApplicationsSergio Montenegro and Ebrahim Haririan

q Fault Detection and Isolation of a Cryogenic Rocket Engine Using a Parity SpaceApproach (#48)

Paul van Gelder, Andre Bos, Johann Keppeler, and Serge Le Conidec

q A New Efficient Method for Conflict Sets Generation for Model-Based DiagnosisAmir Fijany, Anthony Barrett, and Farrokh Vatan

Papers by Session

Session 17 - Advanced Information Systems

q Continuing to Improve Telemetry Data AccessibilityChris C. Olson, Angela Li, and Eric Hu

q Sequential Principal Component Analysis - A Hardware Implementable Transformfor Image Compression

Tuan A. Duong and Vu A. Duong

q Compiler-Enabled Power Efficient Register File ProtectionAviral Shrivastava

Papers by Session

Session 18 - Mission Design

q The Mission Planning Lab: A Visualization and Analysis ToolSarah Daugherty and Ben Cervantes

q Policy-Based Design of Human-Machine Collaboration in Manned SpaceMissions

Jurriaan van Diggelen, Jeffrey M. Bradshaw, Tim Grant, Matthew Johnson, and Mark Neerincx

Papers by Session

Session 19 - Reliable Software Engineering II

q A Combinatorial Test Suite Generator for Gray-Box TestingAnthony Barrett and Daniel Dvorak

q Generating Code Review Documentation for Auto-generated Mission-CriticalSoftware

Ewen Denney

q Improving the Accuracy of Space Mission Software Anomaly FrequencyEstimates

Allen Nikora and Galen Balcom

Papers by Session

Closing Panel Discussion

q How Much Onboard Computing Do We Need in Space?Richard Doyle

Papers by Session

Closing Remarks

q Flight Computing for Onboard Science AnalysisSteve Chien

q Computational Demands for NRC Earth Science Decadal Survey MissionsCharles D. Norton

q Closing RemarksLarry Bergman

Papers by Author

Aq Adams, Philip A.q Adourian, C.q Agarwal, Anantq Al-Ghanmi, Ramiq Anber, Ahmedq Anderson, Robert C.q Ansar, Adnanq Arroyo, Belinda

Bq Balasubramanian, Danielq Balcom, Galenq Baldwin, Johnq Bancroft, Martiq Barreiro, Javier

q Barrett, Anthonyq Barringer, Howardq Barry, Matthewq Barták, Romanq Bartholomew, Maureenq Basin, Davidq Bass, Deborahq Baumann, Peterq Benediktsson, J. A.q Bergman, Larryq Berman, Aliceq Bernardi, Giulioq Bernardi, Guilioq Betser, Joeq Bhatt, Spundunq Biswas, Rupak

Papers by Author

q Blau, Mikeq Bock, Yehudaq Boddy, Markq Bonan, Gordon B.q Bonasso, Peteq Borden, Chesterq Bornstein, Benq Bornstein, Benjaminq Bos, Andreq Bos, Andréq Boston, Pennyq Botting, Richard J.q Bradshaw, Jeffrey M.q Brauer, Uweq Braverman, Amyq Breebaart, Leo

q Brenman, Yanq Burl, Michael

Cq Cadavid, Héctorq Cammarata, Glennq Castano, Rebeccaq Cayanan, Mikeq Cervantes, Benq Cesta, A.q Cesta, Amedeoq Chacin, M.q Chavez, Danielq Chellali, Ryadq Chien, Steveq Cho, Inkeunq Cho, Minkyoung

Papers by Author

q Choi, Inseokq Choo, Teckq Chouinard, Carolineq Chu, Diyangq Cieslewski, Grzegorzq Civeit, Thomasq Conidec, Serge Leq Cortellessa, G.q Cortellessa, Gabriellaq Covey, Curtis C.q Crago, Stephenq Crago, Stephen P.q Crago, Steveq Crichton, Danq Crichton, Danielq Curnutt, Jane

q Cwik, Tom

Dq Darwiche, Adnanq Daugherty, Sarahq Day, Lenq Dechev, Damianq Deliman III, Michaelq Deliman, Mikeq Denis, Michelq Denney, Ewenq Diggelen, Jurriaan vanq Dionnet, Fabienq Domingue, Deborahq Donati, A.q Donati, Alessandroq Doney, Scott C.

Papers by Author

q Dong, Weiq Donnellan, Andreaq Doyle, Richardq Doyle, Richard J.q Dubey, Abhishekq Dungan, Jenniferq Duong, Tuan A.q Duong, Vu A.q Durocher, L.-P.q Dvorak, Daniel

Eq Eckstein, Knutq Edwards, Garyq Elfes, Albertoq El-Ghazawi, Tarekq Engel, Thomas

q Estlin, Dan Gaines Taraq Estlin, Tara

Fq Fijany, Amirq Fischer, Danielq Fratini, S.q Fratini, Simoneq Frye, Stuartq Fung, Inez Y.

Gq Gaines, Danq Ganesan, Dharmaq Gao, Xiaomingq Garay, Michael J.q Gelder, Paul van

Papers by Author

q George, Alanq George, Alan D.q Giuliano, Markq Giuliano, Mark E.q Goldberg, Steveq Gomez, Ernestoq Gómez, Javierq Goodloe, Alwyn E.q Gosrani, Kunalq Granat, Robertq Grant, Lisaq Grant, Timq Granville, Charles deq Grenander, Svenq Groce, Alexq Gunson, Michael

Hq Hanna, Robq Hanna, Robertq Haririan, Ebrahimq Harris, Andrewq Hartman, L.q Hashimoto, Hirofumiq Havelund, Klausq Hawkins, Robert E.q Hax, John C.q Hecht, Myronq Hermeling, Markq Hiatt, Samq Hinchey, Mikeq Hoffman, Forrest M.q Holdridge, Mark

Papers by Author

q Horvath, Gregoryq Howar, Falkq Hu, Ericq Hughes, Peter

Jq Jacobs, Adamq Jain, Abhinandanq James, Mark L.q Jelenak, Aleksandarq Johnson, Andrew E.q Johnson, Matthewq Johnston, Markq Johnston, Mark D.q Jones Jr., Grailingq Jordan, Ian J. E.

Kq Kang, Dong-Inq Kang, Mikyungq Karsai, CenterGaborq Karsai, Gaborq Keely, Leslieq Kelly, Seanq Keppeler, Johannq Kereskenyi, Robertq Khatib, Linaq Knight, Russellq Koenigsmann, Hansq Kogge, Peter M.q Koller, Michaelq Kortenkamp, Daveq Kost, Rob

Papers by Author

q Krupiarz, Christopher J.q Kurklu, Elifq Kurtoglu, Tolga

Lq Lam, Alexanderq Lam, Hermanq Laubach, Sharonq Lee, Meemongq Lee, Yen-Hueiq Lethin, Richardq Li, Angelaq Lim, Christopherq Lindenberg, Jasperq Lindsay, Keithq Lindvall, Mikaelq Litvinov, Vass

q Long, Derekq Lowry, Mikeq Lutz, Robyn

Mq Mahadevan, Nagbhushanq Mahowald, Natalie M.q Mandl, Danielq Manning, Robq Margaria, Tizianaq Massie, Chrisq Matthies, Larryq Mattmann, Chrisq Mattmann, Chris A.q McCann, Julie A.q McComas, Daveq McLaren, David

Papers by Author

q McLeod, Dennisq Means, Erinq Mehlitz, Peterq Melanson, P.q Melton, Forrestq Mengshoel, Ole J.q Merchant, Saumilq Michaelis, Andrewq Michel, B. Scottq Milesi, Cristinaq Mishkin, Andrewq Moigne, J. Leq Montenegro, Sergioq Mora, Andresq Mori, Takaoq Morris, Robert

q Moser, G.q Muñoz, Césarq Muñoz, Pabloq Murphy, Keriq Myint, Steven

Nq Naceri, Abdeldjallilq Nagatani, K.q Navarro, Saraq Neema, Sandeepq Neerincx, Markq Nemani, Ramaq Nevison, Cynthia D.q Nikora, Allenq Nine, Harmonq Norris, Jeff

Papers by Author

q Norton, Charles D.q Nugent, Chris

Oq Oddi, A.q Oddi, Angeloq Oliveira, H.q Oliveira, Henriqueq Olson, Chris C.q Oza, Nikunj C.

Pq Page, Christopherq Park, Eunhuiq Parker, Jayq Parker, Kristinq Pãsãreanu, Corina S.

q Patterson-Hine, Annq Pham, Huynh-Phongq Pierce, Marlonq Piggott, S.q Pike, Leeq Pipatsrisawat, Knotq Pizka, Markusq Policella, N.q Policella, Nicolaq Pomerantz, Marcq Pozzo, Thierryq Pralet, Cédricq Pullan, Derek

Qq Qi, Zhichang

Papers by Author

Rq Rabenau, Erhardq Rabideau, Greggq Rager, Reikoq Rajan, Kannaq Randerson, James T.q Rangel, Gabrielq Raskin, Robq Richardson, Justinq R-Moreno, María D.q Roberts, Joeq Rocha, Camiloq Romeral, Julio J.q Rouff, Chrisq Running, Steven W.

Sq Schaffer, Steveq Schneidewind, Normq Schoolcraft, Joshuaq Schrock, Mitchellq Schubert, Keithq Schubert, Keith Evanq Schumann, Johannq Schurig, Christianq Serpico, S. B.q Serres, Olivierq Shaw, Andyq Shelton, Rickq Shrivastava, Aviralq Sievers, Mikeq Siili, Tero

Papers by Author

q Simpson, Bobq Singh, Karandeepq Skalický, Tomášq Smets, Nanjaq Smith, Margaretq Smith, Tristanq Soler, Antonio Olmedoq Some, Raphaelq Springer, Paulq Springer, Paul L.q Sprinkle, Jonathanq Steele, Joshq Steffen, Bernhardq Sterritt, Royq Stöckli, Retoq Strader, Brian

q Strawa, Anthonyq Stroupe, Ashleyq Stroustrup, Bjarneq Suh, Jinwooq Sutton, Stew

Tq Talukder, Ashitq Tang, Benyangq Taylor, Karl E.q Teixeira, Joaoq Thompson, Davidq Thornton, Peter E.q Topousis, Dariaq Torgerson, J. Leighq Tran, Danielq Trevino, Luis C.

Papers by Author

q Troglio, G.q Tu, Eugene L.q Turmon, Michael

Uq Upchurch, Ed

Vq Vance, Meganq Vassev, Emilq Vatan, Farrokhq Verfaillie, Gérardq Villalpando, Carlosq Vogl, Chrisq Votava, Petr

Wq Wagner, Christianq Wagstaff, Kiri L.q Wang, Jiq Wang, Shin-Ywanq Wang, Taoq Wang, Weileq Wang, Yeou-Fangq Williams, Dean N.q Windsor, Jamesq Wiser-Orozco, Natalieq Wolff, Mikaelq Woods, Markq Woollard, Davidq Wu, Meng-Ju

Papers by Author

Yq Yang, Kentq Yang, Xuq Yeung, Donaldq Yew, Mansonq Yoo, Kyungjinq Yoshida, K.q Yu, Chenjie

Zq Zhao, Changzhiq Zima, Hans P.

Papers by Author

Adams, Philip A.q Data Intensive Science and Database File Systems

Adourian, C.q Integrated Information Architectures for Space Missions

Agarwal, Anantq Digital Space

Al-Ghanmi, Ramiq QuakeSim: A Web Portal Environment for Solid Earth Observation and Analysis

Anber, Ahmedq Empirical Analysis of Unified Parallel C on the Tile-64 Processor

Papers by Author

Anderson, Robert C.q Automated Targeting for the MER Rovers

Ansar, Adnanq Automatic Multi-modal Image Registration

Arroyo, Belindaq Request-Driven Scheduling for NASA’s Deep Space Network

Balasubramanian, Danielq Enabling Self-Management by Using Model-Based Design Space Exploration

Balcom, Galenq Improving the Accuracy of Space Mission Software Anomaly Frequency

Estimates

Papers by Author

Baldwin, Johnq Web 2.0 for Ground Resource Allocation

Bancroft, Martiq Mini-Workshop 5A: Multicore Flight Software - Opportunities and Challenges Call

for Papersq Mini-Workshop 5B (Invited): Multicore Processors for Space - Opportunities

and Challenges Call for Papers

Barreiro, Javierq Peer-to-Peer Planning for Space Mission Control

Barrett, Anthonyq Mini-Workshop 10A (Bridge): 6th International Workshop on Planning

and Scheduling for Space (IWPSS) (Part 1) Call for Papersq Mini-Workshop 10B (Bridge): 6th International Workshop on Planning

and Scheduling for Space (IWPSS) (Part 2) Call for Papers

Papers by Author

q A Retrospective Snapshot of the Planning Processes in MER Operations after 5Years

q Mini-Workshop 10C (Bridge): 6th International Workshop on Planningand Scheduling for Space (IWPSS) (Part 3) Call for Papers

q A New Efficient Method for Conflict Sets Generation for Model-Based Diagnosisq A Combinatorial Test Suite Generator for Gray-Box Testing

Barringer, Howardq Formal Specification and Analysis of Execution Logs

Barry, Matthewq Prototype Implementation of a Goal-Based Software Health Management Service

(1)q Prototype Implementation of a Goal-Based Software Health Management Service

(2)

Papers by Author

Barták, Romanq A Local Approach to Automated Correction of Violated Precedence and Resource

Constraints in Manually Altered Schedules

Bartholomew, Maureenq Architecture-Centric Reliability Analysis of the NASA cFE/CFS

Basin, Davidq Increasing the Efficiency of Next-Generation Space Operations by Exploiting

Predictability

Bass, Deborahq A Retrospective Snapshot of the Planning Processes in MER Operations after 5

Years

Papers by Author

Baumann, Peterq Towards a Flexible, Fast, & Standards-Based Earth Observation Information

Turnpike

Benediktsson, J. A.q Automatic Feature Extraction of Planetary Images

Bergman, Larryq Monday Welcome - Logisticsq Tuesday Welcome - Logisticsq Welcome - Logisticsq Thursday Welcome - Logisticsq Closing Remarks

Berman, Aliceq Orbital Operations Planning & Scheduling for the MESSENGER Mission

Papers by Author

Bernardi, Giulioq Integrating Software Technologies in RAXEM2 - AI Meets Information Technology

Bernardi, Guilioq The RAXEM Tool on Mars Express - Uplink Planning Optimisation

and Scheduling Using AI Constraint Resolution

Betser, Joeq Knowledge Management Guided by Economic Valuation Models

Bhatt, Spundunq Run-Time Monitor (RTM)

Biswas, Rupakq NASA Supercomputing and Its Impact on Agency Missions

Papers by Author

Blau, Mikeq Architecture-Centric Reliability Analysis of the NASA cFE/CFS

Bock, Yehudaq QuakeSim: A Web Portal Environment for Solid Earth Observation and Analysis

Boddy, Markq Enhancing NASA's Procedure Representation Language to Support Planning

Operations

Bonan, Gordon B.q The Carbon-Land Model Intercomparison Project (C-LAMP)

Bonasso, Peteq Enhancing NASA's Procedure Representation Language to Support Planning

Operations

Papers by Author

Borden, Chesterq Web 2.0 for Ground Resource Allocation

Bornstein, Benq Automated Targeting for the MER Rovers

Bornstein, Benjaminq Simulating and Detecting Radiation-Induced Errors for Onboard Machine

Learning

Bos, Andreq Fault Detection and Isolation of a Cryogenic Rocket Engine Using a Parity Space

Approach (#48)

Papers by Author

Bos, Andréq The MECA Project - Ontology-Based Data Portability for Space Mission

Operations

Boston, Pennyq Patterned Growth in Extreme Environments

Botting, Richard J.q Extensible Simulation of Planets and Comets

Bradshaw, Jeffrey M.q Policy-Based Design of Human-Machine Collaboration in Manned Space

Missions

Papers by Author

Brauer, Uweq The MECA Project - Ontology-Based Data Portability for Space Mission

Operations

Braverman, Amyq JPL’s Global Change and Energy IT Architectureq Specific Projects and Technologies: Climate Data Exchangeq Leveraging IT Technologies for Modeling and Research: Challenges to Integrating

Satellite Observations and Climate Modeling

Breebaart, Leoq The MECA Project - Ontology-Based Data Portability for Space Mission

Operations

Brenman, Yanq Deep Impact Network Experiment Operations Center Monitor and Control System

Papers by Author

Burl, Michaelq Automated Targeting for the MER Rovers

Cadavid, Héctorq PLEXIL5: A Graphical Environment for the Semantic Validation of a Plan

Execution Language

Cammarata, Glennq Architecture-Centric Reliability Analysis of the NASA cFE/CFS

Castano, Rebeccaq Automated Targeting for the MER Rovers

Cayanan, Mikeq Specific Projects and Technologies: Climate Data Exchange

Papers by Author

Cervantes, Benq The Mission Planning Lab: A Visualization and Analysis Tool

Cesta, A.q MrSpock: A Long-Term Planning Tool for Mars Expressq Rapid Prototyping of Planning & Scheduling Tools

Cesta, Amedeoq The RAXEM Tool on Mars Express - Uplink Planning Optimisation

and Scheduling Using AI Constraint Resolutionq Integrating Software Technologies in RAXEM2 - AI Meets Information Technology

Chacin, M.q A Path Planning System Based on 3D Occlusion Detection for Lunar Exploration

Rovers

Papers by Author

Chavez, Danielq A Practical Comparison of Motion Planning Techniques for Robotic Legs

in Environments with Obstacles

Chellali, Ryadq Mini-Workshop 8: Human Robot Interfaces: Concepts, Challenges

and Applications Call for Papersq Reducing Distance between Humans and Robotsq Frequency Modulation Based Vibrotactile Device for Teleoperation and Virtual

Realityq Motor Activity-Perception Based Approach for Improving Teleoperation Systems

Chien, Steveq Tractable Goal Selection with Oversubscribed Resourcesq Planning Operations of the Earth Observing Satellite EO-1: A Case Study

in Representing and Reasoning about Spacecraft Operations Constraintsq Automated Targeting for the MER Rovers

Papers by Author

q Flight Computing for Onboard Science Analysis

Cho, Inkeunq Run-Time Monitor (RTM)

Cho, Minkyoungq MPI Performance Analysis and Optimization on Tile64/Maestro

Choi, Inseokq Run-Time Monitor (RTM)

Choo, Teckq Orbital Operations Planning & Scheduling for the MESSENGER Mission

Chouinard, Carolineq Autonomous Planning and Execution for a Future Titan Aerobot (1)q Autonomous Planning and Execution for a Future Titan Aerobot (2)

Papers by Author

Chu, Diyangq Decision Controllers for Embedded Human Systems

Cieslewski, Grzegorzq Adaptive Software-Based Fault Tolerance for Space Multicore Processing

Civeit, Thomasq Post Servicing Mission 4 Parallel Observing with the Hubble Space Telescope

Conidec, Serge Leq Fault Detection and Isolation of a Cryogenic Rocket Engine Using a Parity Space

Approach (#48)

Cortellessa, G.q MrSpock: A Long-Term Planning Tool for Mars Express

Papers by Author

Cortellessa, Gabriellaq The RAXEM Tool on Mars Express - Uplink Planning Optimisation

and Scheduling Using AI Constraint Resolutionq Integrating Software Technologies in RAXEM2 - AI Meets Information Technology

Covey, Curtis C.q The Carbon-Land Model Intercomparison Project (C-LAMP)

Crago, Stephenq Run-Time Monitor (RTM)

Crago, Stephen P.q MPI Performance Analysis and Optimization on Tile64/Maestro

Crago, Steveq Maestro Multi-core Software

Papers by Author

q Integrated Development Environment for Tile64 / Maestroq FFTW on MAESTROq DMA Performance on Tile64/Maestro

Crichton, Danq JPL’s Global Change and Energy IT Architectureq IT Architectures for Global Change Research: JPL's Global Change and Energy

IT Architectureq Specific Projects and Technologies: Climate Data Exchangeq Leveraging IT Technologies for Modeling and Research: Challenges to Integrating

Satellite Observations and Climate Modeling

Crichton, Danielq Mini-Workshop 7: IT for Climate Research Call for Papers

Curnutt, Janeq Patterned Growth in Extreme Environments

Papers by Author

Cwik, Tomq Opening Remarks and Keynote Introduction

Darwiche, Adnanq Software Health Management: A Short Review of Challenges and Existing

Techniques

Daugherty, Sarahq The Mission Planning Lab: A Visualization and Analysis Tool

Day, Lenq Spacecraft Flight Computer Considerations: The Road to Flight

Dechev, Damianq Reliable and Efficient Concurrent Synchronization for Embedded Real-Time

Software

Papers by Author

Deliman III, Michaelq Leveraging Multicore and Virtualization

Deliman, Mikeq Fault Tolerance and Multicore: Using a Hypervisor and Virtualization to Enhance

Fault Tolerance and Increase Reliability

Denis, Michelq The RAXEM Tool on Mars Express - Uplink Planning Optimisation

and Scheduling Using AI Constraint Resolution

Denney, Ewenq Generating Code Review Documentation for Auto-generated Mission-Critical

Software

Papers by Author

Diggelen, Jurriaan vanq Policy-Based Design of Human-Machine Collaboration in Manned Space

Missions

Dionnet, Fabienq Depth Perception in Virtual Realityq Motor Activity-Perception Based Approach for Improving Teleoperation Systems

Domingue, Deborahq Orbital Operations Planning & Scheduling for the MESSENGER Mission

Donati, A.q Rapid Prototyping of Planning & Scheduling Tools

Papers by Author

Donati, Alessandroq The RAXEM Tool on Mars Express - Uplink Planning Optimisation

and Scheduling Using AI Constraint Resolution

Doney, Scott C.q The Carbon-Land Model Intercomparison Project (C-LAMP)

Dong, Weiq Software Active Online Monitoring under Anticipatory Semantics

Donnellan, Andreaq QuakeSim: A Web Portal Environment for Solid Earth Observation and Analysis

Doyle, Richardq How Much Onboard Computing Do We Need in Space?

Papers by Author

Doyle, Richard J.q Software, Computing, and Networking on Space Missions

Dubey, Abhishekq Reflex and Healing Architecture for Software Health Managementq Enabling Self-Management by Using Model-Based Design Space Exploration

Dungan, Jenniferq A Workflow Model for Earth Observation Sensor Webs

Duong, Tuan A.q Sequential Principal Component Analysis - A Hardware Implementable Transform

for Image Compression

Papers by Author

Duong, Vu A.q Sequential Principal Component Analysis - A Hardware Implementable Transform

for Image Compression

Durocher, L.-P.q Integrated Information Architectures for Space Missions

Dvorak, Danielq A Combinatorial Test Suite Generator for Gray-Box Testing

Eckstein, Knutq Increasing the Efficiency of Next-Generation Space Operations by Exploiting

Predictability

Edwards, Garyq Autonomic Associate for Space Exploration

Papers by Author

Elfes, Albertoq Autonomous Planning and Execution for a Future Titan Aerobot (1)q Autonomous Planning and Execution for a Future Titan Aerobot (2)

El-Ghazawi, Tarekq Empirical Analysis of Unified Parallel C on the Tile-64 Processor

Engel, Thomasq Increasing the Efficiency of Next-Generation Space Operations by Exploiting

Predictability

Estlin, Dan Gaines Taraq Autonomous Planning and Execution for a Future Titan Aerobot (1)

Estlin, Taraq Automated Targeting for the MER Rovers

Papers by Author

q Autonomous Planning and Execution for a Future Titan Aerobot (2)

Fijany, Amirq A New Efficient Method for Conflict Sets Generation for Model-Based Diagnosis

Fischer, Danielq Increasing the Efficiency of Next-Generation Space Operations by Exploiting

Predictability

Fratini, S.q MrSpock: A Long-Term Planning Tool for Mars Expressq Rapid Prototyping of Planning & Scheduling Tools

Fratini, Simoneq The RAXEM Tool on Mars Express - Uplink Planning Optimisation

and Scheduling Using AI Constraint Resolution

Papers by Author

Frye, Stuartq Planning Operations of the Earth Observing Satellite EO-1: A Case Study

in Representing and Reasoning about Spacecraft Operations Constraints

Fung, Inez Y.q The Carbon-Land Model Intercomparison Project (C-LAMP)

Gaines, Danq Automated Targeting for the MER Roversq Autonomous Planning and Execution for a Future Titan Aerobot (2)

Ganesan, Dharmaq Architecture-Centric Reliability Analysis of the NASA cFE/CFS

Gao, Xiaomingq QuakeSim: A Web Portal Environment for Solid Earth Observation and Analysis

Papers by Author

Garay, Michael J.q Adaptive Sky - Feature Correspondence for the Generation of Object-Centric

Datasets from Multi-instrument, Multi-platform Satellite Observations

Gelder, Paul vanq Fault Detection and Isolation of a Cryogenic Rocket Engine Using a Parity Space

Approach (#48)

George, Alanq Space Applications on Tilera

George, Alan D.q Adaptive Software-Based Fault Tolerance for Space Multicore Processing

Giuliano, Markq Multi-objective Scheduling for Space Science Missions (Invited Talk)

Papers by Author

q Post Servicing Mission 4 Parallel Observing with the Hubble Space Telescope

Giuliano, Mark E.q Applying Lessons Learned in Planning and Scheduling the Hubble Space

Telescope to the James Webb Space Telescope

Goldberg, Steveq Parallelizing Lunar Safe Landing Algorithms on the Tilera Tile64 Processor

Gomez, Ernestoq Extensible Simulation of Planets and Cometsq Patterned Growth in Extreme Environments

Gómez, Javierq An Autonomous System for the Locomotion of a Hexapod Exploration Robot

Papers by Author

Goodloe, Alwyn E.q Toward Monitoring Fault-Tolerant Embedded Systems

Gosrani, Kunalq Space Applications on Tilera

Granat, Robertq QuakeSim: A Web Portal Environment for Solid Earth Observation and Analysisq Simulating and Detecting Radiation-Induced Errors for Onboard Machine

Learning

Grant, Lisaq QuakeSim: A Web Portal Environment for Solid Earth Observation and Analysis

Papers by Author

Grant, Timq The MECA Project - Ontology-Based Data Portability for Space Mission

Operationsq Policy-Based Design of Human-Machine Collaboration in Manned Space

Missions

Granville, Charles deq Automated Targeting for the MER Rovers

Grenander, Svenq Tuesday Welcome - Logisticsq Welcome - Logistics

Groce, Alexq Formal Specification and Analysis of Execution Logs

Papers by Author

Gunson, Michaelq Leveraging IT Technologies for Modeling and Research: Challenges to Integrating

Satellite Observations and Climate Modeling

Hanna, Robq Specific Projects and Technologies: Climate Data Exchange

Hanna, Robertq Earned Value Management Software Projects

Haririan, Ebrahimq A Fault Fault-Tolerant Middleware Switch for Space Applications

Harris, Andrewq Implementing the Asynchronous Message Service (AMS) in a Functional

Programming Language

Papers by Author

Hartman, L.q Integrated Information Architectures for Space Missions

Hashimoto, Hirofumiq Assessing Impacts of Climate and Land Use Change with the NASA Terrestrial

Observation and Prediction System (TOPS)

Havelund, Klausq Formal Specification and Analysis of Execution Logs

Hawkins, Robert E.q Applying Lessons Learned in Planning and Scheduling the Hubble Space

Telescope to the James Webb Space Telescope

Hax, John C.q Data Intensive Science and Database File Systems

Papers by Author

Hecht, Myronq Application of the Architectural Analysis and Design Language (AADL)

for Quantitative System Reliability and Availability Modeling

Hermeling, Markq Leveraging Multicore and Virtualization

Hiatt, Samq Assessing Impacts of Climate and Land Use Change with the NASA Terrestrial

Observation and Prediction System (TOPS)

Hinchey, Mikeq SMC-IT 2009 Opening Remarks - Enabling the Dream of Flightq Mini-Workshop 1: Software Reliability in Space Missions Call for Papersq Software Reliability in Space Missionsq SPAACE IV: Self-Properties for an Autonomous & Autonomic Computing

Environment

Papers by Author

q Modeling the Image-Processing Behavior of the NASA Voyager Missionwith ASSL

Hoffman, Forrest M.q The Carbon-Land Model Intercomparison Project (C-LAMP)

Holdridge, Markq Orbital Operations Planning & Scheduling for the MESSENGER Mission

Horvath, Gregoryq Prototype Implementation of a Goal-Based Software Health Management Service

(1)q Prototype Implementation of a Goal-Based Software Health Management Service

(2)

Howar, Falkq Behavior Extraction by Efficient Automata Learning - The Voyager Case Study

Papers by Author

Hu, Ericq Continuing to Improve Telemetry Data Accessibility

Hughes, Peterq Challenges and Accomplishments in Earth and Space Science at NASA’s

Goddard Space Flight Center

Jacobs, Adamq Adaptive Software-Based Fault Tolerance for Space Multicore Processing

Jain, Abhinandanq Dshell++: A Component Based, Reusable Space System Simulation Frameworkq Dspace: Real-Time 3D Visualization System for Spacecraft Dynamics Simulations

James, Mark L.q Introspection-Based Fault Tolerance

Papers by Author

q Introspection-Based Verification and Validation (2)

Jelenak, Aleksandarq I.T. for NOAA Satellite Climatological Data Records

Johnson, Andrew E.q Parallelizing Lunar Safe Landing Algorithms on the Tilera Tile64 Processor

Johnson, Matthewq Policy-Based Design of Human-Machine Collaboration in Manned Space

Missions

Johnston, Markq Request-Driven Scheduling for NASA’s Deep Space Network

Johnston, Mark D.q Multi-objective Scheduling for Space Science Missions (Invited Talk)

Papers by Author

Jones Jr., Grailingq Peer-to-Peer Planning for Space Mission Control

Jordan, Ian J. E.q Applying Lessons Learned in Planning and Scheduling the Hubble Space

Telescope to the James Webb Space Telescope

Kang, Dong-Inq MPI Performance Analysis and Optimization on Tile64/Maestroq Run-Time Monitor (RTM)

Kang, Mikyungq MPI Performance Analysis and Optimization on Tile64/Maestroq Run-Time Monitor (RTM)

Papers by Author

Karsai, CenterGaborq Model Based Analysis and Test Generationfor Flight Software

Karsai, Gaborq Mini-Workshop 6: 1st International Workshop on Software Health Management

(SHM 2009) Call for Papers

Keely, Leslieq Automated Data Assimilation and Flight Planning for Multi-platform Observation

Missions

Kelly, Seanq Specific Projects and Technologies: Climate Data Exchange

Papers by Author

Keppeler, Johannq Fault Detection and Isolation of a Cryogenic Rocket Engine Using a Parity Space

Approach (#48)

Kereskenyi, Robertq Reflex and Healing Architecture for Software Health Management

Khatib, Linaq A Workflow Model for Earth Observation Sensor Webs

Knight, Russellq Planning and Scheduling Challenges for Orbital Express

Koenigsmann, Hansq Falcon 1 Flight 4 and 5: From Omelek to Orbit

Papers by Author

Kogge, Peter M.q An Exploration of Tiled Architectures for Space Applications

Koller, Michaelq Cost Reduction – Buzzwords and Their Real Use: Mission Families, Mission

Planning, Mission Automation and Standardization

Kortenkamp, Daveq Enhancing NASA's Procedure Representation Language to Support Planning

Operations

Kost, Robq Integrated Development Environment for Tile64 / Maestro

Krupiarz, Christopher J.q Mini-Workshop 1: Software Reliability in Space Missions Call for Papers

Papers by Author

Kurklu, Elifq Automated Data Assimilation and Flight Planning for Multi-platform Observation

Missions

Kurtoglu, Tolgaq Using Auto-generated Diagnostic Trees for Verification of Operational Procedures

in Software-Hardware Systems

Lam, Alexanderq Application of the Architectural Analysis and Design Language (AADL)

for Quantitative System Reliability and Availability Modeling

Lam, Hermanq Space Applications on Tilera

Papers by Author

Laubach, Sharonq A Retrospective Snapshot of the Planning Processes in MER Operations after 5

Years

Lee, Meemongq Earth Atmospheric Science Mission Concept Exploration Framework

Lee, Yen-Hueiq The Carbon-Land Model Intercomparison Project (C-LAMP)

Lethin, Richardq R-Stream®: Automatic Parallelization and Mapping for Space Processorsq OpenMP Implementation for OPERA

Li, Angelaq Continuing to Improve Telemetry Data Accessibility

Papers by Author

Lim, Christopherq Dshell++: A Component Based, Reusable Space System Simulation Framework

Lindenberg, Jasperq The MECA Project - Ontology-Based Data Portability for Space Mission

Operations

Lindsay, Keithq The Carbon-Land Model Intercomparison Project (C-LAMP)

Lindvall, Mikaelq Architecture-Centric Reliability Analysis of the NASA cFE/CFS

Litvinov, Vassq OpenMP Implementation for OPERA

Papers by Author

Long, Derekq On-board Plan Modification for Opportunistic Science

Lowry, Mikeq Model Based Analysis and Test Generationfor Flight Software

Lutz, Robynq Using Auto-generated Diagnostic Trees for Verification of Operational Procedures

in Software-Hardware Systems

Mahadevan, Nagbhushanq Reflex and Healing Architecture for Software Health Management

Mahowald, Natalie M.q The Carbon-Land Model Intercomparison Project (C-LAMP)

Papers by Author

Mandl, Danielq Planning Operations of the Earth Observing Satellite EO-1: A Case Study

in Representing and Reasoning about Spacecraft Operations Constraints

Manning, Robq Stealing Success

Margaria, Tizianaq Behavior Extraction by Efficient Automata Learning - The Voyager Case Study

Massie, Chrisq Space Applications on Tilera

Matthies, Larryq Automatic Multi-modal Image Registration

Papers by Author

Mattmann, Chrisq Specific Projects and Technologies: Climate Data Exchange

Mattmann, Chris A.q JPL’s Global Change and Energy IT Architectureq IT Architectures for Global Change Research: JPL's Global Change and Energy

IT Architectureq A Reusable Process Control System Architecture for the Orbiting Carbon

Observatory and NPP Sounder PEATE Missions

McCann, Julie A.q Autonomic Wireless Sensor Networks (AWSNs)

McComas, Daveq Architecture-Centric Reliability Analysis of the NASA cFE/CFS

Papers by Author

McLaren, Davidq Tractable Goal Selection with Oversubscribed Resources

McLeod, Dennisq QuakeSim: A Web Portal Environment for Solid Earth Observation and Analysis

Means, Erinq Enhancing Collaboration among NASA Engineers through a Knowledge Sharing

Systemq Enhancing Collaboration among NASA Engineers through a Knowledge Sharing

System

Mehlitz, Peterq Model Based Analysis and Test Generationfor Flight Software

Papers by Author

Melanson, P.q Integrated Information Architectures for Space Missions

Melton, Forrestq Assessing Impacts of Climate and Land Use Change with the NASA Terrestrial

Observation and Prediction System (TOPS)

Mengshoel, Ole J.q Software Health Management: A Short Review of Challenges and Existing

Techniques

Merchant, Saumilq Empirical Analysis of Unified Parallel C on the Tile-64 Processor

Papers by Author

Michaelis, Andrewq Assessing Impacts of Climate and Land Use Change with the NASA Terrestrial

Observation and Prediction System (TOPS)

Michel, B. Scottq A Quick Tour through the Multicore Landscape

Milesi, Cristinaq Assessing Impacts of Climate and Land Use Change with the NASA Terrestrial

Observation and Prediction System (TOPS)

Mishkin, Andrewq A Retrospective Snapshot of the Planning Processes in MER Operations after 5

Years

Moigne, J. Leq Automatic Feature Extraction of Planetary Images

Papers by Author

Montenegro, Sergioq A Fault Fault-Tolerant Middleware Switch for Space Applications

Mora, Andresq A Path Planning System Based on 3D Occlusion Detection for Lunar Exploration

Rovers

Mori, Takaoq Viewpoint-Based Test Analysis for Dependable Onboard Flight Software

Morris, Robertq Mini-Workshop 2: Information Technologies for Effective Management of Earth

Observation Systems Call for Papersq Automated Data Assimilation and Flight Planning for Multi-platform Observation

Missionsq A Workflow Model for Earth Observation Sensor Webs

Papers by Author

Moser, G.q Automatic Feature Extraction of Planetary Images

Muñoz, Césarq PLEXIL5: A Graphical Environment for the Semantic Validation of a Plan

Execution Language

Muñoz, Pabloq An Autonomous System for the Locomotion of a Hexapod Exploration Robot

Murphy, Keriq Enhancing Collaboration among NASA Engineers through a Knowledge Sharing

System

Myint, Stevenq Dspace: Real-Time 3D Visualization System for Spacecraft Dynamics Simulations

Papers by Author

Naceri, Abdeldjallilq Motor Activity-Perception Based Approach for Improving Teleoperation Systems

Nagatani, K.q A Path Planning System Based on 3D Occlusion Detection for Lunar Exploration

Rovers

Navarro, Saraq An Autonomous System for the Locomotion of a Hexapod Exploration Robot

Neema, Sandeepq Model Based Analysis and Test Generationfor Flight Software

Neerincx, Markq The MECA Project - Ontology-Based Data Portability for Space Mission

Operations

Papers by Author

q Policy-Based Design of Human-Machine Collaboration in Manned SpaceMissions

Nemani, Ramaq Assessing Impacts of Climate and Land Use Change with the NASA Terrestrial

Observation and Prediction System (TOPS)

Nevison, Cynthia D.q The Carbon-Land Model Intercomparison Project (C-LAMP)

Nikora, Allenq Finding Defects in Unstructured Software Artifactsq Improving the Accuracy of Space Mission Software Anomaly Frequency

Estimates

Nine, Harmonq Model Based Analysis and Test Generationfor Flight Software

Papers by Author

Norris, Jeffq Space Invaders

Norton, Charles D.q Computational Demands for NRC Earth Science Decadal Survey Missions

Nugent, Chrisq Autonomic Computing and Ambient Assisted Living

Oddi, A.q MrSpock: A Long-Term Planning Tool for Mars Express

Oddi, Angeloq The RAXEM Tool on Mars Express - Uplink Planning Optimisation

and Scheduling Using AI Constraint Resolution

Papers by Author

Oliveira, H.q Rapid Prototyping of Planning & Scheduling Tools

Oliveira, Henriqueq SKyeP AI Applied to SOHO Keyhole Operations (1)q SKyeP AI Applied to SOHO Keyhole Operations (2)

Olson, Chris C.q Continuing to Improve Telemetry Data Accessibility

Oza, Nikunj C.q Automated Data Assimilation and Flight Planning for Multi-platform Observation

Missions

Page, Christopherq Request-Driven Scheduling for NASA’s Deep Space Network

Papers by Author

Park, Eunhuiq MPI Performance Analysis and Optimization on Tile64/Maestro

Parker, Jayq QuakeSim: A Web Portal Environment for Solid Earth Observation and Analysis

Parker, Kristinq Integrated Development Environment for Tile64 / Maestro

Pãsãreanu, Corina S.q Model Based Analysis and Test Generationfor Flight Software

Patterson-Hine, Annq Using Auto-generated Diagnostic Trees for Verification of Operational Procedures

in Software-Hardware Systems

Papers by Author

Pham, Huynh-Phongq Frequency Modulation Based Vibrotactile Device for Teleoperation and Virtual

Reality

Pierce, Marlonq QuakeSim: A Web Portal Environment for Solid Earth Observation and Analysis

Piggott, S.q Integrated Information Architectures for Space Missions

Pike, Leeq Toward Monitoring Fault-Tolerant Embedded Systems

Pipatsrisawat, Knotq Software Health Management: A Short Review of Challenges and Existing

Techniques

Papers by Author

Pizka, Markusq Software Quality Consulting: Putting Software Quality into Effect

Policella, N.q Rapid Prototyping of Planning & Scheduling Tools

Policella, Nicolaq SKyeP AI Applied to SOHO Keyhole Operations (1)q The RAXEM Tool on Mars Express - Uplink Planning Optimisation

and Scheduling Using AI Constraint Resolutionq SKyeP AI Applied to SOHO Keyhole Operations (2)

Pomerantz, Marcq Dspace: Real-Time 3D Visualization System for Spacecraft Dynamics Simulations

Papers by Author

Pozzo, Thierryq How the Brain Predicts Gravity

Pralet, Cédricq AIMS: A Tool for Long-Term Planning of the ESA INTEGRAL Mission

Pullan, Derekq On-board Plan Modification for Opportunistic Science

Qi, Zhichangq Software Active Online Monitoring under Anticipatory Semantics

Rabenau, Erhardq The RAXEM Tool on Mars Express - Uplink Planning Optimisation

and Scheduling Using AI Constraint Resolution

Papers by Author

Rabideau, Greggq Tractable Goal Selection with Oversubscribed Resourcesq Planning Operations of the Earth Observing Satellite EO-1: A Case Study

in Representing and Reasoning about Spacecraft Operations Constraints

Rager, Reikoq Post Servicing Mission 4 Parallel Observing with the Hubble Space Telescope

Rajan, Kannaq Autonomy: From Outer to Inner Space

Randerson, James T.q The Carbon-Land Model Intercomparison Project (C-LAMP)

Rangel, Gabrielq Web 2.0 for Ground Resource Allocation

Papers by Author

Raskin, Robq Specific Projects and Technologies: Climate Data Exchangeq Ontologies and Knowledge Capture for Global Change Research

and Applications

Richardson, Justinq Space Applications on Tilera

R-Moreno, María D.q An Autonomous System for the Locomotion of a Hexapod Exploration Robot

Roberts, Joeq Autonomic Associate for Space Exploration

Papers by Author

Rocha, Camiloq PLEXIL5: A Graphical Environment for the Semantic Validation of a Plan

Execution Language

Romeral, Julio J.q An Autonomous System for the Locomotion of a Hexapod Exploration Robot

Rouff, Chrisq Autonomic Associate for Space Exploration

Running, Steven W.q The Carbon-Land Model Intercomparison Project (C-LAMP)

Schaffer, Steveq Autonomous Planning and Execution for a Future Titan Aerobot (1)q Peer-to-Peer Planning for Space Mission Control

Papers by Author

q Planning Operations of the Earth Observing Satellite EO-1: A Case Studyin Representing and Reasoning about Spacecraft Operations Constraints

q Autonomous Planning and Execution for a Future Titan Aerobot (2)

Schneidewind, Normq Mini-Workshop 1: Software Reliability in Space Missions Call for Papersq Software Reliability in Space Missions

Schoolcraft, Joshuaq Deep Impact Network Experiment Operations Center Monitor and Control System

Schrock, Mitchellq Web 2.0 for Ground Resource Allocation

Schubert, Keithq Patterned Growth in Extreme Environments

Papers by Author

Schubert, Keith Evanq Extensible Simulation of Planets and Comets

Schumann, Johannq Software Health Management: A Short Review of Challenges and Existing

Techniquesq Model Based Analysis and Test Generationfor Flight Software

Schurig, Christianq Cost Reduction – Buzzwords and Their Real Use: Mission Families, Mission

Planning, Mission Automation and Standardization

Serpico, S. B.q Automatic Feature Extraction of Planetary Images

Papers by Author

Serres, Olivierq Empirical Analysis of Unified Parallel C on the Tile-64 Processor

Shaw, Andyq On-board Plan Modification for Opportunistic Science

Shelton, Rickq Orbital Operations Planning & Scheduling for the MESSENGER Mission

Shrivastava, Aviralq Compiler-Enabled Power Efficient Register File Protection

Sievers, Mikeq Spacecraft Flight Computer Considerations: The Road to Flight

Papers by Author

Siili, Teroq SKyeP AI Applied to SOHO Keyhole Operations (1)q SKyeP AI Applied to SOHO Keyhole Operations (2)

Simpson, Bobq Autonomic Associate for Space Exploration

Singh, Karandeepq Integrated Development Environment for Tile64 / Maestroq FFTW on MAESTROq DMA Performance on Tile64/Maestro

Skalický, Tomášq A Local Approach to Automated Correction of Violated Precedence and Resource

Constraints in Manually Altered Schedules

Papers by Author

Smets, Nanjaq The MECA Project - Ontology-Based Data Portability for Space Mission

Operations

Smith, Margaretq Formal Specification and Analysis of Execution Logs

Smith, Tristanq A Practical Comparison of Motion Planning Techniques for Robotic Legs

in Environments with Obstacles

Soler, Antonio Olmedoq The MECA Project - Ontology-Based Data Portability for Space Mission

Operations

Some, Raphaelq Spacecraft Flight Computer Considerations: The Road to Flight

Papers by Author

q Parallelizing Lunar Safe Landing Algorithms on the Tilera Tile64 Processor

Springer, Paulq Multi-core Architectures for Emerging NASA Applications: Some Results

for Tilera's Tile 64 and Maestro

Springer, Paul L.q Introspection-Based Fault Toleranceq Introspection-Based Verification and Validation (2)

Sprinkle, Jonathanq Decision Controllers for Embedded Human Systems

Steele, Joshq Orbital Operations Planning & Scheduling for the MESSENGER Mission

Papers by Author

Steffen, Bernhardq Behavior Extraction by Efficient Automata Learning - The Voyager Case Study

Sterritt, Royq SMC-IT 2009 Opening Remarks - Enabling the Dream of Flightq Mini-Workshop 9: *AA-SES-IV: Autonomic & Autonomous Space Exploration

Systems Call for Papersq SPAACE IV: Self-Properties for an Autonomous & Autonomic Computing

Environmentq Autonomic Computing and Ambient Assisted Livingq Autonomic Wireless Sensor Networks (AWSNs)

Stöckli, Retoq The Carbon-Land Model Intercomparison Project (C-LAMP)

Papers by Author

Strader, Brianq Patterned Growth in Extreme Environments

Strawa, Anthonyq Automated Data Assimilation and Flight Planning for Multi-platform Observation

Missions

Stroupe, Ashleyq Controlling Rovers on Mars: Mars Exploration Rovers

Stroustrup, Bjarneq Reliable and Efficient Concurrent Synchronization for Embedded Real-Time

Software

Suh, Jinwooq MPI Performance Analysis and Optimization on Tile64/Maestro

Papers by Author

Sutton, Stewq Knowledge Management Guided by Economic Valuation Models

Talukder, Ashitq Mini-Workshop 2: Information Technologies for Effective Management of Earth

Observation Systems Call for Papers

Tang, Benyangq Simulating and Detecting Radiation-Induced Errors for Onboard Machine

Learning

Taylor, Karl E.q Global Change Activities and Opportunities (AR5): Overview and Plans

for CMIP5/AR5

Papers by Author

Teixeira, Joaoq Leveraging IT Technologies for Modeling and Research: Challenges to Integrating

Satellite Observations and Climate Modeling

Thompson, Davidq Automated Targeting for the MER Rovers

Thornton, Peter E.q The Carbon-Land Model Intercomparison Project (C-LAMP)

Topousis, Dariaq Enhancing Collaboration among NASA Engineers through a Knowledge Sharing

System

Torgerson, J. Leighq Deep Impact Network Experiment Operations Center Monitor and Control System

Papers by Author

Tran, Danielq Request-Driven Scheduling for NASA’s Deep Space Networkq Planning Operations of the Earth Observing Satellite EO-1: A Case Study

in Representing and Reasoning about Spacecraft Operations Constraints

Trevino, Luis C.q Flight Software Process Gap Analysis for Model Based Development

Troglio, G.q Automatic Feature Extraction of Planetary Images

Tu, Eugene L.q Information Technology R&D at NASA Ames

Papers by Author

Turmon, Michaelq Simulating and Detecting Radiation-Induced Errors for Onboard Machine

Learning

Upchurch, Edq Multi-core Architectures for Emerging NASA Applications: Some Results

for Tilera's Tile 64 and Maestro

Vance, Meganq An Exploration of Tiled Architectures for Space Applications

Vassev, Emilq Modeling the Image-Processing Behavior of the NASA Voyager Mission

with ASSL

Vatan, Farrokhq A New Efficient Method for Conflict Sets Generation for Model-Based Diagnosis

Papers by Author

Verfaillie, Gérardq AIMS: A Tool for Long-Term Planning of the ESA INTEGRAL Mission

Villalpando, Carlosq Parallelizing Lunar Safe Landing Algorithms on the Tilera Tile64 Processor

Vogl, Chrisq Application of the Architectural Analysis and Design Language (AADL)

for Quantitative System Reliability and Availability Modeling

Votava, Petrq Assessing Impacts of Climate and Land Use Change with the NASA Terrestrial

Observation and Prediction System (TOPS)q A Workflow Model for Earth Observation Sensor Webs

Papers by Author

Wagner, Christianq Behavior Extraction by Efficient Automata Learning - The Voyager Case Study

Wagstaff, Kiri L.q Simulating and Detecting Radiation-Induced Errors for Onboard Machine

Learning

Wang, Jiq Software Active Online Monitoring under Anticipatory Semantics

Wang, Shin-Ywanq Deep Impact Network Experiment Operations Center Monitor and Control System

Wang, Taoq A Visual Brain Chip Based on Selective Attention for Robot Vision Application

Papers by Author

Wang, Weileq Assessing Impacts of Climate and Land Use Change with the NASA Terrestrial

Observation and Prediction System (TOPS)

Wang, Yeou-Fangq Web 2.0 for Ground Resource Allocation

Williams, Dean N.q DOE Climate Researchq The Earth System Grid

Windsor, Jamesq Time and Space Partitioning in Spacecraft Avionics

Wiser-Orozco, Natalieq Extensible Simulation of Planets and Comets

Papers by Author

Wolff, Mikaelq The MECA Project - Ontology-Based Data Portability for Space Mission

Operations

Woods, Markq On-board Plan Modification for Opportunistic Science

Woollard, Davidq Specific Projects and Technologies: Climate Data Exchange

Wu, Meng-Juq Run-Time Monitor (RTM)

Yang, Kentq Improving the Access of HDF Data via OPeNDAP

Papers by Author

Yang, Xuq Run-Time Monitor (RTM)q OpenJPEG2K Performance on Maestro

Yeung, Donaldq Run-Time Monitor (RTM)q OpenJPEG2K Performance on Maestro

Yew, Mansonq Enhancing Collaboration among NASA Engineers through a Knowledge Sharing

System

Yoo, Kyungjinq Integrated Development Environment for Tile64 / Maestro

Papers by Author

Yoshida, K.q A Path Planning System Based on 3D Occlusion Detection for Lunar Exploration

Rovers

Yu, Chenjieq FFTW on MAESTRO

Zhao, Changzhiq Software Active Online Monitoring under Anticipatory Semantics

Zima, Hans P.q Models and Tools for Space-Borne Computing: What Can We Learn

from Emerging High-Productivity Languages?q Introspection-Based Fault Toleranceq 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

Sixth IEEE International Workshop onPLANNING AND SCHEDULING FOR SPACEIWPSS 2009

Technical Committee on Autonomous and Autonomic Systems (TCAAS)

Technical Committee on Complexity in Computing (TCCX)

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

Conference Information

Sixth International Workshop on Planning and Scheduling for Space

q IWPSS Table of Contents (Book version)q IWPSS Author Index (Book version)q Publisher's Information (Book version)

Sessions

q IWPSS Technical Papers

Papers by Session

IWPSS Technical Papers

q AIMS: A Tool for Long-Term Planning of the ESA INTEGRAL MissionCédric Pralet and Gérard Verfaillie

q Commentary on: AIMS: A Tool for Long-Term Planning of the ESA INTEGRALMission

Roman Barták

q A Scheduling System with Redundant Scheduling CapabilitiesMarco Schmidt and Klaus Schilling

q Managing SOHO's Keyhole Periods: Problem Definition and SolvingModel

Nicola Policella, Henrique Oliveira, and Tero Siili

q Commentary on: Managing SOHO's Keyhole Periods: Problem Definitionand Solving Model

Russell Knight

q The RAXEM Tool on Mars Express - Uplink Planning Optimisationand 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

q Commentary on The RAXEM Tool on Mars Express - Uplink PlanningOptimisation and Scheduling Using AI Constraint Resolution

Reiko Tsuneto Rager

q Post Servicing Mission 4 Parallel Observing with the Hubble Space TelescopeThomas Civeit, Mark Giuliano, and Reiko Rager

q Commentary on: Post Servicing Mission 4 Parallel Observing with the HSTSteve Chien

q A Local Approach to Automated Correction of Violated Precedence and ResourceConstraints in Manually Altered Schedules

Roman Barták and Tomáš Skalický

q Commentary on: A Local Approach to Automated Correction of ViolatedPrecedence and Resource Constraints in Manually Altered Schedules

Thomas Starbird

q On-board Plan Modification for Opportunistic ScienceDerek Long, Mark Woods, Andy Shaw, Derek Pullan, Dave Barnes, and Dave Price

q Commentary on: On-board Plan Modification for Opportunistic ScienceTara Estlin

q Improving Performance and Interoperability of the ESTRACK Planning SystemAlexander Hoffmann, Holger Dreihahn, and Marc Niézette

Papers by Session

q Tractable Goal Selection with Oversubscribed ResourcesGregg Rabideau, Steve Chien, and David McLaren

q Applying Lessons Learned in Planning and Scheduling the Hubble SpaceTelescope to the James Webb Space Telescope

Robert E. Hawkins, Ian J. E. Jordan, and Mark E. Giuliano

q Commentary on "Applying Lessons Learned in Planning and Schedulingthe Hubble Space Telescope to the James Webb Space Telescope"

Nicola Policella

q Orbital Operations Planning and Scheduling for the MESSENGER MissionAlice F. Berman, Deborah L. Domingue, Mark E. Holdridge, Teck H. Choo, R. Joshua Steele,and Richard G. Shelton

q Commentary on: "Orbital Operations Planning and Scheduling forthe MESSENGER Mission"

Derek Long

q Advanced Planning and Scheduling Initiative MrSPOCK AIMS for XMAS inthe 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

q Advanced Planning and Scheduling Initiative's XMAS Tool: AIfor Automatic Scheduling of XMM-Newton Long Term Plan

Francesco Castellini and Michèle R. Lavagna

q Advanced Planning and Scheduling Initiative's XMAS Tool: AIfor Automatic Scheduling of XMM-Newton Long Term Plan Commentary

Terri Wood

q A Case Study of the MER Cape Verde Approach: Challenges for Planningand 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

q Coordinating Multiple Spacecraft Assets for Joint Science CampaignsTara Estlin, Steve Chien, Rebecca Castano, Joshua Doubleday, Daniel Gaines,Robert C. Anderson, Benjamin Bornstein, Charles de Granville, Russell Knight,Gregg Rabideau, and Benyang Tang

q Evolution of a Flexible Mission Planning and Scheduling System for ComplexMissions: Flexplan

Alicia T. Kavelaars, Assaf Barnoy, Francisco Colmenero, María Pereda, Juan Tejo,Gonzalo Garcia, and Theresa W. Beech

Papers by Session

q Request-Driven Scheduling for NASA's Deep Space NetworkMark D. Johnston, Daniel Tran, Belinda Arroyo, and Chris Page

q Commentary: Request-Driven Scheduling for NASA's Deep SpaceNetwork

Alice Berman

q Autonomous Planning and Execution for a Future Titan AerobotDaniel Gaines, Tara Estlin, Steve Schaffer, Caroline Chouinard, and Alberto Elfes

q Commentary on: Autonomous Planning and Execution for a Future Titan AerobotAlessandro Donati

q Planning and Scheduling Challenges for Orbital ExpressRussell Knight, Caroline Chouinard, Grailing Jones, and Daniel Tran

q Commentary on: Planning and Scheduling Challenges for Orbital ExpressMark Boddy

q Power Planning in the International Space Station DomainRussell Knight, Steven Schaffer, and Bradley Clement

q Compressed Large-Scale Activity Scheduling and Planning (CLASP) Appliedto DESDynI

Russell Knight and Steven Hu

Papers by Session

q Planning Operations of the Earth Observing Satellite EO-1: Representingand Reasoning with Spacecraft Operations Constraints

Steve Chien, Daniel Tran, Gregg Rabideau, Steve Schaffer, Daniel Mandl, and Stuart Frye

q Commentary on "Planning Operations of the Earth Observing Satellite EO-1: ACase Study in Representing Spacecraft Operations Constraints"

Gérard Verfaillie

q Cooperative Space Mission Operation Planning by Extended PreferencesEduardo Romero and Marcelo Oglietti

q MrSPOCK: A Long-Term Planning Tool for MARS EXPRESSAmedeo Cesta, Gabriella Cortellessa, Simone Fratini, and Angelo Oddi

q Commentary on: MrSPOCK: a Long-Term Planning Tool for MARS EXPRESSBradley J. Clement

q Enhancing NASA's Procedure Representation Language to Support PlanningOperations

Pete Bonasso, Mark Boddy, and Dave Kortenkamp

q Commentary on: Enhancing NASA's Procedure Representation Languageto Support Planning Operations

Anthony Barrett

Papers by Session

q A Retrospective Snapshot of the Planning Processes in MER Operations after 5Years

Anthony Barrett, Deborah Bass, Sharon Laubach, and Andrew Mishkin

q Commentary on: "A Retrospective Snapshot of the Planning Processin MER Operations"

David E. Smith

q Peer-to-Peer Planning for Space Mission ControlJavier Barreiro, Grailing Jones Jr., and Steve Schaffer

q Commentary on: Peer-to-Peer Planning for Space Mission ControlAnthony Barrett

Papers by Author

Aq Anderson, Robert C.q Arroyo, Belinda

Bq Barnes, Daveq Barnoy, Assafq Barreiro, Javierq Barrett, Anthonyq Barták, Romanq Bass, Deborahq Beech, Theresa W.q Belluta, Paoloq Berman, Aliceq Berman, Alice F.q Bernardi, Guilio

q Boddy, Markq Bonasso, Peteq Bornstein, Benjaminq Brambilla, A.

Cq Castano, Rebeccaq Castellini, F.q Castellini, Francescoq Cesta, A.q Cesta, Amedeoq Chien, Steveq Choo, Teck H.q Chouinard, Carolineq Civeit, Thomasq Clement, Bradleyq Clement, Bradley J.

Papers by Author

q Colmenero, Franciscoq Cortellessa, G.q Cortellessa, Gabriella

Dq Denis, Michelq Domingue, Deborah L.q Donati, A.q Donati, Alessandroq Doubleday, Joshuaq Dreihahn, Holger

Eq Edgar, Laurenq Elfes, Albertoq Estlin, Tara

Fq Fratini, S.q Fratini, Simoneq Frye, Stuart

Gq Gaines, Danielq Garcia, Gonzaloq Giuliano, Markq Giuliano, Mark E.q Granville, Charles deq Grotzinger, John

Hq Hare, Trentq Hawkins, Robert E.

Papers by Author

q Hayes, Alexq Herman, Jenniferq Hoffmann, Alexanderq Holdridge, Mark E.q Hu, Stevenq Hwang, Pauline

Jq Johnston, Mark D.q Jones Jr., Grailingq Jones, Byronq Jones, Grailingq Jordan, Ian J. E.

Kq Kavelaars, Alicia T.q Knight, Russell

q Kortenkamp, Dave

Lq Laubach, Sharonq Lavagna, M.q Lavagna, Michèle R.q Long, Derek

Mq Mandl, Danielq McLaren, Davidq Mishkin, Andrewq Mukai, Ryan

Nq Niézette, M.q Niézette, Marc

Papers by Author

Oq Oddi, A.q Oddi, Angeloq Oglietti, Marceloq Oliveira, Henrique

Pq Page, Chrisq Pereda, Maríaq Policella, N.q Policella, Nicolaq Porter, Danq Pralet, C.q Pralet, Cédricq Price, Daveq Pullan, Derek

Rq Rabenau, Erhardq Rabideau, Greggq Rager, Reikoq Rager, Reiko Tsunetoq Rasconi, R.q Romero, Eduardo

Sq Schaffer, Steveq Schaffer, Stevenq Schilling, Klausq Schmidt, Marcoq Shaw, Andyq Shelton, Richard G.q Siili, Tero

Papers by Author

q Skalický, Tomášq Smith, David E.q Squyres, Steveq Starbird, Thomasq Steel, R.q Steele, R. Joshua

Tq Tang, Benyangq Tejo, Juanq Tran, Daniel

Vq Verfaillie, G.q Verfaillie, Gérard

Wq Wood, Ericq Wood, Terriq Woods, Mark

Papers by Author

Anderson, Robert C.q Coordinating Multiple Spacecraft Assets for Joint Science Campaigns

Arroyo, Belindaq Request-Driven Scheduling for NASA's Deep Space Network

Barnes, Daveq On-board Plan Modification for Opportunistic Science

Barnoy, Assafq Evolution of a Flexible Mission Planning and Scheduling System for Complex

Missions: Flexplan

Barreiro, Javierq Peer-to-Peer Planning for Space Mission Control

Papers by Author

Barrett, Anthonyq Commentary on: Enhancing NASA's Procedure Representation Language

to Support Planning Operationsq A Retrospective Snapshot of the Planning Processes in MER Operations after 5

Yearsq Commentary on: Peer-to-Peer Planning for Space Mission Control

Barták, Romanq Commentary on: AIMS: A Tool for Long-Term Planning of the ESA INTEGRAL

Missionq A Local Approach to Automated Correction of Violated Precedence and Resource

Constraints in Manually Altered Schedules

Bass, Deborahq A Retrospective Snapshot of the Planning Processes in MER Operations after 5

Years

Papers by Author

Beech, Theresa W.q Evolution of a Flexible Mission Planning and Scheduling System for Complex

Missions: Flexplan

Belluta, Paoloq A Case Study of the MER Cape Verde Approach: Challenges for Planning

and Scheduling Systems

Berman, Aliceq Commentary: Request-Driven Scheduling for NASA's Deep Space

Network

Berman, Alice F.q Orbital Operations Planning and Scheduling for the MESSENGER Mission

Papers by Author

Bernardi, Guilioq The RAXEM Tool on Mars Express - Uplink Planning Optimisation

and Scheduling Using AI Constraint Resolution

Boddy, Markq Commentary on: Planning and Scheduling Challenges for Orbital Expressq Enhancing NASA's Procedure Representation Language to Support Planning

Operations

Bonasso, Peteq Enhancing NASA's Procedure Representation Language to Support Planning

Operations

Bornstein, Benjaminq Coordinating Multiple Spacecraft Assets for Joint Science Campaigns

Papers by Author

Brambilla, A.q Advanced Planning and Scheduling Initiative MrSPOCK AIMS for XMAS in

the Space Domain

Castano, Rebeccaq Coordinating Multiple Spacecraft Assets for Joint Science Campaigns

Castellini, F.q Advanced Planning and Scheduling Initiative MrSPOCK AIMS for XMAS in

the Space Domain

Castellini, Francescoq Advanced Planning and Scheduling Initiative's XMAS Tool: AI

for Automatic Scheduling of XMM-Newton Long Term Plan

Papers by Author

Cesta, A.q Advanced Planning and Scheduling Initiative MrSPOCK AIMS for XMAS in

the Space Domain

Cesta, Amedeoq The RAXEM Tool on Mars Express - Uplink Planning Optimisation

and Scheduling Using AI Constraint Resolutionq MrSPOCK: A Long-Term Planning Tool for MARS EXPRESS

Chien, Steveq Commentary on: Post Servicing Mission 4 Parallel Observing with the HSTq Tractable Goal Selection with Oversubscribed Resourcesq Coordinating Multiple Spacecraft Assets for Joint Science Campaignsq Planning Operations of the Earth Observing Satellite EO-1: Representing

and Reasoning with Spacecraft Operations Constraints

Papers by Author

Choo, Teck H.q Orbital Operations Planning and Scheduling for the MESSENGER Mission

Chouinard, Carolineq Autonomous Planning and Execution for a Future Titan Aerobotq Planning and Scheduling Challenges for Orbital Express

Civeit, Thomasq Post Servicing Mission 4 Parallel Observing with the Hubble Space Telescope

Clement, Bradleyq Power Planning in the International Space Station Domain

Clement, Bradley J.q Commentary on: MrSPOCK: a Long-Term Planning Tool for MARS EXPRESS

Papers by Author

Colmenero, Franciscoq Evolution of a Flexible Mission Planning and Scheduling System for Complex

Missions: Flexplan

Cortellessa, G.q Advanced Planning and Scheduling Initiative MrSPOCK AIMS for XMAS in

the Space Domain

Cortellessa, Gabriellaq The RAXEM Tool on Mars Express - Uplink Planning Optimisation

and Scheduling Using AI Constraint Resolutionq MrSPOCK: A Long-Term Planning Tool for MARS EXPRESS

Denis, Michelq The RAXEM Tool on Mars Express - Uplink Planning Optimisation

and Scheduling Using AI Constraint Resolution

Papers by Author

Domingue, Deborah L.q Orbital Operations Planning and Scheduling for the MESSENGER Mission

Donati, A.q Advanced Planning and Scheduling Initiative MrSPOCK AIMS for XMAS in

the Space Domain

Donati, Alessandroq The RAXEM Tool on Mars Express - Uplink Planning Optimisation

and Scheduling Using AI Constraint Resolutionq Commentary on: Autonomous Planning and Execution for a Future Titan Aerobot

Doubleday, Joshuaq Coordinating Multiple Spacecraft Assets for Joint Science Campaigns

Papers by Author

Dreihahn, Holgerq Improving Performance and Interoperability of the ESTRACK Planning System

Edgar, Laurenq A Case Study of the MER Cape Verde Approach: Challenges for Planning

and Scheduling Systems

Elfes, Albertoq Autonomous Planning and Execution for a Future Titan Aerobot

Estlin, Taraq Commentary on: On-board Plan Modification for Opportunistic Scienceq A Case Study of the MER Cape Verde Approach: Challenges for Planning

and Scheduling Systemsq Coordinating Multiple Spacecraft Assets for Joint Science Campaignsq Autonomous Planning and Execution for a Future Titan Aerobot

Papers by Author

Fratini, S.q Advanced Planning and Scheduling Initiative MrSPOCK AIMS for XMAS in

the Space Domain

Fratini, Simoneq The RAXEM Tool on Mars Express - Uplink Planning Optimisation

and Scheduling Using AI Constraint Resolutionq MrSPOCK: A Long-Term Planning Tool for MARS EXPRESS

Frye, Stuartq Planning Operations of the Earth Observing Satellite EO-1: Representing

and Reasoning with Spacecraft Operations Constraints

Gaines, Danielq A Case Study of the MER Cape Verde Approach: Challenges for Planning

and Scheduling Systemsq Coordinating Multiple Spacecraft Assets for Joint Science Campaigns

Papers by Author

q Autonomous Planning and Execution for a Future Titan Aerobot

Garcia, Gonzaloq Evolution of a Flexible Mission Planning and Scheduling System for Complex

Missions: Flexplan

Giuliano, Markq Post Servicing Mission 4 Parallel Observing with the Hubble Space Telescope

Giuliano, Mark E.q Applying Lessons Learned in Planning and Scheduling the Hubble Space

Telescope to the James Webb Space Telescope

Granville, Charles deq Coordinating Multiple Spacecraft Assets for Joint Science Campaigns

Papers by Author

Grotzinger, Johnq A Case Study of the MER Cape Verde Approach: Challenges for Planning

and Scheduling Systems

Hare, Trentq A Case Study of the MER Cape Verde Approach: Challenges for Planning

and Scheduling Systems

Hawkins, Robert E.q Applying Lessons Learned in Planning and Scheduling the Hubble Space

Telescope to the James Webb Space Telescope

Hayes, Alexq A Case Study of the MER Cape Verde Approach: Challenges for Planning

and Scheduling Systems

Papers by Author

Herman, Jenniferq A Case Study of the MER Cape Verde Approach: Challenges for Planning

and Scheduling Systems

Hoffmann, Alexanderq Improving Performance and Interoperability of the ESTRACK Planning System

Holdridge, Mark E.q Orbital Operations Planning and Scheduling for the MESSENGER Mission

Hu, Stevenq Compressed Large-Scale Activity Scheduling and Planning (CLASP) Applied

to DESDynI

Papers by Author

Hwang, Paulineq A Case Study of the MER Cape Verde Approach: Challenges for Planning

and Scheduling Systems

Johnston, Mark D.q Request-Driven Scheduling for NASA's Deep Space Network

Jones Jr., Grailingq Peer-to-Peer Planning for Space Mission Control

Jones, Byronq A Case Study of the MER Cape Verde Approach: Challenges for Planning

and Scheduling Systems

Jones, Grailingq Planning and Scheduling Challenges for Orbital Express

Papers by Author

Jordan, Ian J. E.q Applying Lessons Learned in Planning and Scheduling the Hubble Space

Telescope to the James Webb Space Telescope

Kavelaars, Alicia T.q Evolution of a Flexible Mission Planning and Scheduling System for Complex

Missions: Flexplan

Knight, Russellq Commentary on: Managing SOHO's Keyhole Periods: Problem Definition

and Solving Modelq Coordinating Multiple Spacecraft Assets for Joint Science Campaignsq Planning and Scheduling Challenges for Orbital Expressq Power Planning in the International Space Station Domainq Compressed Large-Scale Activity Scheduling and Planning (CLASP) Applied

to DESDynI

Papers by Author

Kortenkamp, Daveq Enhancing NASA's Procedure Representation Language to Support Planning

Operations

Laubach, Sharonq A Retrospective Snapshot of the Planning Processes in MER Operations after 5

Years

Lavagna, M.q Advanced Planning and Scheduling Initiative MrSPOCK AIMS for XMAS in

the Space Domain

Lavagna, Michèle R.q Advanced Planning and Scheduling Initiative's XMAS Tool: AI

for Automatic Scheduling of XMM-Newton Long Term Plan

Papers by Author

Long, Derekq On-board Plan Modification for Opportunistic Scienceq Commentary on: "Orbital Operations Planning and Scheduling for

the MESSENGER Mission"

Mandl, Danielq Planning Operations of the Earth Observing Satellite EO-1: Representing

and Reasoning with Spacecraft Operations Constraints

McLaren, Davidq Tractable Goal Selection with Oversubscribed Resources

Mishkin, Andrewq A Retrospective Snapshot of the Planning Processes in MER Operations after 5

Years

Papers by Author

Mukai, Ryanq A Case Study of the MER Cape Verde Approach: Challenges for Planning

and Scheduling Systems

Niézette, M.q Advanced Planning and Scheduling Initiative MrSPOCK AIMS for XMAS in

the Space Domain

Niézette, Marcq Improving Performance and Interoperability of the ESTRACK Planning System

Oddi, A.q Advanced Planning and Scheduling Initiative MrSPOCK AIMS for XMAS in

the Space Domain

Papers by Author

Oddi, Angeloq The RAXEM Tool on Mars Express - Uplink Planning Optimisation

and Scheduling Using AI Constraint Resolutionq MrSPOCK: A Long-Term Planning Tool for MARS EXPRESS

Oglietti, Marceloq Cooperative Space Mission Operation Planning by Extended Preferences

Oliveira, Henriqueq Managing SOHO's Keyhole Periods: Problem Definition and Solving

Model

Page, Chrisq Request-Driven Scheduling for NASA's Deep Space Network

Papers by Author

Pereda, Maríaq Evolution of a Flexible Mission Planning and Scheduling System for Complex

Missions: Flexplan

Policella, N.q Advanced Planning and Scheduling Initiative MrSPOCK AIMS for XMAS in

the Space Domain

Policella, Nicolaq Managing SOHO's Keyhole Periods: Problem Definition and Solving

Modelq The RAXEM Tool on Mars Express - Uplink Planning Optimisation

and Scheduling Using AI Constraint Resolutionq Commentary on "Applying Lessons Learned in Planning and Scheduling

the Hubble Space Telescope to the James Webb Space Telescope"

Papers by Author

Porter, Danq A Case Study of the MER Cape Verde Approach: Challenges for Planning

and Scheduling Systems

Pralet, C.q Advanced Planning and Scheduling Initiative MrSPOCK AIMS for XMAS in

the Space Domain

Pralet, Cédricq AIMS: A Tool for Long-Term Planning of the ESA INTEGRAL Mission

Price, Daveq On-board Plan Modification for Opportunistic Science

Pullan, Derekq On-board Plan Modification for Opportunistic Science

Papers by Author

Rabenau, Erhardq The RAXEM Tool on Mars Express - Uplink Planning Optimisation

and Scheduling Using AI Constraint Resolution

Rabideau, Greggq Tractable Goal Selection with Oversubscribed Resourcesq Coordinating Multiple Spacecraft Assets for Joint Science Campaignsq Planning Operations of the Earth Observing Satellite EO-1: Representing

and Reasoning with Spacecraft Operations Constraints

Rager, Reikoq Post Servicing Mission 4 Parallel Observing with the Hubble Space Telescope

Rager, Reiko Tsunetoq Commentary on The RAXEM Tool on Mars Express - Uplink Planning

Optimisation and Scheduling Using AI Constraint Resolution

Papers by Author

Rasconi, R.q Advanced Planning and Scheduling Initiative MrSPOCK AIMS for XMAS in

the Space Domain

Romero, Eduardoq Cooperative Space Mission Operation Planning by Extended Preferences

Schaffer, Steveq Autonomous Planning and Execution for a Future Titan Aerobotq Planning Operations of the Earth Observing Satellite EO-1: Representing

and Reasoning with Spacecraft Operations Constraintsq Peer-to-Peer Planning for Space Mission Control

Schaffer, Stevenq Power Planning in the International Space Station Domain

Papers by Author

Schilling, Klausq A Scheduling System with Redundant Scheduling Capabilities

Schmidt, Marcoq A Scheduling System with Redundant Scheduling Capabilities

Shaw, Andyq On-board Plan Modification for Opportunistic Science

Shelton, Richard G.q Orbital Operations Planning and Scheduling for the MESSENGER Mission

Siili, Teroq Managing SOHO's Keyhole Periods: Problem Definition and Solving

Model

Papers by Author

Skalický, Tomášq A Local Approach to Automated Correction of Violated Precedence and Resource

Constraints in Manually Altered Schedules

Smith, David E.q Commentary on: "A Retrospective Snapshot of the Planning Process

in MER Operations"

Squyres, Steveq A Case Study of the MER Cape Verde Approach: Challenges for Planning

and Scheduling Systems

Starbird, Thomasq Commentary on: A Local Approach to Automated Correction of Violated

Precedence and Resource Constraints in Manually Altered Schedules

Papers by Author

Steel, R.q Advanced Planning and Scheduling Initiative MrSPOCK AIMS for XMAS in

the Space Domain

Steele, R. Joshuaq Orbital Operations Planning and Scheduling for the MESSENGER Mission

Tang, Benyangq Coordinating Multiple Spacecraft Assets for Joint Science Campaigns

Tejo, Juanq Evolution of a Flexible Mission Planning and Scheduling System for Complex

Missions: Flexplan

Tran, Danielq Request-Driven Scheduling for NASA's Deep Space Network

Papers by Author

q Planning and Scheduling Challenges for Orbital Expressq Planning Operations of the Earth Observing Satellite EO-1: Representing

and Reasoning with Spacecraft Operations Constraints

Verfaillie, G.q Advanced Planning and Scheduling Initiative MrSPOCK AIMS for XMAS in

the Space Domain

Verfaillie, Gérardq AIMS: A Tool for Long-Term Planning of the ESA INTEGRAL Missionq Commentary on "Planning Operations of the Earth Observing Satellite EO-1: A

Case Study in Representing Spacecraft Operations Constraints"

Wood, Ericq A Case Study of the MER Cape Verde Approach: Challenges for Planning

and Scheduling Systems

Papers by Author

Wood, Terriq Advanced Planning and Scheduling Initiative s XMAS Tool: AI

for Automatic Scheduling of XMM-Newton Long Term Plan Commentary

Woods, Markq 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 Student Space Video Game Competition Exhibits (LLCB) Kevin Hussey and Keith Schubert

Video Presentations

Please see the Photos folder on this DVD.

Photos