Post on 04-Apr-2018
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