Concurrent event-driven programming in occam-π for the Arduino

Christian Lyder Jacobsen; Matthew C. Jadud; Omer Kilic; Adam T. Sampson

Concurrent event-driven programming in occam-π for the Arduino

Christian Lyder Jacobsen, Matthew C. Jadud, Omer Kilic, Adam T. Sampson

Datalogisk Institut

1 Citationer (Scopus)

Abstract

The success of the Arduino platform has made embedded programming widely accessible. The Arduino has seen many uses, for example in rapid prototyping, hobby projects, and in art installations. Arduino users are often not experienced embedded programmers however, and writing correct software for embedded devices can be challenging. This is especially true if the software needs to use interrupts in order to interface with attached devices. Insight and careful discipline are required to avoid introducing race hazards when using interrupt routines. Instead of programming the Arduino in C or C++ as is the custom, we propose using occam-π as a language as that can help the user manage the concurrency introduced when using interrupts and help in the creation of modular, well-designed programs. This paper will introduce the Arduino, the software that enables us to run occam-π on it, and a case study of an environmental sensor used in an Environmental Science course.

Originalsprog	Engelsk
Titel	Communicating Process Architectures 2011 : Proceedings of the 33rd WoTUG Technical Meeting, 19–22 June 2011, University of Limerick, Ireland
Redaktører	Peter H. Welch, Adam T. Sampson, Jan B. Pedersen, Jon Kerridge, Jan F. Broenink, Frederick R. M. Barnes
Antal sider	17
Forlag	IOS Press
Publikationsdato	2011
Sider	177-193
ISBN (Trykt)	978-1-60750-773-4
ISBN (Elektronisk)	978-1-60750-774-1
Status	Udgivet - 2011
Begivenhed	33rd WoTUG Conference on Concurrent and Parallel Programming: communicating process architectures 2011 - University of Limerick, Limerick, Irland Varighed: 19 jun. 2011 → 22 jun. 2011 Konferencens nummer: 33

Konference

Konference	33rd WoTUG Conference on Concurrent and Parallel Programming
Nummer	33
Lokation	University of Limerick
Land/Område	Irland
By	Limerick
Periode	19/06/2011 → 22/06/2011

Navn	Concurrent Systems Engineering Series
Vol/bind	68
ISSN	1383-7575

Adgang til dokumentet

Citationsformater

Jacobsen, C. L., Jadud, M. C., Kilic, O., & Sampson, A. T. (2011). Concurrent event-driven programming in occam-π for the Arduino. I P. H. Welch, A. T. Sampson, J. B. Pedersen, J. Kerridge, J. F. Broenink, & F. R. M. Barnes (red.), Communicating Process Architectures 2011: Proceedings of the 33rd WoTUG Technical Meeting, 19–22 June 2011, University of Limerick, Ireland (s. 177-193). IOS Press. Concurrent Systems Engineering Series Bind 68 http://www.wotug.org/papers/CPA-2011/Jacobsen11/Jacobsen11.pdf

Concurrent event-driven programming in occam-π for the Arduino. / Jacobsen, Christian Lyder; Jadud, Matthew C.; Kilic, Omer et al.

Communicating Process Architectures 2011: Proceedings of the 33rd WoTUG Technical Meeting, 19–22 June 2011, University of Limerick, Ireland. red. / Peter H. Welch; Adam T. Sampson; Jan B. Pedersen; Jon Kerridge; Jan F. Broenink; Frederick R. M. Barnes. IOS Press, 2011. s. 177-193 (Concurrent Systems Engineering Series, Bind 68).

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

Jacobsen, CL, Jadud, MC, Kilic, O & Sampson, AT 2011, Concurrent event-driven programming in occam-π for the Arduino. i PH Welch, AT Sampson, JB Pedersen, J Kerridge, JF Broenink & FRM Barnes (red), Communicating Process Architectures 2011: Proceedings of the 33rd WoTUG Technical Meeting, 19–22 June 2011, University of Limerick, Ireland. IOS Press, Concurrent Systems Engineering Series, bind 68, s. 177-193, 33rd WoTUG Conference on Concurrent and Parallel Programming, Limerick, Irland, 19/06/2011. <http://www.wotug.org/papers/CPA-2011/Jacobsen11/Jacobsen11.pdf>

Jacobsen CL, Jadud MC, Kilic O, Sampson AT. Concurrent event-driven programming in occam-π for the Arduino. I Welch PH, Sampson AT, Pedersen JB, Kerridge J, Broenink JF, Barnes FRM, red., Communicating Process Architectures 2011: Proceedings of the 33rd WoTUG Technical Meeting, 19–22 June 2011, University of Limerick, Ireland. IOS Press. 2011. s. 177-193. (Concurrent Systems Engineering Series, Bind 68).

