One of the major challenges in modern aerospace designs is the integration and assembly of independently developed components. We have formalized this as the system assembly problem: from a sea of available components, which should be selected and how should they be connected, integrated, and assembled so that the overall system requirements are satisfied in a certifiable way? We present a powerful framework for automatically solving the system assembly problem directly from system requirements by using formal verification technology. We also present a case study where we applied our work to large-scale industrial examples from the Boeing Dreamliner.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Automating System Assembly of Aerospace Systems


    Beteiligte:


    Erscheinungsdatum :

    30.04.2008


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Keine Angabe


    Sprache :

    Englisch




    Automating aerospace assembly

    Emerald Group Publishing | 2009




    Automating Component-Based System Assembly

    Manolios, Panagiotis | AIAA | 2008


    Automating wing assembly

    Emerald Group Publishing | 2001