Vehicle Systems Panel deliberations

The Vehicle Systems Panel addressed materials and structures technology issues related to launch and space vehicle systems not directly associated with the propulsion or entry systems. The Vehicle Systems Panel was comprised of two subpanels - Expendable Launch Vehicles & Cryotanks (ELVC) and Reusable Vehicles (RV). Tom Bales, LaRC, and Tom Modlin, JSC, chaired the expendable and reusable vehicles subpanels, respectively, and co-chaired the Vehicle Systems Panel. The following four papers are discussed in this section: (1) Net Section components for Weldalite Cryogenic Tanks, by Don Bolstad; (2) Build-up Structures for Cryogenic Tanks and Dry Bay Structural Applications, by Barry Lisagor; (3) Composite Materials Program, by Robert Van Siclen; (4) Shuttle Technology (and M&S Lessons Learned), by Stan Greenberg

ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects

International audienceThis paper aims at presenting methods and tools that are developed in the ISAAC project (Improvement of Safety Activities on Aeronautical Complex Systems, www.isaac-fp6.org), a European Community funded project, to support the safety assessment of complex embedded systems. The ISAAC methodology proposes to base as much of the safety analyses as is feasibly possible on simulable and formally verifiable system models that include fault models and can be shared both by safety and design engineers. On one hand, tools were developed to support safety assessment of Simulink, SCADE, Statemate, NuSMV and AltaRica models. On the other hand, formal models are coupled with additional models to address the problems of common cause analysis and human error analysis

Vehicle systems

Perspectives of the subpanel on expendable launch vehicle structures and cryotanks are: (1) new materials which provide the primary weight savings effect on vehicle mass/size; (2) today's investment; (3) typically 10-20 years to mature and fully characterize new materials

Model Checking and Safety Assessment of Altarica models

Altarica is a language used to describe critical systems. In this paper we present a novel approach to the analysis of Altarica models, based on a translation into an extended version of NuSMV. This approach opens up the possibility to carry out functional verification and safety assessment with symbolic techniques. An experimental evaluation on a set of industrial case studies demonstrates the advantages of the approach over currently available tool