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). ed. / 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. p. 415-430 (Concurrent Systems Engineering Series, Vol. 70).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Thegler, A, Larsen, MO, Skovhede, K & Vinter, B 2019,
Towards automatic program specification using SME models. in JB Pedersen, K Chalmers, JF Broenink, B Vinter, K Vella, PH Welch, ML Smith & K Skovhede (eds),
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, vol. 70, pp. 415-430, 39th WoTUG Conference on Communicating Process Architectures, CPA 2017 and 40th WoTUG Conference on Communicating Process Architectures, CPA 2018, Dresden, Germany,
19/08/2018.
https://doi.org/10.3233/978-1-61499-949-2-415APA
Thegler, A., Larsen, M. O., Skovhede, K., & Vinter, B. (2019).
Towards automatic program specification using SME models. In J. B. Pedersen, K. Chalmers, J. F. Broenink, B. Vinter, K. Vella, P. H. Welch, M. L. Smith, & K. Skovhede (Eds.),
Communicating Process Architectures 2017 and 2018, WoTUG-39 and WoTUG-40 - Proceedings of CPA 2017 (WoTUG-39) and Proceedings of CPA 2018 (WoTUG-40) (pp. 415-430). IMIA and IOS Press. Concurrent Systems Engineering Series Vol. 70
https://doi.org/10.3233/978-1-61499-949-2-415Vancouver
Thegler A, Larsen MO, Skovhede K, Vinter B.
Towards automatic program specification using SME models. In Pedersen JB, Chalmers K, Broenink JF, Vinter B, Vella K, Welch PH, Smith ML, Skovhede K, editors, 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. p. 415-430. (Concurrent Systems Engineering Series, Vol. 70).
https://doi.org/10.3233/978-1-61499-949-2-415Author
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). editor / 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. pp. 415-430 (Concurrent Systems Engineering Series, Vol. 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 -
