Trajectory APproach AnalysiS: A Post-operational Aircraft Approach Analysis Tool

International audienceIn aviation, safety has always been a key issue to reduce the number of incidents and accidents. Nowadays, it is even more important since the air traffic increases every year, and is predicted to reach 7.8 billion passengers worldwide in 2036. Flight safety offices aim at enhancing safety, analyzing past events, and preventing potential critical occurrences. This paper presents TAPAS, a post-operational aircraft approach analysis tool. The software offers an interactive analysis of aircraft approach energy management. The software uses and validates an existing atypical approach detection algorithm on flight data record and flight safety office events from airlines. Various correlations and analysis are conducted to illustrate the potential benefits of this methodology

A comparison of analytical methods for slope stability analysis

Úlohou bakalářské práce je porovnat analytické metody výpočtu stability svahů. V práci je provedená analýza stupně stability modelového svahu v programu GEO5 aj analýza bez použití softwaru. Výpočet stupně stability je realizovaný pomocí různých metod a následně sú výsledky jednotlivých metod porovnané.Main goal of this bachelor´s thesis is to compare analytical methods for calculation of slope stability. This work is analyzing safety level for model slope by using calculation software GEO5 and also without using a software. Analysis is realized by using different methods. Output of the work is comparison of results of safety factor.

Guidelines for Analysis of Data Related to Ageing of Nuclear Power Plant Components and Systems

This guideline is intended to provide practical methods for practitioners to use in analyzing component and system reliability data, with a focus on detection and modeling of ageing. The emphasis is on frequentist and Bayesian approaches, implemented with MS EXCEL and the open-source software package WinBUGS. The methods described in this document can be implemented with other software packages.JRC.F.5-Safety of present nuclear reactor

NASA's Aviation Safety and Modeling Project

The Aviation Safety Monitoring and Modeling (ASMM) Project of NASA's Aviation Safety program is cultivating sources of data and developing automated computer hardware and software to facilitate efficient, comprehensive, and accurate analyses of the data collected from large, heterogeneous databases throughout the national aviation system. The ASMM addresses the need to provide means for increasing safety by enabling the identification and correcting of predisposing conditions that could lead to accidents or to incidents that pose aviation risks. A major component of the ASMM Project is the Aviation Performance Measuring System (APMS), which is developing the next generation of software tools for analyzing and interpreting flight data

Environment Behavior Models for Scenario Generation and Testing Automation

