Synchron - An API and Runtime for Embedded Systems

@article{Sarkar2022SynchronA,
  title={Synchron - An API and Runtime for Embedded Systems},
  author={Abhiroop Sarkar and Bo Joel Svensson and Mary Sheeran},
  journal={Dagstuhl Artifacts Ser.},
  year={2022},
  volume={8},
  pages={25:1-25:2}
}
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… 

References

SHOWING 1-10 OF 43 REFERENCES
A Generic Virtual Machine Approach for Programming Microcontrollers: the OMicroB Project
TLDR
It is argued that such an approach can lead to safer programs, both by using a high level programming language and by being able to use software tools dedicated to code analysis thanks to code factorization.
Higher-order concurrency for microcontrollers
TLDR
SenseVM is introduced - a bytecode-interpreted virtual machine that provides a message passing based higher-order concurrency model, originally introduced by Reppy, for microcontroller programming, thereby making microcontroller programs safer, composable and easier-to-maintain.
HipHop.js: (A)Synchronous reactive web programming
TLDR
This work presents HipHop.js, a synchronous reactive language that adds synchronous concurrency and preemption to JavaScript that simplifies the programming of non-trivial temporal behaviors as found in complex web interfaces or IoT controllers and the cooperation between synchronous and asynchronous activities.
RTMLton: An SML Runtime for Real-Time Systems
TLDR
This paper focuses primarily on the language runtime, re-working the threading subsystem and garbage collector, and provides preliminary results over a radar-based aircraft collision detector ported to SML.
A Comprehensive Review of Wireless Sensor Networks Based Air Pollution Monitoring Systems
  • R. GraceS. Manju
  • Environmental Science, Computer Science
    Wirel. Pers. Commun.
  • 2019
TLDR
These pollution monitoring systems are compared based on the methodologies followed, microcontroller used, communication device used, pollutants analyzed using sensors, evaluation attributes, tested location and performance of the system.
Programming with the TinyTimber kernel
This document describes the C programming interface to TinyTimber, a very small and lightweight run-time kernel for event-driven embedded systems.
A semi‐incremental garbage collection algorithm
TLDR
A semi‐incremental algorithm that reduces the delays and is, moreover more efficient than the mark‐scan algorithm from which it is derived, and was used as part of a Lisp implementation on an LSI‐11/03 and found to behave well.
A Low-Cost Model Vehicle Testbed with Accurate Positioning for Autonomous Driving
TLDR
A low-cost testbed consisting of electronics and software that can be fitted on model vehicles allowing them to follow trajectories autonomously with a position accuracy of around 3 cm outdoors is created.
...
...