+
Skip to content

ELASTIC: Efficient, portabLe And Secure orchesTration for reliable servICes

image


Projects

Cyber-physical WebAssembly System Interfaces (WASI) Hardware Abstraction Layer (HAL)

A standardized set of interfaces to connect WebAssembly applications to hardware on IoT and edge devises using hardware protocols such as USB and I2C. This also allows building device drivers as WebAssembly components.

Partner: Imec


Propeller Orchestrator

Propeller is a lightweight orchestration platform developed by Abstract Machines in the context of the ELASTIC project. It enables secure, event-driven deployment and execution of WebAssembly (Wasm) workloads across heterogeneous cloud, edge, and IoT environments — including microcontrollers running RTOS.

Key features include:

  • Fast, low-overhead orchestration of serverless (FaaS) workloads
  • Support for resource-constrained devices (e.g. ESP32, Zephyr RTOS)
  • Secure multi-protocol messaging via the built-in SuperMQ
  • OCI-compliant Wasm artefact handling
  • No dependency on Kubernetes or heavyweight control planes

Propeller is used in both ELASTIC Demonstrator 1 (6G IoT data fabric services) and Demonstrator 2 (secure workload migration across trust boundaries).

Partner: Abstract Machines


Wasm Operator

Wasm Operator is a platform to run Kubernetes Operators as Wasm components that only wake up when there are changes to be processed. This reduces their memory footprint and enhances efficiency for edge orchestration.

Partner: Imec


TEEHAL

TEE Hardware Abstraction Layer providing a portable, secure foundation for executing trusted workloads across heterogeneous platforms. TEEHAL enables unified management and interoperability of Trusted Execution Environments (TEEs) such as AMD SEV and Intel TDX, supporting confidential computing scenarios validated within ELASTIC.

Partner: LUND University


NETTO

NETTO is an eBPF-powered network monitoring tool for Linux that focuses on measuring the CPU utilization of the key kernel tasks responsible for running the network stack. Thanks to a lightweight profiling-centric design, NETTO can provide a detailed breakdown of the low-level kernel runtime operations with minimal and configurable system overhead. NETTO is an essential tool for system administrators that wish to understand their servers’ CPU time allocation, and optimize the networking configuration around it.

Partner: Politecnico di Torino


Pretty Verifier – Static eBPF Code Security Analyzer

Pretty Verifier is a static analysis tool for eBPF C code, developed to detect and explain security issues that would cause verifier rejections in the Linux kernel. It provides early error reporting, clear diagnostic messages, and fix suggestions, based on combined analysis of the C source, compiled object code, and verifier logs. Developed within the ELASTIC project (Task 1.3), the tool helps developers write eBPF programs that comply with verifier constraints and security requirements.

Partner: Politecnico di Torino


Partners

           

              

      

Funding information

ELASTIC project has received funding from the Smart Networks and Services Joint Undertaking (SNS JU) under the European Union’s Horizon Europe research and innovation programme under Grant Agreement No 101139067. Views and opinions expressed are however those of the authors only and do not necessarily reflect those of the European Union. Neither the European Union nor the granting authority can be held responsible for them.

Popular repositories Loading

  1. .github .github Public

  2. wasmhal wasmhal Public

    Rust 1

Repositories

Showing 2 of 2 repositories

Top languages

Loading…

Most used topics

Loading…

点击 这是indexloc提供的php浏览器服务,不要输入任何密码和下载