In this work, we discuss the safety, security, and certification challenges of developing a highly-complex distributed IMA Platform, and describe the solution we have developed for the Turkish Fighter Program. The main challenges of the IMA Platform development include; the necessity of large-scale multi-disciplinary teamwork, management of modular and re-usable certification process, designing an IMA with reconfiguration capability and managing shared resources within the IMA in a safe manner. In order to cope with these challenges, Model Based System Engineering is an effective methodology widely used in avionics development. However, it may not be possible to apply MBSE as ideally as described in the literature due to real-life challenges such as limited MBSE culture in a large and diverse team, desire to use previously developed prototypes with minimum effort, or requirements with design details. Therefore, instead of forcing the odds to implement an idealistic MBSE lifecycle, we have taken a more practical approach and implemented a framework while developing an IMA Platform for the Turkish Fighter. It is a collaborative IMA Platform Development Ecosystem utilizing the Model-Based IMA Platform Development methodology. This unique ecosystem helps us to manage the development, certification, security/safety assessment, and reconfiguration tasks through a SysML model.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Model-Based IMA Platform Development and Certification Ecosystem


    Contributors:


    Publication date :

    2023-10-01


    Size :

    1529053 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    INTERCONNECTED DIGITAL ENGINEERING AND CERTIFICATION ECOSYSTEM

    ROPER JR WILLIAM / BENSON CHRISTOPHER / PHAN LONG et al. | European Patent Office | 2024

    Free access

    ASPF3 - Certification of a platform Tunisia

    Cuisinier, T. | Online Contents | 1996


    Model based development with code generators - verification, testing and certification

    Lalo, Marc / Barriault, Steve / Wissing, Klaus | Tema Archive | 2007


    Design Development and Certification

    Langton, Roy / Clark, Chuck / Hewitt, Martin et al. | Wiley | 2009


    PHYLOG: A model-based certification framework

    Boniol, Frederic / Bouchebaba, Youcef / Brunel, Julien et al. | IEEE | 2018