Software dependability modeling using an industry-standard architecture description language

Performing dependability evaluation along with other analyses at architectural level allows both making architectural tradeoffs and predicting the effects of architectural decisions on the dependability of an application. This paper gives guidelines for building architectural dependability models for software systems using the AADL (Architecture Analysis and Design Language). It presents reusable modeling patterns for fault-tolerant applications and shows how the presented patterns can be used in the context of a subsystem of a real-life application

A synthesis of logic and biology in the design of dependable systems

The technologies of model-based design and dependability analysis in the design of dependable systems, including software intensive systems, have advanced in recent years. Much of this development can be attributed to the application of advances in formal logic and its application to fault forecasting and verification of systems. In parallel, work on bio-inspired technologies has shown potential for the evolutionary design of engineering systems via automated exploration of potentially large design spaces. We have not yet seen the emergence of a design paradigm that combines effectively and throughout the design lifecycle these two techniques which are schematically founded on the two pillars of formal logic and biology. Such a design paradigm would apply these techniques synergistically and systematically from the early stages of design to enable optimal refinement of new designs which can be driven effectively by dependability requirements. The paper sketches such a model-centric paradigm for the design of dependable systems that brings these technologies together to realise their combined potential benefits

Security After 9/11: Strategy Choices and Budget Tradeoffs

The White House issued a National Security Strategy document in 2002 that stated the nation's new foreign policy and national security policy goals. Are the choices it identifies the right choices, and how best should resources be allocated to reach those or alternative goals? This briefing book includes data and analysis of these topics by analysts from several research organizations, intended to help expand and deepen public debate on these issues

Human-centered Electric Prosthetic (HELP) Hand

Through a partnership with Indian non-profit Bhagwan Mahaveer Viklang Sahayata Samiti, we designed a functional, robust, and and low cost electrically powered prosthetic hand that communicates with unilateral, transradial, urban Indian amputees through a biointerface. The device uses compliant tendon actuation, a small linear servo, and a wearable garment outfitted with flex sensors to produce a device that, once placed inside a prosthetic glove, is anthropomorphic in both look and feel. The prosthesis was developed such that future groups can design for manufacturing and distribution in India

A human factors methodology for real-time support applications

A general approach to the human factors (HF) analysis of new or existing projects at NASA/Goddard is delineated. Because the methodology evolved from HF evaluations of the Mission Planning Terminal (MPT) and the Earth Radiation Budget Satellite Mission Operations Room (ERBS MOR), it is directed specifically to the HF analysis of real-time support applications. Major topics included for discussion are the process of establishing a working relationship between the Human Factors Group (HFG) and the project, orientation of HF analysts to the project, human factors analysis and review, and coordination with major cycles of system development. Sub-topics include specific areas for analysis and appropriate HF tools. Management support functions are outlined. References provide a guide to sources of further information

Multiobjective optimization of water distribution systems accounting for economic cost, hydraulic reliability, and greenhouse gas emissions

In this paper, three objectives are considered for the optimization of water distribution systems (WDSs): the traditional objectives of minimizing economic cost and maximizing hydraulic reliability and the recently proposed objective of minimizing greenhouse gas (GHG) emissions. It is particularly important to include the GHG minimization objective for WDSs involving pumping into storages or water transmission systems (WTSs), as these systems are the main contributors of GHG emissions in the water industry. In order to better understand the nature of tradeoffs among these three objectives, the shape of the solution space and the location of the Pareto-optimal front in the solution space are investigated for WTSs and WDSs that include pumping into storages, and the implications of the interaction between the three objectives are explored from a practical design perspective. Through three case studies, it is found that the solution space is a U-shaped curve rather than a surface, as the tradeoffs among the three objectives are dominated by the hydraulic reliability objective. The Pareto-optimal front of real-world systems is often located at the "elbow" section and lower "arm" of the solution space (i.e., the U-shaped curve), indicating that it is more economic to increase the hydraulic reliability of these systems by increasing pipe capacity (i.e., pipe diameter) compared to increasing pumping power. Solutions having the same GHG emission level but different cost-reliability tradeoffs often exist. Therefore, the final decision needs to be made in conjunction with expert knowledge and the specific budget and reliability requirements of the system. © 2013. American Geophysical Union. All Rights Reserved.Wenyan Wu, Holger R. Maier, and Angus R. Simpso

Technology needs for high speed rotorcraft (3)

The spectrum of vertical takeoff and landing (VTOL) type aircraft is examined to determine which aircraft are most likely to achieve high subsonic cruise speeds and have hover qualities similar to a helicopter. Two civil mission profiles are considered: a 600-n.mi. mission for a 15- and a 30-passenger payload. Applying current technology, only the 15- and 30-passenger tiltfold aircraft are capable of attaining the 450-knot design goal. The two tiltfold aircraft at 450 knots and a 30-passenger tiltrotor at 375 knots were further developed for the Task II technology analysis. A program called High-Speed Total Envelope Proprotor (HI-STEP) is recommended to meet several of these issues based on the tiltrotor concept. A program called Tiltfold System (TFS) is recommended based on the tiltrotor concept. A task is identified to resolve the best design speed from productivity and demand considerations based on the technology that emerges from the recommended programs. HI-STEP's goals are to investigate propulsive efficiency, maneuver loads, and aeroelastic stability. Programs currently in progress that may meet the other technology needs include the Integrated High Performance Turbine Engine Technology (IHPTET) (NASA Lewis) and the Advanced Structural Concepts Program funded through NASA Langley