Code generation for distributed embedded systems with VDM-RT

Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

Standard

Code generation for distributed embedded systems with VDM-RT. / Hasanagic, Miran; Fabri, Tommaso; Larsen, Peter Gorm; Bandur, Victor; Tran-Jørgensen, Peter Würtz Vinther; Ouy, Julien.

I: Design Automation for Embedded Systems, Bind 23, Nr. 3-4, 12.2019, s. 153-177.

Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

Harvard

Hasanagic, M, Fabri, T, Larsen, PG, Bandur, V, Tran-Jørgensen, PWV & Ouy, J 2019, 'Code generation for distributed embedded systems with VDM-RT', Design Automation for Embedded Systems, bind 23, nr. 3-4, s. 153-177. https://doi.org/10.1007/s10617-019-09227-0

APA

Hasanagic, M., Fabri, T., Larsen, P. G., Bandur, V., Tran-Jørgensen, P. W. V., & Ouy, J. (2019). Code generation for distributed embedded systems with VDM-RT. Design Automation for Embedded Systems, 23(3-4), 153-177. https://doi.org/10.1007/s10617-019-09227-0

CBE

Hasanagic M, Fabri T, Larsen PG, Bandur V, Tran-Jørgensen PWV, Ouy J. 2019. Code generation for distributed embedded systems with VDM-RT. Design Automation for Embedded Systems. 23(3-4):153-177. https://doi.org/10.1007/s10617-019-09227-0

MLA

Hasanagic, Miran o.a.. "Code generation for distributed embedded systems with VDM-RT". Design Automation for Embedded Systems. 2019, 23(3-4). 153-177. https://doi.org/10.1007/s10617-019-09227-0

Vancouver

Hasanagic M, Fabri T, Larsen PG, Bandur V, Tran-Jørgensen PWV, Ouy J. Code generation for distributed embedded systems with VDM-RT. Design Automation for Embedded Systems. 2019 dec;23(3-4):153-177. https://doi.org/10.1007/s10617-019-09227-0

Author

Hasanagic, Miran ; Fabri, Tommaso ; Larsen, Peter Gorm ; Bandur, Victor ; Tran-Jørgensen, Peter Würtz Vinther ; Ouy, Julien. / Code generation for distributed embedded systems with VDM-RT. I: Design Automation for Embedded Systems. 2019 ; Bind 23, Nr. 3-4. s. 153-177.

Bibtex

@article{e55c0a6b3571443e91b4220a750c2100,
title = "Code generation for distributed embedded systems with VDM-RT",
abstract = "Developing embedded systems that are distributed is a challenging endeavour, since they need to ensure system-wide properties as well as existence of a large number of possible candidate system architectures. Various model based techniques advocate raising the abstraction level in order to support a holistic view of such a distributed embedded system. Furthermore, automatically generating implementation specific code from models can support realisation efforts including avoiding inconsistencies between model and code. In this paper we present how such efforts can be aided for a distributed embedded system modelled in the real time dialect of the Vienna Development Method, VDM-RT, by means of automatic code generation. The contributions in this paper are (1) code generation capabilities for distributed embedded system modelled in VDM-RT; (2) demonstration of its applicability for an industrial case study involving a distributed interlocking system from the railways domain. Additionally, we discuss the balance between code generation for a model, which assumes idealised communication (no messages lost), and manually produced code, e.g. in the industrial case study legacy low-level code ensures fault-tolerant communication in the final implementation. ",
author = "Miran Hasanagic and Tommaso Fabri and Larsen, {Peter Gorm} and Victor Bandur and Tran-J{\o}rgensen, {Peter W{\"u}rtz Vinther} and Julien Ouy",
year = "2019",
month = dec,
doi = "10.1007/s10617-019-09227-0",
language = "English",
volume = "23",
pages = "153--177",
journal = "Design Automation for Embedded Systems",
issn = "0929-5585",
publisher = "Springer New York LLC",
number = "3-4",

}

RIS

TY - JOUR

T1 - Code generation for distributed embedded systems with VDM-RT

AU - Hasanagic, Miran

AU - Fabri, Tommaso

AU - Larsen, Peter Gorm

AU - Bandur, Victor

AU - Tran-Jørgensen, Peter Würtz Vinther

AU - Ouy, Julien

PY - 2019/12

Y1 - 2019/12

N2 - Developing embedded systems that are distributed is a challenging endeavour, since they need to ensure system-wide properties as well as existence of a large number of possible candidate system architectures. Various model based techniques advocate raising the abstraction level in order to support a holistic view of such a distributed embedded system. Furthermore, automatically generating implementation specific code from models can support realisation efforts including avoiding inconsistencies between model and code. In this paper we present how such efforts can be aided for a distributed embedded system modelled in the real time dialect of the Vienna Development Method, VDM-RT, by means of automatic code generation. The contributions in this paper are (1) code generation capabilities for distributed embedded system modelled in VDM-RT; (2) demonstration of its applicability for an industrial case study involving a distributed interlocking system from the railways domain. Additionally, we discuss the balance between code generation for a model, which assumes idealised communication (no messages lost), and manually produced code, e.g. in the industrial case study legacy low-level code ensures fault-tolerant communication in the final implementation.

AB - Developing embedded systems that are distributed is a challenging endeavour, since they need to ensure system-wide properties as well as existence of a large number of possible candidate system architectures. Various model based techniques advocate raising the abstraction level in order to support a holistic view of such a distributed embedded system. Furthermore, automatically generating implementation specific code from models can support realisation efforts including avoiding inconsistencies between model and code. In this paper we present how such efforts can be aided for a distributed embedded system modelled in the real time dialect of the Vienna Development Method, VDM-RT, by means of automatic code generation. The contributions in this paper are (1) code generation capabilities for distributed embedded system modelled in VDM-RT; (2) demonstration of its applicability for an industrial case study involving a distributed interlocking system from the railways domain. Additionally, we discuss the balance between code generation for a model, which assumes idealised communication (no messages lost), and manually produced code, e.g. in the industrial case study legacy low-level code ensures fault-tolerant communication in the final implementation.

U2 - 10.1007/s10617-019-09227-0

DO - 10.1007/s10617-019-09227-0

M3 - Journal article

VL - 23

SP - 153

EP - 177

JO - Design Automation for Embedded Systems

JF - Design Automation for Embedded Systems

SN - 0929-5585

IS - 3-4

ER -