Creating a Language for Writing Real-Time Applications for the Internet of Things

被引：2

作者：

Krook, Robert ^{[1
]}

Hui, John ^{[2
]}

Svensson, Bo Joel ^{[1
]}

Edwards, Stephen A. ^{[2
]}

Claessen, Koen ^{[1
]}

机构：

[1] Chalmers Univ Technol, Gothenburg, Sweden

[2] Columbia Univ, New York, NY USA

来源：

2022 20TH ACM-IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN (MEMOCODE) | 2022年

基金：

瑞典研究理事会; 美国国家卫生研究院;

关键词：

Real-time; IoT; Compilers; Embedded Domain Specific Languages; GENERATION;

D O I：

10.1109/MEMOCODE57689.2022.9954383

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

We describe the development of a new programming language Scoria and its compiler. Scoria is a high-level reactive real-time language based on the sparse synchronous model (SSM), designed to produce time- and power-efficient low-level C code that can run on small IoT devices. While the compiler is not yet in a state where it is meaningful to measure power usage, we carefully profile the timing behaviour and identify bottlenecks that can improve performance. The language and compiler are implemented as an Embedded Domain-Specific Language (EDSL) on top of Haskell.

引用

页数：20

共 25 条

[11] Dunkels A., 2006, SENSYS 06, P29, DOI 10.1145/1182807.1182811
[12] The Sparse Synchronous Model
Edwards, Stephen A.
Hui, John
[J]. PROCEEDINGS OF THE 2020 FORUM FOR SPECIFICATION AND DESIGN LANGUAGES (FDL), 2020,
[13] Type classes in Haskell
Hall, CV
Hammond, K
Jones, SLP
Wadler, PL
[J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1996, 18 (02): : 109 - 138
[14] Hudak Paul, 1996, ACM Comput. Surv., V28, P196, DOI [DOI 10.1145/242224.242477, 10.1145/242224.242477]
[15] Toward a Lingua Franca for Deterministic Concurrent Systems
Lohstroh, Marten
Menard, Christian
Bateni, Soroush
Lee, Edward A.
[J]. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2021, 20 (04)
[16] McDonell TL, 2022, Arxiv, DOI arXiv:2108.13114
[17] Nilsson R., 2014, ScalaCheck: The Definitive Guide
[18] RandIR: Differential Testing for Embedded Compilers
Ofenbeck, Georg
Rompf, Tiark
Pueschel, Markus
[J]. SCALA'16: PROCEEDINGS OF THE 2016 7TH ACM SIGPLAN SYMPOSIUM ON SCALA, 2016, : 21 - 30
[19] Palka Michal H, 2011, P 6 INT WORKSH AUT S, P91, DOI [DOI 10.1145/1982595.1982615, 10.1145/1982595.1982615]
[20] Pike L, 2010, LECT NOTES COMPUT SC, V6418, P345, DOI 10.1007/978-3-642-16612-9_26

← 1 2 3 →