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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Automatic design of IMA-Based systems


    Beteiligte:
    Salomon, Uwe (Autor:in)

    Erschienen in:

    Luftfahrt ; 1-169


    Erscheinungsdatum :

    2014


    Format / Umfang :

    169 Seiten, Bilder, 55 Quellen



    Medientyp :

    Hochschulschrift


    Format :

    Print


    Sprache :

    Englisch




    Automatic design of IMA-based systems

    Salomon, Uwe | TIBKAT | 2014


    Automatic design of IMA systems

    Salomon, Uwe / Reichel, Reinhard | IEEE | 2013


    Design of nonlinear automatic flight control systems

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


    Design method for automatic longitudinal control systems

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


    Design of automatic rudder coordination systems for aircraft

    Whitaker, H. Philip | DSpace@MIT | 1959

    Freier Zugriff