Towards a Static Check of FMUs in VDM-SL

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

Standard

Towards a Static Check of FMUs in VDM-SL. / Battle, Nick; Thule, Casper; Gomes, Claudio ; Macedo, Hugo Daniel; Larsen, Peter Gorm.

Formal Methods: FM 2019 International Workshops. ed. / Emil Sekerinski; Nelma Moreira; José N. Oliveira; Daniel Ratiu; Riccardo Guidotti; Marie Farrell; Matt Luckcuck; Diego Marmsoler; José Campos; Troy Astarte; Laure Gonnord; Antonio Cerone; Luis Couto; Brijesh Dongol; Martin Kutrib; Pedro Monteiro; David Delmas. Cham : Springer, 2020. p. 272-288 (Lecture Notes in Computer Science, Vol. 12233).

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

Harvard

Battle, N, Thule, C, Gomes, C, Macedo, HD & Larsen, PG 2020, Towards a Static Check of FMUs in VDM-SL. in E Sekerinski, N Moreira, JN Oliveira, D Ratiu, R Guidotti, M Farrell, M Luckcuck, D Marmsoler, J Campos, T Astarte, L Gonnord, A Cerone, L Couto, B Dongol, M Kutrib, P Monteiro & D Delmas (eds), Formal Methods: FM 2019 International Workshops. Springer, Cham, Lecture Notes in Computer Science, vol. 12233, pp. 272-288, FM 2019 International Workshops, Porto, Portugal, 09/10/2019. https://doi.org/10.1007/978-3-030-54997-8_18

APA

Battle, N., Thule, C., Gomes, C., Macedo, H. D., & Larsen, P. G. (2020). Towards a Static Check of FMUs in VDM-SL. In E. Sekerinski, N. Moreira, J. N. Oliveira, D. Ratiu, R. Guidotti, M. Farrell, M. Luckcuck, D. Marmsoler, J. Campos, T. Astarte, L. Gonnord, A. Cerone, L. Couto, B. Dongol, M. Kutrib, P. Monteiro, & D. Delmas (Eds.), Formal Methods: FM 2019 International Workshops (pp. 272-288). Springer. Lecture Notes in Computer Science Vol. 12233 https://doi.org/10.1007/978-3-030-54997-8_18

CBE

Battle N, Thule C, Gomes C, Macedo HD, Larsen PG. 2020. Towards a Static Check of FMUs in VDM-SL. Sekerinski E, Moreira N, Oliveira JN, Ratiu D, Guidotti R, Farrell M, Luckcuck M, Marmsoler D, Campos J, Astarte T, Gonnord L, Cerone A, Couto L, Dongol B, Kutrib M, Monteiro P, Delmas D, editors. In Formal Methods: FM 2019 International Workshops. Cham: Springer. pp. 272-288. (Lecture Notes in Computer Science, Vol. 12233). https://doi.org/10.1007/978-3-030-54997-8_18

MLA

Battle, Nick et al. "Towards a Static Check of FMUs in VDM-SL"., Sekerinski, Emil, Moreira, Nelma, Oliveira, José N., Ratiu, Daniel, Guidotti, Riccardo, Farrell, Marie, Luckcuck, Matt, Marmsoler, Diego Campos, José Astarte, Troy Gonnord, Laure Cerone, Antonio Couto, Luis Dongol, Brijesh Kutrib, Martin Monteiro, Pedro Delmas, David (editors). Formal Methods: FM 2019 International Workshops. Cham: Springer. (Lecture Notes in Computer Science, Vol. 12233). 2020, 272-288. https://doi.org/10.1007/978-3-030-54997-8_18

Vancouver

Battle N, Thule C, Gomes C, Macedo HD, Larsen PG. Towards a Static Check of FMUs in VDM-SL. In Sekerinski E, Moreira N, Oliveira JN, Ratiu D, Guidotti R, Farrell M, Luckcuck M, Marmsoler D, Campos J, Astarte T, Gonnord L, Cerone A, Couto L, Dongol B, Kutrib M, Monteiro P, Delmas D, editors, Formal Methods: FM 2019 International Workshops. Cham: Springer. 2020. p. 272-288. (Lecture Notes in Computer Science, Vol. 12233). https://doi.org/10.1007/978-3-030-54997-8_18

Author

Battle, Nick ; Thule, Casper ; Gomes, Claudio ; Macedo, Hugo Daniel ; Larsen, Peter Gorm. / Towards a Static Check of FMUs in VDM-SL. Formal Methods: FM 2019 International Workshops. editor / Emil Sekerinski ; Nelma Moreira ; José N. Oliveira ; Daniel Ratiu ; Riccardo Guidotti ; Marie Farrell ; Matt Luckcuck ; Diego Marmsoler ; José Campos ; Troy Astarte ; Laure Gonnord ; Antonio Cerone ; Luis Couto ; Brijesh Dongol ; Martin Kutrib ; Pedro Monteiro ; David Delmas. Cham : Springer, 2020. pp. 272-288 (Lecture Notes in Computer Science, Vol. 12233).

Bibtex

@inproceedings{15b64e07009c4393967177e2c0a8672c,
title = "Towards a Static Check of FMUs in VDM-SL",
abstract = "In order to ensure that the co-simulation of Cyber-Physical Systems (CPSs) is possible with as wide a variety of tools as possible, a standard called the Functional Mockup Interface (FMI) has been defined. The FMI provides the means to compute the overall behaviour of a coupled system by the coordination and communication of simulators, each responsible for a part of the system. The contribution presented in this paper is an initial formal model of the FMI standard using the VDM Specification Language. Early results suggest that the FMI standard defines a number of FMU static constraints that are not enforced by many of the tools that are able to export such FMUs.",
author = "Nick Battle and Casper Thule and Claudio Gomes and Macedo, {Hugo Daniel} and Larsen, {Peter Gorm}",
year = "2020",
doi = "10.1007/978-3-030-54997-8_18",
language = "English",
isbn = "978-3-030-54996-1",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "272--288",
editor = "Emil Sekerinski and Nelma Moreira and Oliveira, {Jos{\'e} N.} and Daniel Ratiu and Riccardo Guidotti and Marie Farrell and Matt Luckcuck and Diego Marmsoler and Jos{\'e} Campos and Troy Astarte and Laure Gonnord and Antonio Cerone and Luis Couto and Brijesh Dongol and Martin Kutrib and Pedro Monteiro and David Delmas",
booktitle = "Formal Methods",
note = "null ; Conference date: 09-10-2019 Through 11-10-2019",

}

RIS

TY - GEN

T1 - Towards a Static Check of FMUs in VDM-SL

AU - Battle, Nick

AU - Thule, Casper

AU - Gomes, Claudio

AU - Macedo, Hugo Daniel

AU - Larsen, Peter Gorm

PY - 2020

Y1 - 2020

N2 - In order to ensure that the co-simulation of Cyber-Physical Systems (CPSs) is possible with as wide a variety of tools as possible, a standard called the Functional Mockup Interface (FMI) has been defined. The FMI provides the means to compute the overall behaviour of a coupled system by the coordination and communication of simulators, each responsible for a part of the system. The contribution presented in this paper is an initial formal model of the FMI standard using the VDM Specification Language. Early results suggest that the FMI standard defines a number of FMU static constraints that are not enforced by many of the tools that are able to export such FMUs.

AB - In order to ensure that the co-simulation of Cyber-Physical Systems (CPSs) is possible with as wide a variety of tools as possible, a standard called the Functional Mockup Interface (FMI) has been defined. The FMI provides the means to compute the overall behaviour of a coupled system by the coordination and communication of simulators, each responsible for a part of the system. The contribution presented in this paper is an initial formal model of the FMI standard using the VDM Specification Language. Early results suggest that the FMI standard defines a number of FMU static constraints that are not enforced by many of the tools that are able to export such FMUs.

UR - http://www.scopus.com/inward/record.url?scp=85089718967&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-54997-8_18

DO - 10.1007/978-3-030-54997-8_18

M3 - Article in proceedings

SN - 978-3-030-54996-1

T3 - Lecture Notes in Computer Science

SP - 272

EP - 288

BT - Formal Methods

A2 - Sekerinski, Emil

A2 - Moreira, Nelma

A2 - Oliveira, José N.

A2 - Ratiu, Daniel

A2 - Guidotti, Riccardo

A2 - Farrell, Marie

A2 - Luckcuck, Matt

A2 - Marmsoler, Diego

A2 - Campos, José

A2 - Astarte, Troy

A2 - Gonnord, Laure

A2 - Cerone, Antonio

A2 - Couto, Luis

A2 - Dongol, Brijesh

A2 - Kutrib, Martin

A2 - Monteiro, Pedro

A2 - Delmas, David

PB - Springer

CY - Cham

Y2 - 9 October 2019 through 11 October 2019

ER -