ESWEEK

This interactive tutorial describes state-of-the-art methods for formally verifying neural networks and their usage within safety-critical cyber-physical systems (CPS). The inclusion of deep learning models in safety-critical applications requires to ...

The order in which compiler optimization passes are applied has a significant impact on program performance. However, widely used compiler optimization options use handpicked sets of optimization passes, optimized for specific benchmarks. In this paper, ...

This paper presents a programming language for the design and implementation of reactive embedded applications. The language is compiled to hardware descriptions for reconfiguring Field-Programmable Gate Arrays (FPGAs) using logic synthesis toolchains. ...

Rendering redundancy consumes a lot of computing resources in mobile devices. Eliminating redundancy can effectively improve system energy efficiency. However, as the premise of redundancy elimination, the existing redundancy identification methods ...

Multicore processor architectures facilitate the integration of applications with different real-time and security requirements. We propose a mixed-criticality system relying on hardware-assisted virtualization that not only shares CPU and memory ...

While the mixed-criticality (MC) approach is naturally suited for multi-processor (or multi-core) systems, scheduling MC tasks on these platforms is much more complex than in the non-MC case. Here, we improve one of the few approaches that explicitly ...

Unishyper is a reliable Rust-based unikernel with good performance for embedded scenarios. It relies on Rust Features to enable customization at fine granularity. To achieve high reliability, Unishyper makes full use of the Rust language features to ...

The resource constraints of MCU-based platforms limits their ability to utilize high-performance accelerators such as GPUs or servers, mainly due to insufficient resources for ML applications. Currently, solutions utilizing accelerators connected as ...

Complex edge systems are often structured with service-oriented architectures. Different communications stacks such as MQTT, DDS, or Zenoh are used, hindering reuse of service implementations across systems. One emerging solution for deploying such ...