|
SMC-IT 09 - Conference Program
|
SATURDAY JULY 18, 2009
|
|
8:00
to
6:00
|
PALOMAR OBSERVATORY TOUR
(optional - extra fee)
|
|
SUNDAY JULY 19, 2009
|
|
1:00 to 5:30 pm
|
|
|
|
|
(Room 107)
MW-5A
MINI-
WORKSHOP (Invited)
Multicore processors for Space - Opportunities and Challenges (#87), Organizers: Marti Bancroft, MBC; Larry Bergman, Hans Zima, NASA JPL, USA; Joseph C. Coughlan, NASA; USA Steve Crago, ISI-East, B. Scott Michel, Aerospace; Richard Schooler, Tilera
|
|
|
(1:00-2:00 pm) A A Quick Tour Through the Multicore Landscape, B. Scott Michel, Aerospace
|
(1:45-2:00pm) Opening Remarks
|
|
(2:00-2:45pm) Spacecraft Flight Computer Considerations – The Road To Flight, Rafi Some (speaker), Len Day, Dwight Geer, JPL
|
(2:00-3:00am) INVITED TALK Controlling Rovers on Mars: Mars Exploration Rovers, Ashley Stroupe
|
|
(2:45-4:00pm) OPERA / Maestro overview including RHBD, Mike Malone, Draper Laboratory and Maestro Multi-core Software, Steve Crago, USC/ISI-East
|
(3:00 - 3:30pm) Break
|
|
(4:00-5:30pm) Leveraging Multicore and Virtualization, Mike Deliman, Wind River
|
(3:30-4:00pm) SESSION 1 Request-Driven Scheduling for NASA's Deep Space Network, Mark Johnston, Daniel Tran, Belinda Arroyo, and Chris Page; Commentator: Alice Berman
|
|
(4:00-4:30pm) A Local Approach to Automated Correction of Violated Precedence and Resource Constraints in Manually Altered Schedules, Roman Barták and Tomáš Skalický; Commentator: Thomas Starbird
|
|
5:00
to
7:00
|
(5:00-7:00pm) Poster Session / Reception
|
|
11:00
to
8:00
|
REGISTRATION
(Foyer C-D)
|
|
MONDAY JULY 20, 2009
|
|
7:00
to
5:00
|
REGISTRATION
(Foyer C-D)
|
|
7:00
|
Continental Breakfast (Sierra Foyer A)
|
|
8:00
|
PLENARY SESSION (Room 107)
|
|
|
Welcome - Logistics (Larry Bergman)
|
|
8:15
|
Opening Remarks and Keynote Introduction
"Enabling the Dream of Flight,"
Mike Hinchey,
co-Director, Irish Software Engineering Research Centre (LERO), University of Limerick, Ireland, and Chair, IEEE TC on Complexity in Computing
|
|
8:30
|
|
|
9:15
|
BREAK
|
|
9:30
|
|
|
|
MW-4
MINI-
WORKSHOP Knowledge Manage-
ment (Invited) Organizers: Jeanne Holm, Tom Soderstrom, NASA JPL, USA
|
(Room 107)
MW-5B
MINI-
WORKSHOP (Invited) Multicore Processors for Space - Opportunities and Challenges, Organizers: Marti Bancroft, MBC; Larry Bergman, Hans Zima, NASA JPL, USA; Joseph C. Coughlan, NASA; USA Steve Crago, ISI-East, B. Scott Michel, Aerospace; Richard Schooler, Tilera
|
|
|
(9:30 am) Software Reliability in Space Missions, Norm Schneidewind, Naval Post-Graduate School, USA; Mike Hinchey, LERO Software Engineering Centre, Ireland
(10:00am) Break
|
(9:30-9:45 am) Introduc-
tion and Overview Ashit Talukdar, NASA JPL and Robert Morris, NASA Ames
|
We regret that the MW-3 Mini-
Workshop "Standards Based Operational Network Structures for Future space Missions" has recently been cancelled
|
We regret that the MW-4 Mini-
Workshop "Knowledge Manage-
ment" has recently been cancelled
|
(9:30-10:30am) WORKSHOP KEYNOTE, "Digital Space" Anant Agarwal,
Professor of Electrical Engineering and Computer Science at MIT, Associate Director of the CSAIL Laboratory MIT and Tilera |
(9:00-10:00am) INVITED TALK
ESA Strategic Building Blocks for AI P&S Infusion in Space: Current Status and Perspec-
tives, Alessandro Donati
|
|
(10:30 am) Application of the Architectural Analysis and Design Language (AADL) for Quantitative System Reliability and Availability Modeling, Myron Hecht, Chris Vogl and Alexander Lam, Aerospace Corp, USA
|
(9:45-10:15 am) Towards a Flexible, Fast, and Standards - Based Earth Observation Information Turnpike, Peter Baumann, Jacobs University, Bremen, Germany
|
(10:30-3:00pm) SESSION I: PROGRAMMING FOR PARALLELISM IN SPACE: TOOLS AND PROGRAMMING MODELS, Chair: Hans Zima, NASA JPL, USA; Co-Chair: B. Scott Michel
|
(10:00-10:30 am) Break
|
|
(11:00 am) Finding Defects in Unstructured Software Artifacts, Allen Nikora, NASA JPL, USA
|
(10:15-10:45 am) Improving the Access of HDF data via OPeNDAP, Kent Yang, the HDF Group
(10:45-11:15 am)
Break
|
(10:30-12:00pm) SESSION I-A: COMPILERS, Chair: Hans Zima, NASA JPL, USA; Co-Chair: B. Scott Michel
|
(10:30-11:00am) SESSION 2
AIMS: A Tool for Long-term Planning of the ESA INTEGRAL Mission, Cédric Pralet and Gérard Verfaillie; Commentator: Terri Wood
|
|
(11:30 am) Architecture-Centric Reliability Analysis of the NASA cFE/CFS, Dharma Ganesan, Univ. Maryland, USA
|
(11:15-11:45 am) QuakeSim: A Web Portal Environment for Solid Earth Observation and Analysis, Robert Granat, Xiaoming Gao, Marlon Pierce, Rami Al-Ghanmi, Dennis McLeod, Lisa Grant, Jay Parker, Yehuda Bock, Andrea Donnellan, NASA JPL, USA
|
(10:30-11:00 am) Models and Tools for Space-Borne Computing - What Can We Learn from Emerging High-Productivity Languages?, Hans P. Zima, NASA JPL, USA
|
(11:00-11:30am) Advanced Planning and Scheduling Initiative’s XMAS tool: AI for automatic scheduling of XMM-Newton long term plan, Michèle Roberta Lavagna and Francesco Castellini; Commentator: Terri Wood
|
|
(11:00-11:30am) Empirical Analysis of Unified Parallel C on the Tile-64 Processor, Olivier Serres, Ahmed Anbar , Saumil Merchant, Tarek El-Ghazawi, GWU
|
(11:30-12:00pm) MrSPOCK: a Long-term Planning Tool for Mars Express, Amedeo Cesta, Gabriella Cortellessa, Simone Fratini, and Angelo Oddi; Commentator: Brad Clement
|
|
(11:30-12:00pm) R-Stream®: Automatic Parallelization and Mapping for Space Processors, Richard Lethin, Reservoir Labs
|
|
12:00
|
LUNCH (on your own)
|
(12:00-2:00 pm) Lunch
|
|
1:30
|
(1:30 pm) Formal Specification and Analysis of Execution Logs, Klaus Havelund, NASA JPL, USA
|
(1:30-2:00 pm) .Automated Data Assimilation and Flight Planning for Multi - Platform Observation Missions, Nikunj Oza, NASA Ames Research Center, USA
|
|
|
(1:30-2:30 pm) SESSION 1-B PARALLEL LIBRARIES, Chair: Hans P. Zima, NASA JPL, USA; Co-Chair: B. Scott Michel
|
(2:00-2:30pm) SESSION 3 SKyeP AI applied to SOHO Keyhole Operations, Nicola Policella, Henrique Oliveira, and Tero Siili; Commentator: Russell Knight
|
|
(2:00 pm) Panel Discussion
|
(2:00-2:30 pm) Earth Atmospheric Science Mission Concept Exploration Framework, Meemong Lee, NASA JPL, USA
|
(1:30-2:00pm) MPI Performance Analysis and Optimization on Tile64/Maestro, Steve Crago, Mikyung Kang, Eunhui Park, Minkyoung Cho, Jinwoo Suh, Dong-In Kang and Steve Crago, USC/ISI-East
|
(2:30-3:00pm) Planning and Scheduling Challenges for Orbital Express, Russell Knight, Caroline Chouinard, Grailing Jones, and Daniel Tran; Commentator: Mark Boddy
|
| (2:30-3:00 pm) Adaptive Sky, - Feature Correspondence for the Generation of Object-Centric Datasets from Multi-Instrument, Multi-Platform Satellite Observations Michael Garay, NASA JPL, USA. |
(2:00-2:30pm) OpenMP Implementation for OPERA, Richard Lethin (speaker) and Vassily Litvinov, Reservoir Labs |
|
3:00
|
BREAK
|
|
3:30
|
|
(3:00-3:30 pm) Automatic Multi-modal Image Registration, Adnan Ansar, NASA JPL, USA.
|
|
|
(2:30-4:00pm) SESSION II: SUPPORTING TECHNOLOGIES AND TOOLS FOR MULTICORE IN SPACE, Chair: Richard Schooler; Co-Chair: Steve Crago. USC / ISI-East
|
(3:30-4:00pm)
SESSION 4
Applying Lessons Learned in Planning and Scheduling the Hubble Space Telescope to the James Webb Space Telescope, Robert Hawkins, Ian Jordan, and Mark Giuliano; Commentator: Nicola Policella
|
| (3:30-4:00 pm) Closing Discussion on Emerging Themes and Challenges |
(2:30-3:00pm) Run-Time Monitor (RTM), Dong-In Kang, (speaker) and Steve Crago, USC / ISI-East; Inseok Choi, Xu Yang, Meng-Ju Wu, Donald Yeung, University of Maryland at College Park
|
(4:00-4:30pm)
A Retrospective Snapshot of the Planning Processes in MER Operations After 5 Years, Anthony Barrett, Deborah Bass, Sharon Laubach, and Andrew Mishkin; Commentator: David Smith
|
|
(3:00-3:15pm) Managing Power on the TILE64, Richard Schooler, Tilera
|
(4:30-5:00pm) Orbital Operations Planning and Scheduling for the MESSENGER Mission, Alice Berman, Deborah Domingue, Mark Holdridge, Teck Choo, and R. Joshua Steele; Commentator: Derek Long
|
|
(3:15-4:00pm) Integrated Development Environment for Tile64 / Maestro, Rob Kost, USC / ISI-East (speaker and Steve Crago, USC / ISI-East
|
(6:00-9:00pm)
Café Santorini
|
|
(4:00 - 5:00pm) SESSION III: WILL IT WORK? IS IT STILL WORKING? Chair: Joe Coughlan; Co-chair: Hans Zima, NASA JPL, USA
|
|
(4:00-4:30pm) Introspec-
tion-based Fault Tolerance, Mark L. James, Paul L. Springer and Hans P. Zima (speaker), NASA JPL, USA
|
|
(4:30-5:00pm) Adaptive Software-based Fault Tolerance for Space Multicore Processing, Adam Jacobs, CHREC; Grzegorz Cieslewski, UFL; (coordination: Herman Lam)
|
|
5:00
to
7:00
|
EXHIBITS AND WELCOME RECEPTION (Main Foyer)
|
|
TUESDAY JULY 21, 2009
|
|
7:00
to
5:00
|
REGISTRATION
(Foyer C-D)
|
|
7:00
|
Continental Breakfast (Sierra Foyer A)
|
|
8:00
|
PLENARY SESSION (Room 107)
|
|
Welcome - Logistics (Larry Bergman / Sven Grenander)
|
|
Opening Remarks and Keynote Introduction
"Software, Computing, and Networking on Space Missions,"
Richard Doyle,
NASA JPL, USA
|
(8:30 am - 9:15 am)
PLENARY KEYNOTE 2:
"Stealing Success,"
Robert Manning,
Chief Engineer, Mars Science Laboratory Mission, NASA JPL, USA
|
|
9:15
|
BREAK
|
|
9:30
|
|
|
|
|
(Room 107)
MW-5C
MINI-
WORKSHOP
(Invited)
Multicore Processors for Space - Opportunities and Challenges, Organizers: Marti Bancroft, MBC; Larry Bergman, Hans Zima, NASA JPL, USA; Joseph C. Coughlan, NASA; USA Steve Crago, ISI-East, B. Scott Michel, Aerospace; Richard Schooler, Tilera
|
|
(9:15-10:00am) Software Health Manage-
ment: A Short Review of Challenges and Existing Techniques, Knot Pipatsrisawat, Adnan, UCLA, USA; Darwiche, Ole J. Mengshoel, CMU SV, NASA ARC, USA; JoHann Schumann, RIACS/USRA NASA ARC, USA |
(9:15-10:45am) GLOBAL CHANGE ACTIVITIES AND OPPORTUNI-
TIES (AR5) "Overview and Plans for CMIP5/AR5," Karl Taylor, Lawrence Livermore National Laboratory; "JPL's Change and Energy Program," Michael Gunson, NASA JPL; "DOE Climate Research" Dean N. Williams, Lawrence Livermore National Laboratory
(10:45-11:00am)
Break
|
(9:30-10:15am) How the Brain Predicts Gravity, T. Pozzo
|
(9:30-12:00pm) Theme: A&A Earth Technolo-
gies that may influence SES
|
(9:30 - 12:00pm) SESSION IV: SPACE APPLICATIONS ON MULTICORE PROCESSORS, Chair: Steve Crago; Co-Chair: Marti Bancroft
|
(9:00-10:00am) INVITED TALK Multi-Objective Scheduling for Space Science Missions, Mark Giuliano
|
|
|
(11:00-12:30pm) IT ARCHITEC-
TURES FOR GLOBAL CHANGE RESEARCH, "JPL's Global Change and Energy IT Architecture,"Chris Mattmann, NASA JPL;
"I.T. for NOAA Satellite Climatological Data Records" Aleksandar Jelenak, NESDIS Center for Satellite Applications and Research; "The Earth System Grid" Dean Williams, Lawrence Livermore National Laboratory
|
(10:15-11:00am)
Depth Perception in Virtual Reality, F. Dionnet
|
(9:30-10:00am) SPAACE IV: Self-Properties for an Autonomous & Autonomic Computing Environ-
ment, Roy Sterritt and Mike Hinchey (*)
|
(9:30-10:00am) Parallelizing Lunar Safe Landing Algorithms on the Tilera Tile 64 Processor, Carlos Villalpando (speaker) and Raphael Some, NASA JPL, USA
|
(10:00-10:30 am) Break
|
|
|
(11:00-12:00pm) Reducing Distance Between Humans and Robots, R. Chellali
|
(10:00-10:30am) Autonomic Associate for Space Exploration, Roy Bob Simpson, Christopher Rouff(*), Joe Roberts, Gary Edwards
|
(10:00-10:45am) Space Applications on Tilera, Justin Richardson; Chris Massie (speakers); Dr. Herman Lam (contact) - includes SAD (Sum of Absolute differences), steganography, and HSI (Hyperspectral Imaging)
|
(10:30-11:00am) SESSION 5
On-board Plan Modifica-
tion for Opportunis-
tic Science, Derek Long, Mark Woods, Andy Shaw, Derek Pullan, and Dave Barnes; Commentator: Tara Estlin
|
|
|
(10:30-11:00am) Decision Controllers for Embedded Human Systems, Jonathan Sprinkle (*) and Diyang Chu
|
(10:45-11:15am) OpenJPEG Performance on Maestro, Donald Yeung (speaker), University of Maryland, USA
|
(11:00-11:30am) Tractable Goal Selection with Oversubscribed Resources, Gregg Rabideau and Steve Chien; Commentator: Robert Rasmussen
|
|
(11:30-12:00pm) Discussion Panel with presenters from morning session, Abhishek Dubey, Nagbhushan Mahadevan, Robert Kereskenyi
|
(11:00-11:30 am) Behaviour Extraction by Efficient Automata Learning: the Voyager case study, Falk Howar, Tiziana Margaria (*), Bernhard Steffen, Christian Wagner
|
|
|
|
(11:30-12:00pm) Autonomic Computing and Ambient Assisted Living, Roy Sterritt (*) and Chris Nugent
|
(11:45-12:00pm) FFTW on MAESTRO, Karandeep Singh (speaker), Steve Crago, Chenjie Yu, USC / ISI-East
|
(12:00-2:00 pm) Lunch
|
|
|
|
|
(12:00-12:30 pm) Autonomic Wireless Sensor Networks (AWSNs), Julie McCann, Imperial College, London, UK; Roy Sterritt, University of Ulster, Northern Ireland
|
|
|
12:00
|
LUNCH (on your own)
|
|
1:30
|
|
(1:30-3:00pm) SPECIFIC PROJECTS AND TECHNOLO-
GIES "Climate Data Exchange," Amy Braverman, NASA JPL; "Assessing Impacts of Climate and Land Use Change with the NASA Terrestrial Observation and Prediction System (TOPS)," Forrest Melton, California State University / Ames Research Center; "The Carbon-Land Model Intercomparison Project (C-LAMP)," Forrest Hoffman, Oak Ridge National Laboratory
|
|
(11:00-11:30am) Enabling Self-Manage-
ment by Using Model-
Based Design Space Exploration, Abhishek Dubey and Daniel Balasubra-manian (*)
|
(1:30 - 3:00pm) SESSION V: OPERATING SYSTEMS, HYPERVISORS, & I/O FOR MULTICORE IN SPACE
|
(2:00-2:30pm)
SESSION 6 Enhancing NASA's Procedure Represen-
tation Language to Support Planning Operations, Russell Bonasso, Mark Boddy, and David Kortenkamp; Commentator: Anthony Barrett
|
|
|
(2:00 pm) Panel: The A&A R&D priorities for Successful SES, All Speakers
Key: (*) speaker
|
(1:30-2:00pm) Fault Tolerance and Multicore: Using a Hypervisor and Virtualization to Enhance Fault Tolerance and Increase Reliability, Mike Deliman, Wind River
|
(2:30-3:00pm) Peer-to-peer Planning for Space Mission Control, Javier Barreiro, Grailing Jones Jr, and Steve Schaffer; Commentator: TBD
|
|
(2:30-3:00pm) Flight Software Process Gap Analysis for Model - Based Develop-
ment, Luis Trevino
|
(2:00-2:15pm) Operating-System Options on TILE64/ Maestro – How To Choose, Richard Schooler, Tilera
|
|
(2:15-3:00pm) The OS, The Hypervisor, and I/O: How To Change/Add A New Device, Richard Schooler, Tilera
|
|
3:00
|
BREAK
|
|
3:30
|
|
(3:15-4:15pm) LEVERAG-
ING IT TECHNOLO-
GIES FOR MODELING AND RESEARCH,
"Challenges to Integrating Satellite Observations and Climate Modeling," Joao Teixeira, NASA JPL, "Ontologies and Knowledge Capture for Global Change Research and Applications," Rob Raskin, NASA JPL ;
|
|
|
(3:15 - 4:45pm) SESSION VI: ARCHITECTURE -
SPECIFIC OPTIMIZATION TECHNIQUES: MAESTRO,
B. Scott Michel; Co-Chairs: Steve Crago, Marti Bancroft
|
(3:30-4:00pm)
SESSION 7
Post Servicing Mission 4 Parallel Observing with the Hubble Space Telescope, Thomas Civeit, Mark Giuliano, and Reiko Rager; Commentator: Steve Chien
|
|
(4:00-5:00pm) Discussion panel with presenters from afternoon session
|
(3:15-3:45pm) Protection Mechanisms for Domain Separation, Richard Schooler, Tilera
|
(4:00-4:30pm)
Planning Operations of the Earth Observing Satellite EO-1: A Case study in represent-
ing and reasoning about spacecraft operations constraints, Steve Chien, Daniel Tran, Gregg Rabideau, Steve Schaffer, and Daniel Mandl; Commentator: Gérard Verfaillie
|
|
(3:45-4:15pm) DMA Performance on Tile64/Maestro, Karandeep Singh, USC / ISI-East
|
(4:30-5:00pm) The RAXEM Tool on Mars Express - Uplink Planning Optimisation and Scheduling Using AI Constraint Resolution, Erhard Rabenau, Michel Denis, Alessandro Donati, Amedeo Cesta, and Gabriella Cortellessa; Commentator: Reiko Tsuento Rager
|
|
(4:14 - 5:00 pm) MW5 WORKSHOP KEYNOTE, "Challenges and Opportunities in building high reliability systems for Aerospace," (CANCELLED)
Ravi Iyer, Professor of Electrical and Computer Engineering, University of Illinois at Urbana - Champaign Director, Coordinated Science Laboratory co - Director, Center for Reliable and High Performance Computing
|
(5:00-5:15pm) Closing Remarks
|
| (4:15 - 4:45 pm) Discussion, Conclusion, Next Steps |
|
5:00
|
ADJOURN
|
|
7:00
|
Dinner (on your own)
|
|
WEDNESDAY JULY 22, 2009
|
|
7:00 to 5:00
|
REGISTRATION
(Foyer C-D)
|
|
7:00
|
Continental Breakfast (Sierra Foyer A)
|
|
8:15
|
PLENARY SESSION (Room 107)
|
|
8:00
|
Welcome - Logistics (Sven Grenander)
|
|
8:15
|
Opening Remarks and Keynote Introduction
"NASA/JPL: Welcome!"
Tom Cwik,
Associate Chief Technologist, JPL
|
|
8:30
|
|
|
9:15
|
|
|
10:00
|
BREAK
|
|
10:30
|
(Room 107) SESSION 1 FAULT TOLERANT COMPUTING I Chair: Hans Zima, JPL
|
(Room 207) SESSION 2 TELE-COMMUNI-CATIONS Chair: TBD
|
(Rooms 212 / 214) SESSION 3 OPERATIONS IT
Chair: Gabriel Rangel, JPL
|
(Room 106) SESSION 4 RELIABLE SOFTWARE ENGINEERING I
Chair: Allen Nikora, JPL
|
(Room 211) SESSION 5 (Student I) HUMAN / ROBOTICS Chair: Maria D. R-Moreno, Univ. of Alcala, Spain
|
|
|
|
An Exploration of Tiled Architec-
tures for Space Applica-
tions (#49), Peter Kogge, Megan Vance, Univ. of Notre Dame, USA
|
Overview of the Lunar Laser Communi-
cations Demonstra-
tion (#34), Don M. Boroson, MIT Lincoln Laboratory, USA
|
Integrating Software Technologies in RAXEM2 -- AI Meets Information Technology (#61), Giulio Bernardi, Amedeo Cesta & Gabriella Cortellessa, Italian National Research Council, Italy
|
A Workflow Model for Earth Observation Sensor Webs (#53),
Robert Morris, Jennifer Dungan, Lina Khatib, Petr Votava, NASA Ames Research Center, USA
|
A Visual Brain Chip Based on Selective Attention for Robot Vision Application (#3), Tao Wang, Xi'an Jiao Tong University, P.R. China
|
|
Time and Space Partitioning in Spacecraft Avionics (#52), J. Windsor, K. Hjortnaes, ESA-ESTEC, The Netherlands
|
Application of the Concatena-
tion of RS and LT Codes in Deep Communi-
cations (#43), Yongzhao LIN, Chengke WU, Qun ZHANG, Wei LIU, University of XI'DIAN, China
|
Web 2.0 for Ground Resource Allocation (#35), Yeou-Fang Wang, Mitchell Schrock, John Baldwin, Gabriel Rangel, and Chester Borden, NASA JPL, USA
|
Viewpoint-
based Test Analysis For On-board Dependable Flight Software (#62), Takao Mori, Shinya Iwasaki, SANEI HYTECHS co.,ltd; Naohiko Kohtake, Keio University; Shohgo Ujihara, Japan Aerospace Exploration Agency; Yasuharu Nishi, The University of Electro-Communi-
cations, Japan
|
Frequency Modulation Based Vibrotactile Device for Teleopera-
tion (#22), H. P. Pham and R. Chellali, Italian Institute of Technology, Italy
|
|
Deep Impact Network Experiment Operation Center Monitor and Control System (#51), Shin-Ywan Wang, J. Leigh Torgerson, Joshua Schoolcraft, Yan Brenman, NASA JPL, USA
|
SKEYP: AI applied to SOHO Keyhole Operations (#47), Nicola Policella & Henrique Oliveira, European Space Operations Center, European Space Agency, Germany; Tero Siili, Goddard Space Flight Center, USA
|
Test-Case Generation for Simulink / Stateflow Models of Software-Intensive Mission-Critical Systems (#13), Corina S. Păsăreanu, Johann M. Schumann, Peter C. Mehlitz, NASA Ames Research Center; Gabor Karsai, Harmon Nine, Sandeep Nima, Vanderbilt Univ., USA
|
A Path Planning System Based on 3D Occlusion Detection for Lunar Exploration Rovers (#6), Andres Mora, K. Nagatani, K. Yoshida, and M. Chacin, Tohoku University, Japan
|
|
12:00 |
SMC-IT 09 GROUP PHOTO,
On front steps of the Pasadena Civic Auditorium
|
|
12:15
|
LUNCH (on your own)
|
|
1:30
|
(Room 107) SESSION 6 FAULT TOLERANT COMPUTING II
Chair: Sheila Vaidya, LLNL
|
(Rooms 212 / 214)
SESSION 7 HUMAN / ROBOTIC SYSTEMS Chair: TBD
|
(Room 106) SESSION 8 DATA SYSTEMS Chair: Jeff Estefan, JPL
|
(Room 207) SESSION 9 KNOWLEDGE MANAGE-
MENTChair: Keri Murphy, JPL
|
(Room 211) SESSION 10 (Student II) ASTROPHYSICS & PLANETARY SIMULATIONS
Chair: Keith Schubert, CSUSB
|
|
|
|
Prototype Implementa-
tion of a Goal-Based Software Health Management Service (#12), Matthew Barry, Kestrel Technology, LLC, USA
|
Motor Activity-Perception Based Approach for Improving Tele-
operation Systems (#26), Ryad Chellali, Fabien Dionnet and Abdeldjallil Naceri, Italian Institute of Technology, Italy
|
A Reusable Process Control System Architecture for the Orbiting Carbon Observatory and NPP Sounder PEATE Missions (#23),
Chris A. Mattmann, Dana Freeborn, Dan Crichton, Sean Hardman, Paul Ramirez, Sean Kelly, David Woollard, Andrew Hart, Brian Foster, Albert Y. Chang, Charles E. Miller, NASA JPL, USA
|
Enhancing Collabora-
tion Among NASA Engineers through a Knowledge Sharing System (#24), Daria Topousis, Keri Murphy, Erin Means, and Manson Yew, NASA JPL, USA
|
Automatic Feature Extraction of Planetary Images (#10), G. Troglio & J. A. Benediktsson, Univ. of Iceland, Iceland; J. Le Moigne, Goddard Space Flight Center; G. Moser & S. B. Serpico, Univ. of Genoa, Italy
|
Simulating and Detecting Radiation-Induced Errors for Onboard Machine Learning (#15), Robert Granat, Kiri L. Wagstaff, Benjamin Bornstein, Benyang Tang, and Michael Turmon NASA JPL, USA
|
An Autonomous System for the Locomotion of a Hexapod Exploration Robot (#28), Pablo Muñoz, María D. R-Moreno, Javier Gómez-de-Elvira, Sara Navarro & Julio Romeral, Universidad de Alcalá, Spain
|
Data Intensive Science and Database File Systems (#40), John Hax, Oracle Corp, USA; Philip Adams, Lawrence Livermore National Laboratory
|
The MECA Project -- Ontology-Based Data Portability for Space Mission Operations (#14), L. Breebart, A. Bos & T. Grant, Science & Tech. BV, Netherlands; A. Olmedo Soler, OK-Systems, Spain; M. Neerincx, J. Lindenberg & N. Smets, TNO-D&S, The Netherlands; U. Brauer, Astrium ST, Germany; M. Wolff, ESA-ESTEC, The Netherlands
|
Extensible Simulation of Planets and Comets (#73), Natalie Wiser-Orozco, Richard Botting, Keith Schubert, Ernesto Gomez, California State University San Bernardino, USA
|
Intro-
spection-Based Verification and Validation (#70), Hans P. Zima, NASA JPL, USA
|
A Practical Comparison of Motion Planning Techniques for Robotic Legs in Environments with Obstacles (#72), Daniel Chavez-Clemente, Stanford University; Tristan B. Smith, NASA Ames Research Center, USA
|
Implemen-
ting Asynchronous Message Service (AMS) in a Functional Programm-
ing Language (#50), Andrew J Harris, The Johns Hopkins University Applied Physics Laboratory, USA
|
PLEXIL5: A Graphical Environment for the Semantic Validation of a Plan Execution Language (#57), H´ector Cadavid Escuela Colombiana de Ingenier´ıa, Columbia; Camilo Rocha, University of Illinois; C´esar Mu˜noz National Institute of Aerospace, USA
|
Patterned Growth in Extreme Environments (#74), Penelope Boston, New Mexico Tech; Jane Curnutt, Ernesto Gomez, Keith Schubert, & Brian Strader, California State University San Bernardino, USA
|
|
3:00
|
BREAK
|
|
CONSUMERIZATION INNOVATION
Gabriel Rangel, JPL
|
|
3:30
|
|
|
5:00
|
ADJOURN
|
|
5:00
to
10:00
|
NIGHT OUT EVENT
|
|
5:00
|
Board buses (In front of Pasadena Civic Auditorium)
|
|
6:00
|
Reception at the Petersen Automotive Museum
|
|
7:30
|
Dinner Grand Salon Petersen Automotive Museum (2nd Floor)
|
|
8:30
|
(8:30 pm)
BANQUET SPEAKER:
"Space Invaders!"
Jeffrey Norris,
Supervisor, Planning Software Systems Group, NASA JPL, USA |
|
10:00
|
Return to the Pasadena Conference Center
|
|
THURSDAY JULY 23, 2009
|
|
7:00
to
5:00
|
REGISTRATION
(Foyer C-D)
|
|
7:00
|
Continental Breakfast and Registration (Sierra Foyer A)
|
|
8:00
|
PLENARY SESSION (Room 107)
|
|
8:00 |
Welcome - Logistics (Larry Bergman / Sven Grenander)
|
|
8:15 |
Opening Remarks and Keynote Introduction
"Information Technology R&D at NASA Ames,"
Eugene Tu,
Director, Exploration Technology NASA Ames Research Center
|
|
8:30
|
|
|
9:15
|
|
|
10:00
|
BREAK
|
|
10:30
|
(Room 106) SESSION 11 ENGINEER-
ING MODELING & SIMULATION Chair: Jeff Estefan, JPL
|
(Room 107) SESSION 12 SPACE SYSTEMS AUTONOMY Chair: Art Amador, JPL
|
(Rooms 212 / 214)
SESSION 13 GROUND INFORMA-
TION SYSTEMS Chair: Amir Fijany, IIT, Italy
|
(Room 207) SESSION 14 MISSION COST MANAGE-
MENT Chair: Allen Nikora, JPL
|
(Room 211) SESSION 15 (Student III) MISSION & SYSTEMS DESIGN Chair: Keith Schubert, CSUSB
|
|
|
|
Dshell++: A Component Based, Reusable Space System Simulation Framework (#16), Christopher S. Lim and Abhinandan Jain, NASA JPL, USA
|
Automated Targeting for the MER Rovers (#81), Tara Estlin, Rebecca Castano, Robert C. Anderson, Daniel Gaines, Benjamin Bornstein, Charles De Granville, David Thompson, Michael Burl, and Michele Judd, NASA JPL, USA
|
Integrated Informa-
tion Architec-
tures for Space Missions (#21), L. Hartman, P. Melanson, S. Piggott, L.-P. Durocher, C. Adourian, Canadian Space Agency, Canada
|
Knowledge Manage-
ment Guided by Economic Valuation Models (#44), Stewart A Sutton and Joseph Betser, The Aerospace Corporation, USA
|
Increasing the Efficiency of Next Generation Space Operations by Exploiting Predicta-
bility (#11), Daniel Fischer & Thomas Engel, Univ. of Luxembourg, Luxembourg; Knut Eckstein European Space Agency / ESTEC, The Netherlands; David Basin ETH Zurich, Switzerland
|
Dspace: Real-time 3D Visualization System for Spacecraft Dynamics Simulation (#19), Marc I. Pomerantz and Abhinandan Jain, NASA JPL, USA
|
Autonomous Planning and Execution for a Future Titan Aerobot (#82), Daniel Gaines, Tara Estlin, Steve Schaffer and Caroline Chouinard NASA JPL, USA
|
Earned Value Manage-
ment Software Projects (#17), Robert A. Hanna, PMP, NASA JPL, USA
|
Reliable and Efficient Concurrent Synchroni-
zation for Embedded Real-Time Software (#30), Damian Dechev & Bjarne Stroustrup, Texas A&M University, USA
|
Modeling the Image- Processing Behavior of the NASA Voyager Mission with ASSL (#42), Emil Vassev, Mike Hinchey, Lero-the Irish Software Engineering Research Centre, Ireland
|
Rapid prototyping of Planning & Scheduling Tools (#58), Amedeo Cesta & Simone Fratini, ISTC-CNR Roma, Italy; Alessandro Donati, Henrique Oliveira & Nicola Policella European Space Operations
|
Cost Reduction -- Buzzwords and Their Real Use: Mission Families, Mission Planning, Mission Automation and Standardiza-
tion (#33), Michael Koller & Christian Schurig European Space Agency ESA/ESOC, The Netherlands
|
|
12:00
|
Lunch (on your own)
|
|
1:30
|
(Room 107) SESSION 16 FAULT TOLERANT COMPUTING III
Chair: Joe Betser, Aerospace Corp.
|
(Rooms 212 / 214)
SESSION 17 ADVANCED INFORMA-
TION SYSTEMS Chair: TBD
|
(Room 211)
SESSION 18 MISSION DESIGN Chair: Maria d. R-Moreno, Univ. of Alcala, Spain
|
(Room 106) SESSION 19 RELIABLE SOFTWARE ENGINEER-
ING II Chair: Hans Zima, JPL
|
|
|
|
|
A Fault-Tolerant Middleware Switch for Space Applications (#45), Sergio Montenegro, Ebrahim Haririan, German Aerospace Center (DLR), Germany
|
Continuing to Improve Telemetry Data Accessibility (#29), A. Li, E. Hu, and C. Olson, The Johns Hopkins University, Applied Physics Laboratory, USA
|
The Mission Planning Lab: A Visualiza-
tion and Analysis Tool (#20), Sarah C. Daugherty & Benjamin W. Cervantes, NASA Wallops Island, USA
|
A Combina-
torial Test Suite Generator for Gray-Box Testing (#88), Anthony Barrett, NASA JPL, USA
|
Fault Detection and Isolation of a Cryogenic Rocket Engine Using a Parity Space Approach (#48), Paul van Gelder, Johann Keppeler, Serge le Gonidec, Science & Technology B.V., The Netherlands
|
Sequential Principal Component Analysis - A Hardware Implementable Transform for Image Compression (#76), Tuan Duong, NASA JPL, USA
|
Policy-
Based Design of Human-Machine Collabora-
tion in Manned Space Missions (#9), Jurriaan van Diggelen , TNO Human Factors, The Netherlands; Jeffrey M. Bradshaw and Matthew Johnson, IHMC, USA; Tim Grant, Science & Technology b.v., The Netherlands; Mark Neerincx, TNO, / Delft University of Technology, The Netherlands
|
Generating Code Review Documentation for Auto-generated Mission-Critical Software (#59), Ewen Denney, USRA/RIACS, NASA Ames Research Center, USA; Bernd Fischer, University of Southampton, UK
|
A Novel Efficient Method for Conflicts Set Generation for Model-Based Diagnosis (#66), Amir Fijany, Anthony Barrett, (NASA JPL USA) and Farrokh Vatan (Italian Institute of Technology
|
(Invited)
(2:30 - 3:00pm) Compiler-enabled Power-Efficient Register File Protection, (#89), Aviral Shrivastava, Arizona State University |
Improving the Accuracy of Space Mission Software Anomaly Frequency Estimates (#69), Allen P. Nikora, NASA JPL; Galen Balcom, California State University, Fresno, USA
|
|
3:00
|
BREAK
|
|
3:30
|
|
|
4:45
|
Closing Message
|
|
FRIDAY JULY 24, 2009
|
|
8:30
to
1:00
|
JPL Tour (optional - no fee)
|
|
|
