Modality™
ContinuousVerification&ValidationforourCyber-PhysicalWorld
Enabling You To Build
Safe, Secure Systems – Faster.
We address the growing complexity of Cyber-Physical Systems by providing engineers with automation to test, analyze, and understand their systems at every phase of their lifecycle.
See Modality In Action
Watch an Auxon engineer investigate and fix faults in a downed drone using Modality. In the video, we cover a number of key concepts, including
- Incident Analysis
- Continuous Verification
- Edge Case Discovery
Uncover Incidents Just Waiting to Happen
Modality generates experiments to automatically identify suspicious behaviors before they become problems.
Identify
underlying causes of failures at the system level.
Generate
intelligent analysis quickly to drive development cycles.
Discover
emergent system behaviors early.
Validate
system-level behavior to ensure production readiness.
Learn how your system responds to failures and attacks
Modality automated analysis is based on inducing stress, observing reactions, and building understanding of your real devices and systems.
Test Any System
Bare metal embedded devices? High performance compute? Multiple communications protocols? Remote interactions? Modality can handle them all.
Extend Your Testing Workflows
Modality extends your existing testing workflows by integrating tracing and stressing capabilities into all the components of your system including hardware. With automated analysis you can observe what your system is doing, expose its strengths and weaknesses, and iterate fearlessly.
Understand Impact And Severity
Inject stresses to see how your system reacts to adversity. Verify operational independence and observe how changes in conditions ripple or cascade through your system.
Analyze Behavior, Not Code
Perform coverage analysis on your whole system’s integrated functionality, not just your source code. Have you observed all the notable and critical events? Did they happen as expected? Did you discover any emergent behaviors? Modality gives you the answers you need.
Untangle Component Interactions
Modality’s tracing shows you how your components interact, how they react to each other and how your system’s low-level operation affects its high-level functions and vice-versa.
Test Any System
Bare metal embedded devices? High performance compute? Multiple communications protocols? Remote interactions? Modality can handle them all.
Extend Your Testing Workflows
Modality extends your existing testing workflows by integrating tracing and stressing capabilities into all the components of your system including hardware. With automated analysis you can observe what your system is doing, expose its strengths and weaknesses, and iterate fearlessly.
Understand Impact And Severity
Inject stresses to see how your system reacts to adversity. Verify operational independence and observe how changes in conditions ripple or cascade through your system.
Analyze Behavior, Not Code
Perform coverage analysis on your whole system’s integrated functionality, not just your source code. Have you observed all the notable and critical events? Did they happen as expected? Did you discover any emergent behaviors? Modality gives you the answers you need.
Untangle Component Interactions
Modality’s tracing shows you how your components interact, how they react to each other and how your system’s low-level operation affects its high-level functions and vice-versa.
Jump right in
Explore Modality for yourself.
Each Step of the Way
Deploy Modality at any stage of your development lifecycle to identify regressions, isolate problematic components, and squeeze out uncertainty.
1Investigate
Incorporate Modality into your virtual components and integration testing to check your early design assumptions.
2Verify
As your components become real Modality measures that your actual implementation aligns with your expectations from simulation.
3Validate
Modality's automation can validate high-level requirements and tune critical parameters before a system leaves the production line.
4Diagnose
Modality probes can identify difficult to reproduce problems seen in the field by comparing field symptoms against analysis data from development.
Get Answers. Get to Production.
Do you have the right design?
Modality automatically synthesizes diverse stresses in your system during operation to validate whether or not your system and risk-mitigation strategies meet your design goals in practice. Modality also verifies system performance.
Can you trust your tests?
Modality provides insights into the quality of your tests themselves by seeing how many mutations and what kinds can be introduced into your system before they’re noticed by your test suites.
How resilient is your system?
Modality reveals the thresholds where your system can recover from failure. In combination with Modality’s automated analysis, this observability helps you identify critical new parameters in your system and tune them for any given composition of components.
Are you sure you're done?
Systems are becoming more automated, more modular and more complex, and they’re changing at the speed of software. To test them you need faster, more complete verification and validation tools. Modality lets you speed the pace of innovation without sacrificing confidence.
