Funk

Funk is an effort to develop free and open-source tooling for functionally safe, hard-real-time systems. Safety-critical systems are increasingly common in the modern world: robots in factories, computerised medical devices, smart railways, and on-board processing in spacecraft all rely on computers and communications networks in applications where missing a hard deadline can end in property damage, severe injury, or loss of life. As the complexity of these systems grows, traditional manual or directed methods of testing will require more and more effort to prevent a design from diverging from its specification. The aim of Funk is to develop a compiler for a language with first-class timing concerns and where the targets are deterministic processors, allowing hard-real-time guarantees to be made at compile time by automated analysis, and to carry out this development to European Cooperation for Space Standardization (ECSS) assurance standards, building on previous work done for ESA’s Comet Interceptor mission.