Jacobsen, Christian Lyder ; Jadud, Matthew C. ; Kilic, Omer et al. / Concurrent event-driven programming in occam-π for the Arduino. Communicating Process Architectures 2011: Proceedings of the 33rd WoTUG Technical Meeting, 19–22 June 2011, University of Limerick, Ireland. red. / Peter H. Welch ; Adam T. Sampson ; Jan B. Pedersen ; Jon Kerridge ; Jan F. Broenink ; Frederick R. M. Barnes. IOS Press, 2011. s. 177-193 (Concurrent Systems Engineering Series, Bind 68).

@inproceedings{0b6753ee3cd440bebd805b3c18e37098,

title = "Concurrent event-driven programming in occam-π for the Arduino",

abstract = "The success of the Arduino platform has made embedded programming widely accessible. The Arduino has seen many uses, for example in rapid prototyping, hobby projects, and in art installations. Arduino users are often not experienced embedded programmers however, and writing correct software for embedded devices can be challenging. This is especially true if the software needs to use interrupts in order to interface with attached devices. Insight and careful discipline are required to avoid introducing race hazards when using interrupt routines. Instead of programming the Arduino in C or C++ as is the custom, we propose using occam-π as a language as that can help the user manage the concurrency introduced when using interrupts and help in the creation of modular, well-designed programs. This paper will introduce the Arduino, the software that enables us to run occam-π on it, and a case study of an environmental sensor used in an Environmental Science course.",

author = "Jacobsen, {Christian Lyder} and Jadud, {Matthew C.} and Omer Kilic and Sampson, {Adam T.}",

year = "2011",

language = "English",

isbn = "978-1-60750-773-4",

series = "Concurrent Systems Engineering Series",

publisher = "IOS Press",

pages = "177--193",

editor = "Welch, {Peter H. } and Sampson, {Adam T. } and Pedersen, {Jan B. } and Kerridge, {Jon } and Broenink, {Jan F. } and Barnes, {Frederick R. M. }",

booktitle = "Communicating Process Architectures 2011",

address = "United States",

note = "33rd WoTUG Conference on Concurrent and Parallel Programming : communicating process architectures 2011, WoTUG-33 ; Conference date: 19-06-2011 Through 22-06-2011",

}

TY - GEN

T1 - Concurrent event-driven programming in occam-π for the Arduino

AU - Jacobsen, Christian Lyder

AU - Jadud, Matthew C.

AU - Kilic, Omer

AU - Sampson, Adam T.

N1 - Conference code: 33

PY - 2011

Y1 - 2011

N2 - The success of the Arduino platform has made embedded programming widely accessible. The Arduino has seen many uses, for example in rapid prototyping, hobby projects, and in art installations. Arduino users are often not experienced embedded programmers however, and writing correct software for embedded devices can be challenging. This is especially true if the software needs to use interrupts in order to interface with attached devices. Insight and careful discipline are required to avoid introducing race hazards when using interrupt routines. Instead of programming the Arduino in C or C++ as is the custom, we propose using occam-π as a language as that can help the user manage the concurrency introduced when using interrupts and help in the creation of modular, well-designed programs. This paper will introduce the Arduino, the software that enables us to run occam-π on it, and a case study of an environmental sensor used in an Environmental Science course.

AB - The success of the Arduino platform has made embedded programming widely accessible. The Arduino has seen many uses, for example in rapid prototyping, hobby projects, and in art installations. Arduino users are often not experienced embedded programmers however, and writing correct software for embedded devices can be challenging. This is especially true if the software needs to use interrupts in order to interface with attached devices. Insight and careful discipline are required to avoid introducing race hazards when using interrupt routines. Instead of programming the Arduino in C or C++ as is the custom, we propose using occam-π as a language as that can help the user manage the concurrency introduced when using interrupts and help in the creation of modular, well-designed programs. This paper will introduce the Arduino, the software that enables us to run occam-π on it, and a case study of an environmental sensor used in an Environmental Science course.

M3 - Article in proceedings

SN - 978-1-60750-773-4

T3 - Concurrent Systems Engineering Series

SP - 177

EP - 193

BT - Communicating Process Architectures 2011

A2 - Welch, Peter H.

A2 - Sampson, Adam T.

A2 - Pedersen, Jan B.

A2 - Kerridge, Jon

A2 - Broenink, Jan F.

A2 - Barnes, Frederick R. M.

PB - IOS Press

T2 - 33rd WoTUG Conference on Concurrent and Parallel Programming

Y2 - 19 June 2011 through 22 June 2011

ER -

Concurrent event-driven programming in occam-π for the Arduino

Abstract

Konference

Adgang til dokumentet

Fingeraftryk

Citationsformater