Embedded World Conference 2026: Fuzion – A Language Designed for Safety-Critical Embedded Systems
Abstract
The field of programming languages is moving, there is a clear move to more abstract, functional languages and a focus on safety with languages like Rust becoming more popular. Even though functional languages with a higher level of abstraction and inherent safety have clear advantages, they only play a niche role in safety critical applications.
The Fuzion Language
Fuzion is a new functional and object-oriented language targeting safety-critical applications in embedded systems. It is built on the universal concept of a Fuzion feature, a generalization of a pure function and a class. Effect handlers are used to model non-functional aspects like mutable state or I/O. The principle of Design-by-Contract with pre- and post-conditions is used to formally document the requirements and guarantees of features in a way accessible to static analysis and runtime checks.
Static Analysis for Safety
The Fuzion tool-chain uses a staged compilation phases build around a simple intermediate representation that facilitates static analysis. This talk will explain how safety aspects like the absence of runtime errors or software supply-chain attacks can be verified automatically.
Within the European project GreenCode (greencode.ai), Fuzion is used to analyze and reduce resource usage (CPU time, energy, etc.), which will also permit to control real-time behavior required in many safety-critical applications.
Fuzion is available as open source at fuzion-lang.dev.
Fridtjof Siebert, 2026-03-10.
Hosting event: Embedded World Conference 2026.