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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Contributors:


    Publication date :

    2024-09-29


    Size :

    698311 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English




    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, T. / Santos, S. / Tatibana, C. et al. | Tema Archive | 2009