Networking in Safety-Critical Environments

Mixed-Criticality Network Architecture

Here we see a mixed-criticality PikeOS configuration, where multiple partitions of different safety levels coexist and share communication infrastructure.

Instead of using a non-certifiable stack like lwIP, this setup relies on SYSGO's Certifiable IP (CIP) — a minimal UDP/IP stack designed for safety projects.


CIP Key Features:

  • Fully compliant with RFC networking standards
  • Implemented as a PikeOS file provider
  • Available via POSIX and native PikeOS APIs
  • Includes a standard socket interface
  • Suitable for guest operating systems like POSIX or PikeOS Native

This configuration allows deterministic, partitioned network access with minimal code size — essential for certification in environments like Avionics or Industrial Automation.

Black Channel Communication

This PikeOS software architecture illustrates the black-channel communication model, where data integrity and timing are verified entirely at the endpoints, regardless of the Safety level of the transmission medium.

Black-channel networking is commonly used in:

  • Industrial systems (e.g., hyper-automation with robotics, vision, and learning systems)
  • Railway systems, where SIL-level separation is required

In this setup:

  • A non-critical Linux partition provides the full TCP/IP stack
  • Endpoints implement a safety protocol to verify the correctness and timeliness of received data
  • If validity or timing constraints are violated, the system transitions to a safe state
Railway & Transportation

Product Note: SAFe-VX

SYSGO offers the SAFe-VX Development Platform, a pre-certified solution for Railway use cases based on the EN 50129 1002d black channel architecture with dual-channel communication and voting logic.

SAFe-VX Product Page

ARINC 664 / AFDX® in Avionics


Standard Ethernet, while fast and high-bandwidth, lacks determinism and redundancy required in Avionics systems.

To address this, the ARINC 664 Part 7 (AFDX®) standard defines a real-time, deterministic Ethernet-based network with:

  • Redundant cabling
  • Deterministic switching
  • Fault-tolerant endpoints

While most implementations rely on dedicated FPGA hardware, SYSGO provides a software-based ARINC 664 stack that:

  • Runs on standard COTS hardware
  • Is fully compliant with Airbus AFDX® networks
  • Can be deployed within PikeOS partitions

SYSGO’s AFDX®-compliant Software Stack

AFDX® is a registered trademark of Airbus.

Need more Information?

Tell us about your project and your needs.
 

Contact us