Auxon provides software tools that utilize formal verification and model-based engineering techniques to enhance the safety and resilience of complex systems. By mitigating risks associated with system failures, Auxon improves reliability for AI and systems engineers in their projects.
Funding
$4.1M raised to dateRaised to date based on public sources. This may differ from the amount the company actually raised and is based only on what is publicly available on the internet.
RVFounders
Product
Problem
Testing complex cyber-physical systems, such as those found in electric vehicles and smart devices, is often slow, unpredictable, and expensive. Traditional methods struggle to keep pace with the increasing complexity of integrated software and hardware, leading to potential system failures and increased development costs.
Solution
Auxon offers a suite of software products designed to automate and modernize the testing and analysis of complex systems, ensuring they perform as designed. The platform leverages formal verification, model-based engineering, and chaos engineering techniques to provide critical insights into system behavior. By automating data collection, verification, and validation, Auxon helps engineering teams develop cyber-physical systems faster and more predictably, while also improving system reliability and resilience. Auxon's tools enable continuous verification, stress testing, and comprehensive system-level trace analysis throughout the system's lifecycle.
Target Audience
Auxon primarily serves AI and systems engineers, particularly those developing cyber-physical systems in industries such as electric vehicles, connected smart devices, and other sectors where system reliability is critical.
Features
- **Conform:** Performs trace-based testing using executable specifications to automatically isolate system problems and provide data-driven suggestions for fixes.
- **Deviant:** Executes stress and chaos experiments against systems or digital twins to verify safe and reliable operation under extreme conditions.
- **Modality:** Captures, queries, and analyzes system-level traces to provide a comprehensive understanding of system behavior at every level.
- Automated data collection, verification, and validation processes.