Towards automatic program specification using SME models

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

Standard

Towards automatic program specification using SME models. / Thegler, Alberte; Larsen, Mads Ohm; Skovhede, Kenneth; Vinter, Brian.

Communicating Process Architectures 2017 and 2018, WoTUG-39 and WoTUG-40 - Proceedings of CPA 2017 (WoTUG-39) and Proceedings of CPA 2018 (WoTUG-40). red. / Jan Baekgaard Pedersen; Kevin Chalmers; Jan F. Broenink; Brian Vinter; Kevin Vella; Peter H. Welch; Marc L. Smith; Kenneth Skovhede. IMIA and IOS Press, 2019. s. 415-430 (Concurrent Systems Engineering Series, Bind 70).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

Harvard

Thegler, A, Larsen, MO, Skovhede, K & Vinter, B 2019, Towards automatic program specification using SME models. i JB Pedersen, K Chalmers, JF Broenink, B Vinter, K Vella, PH Welch, ML Smith & K Skovhede (red), Communicating Process Architectures 2017 and 2018, WoTUG-39 and WoTUG-40 - Proceedings of CPA 2017 (WoTUG-39) and Proceedings of CPA 2018 (WoTUG-40). IMIA and IOS Press, Concurrent Systems Engineering Series, bind 70, s. 415-430, 39th WoTUG Conference on Communicating Process Architectures, CPA 2017 and 40th WoTUG Conference on Communicating Process Architectures, CPA 2018, Dresden, Tyskland, 19/08/2018. https://doi.org/10.3233/978-1-61499-949-2-415

APA

Thegler, A., Larsen, M. O., Skovhede, K., & Vinter, B. (2019). Towards automatic program specification using SME models. I J. B. Pedersen, K. Chalmers, J. F. Broenink, B. Vinter, K. Vella, P. H. Welch, M. L. Smith, & K. Skovhede (red.), Communicating Process Architectures 2017 and 2018, WoTUG-39 and WoTUG-40 - Proceedings of CPA 2017 (WoTUG-39) and Proceedings of CPA 2018 (WoTUG-40) (s. 415-430). IMIA and IOS Press. Concurrent Systems Engineering Series Bind 70 https://doi.org/10.3233/978-1-61499-949-2-415

Vancouver

Thegler A, Larsen MO, Skovhede K, Vinter B. Towards automatic program specification using SME models. I Pedersen JB, Chalmers K, Broenink JF, Vinter B, Vella K, Welch PH, Smith ML, Skovhede K, red., Communicating Process Architectures 2017 and 2018, WoTUG-39 and WoTUG-40 - Proceedings of CPA 2017 (WoTUG-39) and Proceedings of CPA 2018 (WoTUG-40). IMIA and IOS Press. 2019. s. 415-430. (Concurrent Systems Engineering Series, Bind 70). https://doi.org/10.3233/978-1-61499-949-2-415

Author

Thegler, Alberte ; Larsen, Mads Ohm ; Skovhede, Kenneth ; Vinter, Brian. / Towards automatic program specification using SME models. Communicating Process Architectures 2017 and 2018, WoTUG-39 and WoTUG-40 - Proceedings of CPA 2017 (WoTUG-39) and Proceedings of CPA 2018 (WoTUG-40). red. / Jan Baekgaard Pedersen ; Kevin Chalmers ; Jan F. Broenink ; Brian Vinter ; Kevin Vella ; Peter H. Welch ; Marc L. Smith ; Kenneth Skovhede. IMIA and IOS Press, 2019. s. 415-430 (Concurrent Systems Engineering Series, Bind 70).

Bibtex

@inproceedings{f8e4254b61c7421382a6e3bc624a581f,
title = "Towards automatic program specification using SME models",
abstract = "This paper introduces a method to simplify hardware modeling and verification there of in order for software programmers to, more easily, meet the demands of the growing embedded device industry. We describe a simple method for transpiling from the new SME Implementation Language into CSPM and using formal verification to verify properties within the generated program. We present a small example consisting of a seven segment display clock network and introduce how to verify the widths of the channels in the network.",
keywords = "CSP, SME, Transpiling",
author = "Alberte Thegler and Larsen, {Mads Ohm} and Kenneth Skovhede and Brian Vinter",
year = "2019",
doi = "10.3233/978-1-61499-949-2-415",
language = "English",
series = "Concurrent Systems Engineering Series",
publisher = "IMIA and IOS Press",
pages = "415--430",
editor = "Pedersen, {Jan Baekgaard} and Kevin Chalmers and Broenink, {Jan F.} and Brian Vinter and Kevin Vella and Welch, {Peter H.} and Smith, {Marc L.} and Kenneth Skovhede",
booktitle = "Communicating Process Architectures 2017 and 2018, WoTUG-39 and WoTUG-40 - Proceedings of CPA 2017 (WoTUG-39) and Proceedings of CPA 2018 (WoTUG-40)",
note = "39th WoTUG Conference on Communicating Process Architectures, CPA 2017 and 40th WoTUG Conference on Communicating Process Architectures, CPA 2018 ; Conference date: 19-08-2018 Through 22-08-2018",

}

RIS

TY - GEN

T1 - Towards automatic program specification using SME models

AU - Thegler, Alberte

AU - Larsen, Mads Ohm

AU - Skovhede, Kenneth

AU - Vinter, Brian

PY - 2019

Y1 - 2019

N2 - This paper introduces a method to simplify hardware modeling and verification there of in order for software programmers to, more easily, meet the demands of the growing embedded device industry. We describe a simple method for transpiling from the new SME Implementation Language into CSPM and using formal verification to verify properties within the generated program. We present a small example consisting of a seven segment display clock network and introduce how to verify the widths of the channels in the network.

AB - This paper introduces a method to simplify hardware modeling and verification there of in order for software programmers to, more easily, meet the demands of the growing embedded device industry. We describe a simple method for transpiling from the new SME Implementation Language into CSPM and using formal verification to verify properties within the generated program. We present a small example consisting of a seven segment display clock network and introduce how to verify the widths of the channels in the network.

KW - CSP

KW - SME

KW - Transpiling

U2 - 10.3233/978-1-61499-949-2-415

DO - 10.3233/978-1-61499-949-2-415

M3 - Article in proceedings

AN - SCOPUS:85082392225

T3 - Concurrent Systems Engineering Series

SP - 415

EP - 430

BT - Communicating Process Architectures 2017 and 2018, WoTUG-39 and WoTUG-40 - Proceedings of CPA 2017 (WoTUG-39) and Proceedings of CPA 2018 (WoTUG-40)

A2 - Pedersen, Jan Baekgaard

A2 - Chalmers, Kevin

A2 - Broenink, Jan F.

A2 - Vinter, Brian

A2 - Vella, Kevin

A2 - Welch, Peter H.

A2 - Smith, Marc L.

A2 - Skovhede, Kenneth

PB - IMIA and IOS Press

T2 - 39th WoTUG Conference on Communicating Process Architectures, CPA 2017 and 40th WoTUG Conference on Communicating Process Architectures, CPA 2018

Y2 - 19 August 2018 through 22 August 2018

ER -

ID: 241090930