Creating a Language for Writing Real-Time Applications for the Internet of Things
Paper in proceeding, 2022
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.
Embedded Domain-Specific Languages
Compilers
IoT
Real-time
Author
Robert Krook
Chalmers, Computer Science and Engineering (Chalmers), Functional Programming
John Hui
Columbia University
Joel Svensson
Chalmers, Computer Science and Engineering (Chalmers), Functional Programming
Stephen A. Edwards
Columbia University
Koen Claessen
Chalmers, Computer Science and Engineering (Chalmers), Functional Programming
2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2022
9798350331905 (ISBN)
20th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2022
Shanghai, China,
Shanghai, China,
Octopi: Säker Programering för Sakernas Internet
Swedish Foundation for Strategic Research (SSF) (RIT17-0023), 2018-03-01 -- 2023-02-28.
Systematic testing of cyber-physical systems (SyTeC)
Swedish Research Council (VR) (2016-06204), 2017-01-01 -- 2022-12-31.
Subject Categories
Embedded Systems
Computer Science
Computer Systems
DOI
10.1109/MEMOCODE57689.2022.9954383