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.


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    Simulation for Analysis of Aircraft Elevator Feedback and Redundancy Control


    Beteiligte:

    Erscheinungsdatum :

    2002-09-01


    Medientyp :

    Aufsatz/Kapitel (Buch)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    REDUNDANCY CONTROL DEVICE FOR AIRCRAFT

    JINNO TAKAYUKI / OGAWA TAKASHI | Europäisches Patentamt | 2024

    Freier Zugriff

    Redundancy control device for aircraft

    JINNO TAKAYUKI / OGAWA TAKASHI | Europäisches Patentamt | 2023

    Freier Zugriff

    REDUNDANCY CONTROL DEVICE FOR AIRCRAFT

    JINNO TAKAYUKI / OGAWA TAKASHI | Europäisches Patentamt | 2021

    Freier Zugriff