Model transformations are used in the development of avionics software to make the process more efficient by automation. This paper presents a qualifiable model transformation language and engine for use in a safety-critical Integrated Modular Avionics configuration development process. Moreover, a tool qualification agent supports the tool user in the qualification of the model transformation by an automated generation of the qualification artifacts. The qualifiable model transformation language and the tool qualification agent are embedded in a domain-specific modeling environment for use in safety-critical software development. In this paper we develop a model transformation using the qualifiable model transformation language and apply it to a configuration step for Integrated Modular Avionics. Further, we generate the tool requirements for this model transformation. The aim is to validate the concepts for the qualifiable model transformation language and the tool qualification agent. First, we develop a transformation model for an exemplary model transformation that includes the information about the transformation rules and the rule sequencing. Then, the transformation generator transforms the transformation model into the executable transformation code. The transformation rules consist of search patterns and replacement patterns. Additional concepts that the model transformation uses are guard conditions and a linear rule sequencing. To ensure that the model transformation language is qualifiable, we generate its implementation in MISRA-C. We further check the transformation code with a code analysis tool. The generated requirements from the tool qualification agent consist of the specification of the transformation rules and the data and control flow. We develop templates for the tool requirements and model transformations for the generation of the qualification artifacts. These qualification model transformations transform the requirements templates together with the transformation model into tool requirements.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Applying Qualifiable Model Transformations in Integrated Modular Avionics Configuration Development with Automated Tool Qualification Support


    Beteiligte:


    Erscheinungsdatum :

    29.09.2024


    Format / Umfang :

    698311 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    Integrated modular avionics

    Prisaznuk, P.J. | IEEE | 1992


    Towards a Qualifiable Space Cloud Approach

    Kosmidis, Leonidas / Trompouki, Matina Maria / Sole, Marc et al. | IEEE | 2024


    Lightning Protection for and Qualification Testing of Modular Avionics

    Spiller, O. | British Library Conference Proceedings | 1996


    An integrated modular avionics development environment

    Schoofs, Tobias / Santos, Sergio / Tatibana, Cassia et al. | IEEE | 2009