During the last years, the integrated, modular avionics (IMA) design philosophy became widely established at aircraft: manufacturers, resulting in more and more hardware equipment specialised to a particular system being replaced by generic avionics computers. With the ever-increasing amount of functional capabilities of avionics systems, the complexity of designing such a system has increased equally; the safety evaluation of design candidates is further complicated by the possibility and necessity of multiple avionics functions sharing hardware components. This thesis presents a computer-aided design method for avionics that (1) allows to evaluate an avionics architecture using objective quality criteria, in particular regarding its safety, and (2) enables the engineer to rapidly modify an architecture and re-evaluate it, thus aiding in the thorough exploration of the design space. Based on these steps, (3) an automated determination of the optimal architecture is possible, and was realised as a quite sophisticated software prototype. In the main part of this thesis, we explain the metamodel used to formally represent those aspects of avionics systems that are necessary for the purpose. We present our safety evaluation algorithm, its failure model, its mathematical basis, how typical avionics structures are modelled, and how the algorithm computes system failure probabilities and minimal cut sets from the model. We show a generic cost computation algorithm for the metamodel. And we will explain in detail the automatic design algorithm, which utilises safety and cost evaluation as optimisation objectives in a genetic algorithm in order to determine an optimal and safe architecture for a given system. Among other things, the algorithm is able to automatically determine the optimal redundancy of functions and their interconnection, the interfaces of IMA computers, the optimal allocation of functions to the hardware, the signal routing and the placement of components and cables in the aircraft. We evaluated the algorithms on several example systems. The safety analysis algorithm was demonstrated to be very fast in all cases, and its results were validated by comparing them to results obtained by a conventional safety analysis, confirming their conservativeness and high accuracy. The automatic design algorithm worked flawlessly and fast for problems of smaller size. We also analysed its performance for a fly-by-wire flight control system, which constitutes a challenging and realistically-sized optimisation problem, much larger than previously published examples in the field; in this case, more user intervention and step-wise optimisation was necessary to produce optimal results. Of course, we will also discuss the algorithms' shortcomings, and propose several potential enhancements, both to improve their performance and to extend their functionality.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Automatic design of IMA-Based systems


    Contributors:

    Published in:

    Luftfahrt ; 1-169


    Publication date :

    2014


    Size :

    169 Seiten, Bilder, 55 Quellen



    Type of media :

    Theses


    Type of material :

    Print


    Language :

    English




    Automatic design of IMA-based systems

    Salomon, Uwe | TIBKAT | 2014


    Automatic design of IMA systems

    Salomon, Uwe / Reichel, Reinhard | IEEE | 2013


    Design method for automatic longitudinal control systems

    Stevens, F. / Stevenson, K.M. | Engineering Index Backfile | 1951


    Design of nonlinear automatic flight control systems

    Garrard, W.L. / Jordan, J.M. | Tema Archive | 1977


    Design of automatic rudder coordination systems for aircraft

    Whitaker, H. Philip | DSpace@MIT | 1959

    Free access