License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DARTS.8.2.25
URN: urn:nbn:de:0030-drops-162238
URL: https://drops.dagstuhl.de/opus/volltexte/2022/16223/
Go back to Dagstuhl Artifacts Series


Sarkar, Abhiroop ; Svensson, Bo Joel

Synchron - An API and Runtime for Embedded Systems (Artifact)

pdf-format:
DARTS-8-2-25.pdf (0.4 MB)
artifact-format:
DARTS-8-2-25-artifact-abe95282c41b33b10a394d0171bebcdd.zip (9,142 MB)

Evaluation Policy
The artifact has been evaluated as described in the ECOOP 2022 Call for Artifacts and the ACM Artifact Review and Badging Policy.


Abstract

Programming embedded applications involves writing concurrent, event-driven and timing-aware programs. Traditionally, such programs are written in machine-oriented programming languages like C or Assembly. We present an alternative by introducing Synchron, an API that offers high-level abstractions to the programmer while supporting the low-level infrastructure in an associated runtime system and one-time-effort drivers.
Embedded systems applications exhibit the general characteristics of being (i) concurrent, (ii) I/O-bound and (iii) timing-aware. To address each of these concerns, the Synchron API consists of three components - (1) a Concurrent ML (CML) inspired message-passing concurrency model, (2) a message-passing-based I/O interface that translates between low-level interrupt based and memory-mapped peripherals, and (3) a timing operator, syncT, that marries CML’s sync operator with timing windows inspired from the TinyTimber kernel.
We implement the Synchron API as the bytecode instructions of a virtual machine called SynchronVM. SynchronVM hosts a Caml-inspired functional language as its frontend language, and the backend of the VM supports the STM32F4 and NRF52 microcontrollers, with RAM in the order of hundreds of kilobytes. We illustrate the expressiveness of the Synchron API by showing examples of expressing state machines commonly found in embedded systems. The timing functionality is demonstrated through a music programming exercise. Finally, we provide benchmarks on the response time, jitter rates, memory, and power usage of the SynchronVM.

BibTeX - Entry

@Article{sarkar_et_al:DARTS.8.2.25,
  author =	{Sarkar, Abhiroop and Svensson, Bo Joel},
  title =	{{Synchron - An API and Runtime for Embedded Systems (Artifact)}},
  pages =	{25:1--25:2},
  journal =	{Dagstuhl Artifacts Series},
  ISSN =	{2509-8195},
  year =	{2022},
  volume =	{8},
  number =	{2},
  editor =	{Sarkar, Abhiroop and Svensson, Bo Joel},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2022/16223},
  URN =		{urn:nbn:de:0030-drops-162238},
  doi =		{10.4230/DARTS.8.2.25},
  annote =	{Keywords: real-time, concurrency, functional programming, runtime, virtual machine}
}

Keywords: real-time, concurrency, functional programming, runtime, virtual machine
Collection: DARTS, Volume 8, Issue 1, Special Issue of the 34th Euromicro Conference on Real-Time Systems (ECRTS 2022)
Issue Date: 2022
Date of publication: 23.06.2022


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI