Formalising the Dezyne modelling language in mCRL2

R. van Beusekom, J.F. Groote, P. Hoogendijk, R. Howe, W. Wesselink, R. Wieringa, T.A.C. Willemse

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

6 Citaten (Scopus)

Samenvatting

Dezyne is an industrial language with an associated set of tools, allowing users to model interface behaviours and implementations of reactive components and generate executable code from these. The tool and language succeed the successful ASD:Suite tool set, which, in addition to modelling reactive components, offers a set of verification capabilities allowing users to check the conformance of implementations to their interfaces. In this paper, we describe the Dezyne language and a model transformation to the mCRL2 language, providing users access to advanced model checking capabilities and refinement checks of the mCRL2 tool set.

Originele taal-2Engels
TitelCritical Systems: Formal Methods and Automated Verification
Subtitel Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings
RedacteurenL. Petrucci, C. Seceleanu, A. Cavalcanti
Plaats van productieDordrecht
UitgeverijSpringer
Pagina's217-233
Aantal pagina's17
ISBN van elektronische versie978-3-319-67113-0
ISBN van geprinte versie978-3-319-67112-3
DOI's
StatusGepubliceerd - 2017
Evenement22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017 - Turin, Italië
Duur: 18 sep 201720 sep 2017

Publicatie series

NaamLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10471 LNCS
ISSN van geprinte versie0302-9743
ISSN van elektronische versie1611-3349

Congres

Congres22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017
LandItalië
StadTurin
Periode18/09/1720/09/17

Vingerafdruk Duik in de onderzoeksthema's van 'Formalising the Dezyne modelling language in mCRL2'. Samen vormen ze een unieke vingerafdruk.

  • Prijzen

    Best Paper award

    Groote, Jan Friso (Ontvanger), Wesselink, Wieger (Ontvanger) & Willemse, Tim A.C. (Ontvanger), 20 sep 2017

    Prijs: AndersWerk, activiteit of publicatie gerelateerde prijzen (lifetime, best paper, poster etc.)Wetenschappelijk

  • Citeer dit

    van Beusekom, R., Groote, J. F., Hoogendijk, P., Howe, R., Wesselink, W., Wieringa, R., & Willemse, T. A. C. (2017). Formalising the Dezyne modelling language in mCRL2. In L. Petrucci, C. Seceleanu, & A. Cavalcanti (editors), Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings (blz. 217-233). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10471 LNCS). Springer. https://doi.org/10.1007/978-3-319-67113-0_14