Verify complex systems automatically
Specify the expected system behaviour in Formule, a simple, human readable, formal language, and use our lightning fast data processing backend to verify the system functions automatically.
Use cases
Integration testing
Verify vehicle, aricraft, spacecraft functions automatically at the final integration testing stage.
Simulation
Verify your system early using Formule connected to simulator/emulator architectures.
SiL, HiL Systems
Formule can verify system components automatically by processing data output of SiL or HiL systems.
Missions
Verify your mission by processing telemetry and mission data automatically.
Hardware measurement automation
Verify your system by processing the output of lab equipment, such as scopes, analysers, artificial loads, solar panel emulators.
Service verification
Formule can process logs and time series data to verify integration of service oriented architectures automatically.
Event based data collection
Formule can collect, cut, and filter data based on trigger conditions, useful for reducing bandwidth needs.
On-board computers
Formule can be deployed to embedded devices to configre system behaviour on the fly.
Features
Simple, flexible, and fast
Formule blends in existing tool landscapes, you don't need to replace anything
Performance
Efficient implementation in Rust.
Interoperability
Python and Lua scripting API
Integration
MQTT, Message Queues, binary trace file processing, time series data processing, text based log file processing.
Traceability
Requirement IDs as annotations in Formule scripts, Formule can mark all failing requirements, hinting for the root cause.
Get in touch!
If you have any questions, please submit your email address, we will get back to you.