Groundwork for the Development of Testing Plans for Concurrent Software

While multi-threading has become commonplace in many application domains (e.g., embedded systems, digital signal processing (DSP), networks, IP services, and graphics), multi-threaded code often requires complex co-ordination of threads. As a result, multi-threaded implementations are prone to subtle bugs that are difficult and time-consuming to locate. Moreover, current testing techniques that address multi-threading are generally costly while their effectiveness is unknown. The development of cost-effective testing plans requires an in-depth study of the nature, frequency, and cost of concurrency errors in the context of real-world applications. The full paper will lay the groundwork for such a study, with the purpose of informing the creation of a parametric cost model for testing multi-threaded software. The current version of the paper provides motivation for the study, an outline of the full paper, and a bibliography of related papers

10111 Abstracts Collection -- Practical Software Testing : Tool Automation and Human Factors

From March 14, 2010 to March 19, 2010, the Dagstuhl Seminar 10111 ``Practical Software Testing : Tool Automation and Human Factors\u27\u27 was held in Schloss Dagstuhl~--~Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available

Strategies for Reining In Medicare Spending Through Delivery System Reforms: Assessing the Evidence and Opportunities

Outlines promising measures to achieve savings in Medicare costs by reducing the need for hospitalization and readmission and by reducing disparities across physicians and geographic areas in care delivery, utilization, and expenditures

NASAs Human Landing System: The Strategy for the 2024 Mission and Future Sustainability

In response to the 2018 White House Space Policy Directive- sustainable lunar exploration, and to the Vice Presidents March 2019 direction to do so by 2024, NASA is working to establish humanity's presence on and around the Moon by: 1) sending payloads to its surface, 2) assembling the Gateway outpost in orbit and 3) demonstrating the first human lunar landings since 1972. NASAs Artemis program is implementing a multi-faceted and coordinated agency-wide approach with a focus on the lunar South Pole. The Artemis missions will demonstrate new technologies, capabilities and business approaches needed for future exploration, including Mars. Assessing options to accelerate development of required systems, NASA is utilizing public-private engagements through the Human Exploration and Operations (HEO) Mission Directorates NextSTEP Broad Agency Announcements. The design, development and demonstration of the Human Landing System (HLS) is expected to be led by commercial partners. Utilizing efforts across mission directorates, the Artemis effort will benefit from programs from the Science Mission Directorate (SMD) and Space Technology Mission Directorate (STMD). SMDs Commercial Lunar Payload Services (CLPS) initiative will procure commercial robotic lunar delivery services and the development of science instruments and technology demonstration payloads. The Space Technology Mission Directorate (STMD) portfolio of technology advancements relative to HLS include lunar lander components and technologies for pointing, navigation and tracking, fuel storage and transfer, autonomy and mobility, communications, propulsion and power. In addition to describing the objectives and requirements of the 2024 Artemis mission, this paper will present NASAs approach to accessing the lunar surface with an affordable human-rated landing system, current status and the role o a sustainable lunar presence

Important Lessons Derived from X.500 Case Studies

X.500 is a new and complex electronic directory technology, whose basic specification was first published as an international standard in 1988, with an enhanced revision in 1993. The technology is still unproven in many organisations. This paper presents case studies of 15 pioneering pilot and operational X.500 based directory services. The paper provides valuable insights into how organisations are coming to understand this new technology, are using X.500 for both traditional and novel directory based services, and consequently are deriving benefits from it. Important lessons that have been learnt by these X.500 pioneers are presented here, so that future organisations can benefit from their experiences. Factors critical to the success of implementing X.500 in an organisation are derived from the studies

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

The Business Case for Spiral Development in Heavy Lift Launch Vehicle Systems

Performance capabilities of a specific combination of the Space Shuttle external tank and various liquid engines in an in-line configuration, two-stage core vehicle with multiple redesigned solid rocket motor strap-ons are reexamined. This concept proposes using existing assets, hardware, and capabilities that are already crew-rated, flight certified, being manufactured under existing contracts, have a long history of component and system ground testing, and have been flown for over 20 yr. This paper goes beyond describing potential performance capabilities of specific components to discuss the overall system feasibility-from end to end, start to finish-describing the inherent cost advantages of the Spiral Development concept, which builds on existing capabilities and assets, as opposed to starting up a "fresh sheet" heavy-lift launch vehicle program from scratch

An autonomous satellite architecture integrating deliberative reasoning and behavioural intelligence

This paper describes a method for the design of autonomous spacecraft, based upon behavioral approaches to intelligent robotics. First, a number of previous spacecraft automation projects are reviewed. A methodology for the design of autonomous spacecraft is then presented, drawing upon both the European Space Agency technological center (ESTEC) automation and robotics methodology and the subsumption architecture for autonomous robots. A layered competency model for autonomous orbital spacecraft is proposed. A simple example of low level competencies and their interaction is presented in order to illustrate the methodology. Finally, the general principles adopted for the control hardware design of the AUSTRALIS-1 spacecraft are described. This system will provide an orbital experimental platform for spacecraft autonomy studies, supporting the exploration of different logical control models, different computational metaphors within the behavioral control framework, and different mappings from the logical control model to its physical implementation

YF-12 propulsion research program and results

The objectives and status of the propulsion program, along with the results acquired in the various technology areas, are discussed. The instrumentation requirements for and experience with flight testing the propulsion systems at high supersonic cruise are reported. Propulsion system performance differences between wind tunnel and flight are given. The effects of high frequency flow fluctuations (transients) on the stability of the propulsion system are described, and shock position control is evaluated