Developing Experimental Models for NASA Missions with ASSL

NASA's new age of space exploration augurs great promise for deep space exploration missions whereby spacecraft should be independent, autonomous, and smart. Nowadays NASA increasingly relies on the concepts of autonomic computing, exploiting these to increase the survivability of remote missions, particularly when human tending is not feasible. Autonomic computing has been recognized as a promising approach to the development of self-managing spacecraft systems that employ onboard intelligence and rely less on control links. The Autonomic System Specification Language (ASSL) is a framework for formally specifying and generating autonomic systems. As part of long-term research targeted at the development of models for space exploration missions that rely on principles of autonomic computing, we have employed ASSL to develop formal models and generate functional prototypes for NASA missions. This helps to validate features and perform experiments through simulation. Here, we discuss our work on developing such missions with ASSL.Comment: 7 pages, 4 figures, Workshop on Formal Methods for Aerospace (FMA'09

Unattended network operations technology assessment study. Technical support for defining advanced satellite systems concepts

The results are summarized of an unattended network operations technology assessment study for the Space Exploration Initiative (SEI). The scope of the work included: (1) identified possible enhancements due to the proposed Mars communications network; (2) identified network operations on Mars; (3) performed a technology assessment of possible supporting technologies based on current and future approaches to network operations; and (4) developed a plan for the testing and development of these technologies. The most important results obtained are as follows: (1) addition of a third Mars Relay Satellite (MRS) and MRS cross link capabilities will enhance the network's fault tolerance capabilities through improved connectivity; (2) network functions can be divided into the six basic ISO network functional groups; (3) distributed artificial intelligence technologies will augment more traditional network management technologies to form the technological infrastructure of a virtually unattended network; and (4) a great effort is required to bring the current network technology levels for manned space communications up to the level needed for an automated fault tolerance Mars communications network

Workshop proceedings: Information Systems for Space Astrophysics in the 21st Century, volume 1

The Astrophysical Information Systems Workshop was one of the three Integrated Technology Planning workshops. Its objectives were to develop an understanding of future mission requirements for information systems, the potential role of technology in meeting these requirements, and the areas in which NASA investment might have the greatest impact. Workshop participants were briefed on the astrophysical mission set with an emphasis on those missions that drive information systems technology, the existing NASA space-science operations infrastructure, and the ongoing and planned NASA information systems technology programs. Program plans and recommendations were prepared in five technical areas: Mission Planning and Operations; Space-Borne Data Processing; Space-to-Earth Communications; Science Data Systems; and Data Analysis, Integration, and Visualization

Challenges of Developing New Classes of NASA Self-Managing Mission

NASA is proposing increasingly complex missions that will require a high degree of autonomy and autonomicity. These missions pose hereto unforeseen problems and raise issues that have not been well-addressed by the community. Assuring success of such missions will require new software development techniques and tools. This paper discusses some of the challenges that NASA and the rest of the software development community are facing in developing these ever-increasingly complex systems. We give an overview of a proposed NASA mission as well as techniques and tools that are being developed to address autonomic management and the complexity issues inherent in these missions

Technology assessment of advanced automation for space missions

Six general classes of technology requirements derived during the mission definition phase of the study were identified as having maximum importance and urgency, including autonomous world model based information systems, learning and hypothesis formation, natural language and other man-machine communication, space manufacturing, teleoperators and robot systems, and computer science and technology

Space resources. Volume 4: Social concerns

Space resources must be used to support life on the Moon and exploration of Mars. This volume, Social Concerns, covers some of the most important issues which must be addressed in any major program for the human exploration of space. The volume begins with a consideration of the economics and management of large scale space activities. Then the legal aspects of these activities are discussed, particularly the interpretation of treaty law with respect to the Moon and asteroids. The social and cultural issues of moving people into space are considered in detail, and the eventual emergence of a space culture different from the existing culture is envisioned. The environmental issues raised by the development of space settlements are faced. Some innovative approaches are proposed to space communities and habitats and self-sufficiency is considered along with human safety at a lunar base or outpost

Staying Alive! Training High-Risk Teams for Self Correction

Research examining teams working in high-risk operations has been lacking. The present symposium showcases research on team training that helps to optimize team performance in environments characterized by life or death situations arising spontaneously after long periods of mundane activity by pulling experts from diverse areas of industry: space flight, health care, and medical simulation

Applying Knowledge Management to an Organization's Transformation

Although workers in the information age have more information at their fingertips than ever before, the ability to effectively capture and reuse actual knowledge is still a surmounting challenge for many organizations. As high tech organizations transform from providing complex products and services in an established domain to providing them in new domains, knowledge remains an increasingly valuable commodity. This paper explores the supply and demand elements of the "knowledge market" within the International Space Station and Spacecraft Processing Directorate (ISSSPD) of NASA's Kennedy Space Center (KSC). It examines how knowledge supply and knowledge demand determine the success of an organization's knowledge management (KM) activities, and how the elements of a KM infrastructure (tools, culture, and training), can be used to create and sustain knowledge supply and deman