Embedded Network Stacks (ENS) enable low-resource devices to communicate with the
outside world, facilitating the development of Internet of Things and Cyber-Physical Systems …

We use Iris, an implementation of concurrent separation logic in the Coq proof assistant, to
verify two queue data structures used for inter-process communication in an operating …

This letter proposes ChamelIoT, an agnostic operating system (OS) framework for
reconfigurable Internet of Things (IoT) devices. ChamelIoT is bringing a reconfigurable …

An OS microkernel can be extended by implementing services upon it. A service could
introduce an object that references a kernel object, and implement a group of functions that …

ARA is an RTOS-aware whole-system compiler for embedded applications that takes RTOS
semantics into account for interprocedural analysis and optimization. To be applicable for a …

To ensure a safe and economically valuable operation of a battery system over the whole
lifetime, a battery management system is used for measuring and monitoring battery …

FreeRTOS is a real-time operating system with configurable scheduling policies. Its
portability and configurability make FreeRTOS one of the most popular real-time operating …

The aim of this thesis is the verification of task schedulers for operating systems through
static analysis based on abstract interpretation. Operating systems are collections of …

FreeRTOS is a real-time kernel with configurable scheduling policies. It is one of the most
popular real-time kernel for embedded deviced due to its portability and configurability. We …