Formule

Requirements validation made easy | IP-Camp | 2024 - 2025
Formule
Formule is a revolutionary new approach to requirements validation. It offers a formal, yet human-readable language for defining requirements and their relationships and supporting tools for validating them. We used Rust to build the compiler, and Python to build the interactive shell, reporting tool. We also built an IDE using Eclipse Theia.

Tasks

  • Implemented the POC compiler using Java and ANTLR, then rewritten in Rust using Chumsky
  • Built a Visual Studio Code extensionthat later turned into a standalone IDE based on Eclipse Theia

Key achievements

  • Letter of interest from several potential customers in Automotive, Space and Industrial Automation
  • POC implements several use cases from automotive; Formule requirements are understood and written by analysts without coding experience