Composing domain-specific physical models with general-purpose software modules in embedded control software

Arjan de Roo, Hasan Sözer, Mehmet Aksit

    Research output: Contribution to journalArticleAcademicpeer-review

    4 Citations (Scopus)
    38 Downloads (Pure)

    Abstract

    A considerable portion of software systems today are adopted in the embedded control domain. Embedded control software deals with controlling a physical system, and as such models of physical characteristics become part of the embedded control software. In current practices, usually general-purpose languages (GPL), such as C/C++ are used for embedded systems development. Although a GPL is suitable for expressing general-purpose computation, it falls short in expressing the models of physical characteristics as desired. This reduces not only the readability of the code but also hampers reuse due to the lack of dedicated abstractions and composition operators. Moreover, domain-specific static and dynamic checks may not be applied effectively. There exist domain-specific modeling languages (DSML) and tools to specify models of physical characteristics. Although they are commonly used for simulation and documentation of physical systems, they are often not used to implement embedded control software. This is due to the fact that these DSMLs are not suitable to express the general-purpose computation and they cannot be easily composed with other software modules that are implemented in GPL. This paper presents a novel approach to combine a DSML to model physical characteristics and a GPL to implement general-purpose computation. The composition filters model is used to compose models specified in the DSML with modules specified in the GPL at the abstraction level of both languages. As such, this approach combines the benefits of using a DSML to model physical characteristics with the freedom of a GPL to implement general-purpose computation. The approach is illustrated using two industrial case studies from the printing systems domain.
    Original languageUndefined
    Pages (from-to)55-81
    Number of pages27
    JournalSoftware and systems modeling
    Volume13
    Issue number1
    DOIs
    Publication statusPublished - Feb 2014

    Keywords

    • EWI-22380
    • Domain specific languages Embedded systems Software composition Composition filters Aspect-oriented programming
    • IR-83372
    • METIS-296116

    Cite this

    @article{30642f3fd8c5483eaeb3faf10644ee71,
    title = "Composing domain-specific physical models with general-purpose software modules in embedded control software",
    abstract = "A considerable portion of software systems today are adopted in the embedded control domain. Embedded control software deals with controlling a physical system, and as such models of physical characteristics become part of the embedded control software. In current practices, usually general-purpose languages (GPL), such as C/C++ are used for embedded systems development. Although a GPL is suitable for expressing general-purpose computation, it falls short in expressing the models of physical characteristics as desired. This reduces not only the readability of the code but also hampers reuse due to the lack of dedicated abstractions and composition operators. Moreover, domain-specific static and dynamic checks may not be applied effectively. There exist domain-specific modeling languages (DSML) and tools to specify models of physical characteristics. Although they are commonly used for simulation and documentation of physical systems, they are often not used to implement embedded control software. This is due to the fact that these DSMLs are not suitable to express the general-purpose computation and they cannot be easily composed with other software modules that are implemented in GPL. This paper presents a novel approach to combine a DSML to model physical characteristics and a GPL to implement general-purpose computation. The composition filters model is used to compose models specified in the DSML with modules specified in the GPL at the abstraction level of both languages. As such, this approach combines the benefits of using a DSML to model physical characteristics with the freedom of a GPL to implement general-purpose computation. The approach is illustrated using two industrial case studies from the printing systems domain.",
    keywords = "EWI-22380, Domain specific languages Embedded systems Software composition Composition filters Aspect-oriented programming, IR-83372, METIS-296116",
    author = "{de Roo}, Arjan and Hasan S{\"o}zer and Mehmet Aksit",
    note = "eemcs-eprint-22380",
    year = "2014",
    month = "2",
    doi = "10.1007/s10270-012-0283-7",
    language = "Undefined",
    volume = "13",
    pages = "55--81",
    journal = "Software and systems modeling",
    issn = "1619-1366",
    publisher = "Springer",
    number = "1",

    }

    Composing domain-specific physical models with general-purpose software modules in embedded control software. / de Roo, Arjan; Sözer, Hasan; Aksit, Mehmet.

    In: Software and systems modeling, Vol. 13, No. 1, 02.2014, p. 55-81.

    Research output: Contribution to journalArticleAcademicpeer-review

    TY - JOUR

    T1 - Composing domain-specific physical models with general-purpose software modules in embedded control software

    AU - de Roo, Arjan

    AU - Sözer, Hasan

    AU - Aksit, Mehmet

    N1 - eemcs-eprint-22380

    PY - 2014/2

    Y1 - 2014/2

    N2 - A considerable portion of software systems today are adopted in the embedded control domain. Embedded control software deals with controlling a physical system, and as such models of physical characteristics become part of the embedded control software. In current practices, usually general-purpose languages (GPL), such as C/C++ are used for embedded systems development. Although a GPL is suitable for expressing general-purpose computation, it falls short in expressing the models of physical characteristics as desired. This reduces not only the readability of the code but also hampers reuse due to the lack of dedicated abstractions and composition operators. Moreover, domain-specific static and dynamic checks may not be applied effectively. There exist domain-specific modeling languages (DSML) and tools to specify models of physical characteristics. Although they are commonly used for simulation and documentation of physical systems, they are often not used to implement embedded control software. This is due to the fact that these DSMLs are not suitable to express the general-purpose computation and they cannot be easily composed with other software modules that are implemented in GPL. This paper presents a novel approach to combine a DSML to model physical characteristics and a GPL to implement general-purpose computation. The composition filters model is used to compose models specified in the DSML with modules specified in the GPL at the abstraction level of both languages. As such, this approach combines the benefits of using a DSML to model physical characteristics with the freedom of a GPL to implement general-purpose computation. The approach is illustrated using two industrial case studies from the printing systems domain.

    AB - A considerable portion of software systems today are adopted in the embedded control domain. Embedded control software deals with controlling a physical system, and as such models of physical characteristics become part of the embedded control software. In current practices, usually general-purpose languages (GPL), such as C/C++ are used for embedded systems development. Although a GPL is suitable for expressing general-purpose computation, it falls short in expressing the models of physical characteristics as desired. This reduces not only the readability of the code but also hampers reuse due to the lack of dedicated abstractions and composition operators. Moreover, domain-specific static and dynamic checks may not be applied effectively. There exist domain-specific modeling languages (DSML) and tools to specify models of physical characteristics. Although they are commonly used for simulation and documentation of physical systems, they are often not used to implement embedded control software. This is due to the fact that these DSMLs are not suitable to express the general-purpose computation and they cannot be easily composed with other software modules that are implemented in GPL. This paper presents a novel approach to combine a DSML to model physical characteristics and a GPL to implement general-purpose computation. The composition filters model is used to compose models specified in the DSML with modules specified in the GPL at the abstraction level of both languages. As such, this approach combines the benefits of using a DSML to model physical characteristics with the freedom of a GPL to implement general-purpose computation. The approach is illustrated using two industrial case studies from the printing systems domain.

    KW - EWI-22380

    KW - Domain specific languages Embedded systems Software composition Composition filters Aspect-oriented programming

    KW - IR-83372

    KW - METIS-296116

    U2 - 10.1007/s10270-012-0283-7

    DO - 10.1007/s10270-012-0283-7

    M3 - Article

    VL - 13

    SP - 55

    EP - 81

    JO - Software and systems modeling

    JF - Software and systems modeling

    SN - 1619-1366

    IS - 1

    ER -