Search Results

Critical control systems are often built as a combination of a control core with safety mechanisms allowing to recover from failures. For example a PID controller used with triplicated inputs. Typically those systems would be designed at the model level in a synchronous language like Lustre or Simulink, and their code automatically generated from those models. In previous SAE symposium, we addressed the formal analysis of such systems - focusing on the safety parts - using a combination of formal techniques, ie. k-induction and abstract interpretation. The approach developed here extends the analysis of the system to the control core. We present a new analysis framework combining the analysis of open-loop stable controller with those safety constructs. We introduce the basic analysis approaches: abstract interpretation synthesizing quadratic invariants and backward analysis based on quantifier elimination.

Model Based Safety techniques have been developed for a number of years, though the models have not been customised to help address the safety considerations/ actions at each refinement level. The work performed in the MISSA Project looked at defining the content of “safety models” for each of the refinement levels. A modelling approach has been defined that provides support for the initial functional hazard analysis, then for the systems architectural definition level and finally for the systems implementation level. The Aircraft functional model is used to apportion qualitative and quantitative requirements, the systems architectural level is used to perform a preliminary systems safety analysis to demonstrate that a system architecture can satisfy qualitative and quantitative requirements.

This paper describes the new analysis software for the contamination modelling and outgassing / vent analysis, which has been developed under ESTEC contract by HTS and ONERA. A major part of the software enhancements have been dedicated to the improvement of the algorithms describing the physical processes involved in outgassing and contamination of species in orbit conditions. However, this paper concentrates on additional aspects of the new software tool, which are of interest for space environment analysis software development in general and the thermal analysis community in particular: The use of commercial software packages for the generation of the discrete model geometry and result visualisation. The interfacing possibilities of the software tool with thermal analysis tools.

This paper presents a work carried out within the FULMEN lightning-on-aircraft oriented European project. It is the second part of the general presentation on the analysis of EM environment inside the aircraft. Therefore, it focuses on numerical calculations of voltage and current transfer functions on the ports of the same prototype wiring harness installed in several aircraft structures. The calculations have been carried out with the cable network CRIPTE code and rely on 3D field calculations performed by Ericsson Saab Avionics. The link between the cable code and the 3D code is achieved through the component of the incident electric field tangent to the running path of the wiring.

Icing is a major hazard for aviation safety. Over the last decades an additional risk has been identified when flying in clouds with high concentrations of ice-crystals where ice accretion may occur on warm parts of the engine core, resulting in engine incidents such as loss of engine thrust, strong vibrations, blade damage, or even the inability to restart engines. Performing physical engine tests in icing wind tunnels is extremely challenging, therefore, the need for numerical simulation tools able to accurately predict ICI (Ice Crystal Icing) is urgent and paramount for the aeronautics industry, especially regarding the development of new generation engines (UHBR = Ultra High Bypass Ratio, CROR = Counter rotating Open Rotor, ATP = Advanced Turboprop) for which analysis methods largely based on previous engines experience may be less and less applicable. The European research project MUSIC-haic has been conceived to fill this gap and has started in September 2018.

The aim of this work is to develop a semi-empirical model for erosion phenomena under ice crystal condition, which is one of the major phenomena for ice crystal accretion. Such a model would be able to calculate the erosion rate caused by impinging ice crystals on accreted ice layer. This model is based on Finnie [1] and Bitter [2] [3] solid/solid collision theory which assumes that metal erosion due to sand impingement is driven by two phenomena: cutting wear and deformation wear. These two phenomena are strongly dependent on the particle density, velocity and shape, as well as on the surface physical properties such as Young modulus, Poisson ratio, surface yield strength and hardness. Moreover, cutting wear is mostly driven by tangential velocity and is more effective for ductile eroded body, whereas deformation wear is driven by normal velocity and is more effective for brittle eroded body.