Foretellix Foretify
The Open Platform for Measurable Safety
Overview
Foretellix's Foretify is a verification and validation platform for autonomous systems that is based on the Measurable Scenario Description Language (M-SDL). It allows for the formal specification of scenarios and coverage goals, enabling a measurable and systematic approach to safety validation. Foretify helps to identify and address critical edge cases and ensure the safety of autonomous systems.
✨ Key Features
- Measurable Scenario Description Language (M-SDL)
- Scenario-based verification and validation
- Coverage-driven testing
- Automated test generation
- Integration with simulators and test execution platforms
- Analytics and reporting on safety coverage
🎯 Key Differentiators
- Formal, measurable approach to scenario-based testing with M-SDL
- Focus on coverage-driven verification and the identification of unknown unsafe scenarios
- Open platform that integrates with a wide range of simulators
Unique Value: Provides a systematic and measurable way to validate the safety of autonomous systems, helping to answer the question 'how safe is safe enough?'.
🎯 Use Cases (4)
✅ Best For
- Adopted by several major automotive OEMs and Tier 1 suppliers for their autonomous vehicle programs.
💡 Check With Vendor
Verify these considerations match your specific requirements:
- Low-level software unit testing
🏆 Alternatives
Offers a more formal and rigorous approach to scenario-based testing compared to traditional methods that rely on manually created test cases.
💻 Platforms
🔌 Integrations
🛟 Support Options
- ✓ Email Support
- ✓ Live Chat
- ✓ Phone Support
- ✓ Dedicated Support (Enterprise tier)
🔒 Compliance & Security
💰 Pricing
✓ 14-day free trial
Free tier: NA
🔄 Similar Tools in Safety & Validation Tools
Keysight Virtual Performance Solution (VPS)
A virtual prototyping solution for crash, safety, and structural performance testing of autonomous v...
Applied Intuition Validation Toolset
A platform for managing and automating the verification and validation (V&V) of autonomous driving s...
CarSim
A leading software for simulating the dynamic behavior of cars, trucks, and motorcycles....
Parasoft C/C++test
A unified solution for static analysis, unit testing, and code coverage analysis for C and C++ code....
Siemens Simcenter Prescan
A simulation platform for developing, testing, and validating ADAS and autonomous driving systems....
dSPACE VEOS
A PC-based simulation platform for the virtual validation of ECUs and software components....