Safety critical systems such as aircraft require functional and hardware redundancy to achieve prescribed safety levels. Discrete event control is applied to ensure that a safe system configuration is available at all times. Since, at present, formal verification techniques are restricted to models with few continuous states, in this paper, simulation is used to verify that the overall system operates according to the requirements when an actuator failure occurs. The feasibility study to modelling and simulation of complex controlled systems presented here is characterised by (i) a complex object-oriented model of aircraft dynamics, including gravity, aerodynamics, etc., (ii) the specification of the discrete event redundancy control by a domain specific formalism that includes statecharts, (iii) the usage of energy based hybrid bond graphs to model the dynamics of the hydraulic actuators, (iv) model integration on the model level as well as on the data level, (v) support of DAEs with dynamically changing index and (vi) illustrative simulation results.


    Access

    Download


    Export, share and cite



    Title :

    Simulation for Analysis of Aircraft Elevator Feedback and Redundancy Control



    Publication date :

    2002-09-01


    Type of media :

    Article/Chapter (Book)


    Type of material :

    Electronic Resource


    Language :

    English




    REDUNDANCY CONTROL DEVICE FOR AIRCRAFT

    JINNO TAKAYUKI / OGAWA TAKASHI | European Patent Office | 2024

    Free access

    Redundancy control device for aircraft

    JINNO TAKAYUKI / OGAWA TAKASHI | European Patent Office | 2023

    Free access

    REDUNDANCY CONTROL DEVICE FOR AIRCRAFT

    JINNO TAKAYUKI / OGAWA TAKASHI | European Patent Office | 2021

    Free access

    Computer redundancy for aircraft flight control

    Marx, M.F. | Tema Archive | 1977