In Proceedings of the First International Workshop on Advances in Model-Based Software Testing (A-MOST'05), the 27th International Conference on Software Engineering ICSE’05, May 15-16, 2005, St. Louis, USAThis paper suggests an approach to automatic scenario generation from environment models for testing of real-time reactive systems. The behavior of the system is defined as a set of events (event trace) with two basic relations: precedence and inclusion. The attributed event grammar (AEG) specifies possible event traces and provides a uniform approach for automatically generating, executing, and analyzing test cases. The environment model includes a description of hazardous states in which the system may arrive and makes it possible to gather statistics for system safety assessment. The approach is supported by a generator that creates test cases from the AEG models. We demonstrate the approach with case studies of prototypes for the safety-critical computer-assisted resuscitation algorithm (CARA) software for a casualty intravenous fluid infusion pump and the Paderborn Shuttle System

Using System Analysis Modeling Language (SAML) for validating the critical aerospace model.

System Analysis Modeling Language (SAML) is a formal language which helps in expressing and analyzing the qualitative and quantitative aspects of the software as well as hardware models. This can be used in model-based safety analysis (MBSA) which provides the means of identifying, localizing and analyzing hazards in these real-time Safety-Critical Systems. This paper describes the work carried out in the organization to validate the complex and critical Mode-Transition Logic (MTL) in Automated Flight Control System (AFCS) being developed in the organization. The Mode-Transition Logic (MTL) of the AFCS system is re-modeled using SAML and further analyzed with model checkers such as PRISM and NuSMV, for generation of counter-examples. The counter examples helped in mapping the safety scenarios along the AFCS requirements. These counter examples also helped in generating the fault model and analyzing the system logic for fault tolerance. Using NUSMV, MTL the failure scenarios were generated and the allowed transitions were studied. Failure management analysis report is generated and mapped as an artefact for the certification. For the illustration of the proposed approach, a suitable framework viz. Verification Environment for Safety-Critical Systems (VECS) is used to validate the utility of Mode-Transition Logic (MTL) in Automated Flight Control System (AFCS). The critical operations and complex functions were analyzed for contingency situations and provide means in significantly enhancing the safe operation of the Safety-Critical System. The mapping of the model safety using this approach will provide compliance with Civil Aerospace Standard DO-178C and DO-331 using Model-Based Design

Numerical modelling of complex slope using FLAC/SLOPE

This research presents a study on the slope stability analysis software -- FLAC/Slope. The study deals with simulations work and creation of models range from mesh and boundary effect, effect of complex geometry and layer soil, effect of geo-grid, effect of water table and effect of surcharge loads. Generally, the purpose of this research is to learn and assess this FLAC/Slope software regarding to its user-friendliness and reliability. The results regarding to these issues will be obtained via analyzing 5 models by using the range of models mention above. This would in turn use to compare with on-the-shelf reference such as from literature review, and several texts. If the value for the factor of safety is close to the value for the factor of safety in these references, it can be conclude that its given result is reliable. As the interface of the software is relatively easy, it can be conclude that it is user-friendly

Improving system reliability through formal analysis and use of checks in software

Software is playing increasingly important roles in avionics systems. It is widely used in navigation and, in some cases, in control loops that maintain aircraft stability. To guarantee the safety of flight systems, the FAA requires that critical components have a probability of failure no greater than 10(exp -9) per hour of flight. Software is being used to diagnose system components for failure. SIFT (Software Implemented Fault Tolerance) was a computer system developed to study the use of software to check for failure and manage processor reconfiguration. To guarantee that software satisfies its specifications, formal verification can be used. With this a program and its specification are viewed as mathematical objects, and a mathematical proof is used to show that the program and its specification are equivalent. In previous research, a theory of checking was developed to offer assistance in analyzing specifications and designing run-time checks. In the theory, checking is considered abstractly in terms of n-ary relations much like those of relational database theory. Within the theory check are categorized, checks on input and checks on results are considered, and formal attention is given to the minimization and logical combination of checks. The focus is upon input checks and the obstacles in checking input to critical systems. A central concern is with a property referred to as independence. The concern is with circumstances under which it is possible to apply isolated, independent checks to separate sensor inputs and be assure that all illegal input will be properly detected. Presently, independence is being investigated and checked in the context of the GCS (Guidance and Control System). The GCS simulator is intended for testing software that implements control laws for landing spacecraft. The large number of inputs and their complex interrelationships provide an exciting context in which to investigate independence and the difficulties of supplying input checks

Fuzzy Logic System for Slope Stability Prediction

The main goal of this research is to predict the stability of slopes using fuzzy logic system. GeoStudio, a commercially available software was used to compute safety factors for various designs of slope. The general formulation of the software could analyze slope stability using various methods of analysis i.e. Morgenstern-Price, Janbu, Bishop and Ordinary to calculate the safety factors. After analyzing, fuzzy logic was used to predict the slope stability. Fuzzy logic is based on natural language and conceptually easy to understand, flexible, tolerant of imprecise data and able to model nonlinear functions of arbitrary complexity. Several important parameters such as height of slope, unit weight of slope material, angle of slope, coefficient of cohesion and internal angle of friction were used as the input parameters, while the factor of safety was the output parameter. A model to test the stability of the slope was generated from the calculated data. This model presented a relationship between input parameters and stability of the slopes. Results showed that the prediction using fuzzy logic was accurate and close to the target data