文摘
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.