By Topic

Space Mission Challenges for Information Technology (SMC-IT), 2011 IEEE Fourth International Conference on

Date 2-4 Aug. 2011

Filter Results

Displaying Results 1 - 25 of 36
  • [Front cover]

    Publication Year: 2011 , Page(s): C1
    Save to Project icon | Request Permissions | PDF file iconPDF (5212 KB)  
    Freely Available from IEEE
  • [Title page i]

    Publication Year: 2011 , Page(s): i
    Save to Project icon | Request Permissions | PDF file iconPDF (15 KB)  
    Freely Available from IEEE
  • [Title page iii]

    Publication Year: 2011 , Page(s): iii
    Save to Project icon | Request Permissions | PDF file iconPDF (58 KB)  
    Freely Available from IEEE
  • [Copyright notice]

    Publication Year: 2011 , Page(s): iv
    Save to Project icon | Request Permissions | PDF file iconPDF (122 KB)  
    Freely Available from IEEE
  • Table of contents

    Publication Year: 2011 , Page(s): v - vii
    Save to Project icon | Request Permissions | PDF file iconPDF (173 KB)  
    Freely Available from IEEE
  • Message from the General Chair

    Publication Year: 2011 , Page(s): viii
    Save to Project icon | Request Permissions | PDF file iconPDF (74 KB) |  | HTML iconHTML  
    Freely Available from IEEE
  • Welcome from the Steering Committee

    Publication Year: 2011 , Page(s): ix
    Save to Project icon | Request Permissions | PDF file iconPDF (70 KB) |  | HTML iconHTML  
    Freely Available from IEEE
  • Message from IEEE Computer Society Sponsors

    Publication Year: 2011 , Page(s): x
    Save to Project icon | Request Permissions | PDF file iconPDF (68 KB) |  | HTML iconHTML  
    Freely Available from IEEE
  • Organization

    Publication Year: 2011 , Page(s): xi - xii
    Save to Project icon | Request Permissions | PDF file iconPDF (82 KB)  
    Freely Available from IEEE
  • Reviewers

    Publication Year: 2011 , Page(s): xiii
    Save to Project icon | Request Permissions | PDF file iconPDF (71 KB)  
    Freely Available from IEEE
  • The Case for Software Health Management

    Publication Year: 2011 , Page(s): 3 - 9
    Cited by:  Papers (3)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (315 KB) |  | HTML iconHTML  

    Software Health Management (SWHM) is a new field that is concerned with the development of tools and technologies to enable automated detection, diagnosis, prediction, and mitigation of adverse events due to software anomalies. Significant effort has been expended in the last several decades in the development of verification and validation (V&V) methods for software intensive systems, but it ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Building a Safety Case for a Safety-Critical NASA Space Vehicle Software System

    Publication Year: 2011 , Page(s): 10 - 17
    Cited by:  Papers (2)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (303 KB) |  | HTML iconHTML  

    We describe our development of a key portion of a safety case for a safety-critical piece of NASA software designed to operate on a NASA launch vehicle. The software's purpose is to make real-time determinations of the presence of catastrophic failure conditions of that vehicle and react accordingly. We show how our safety case development applies a series of generic software considerations instan... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • System-Software Co-Engineering: Dependability and Safety Perspective

    Publication Year: 2011 , Page(s): 18 - 25
    Cited by:  Papers (2)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (1155 KB) |  | HTML iconHTML  

    The need for an integrated system-software co-engineering framework to support the design of modern space systems is pressing. The current tools and formalisms tend to be tailored to specific analysis techniques and are not amenable for the full spectrum of required system aspects such as safety, dependability and performability. Additionally, they cannot handle the intertwining of hardware and so... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • State-Based Scheduling via Active Resource Solving

    Publication Year: 2011 , Page(s): 29 - 34
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (288 KB) |  | HTML iconHTML  

    A mixed-initiative approach to activity planning for space mission operations was introduced in the Mars Exploration Rover mission, and has been extended and adapted to other missions. The approach involves a collaboration between a human planner and automated tools that reason about activities and constraints. One important class of constraints arises from state requirements and effects. The mixe... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Planning and Scheduling Service for the ULISSE Platform

    Publication Year: 2011 , Page(s): 35 - 42
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (604 KB) |  | HTML iconHTML  

    ULISSE is an EU project that aims at data valorization around the ISS experiments. The ULISSE software platform is endowed with a number of additional services to improve both data production and data analysis. This paper describes the Planning and Scheduling Service (PSS), a module developed to support functions of data production around the ISS activities and integrated in the ULISSE platform. I... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A New Approach to Autonomous Onboard Mission Replanning Using Orthogonal Array Design

    Publication Year: 2011 , Page(s): 43 - 50
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (688 KB) |  | HTML iconHTML  

    This paper proposes an algorithm of onboard mission replanning using the orthogonal array experiment design approach to solve the problem of repairing of the original mission plan without human operator interventions. The orthogonal array plays an important role to create a group of tentative plans more efficiently than heuristics that is commonly used in standard onboard planning applications. Th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An Application Security Framework for SOA-Based Mission Data Systems

    Publication Year: 2011 , Page(s): 53 - 60
    Cited by:  Papers (2)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (380 KB) |  | HTML iconHTML  

    ESA is developing, deploying, and operating a wide variety of mission data systems. These are mainly used for the command & control of spacecraft and the exploitation and dissemination of space-based services to end users. A new ESA activity, the European Space Situational Awareness (SSA) Initiative, requires a novel generation of mission data systems to be developed. These systems are based o... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A DTN-Based Multiple Access Fast Forward Service for the NASA Space Network

    Publication Year: 2011 , Page(s): 61 - 65
    Cited by:  Papers (1)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (588 KB) |  | HTML iconHTML  

    The NASA Space Network provides a demand access return link service capable of providing users a space link "on demand". An equivalent service in the forward link direction is not possible due to Tracking and Data Relay Spacecraft (TDRS) constraints. A Disruption Tolerant Networking (DTN)-based Multiple Access Fast Forward (MAFF) service has been proposed to provide a forward link to a user as soo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • PolySat's Next Generation Avionics Design

    Publication Year: 2011 , Page(s): 69 - 76
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (792 KB) |  | HTML iconHTML  

    The CubeSat platform provides a unique challenge for flight software design due to the incredible size and power constraints. A number of tradeoffs must be made to balance effectiveness, fault tolerance, and cost. These basic requirements have been combined with the lessons learned from Cal Poly's past 8-bit avionics system to design a significant revision based around a 32-bit microprocessor runn... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Integrated Software and Sensor Health Management for Small Spacecraft

    Publication Year: 2011 , Page(s): 77 - 84
    Cited by:  Papers (2)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (324 KB) |  | HTML iconHTML  

    Despite their size, small spacecraft have highly complex architectures with many sensors and computer-controlled actuators. At the same time, size, weight, and budget constraints often dictate that small spacecraft are designed as single-string systems, which means that there are no or few redundant systems. Thus, all components, including software, must operate as reliably. Faults, if present, mu... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software Productivity of Field Experiments Using the Mobile Agents Open Architecture with Workflow Interoperability

    Publication Year: 2011 , Page(s): 85 - 92
    Cited by:  Papers (1)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (1008 KB) |  | HTML iconHTML  

    We analyzed a series of ten systematically developed surface exploration systems that integrated a variety of hardware and software components. Design, development, and testing data suggest that incremental buildup of an exploration system for long-duration capabilities is facilitated by an open architecture with appropriate-level APIs, specifically designed to facilitate integration of new compon... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Programming Models and Development Software for a Space-Based Many-Core Processor

    Publication Year: 2011 , Page(s): 95 - 102
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (1027 KB) |  | HTML iconHTML  

    The Maestro processor is a 49-core many-core processor for space based on the TILE64 architecture and implemented in rad-hard-by-design technology by Boeing. In this paper we discuss the programming models for Maestro, the implications of the programming model on fault tolerance and flight software, and the software development tools that have been developed for Maestro. The software described her... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Piloting on the Edge: Approaches to Flight Control Solutions

    Publication Year: 2011 , Page(s): 103 - 110
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (765 KB) |  | HTML iconHTML  

    Flying near the edge of the safe operating envelope is an inherently unsafe proposition. Space missions, especially one-of-a-kind missions in which uncertainties are common, need technologies that can sustain flight at the "edge" of the stability and performance envelope of the spacecraft. Edge of the envelope here implies that small changes or disturbances in system state or system dynamics can t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • NASA Technology Transfer System

    Publication Year: 2011 , Page(s): 111 - 117
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (397 KB) |  | HTML iconHTML  

    This paper discusses the modern approach of the implementation of Software as a Service (SaaS) for NASA as a way to reduce cost and increase efficiency. The Grid XML Datastore Framework is an extension of SaaS framework based on eXtensible Database technology (XDB). This is implemented to support the Innovative Partnership Program (IPP) for its Technology Transfer System (NTTS) project. NTTS suppo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Toward a CSP-Based Approach for Energy Management in Rovers

    Publication Year: 2011 , Page(s): 121 - 128
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (553 KB) |  | HTML iconHTML  

    This paper presents recent results on applying robust state-of-the-art AI Planning and Scheduling (P&S) techniques to mobile space robotic domains. We introduce an adaptation of an advanced constraint-based, resource driven reasoner for deciding feasible sequences of movements for a mobile robot in charge of executing a set of mission exploration-related jobs in a planetary terrain by reasonin... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.