HORAE

Profiler Studio

Runtime profiling for embedded ARM and RISC-V

Download
Learn more
Profiler Studio dark interface with simulated Cortex-M4 telemetry Website-only light-style mockup of Profiler Studio; the desktop app currently supports dark theme only
Sub-microsecond function latency • Zero probe overhead
Explore All Capabilities →

Profiler Studio v1.0 available now • Production timing verification for ARM Cortex-M and RISC-V. Light-style website mockup; Profiler Studio itself currently uses dark theme only.

Horae Products

Profiler Studio is available now; WCET Studio and Tracer Studio are opening for early access registration.

Available Now
01 / RUNTIME OBSERVABILITY

Profiler Studio

Cycle-accurate in-vivo function profiling and latency distribution analysis. Automatically subtracts probe perturbation with two-pass self-calibration (Ω1, Ω2).

  • ✓ O(1) Knuth golden-ratio hashing
  • ✓ Welford jitter variance & log2 histograms
  • ✓ Zero dropped calls at 1 MHz call rates
  • ✓ DWARF symbol demangling & call trees
Download Desktop IDE (v1.0)
Coming Soon
02 / FORMAL STATIC ANALYSIS

WCET Studio

Static Worst-Case Execution Time analysis based on a formal mathematical ILP engine. Proves hard timing bounds and certifies task deadlines without hardware execution.

  • • DO-178C TQL-5, ISO 26262 ASIL-D & IEC 61508 SIL-3 target
  • • Basic block control flow graph (CFG)
  • • Integer linear programming (ILP) bounding
  • • Static vs. empirical headroom overlays
Coming Soon
03 / CONTINUOUS STREAMING

Tracer Studio

High-speed 60 FPS hardware telemetry stream recorder. Visualizes RTOS task scheduling, context switch latencies, mutex contention, and nested interrupt preemption slicing.

  • • 8-byte lock-free PROF-STREAM tokens
  • • Context switch & ISR preemption markers
  • • Tickless idle & mutex wait tracking
  • • Perfetto & Speedscope export support
Functional Safety & Qualification

Ready for DO-178C, ISO 26262, and IEC 61508.

Horae delivers a complete Tool Qualification Kit (TQK): operational requirements (TOR-001..TOR-020), bidirectional traceability matrices, and 100% MC/DC verification data.

Air-Gapped Ed25519
Offline node-locked licensing. Zero cloud phone-home requirement for defense, avionics, and medical labs.
CycloneDX 1.5 SBOM
Every release bundle is signed and accompanied by an automated Software Bill of Materials.
Clean C99 Core
Zero third-party GPL/LGPL dependencies. Eliminates copyleft legal risk in proprietary firmware.

Transparent Licensing & Tiers

Predictable pricing for every stage of flight.

Profiler Studio is available now. Subscribers gain immediate access today and automatically unlock WCET Studio and Tracer Studio upon release.

Community EVALUATION ONLY
$0 / forever (MIT)

Freestanding C99 probe and offline trace inspection. Restricted to non-commercial lab evaluation.

✓ Full C99 probe source (profiler.c/h)
✓ Offline .bin trace viewer & synthetic demo
✓ Python CLI parser & terminal prof-top
× Live Target Acquisition (UART / SEGGER RTT)
× DWARF Symbol Demangling & Source Lines
× Non-commercial evaluation only; no warranty
Download Community Edition
Most Popular For Teams
Professional ACTIVE LAB
$39 / seat / mo (billed annually)

Live Profiler Studio desktop acquisition today, SLA timing budget monitors, plus Tracer Studio beta on release.

✓ Everything in Community
✓ Profiler Studio Live UART & SEGGER RTT
✓ Tracer Studio Beta (On Release)
✓ DWARF Source-Line Demangling
✓ SLA Timing Budget & Deadline Monitors
× DO-178C / ISO 26262 / IEC 61508 TQK Package
Checkout in Customer Portal →
30-Day Evaluation Available
Enterprise & Safety MISSION CRITICAL
$4,900 / floating seat / yr

Turnkey safety qualification, air-gapped node-locked licensing, and high-throughput multi-core analysis.

✓ Everything in Professional
✓ DO-178C TQL-5 / ISO 26262 / IEC 61508 TQK Package
✓ Air-Gapped Ed25519 Node-Locking (Zero Phone-Home)
✓ Multi-Core SMP Synchronization & ITM Streaming
✓ In-Vivo WCET Static Bounds Overlay
✓ 14 Prebuilt Stripped Target Libraries
✓ Commercial IP Indemnification & Priority SLA
Portal • Net-30 →
Air-Gapped & Offline By Design
Cryptographic Ed25519 node-locking requires zero internet connection or telemetry phone-home. Complies with defense, avionics, and medical security policies.