In Search of the Ideal ADAS and Highway Verification Solution

Given the challenges of verifying and validating (V&V) ADAS and automated highway functions, how would you describe the ideal toolset and methodology?

Over the years, Foretellix has collaborated with many ADAS and AV developers to explore their requirements for a ‘dream solution’. In this post, I’ll summarize their answers and offer a solution to the V&V challenges.

As I’m writing this blog, AAA recommends limiting the use of partially automated driving systems (you can read more here, here and also here). Such safety concerns damage public trust and reduce the perceived value of automation functions. And OEMs are, indeed, devoting large (and growing) efforts to the V&V of these functions.

‘New cars can stay in their lane—but might not stop for parked cars’ (Credit: AAA)

We at Foretellix, always try to improve the robustness of active safety and automated driving systems by evaluating, challenging, and improving existing V&V tools and workflows.

Users describe their ‘dream solution’

Over the past couple of years, we collaborated with multiple customers and partners, asking them to describe their ‘ideal solution’. Below are the most commonly received answers about this tool  – let’s call it ‘Solution-x’.  (BTW, this is quite a list. If you think that you know the requirements, feel free to jump to the Foretellix offered solution)

Produce a massive number of tests effortlessly and out-of-the-box 

  • While ADAS and highway are simpler than say level 4 AV, an infinite number of things can go wrong. Solution-x should generate an unlimited number (as much as I want) of variations of each scenario-based test and uncover edge cases, unknowns (as per ISO 21448 SOTIF) and efficiently find many bugs
  • The result tests should be of high quality and diversified; unique in locations, trajectories, circumstances, and participants that are beyond attribute variations on a hardcoded scenario.
  • My compute is a valuable resource and my engineering resources even more. I want to make sure that the generated scenarios and tests are both feasible and meaningful with minimal redundancy to ensure efficient execution, and to ensure that my team does not spend time debugging invalid scenarios.

Efficiently meet test intent

  • Solution-x should plan the required scenarios upfront, but also adjust the plan in real-time, according to unpredictable decisions of my SW stack.

Provide goals and report completeness

  • With an infinite scenario space, I need a measurable process to know when I have fulfilled my engineering task
  • Solution-x should provide an extensive verification plan combining industry knowledge of ADAS and Highway, past collisions, and standardization requirements
  • The provided plan should be easily extendible to include project-specific goals
  • If an execution fails to meet the test intent, solution-x should report the failure and suggest a different way to achieve the intent
  • Throughout the V&V process, solution-x should clearly indicate the current status, allowing users to focus on unverified areas and eliminate redundant tests

Combine out-of-the-box and user-defined tests

  • Beyond delivering the generic known prone to error ADAS edge cases, solution-x should make it easy for domain experts to leverage their knowledge and create multiple tests with low effort and minimal learning curve.

Be simulator and testing platform agnostic

  • Our company uses multiple simulators for various needs and may change or adopt another simulator in the future. Solution-x should be portable across all simulators and testing platforms we use (e.g. HIL and test-track)

Use a standard language with an industry commitment and roadmap

  • Standards foster a choice of tools and attract talented users searching for career growth.

Support regulation needs and future automation levels

  • For example, the new UNECE SAE level three ALKS regulation that lists specific needs
  • Current investment and methodology should be useful moving forward to higher SAE automation levels

The Foretellix Solution

While the Foretellix technology already solves many of these challenges, the message from users is to also provide an out-of-the-box solution on top of our powerful “do-it-yourself” tool. Working on specific ODD or automation functions they wish to get assistance with, the major questions of what to test? How to test? And when am I done? Considering all the above now is the perfect time to lift the curtain and introduce our solution-x: the Foretellix ADAS and Highway Solution.

Figure 1: Foretellix out-of-the-box ADAS and Highway solution

The ADAS and Highway solution is the first of a family of verification packages that utilize the power of the Foretify platform and extend our multipurpose platform to address the unique challenges of different functions and ODDs. The ADAS and highway content is based on the conducted research of customers careabouts, past collisions, technology limitations, upcoming regulations, safety standards, and disengagement reports to deliver an effective solution for exposing bugs and promote safety.

Our ADAS and Highway solution was designed for ADAS and Highway V&V tasks, including:

  • A verification plan representing many scenario categories, variants, and overall coverage space that must be completed as part of the V&V process.
  • Extensive ready-made regression that activates and mixes 36 abstract M-SDL maneuver scenarios to generate 100,000s of meaningful concrete tests, stationary objects in random location and angles, and other risk dimensions.
  • Self-checking mechanism with pass-fail criteria
  • An intuitive dashboard displaying the executed and, as important, the non-executed scenarios
  • Simplified spreadsheet-based tabular interface to enhance and refine the tests to hit non-verified concerns and make sure we generate meaningful and feasible scenarios

The solution requires a simple initial integration step after which, both expert and naïve users can exercise the solution to achieve a thorough exploration of their devices.

Figure 2: The Shortest Path to Value

The ADAS and Highway Solution pre-provided test regression is captured in a readable table format, that can be easily extended to meet any user needs. Users fill out a spreadsheet indicating the tests to run while either specifying concrete values for test attributes or asking the solver to complete the missing attributes with random values that adhere to abstract constraint requirements. Each table raw is equivalent to coding an M-SDL test.

Figure 3: Simplification and Productivity with Spreadsheets and a sample of the equivalent generated code

To help users analyze regression results, Foretellix offers Foretify Manager, a highly configurable tool that quickly analyzes DUT errors as well as behaviors of the DUT that have not been well tested.

Figure 4: Foretify Manager

In addition to the pre-provided scenarios, the solution enables a powerful approach to explore unknowns and edge-cases using sub-scenario mixing. The ADAS and Highway solution leverages the Foretify solver to allow users to mix the pre-provided content to achieve new unexpected variations. To better understand the implication of this, please review one of the pre-provided mixes, the double-cut-in mix.

Figure 5: Mixes requires solving power to automate (a double cut-in example)

The purple area above is the first cut-in and the orange one constitutes the second.  The Fortify solver can select a location that matches the two cut-ins needs and inserts implicit actions to ensure the proper vehicle coordination that is needed for the larger double cut-in scenario.

Another key benefit of the ADAS and Highway solution is the use of the open language M-SDL (the basis for OpenSCENARIO2.0 concept project and which is now in the process of becoming a standard). The language enables flexible test customization, extra tuning of the success and failure criteria, and powerful refinements of the built-in coverage model. Adopting and learning the M-SDL triggered interest for multiple individuals and teams that search for the next level of automation.

Note that I did not discuss user regulation needs. This is an exciting part of the ADAS and Highway solution which deserve its own dedicated blog ?

Conclusion

As reported above, the industry still struggles with existing ADAS automation functions, which continue to grow in complexity. The ADAS and Highway Solution offers an extensive out-of-the-box solution tuned for finding bugs and promoting safety.

To learn more about the solution please follow this link, and, as usual, comments are welcome either below or via email 

Travel safely,
Sharon

Subscribe to our newsletter

Additional content for you

Automated Scenario Curation for Safer ADS

This is the second blog in a series. In the first blog (Accelerating Automated Driving System Deployment with Scalable, Data-Driven Evaluation), Mike Stellfox pointed out that the real challenge in AV development has shifted from simply building systems to ensuring we can truly trust them....

Interview with Glen De Vos - Foretellix’s Newest Board Member

You’re joining our board as Temasek’s representative, what about our technology, team, and vision excites you? What excites me about working with the Foretellix team is that they are offering a comprehensive solution to a critical issue that OEM’s and Tier 1’s are facing during the development of Level 2++, 3 and 4 advanced mobility systems. ...

Why High-Fidelity Sensor Simulation Is Critical for AV Development and Testing

Autonomous vehicles (AVs) must safely navigate complex and unpredictable environments. Yet even the most advanced perception systems face limitations when an object or road user is temporarily hidden from view. These occlusion scenarios, blind spots caused by obstructing vehicles, are among the most critical and difficult to test....

Register to receive ALKS scenarios verification code examples

AI, Autonomy, V&V and Abstractions – Automating at Hyper Speed

Subscribe to our newsletter

Book A Meeting

Ziv Binyamini

CEO & Co-Founder

Ziv is a verification visionary and a passionate leader. Previously, Ziv served as Corporate VP at Cadence running the simulation and verification business. Through his career at Cadence, Verisity and Intel, Ziv led the development of verification businesses including chip simulation and Verification IP, industry first Coverage Driven Verification solutions and test bench products including Specman for chip verification and Perspec for SoC HW/SW verification.

Yoav Hollander

CTO & Founder

Yoav is a world expert and leader in complex systems expert verification and validation. he Invented the “e” verification language and related methodology (later followed by the UVM methodology). Yoav founded Verisity to deliver “e” and related tools. Verisity was acquired by Cadence Design Systems. In the last few years, Yoav has been researching complex-system verification.

Gil Amid

Chief Regulatory Affairs Officer, VP Operations & Co-founder

Gil is a former Vice President of Intel Corp. Gil has 30 years of experience working for Intel , in which he led the development of EDA and CAD tools in all design domains as well as leading VLSI design projects. In his recent years he was in charge of (among others) the verification tools development organization within Intel.

Doron Ilan

CFO

Doron is an experienced CFO with over 20 years in corporate finance, in various private and public companies. As the CFO of 012 Smile Telecom [Nasdaq: BCOM], he led the company’s successful NASDAQ IPO, and later, as the CFO of SuperCom [SPCB] executed an M&A process and a public offering on NASDAQ. In recent years he was the CFO of Xfone, an Israeli telecom provider.

Udi Jacobi

Udi Jacobi

Chief Commercial Officer

Udi has over 20 years of commercial leadership experience, managing and growing businesses throughout the USA, Europe, and APAC. His experience spans a broad range of industries and disciplines, including Automotive, New Media, and Digital Transformation. Prior to joining Foretellix, Udi founded and successfully grew Brightcom Media into a multi-million-dollar profitable business.

Vicky Revzin

HR & Global Employee Operations Director

Vicky Revzin – HR & Global Employee Operations Director

Roger Ordman

VP Marketing

Roger has over 20 years of global experience managing product, marketing and business development teams. Roger’s experience spans the networking, mobile and automotive industries previously serving as EVP of Marketing at Aurora Labs, and Marketing and Product Director at HARMAN. Roger is a frequent speaker on emerging trends in automotive software and holds an engineering degree in Industrial Management from Tel Aviv University.

Sharon Rosenberg

Solution Architect & Chief Methodologist

Sharon has over two decades of experience in the verification and validation of highly complex systems. He is the author of two landmark verification & validation textbooks and a key contributor to ASAM OpenSCENARIO® 2.0.

Ron Grossberg

VP R&D

Ron is an experienced manager and a passionate software engineer with more than 20 years of experience. Previously Ron managed a group in Algotec (now a Philips subsidiary), fully in charge of the development of complex medical imaging software used by radiologists in thousands of hospitals around the globe. Ron started his way in the IDF programming academy and technological units.

Jeni Osternik

Jeni Osternik

VP Product & Execution

Jeni is a versatile leader with over 17 years of experience spanning product management, operations, engineering, and business leadership. He leads the company’s product and delivery execution, ensuring the successful alignment of business, technology, and customer value. Before joining Foretellix, Jeni held management roles in the defense and homeland security sectors, where he led multidisciplinary teams and large-scale international programs, driving growth and innovation across complex technology ecosystems.

Alex Hitzinger

CEO & Co-Founder

Alex started his automotive career at Toyota Motorsport before joining Cosworth and Red Bull Technology. Hitzinger then joined Porsche as Technical Director and Chief Engineer of Porsche 919, which won the 24 Hours of Le Mans in 2015. He spent three years at Apple as Head of Product Design for Project Titan. Most recently, Hitzinger served as Senior Vice President of Autonomous Driving at VW Group and Member of the Executive Board VWN, where he was involved in developing the ID Buzz. He also served as Chief Executive Officer of Artemis GmbH, where he was the Chief Architect of the revolutionary new vehicle concept for next-generation autonomous mobility for their flagship-product Audi Landjet.

Moshe Gavrielov

Chairman of the Board

Moshe Gavrielov last served as the President and CEO of Xilinx from 2008-2018, during which the company delivered three successive generations of technology leadership. These yielded revenue growth to over $2.5B, significantly increased profitability, and market share expansion. As a result market capitalization quadrupled during his tenure and approached $20B. Prior to that Moshe was the CEO of Verisity, delivered revenue growth to over $70M while leading its successful IPO in 2001 and led its sale to Cadence for $315M in 2005. Prior to Verisity, Moshe served in numerous executive management roles in LSI Logic, Digital Equipment and National Semiconductor.

Boaz Schwartz

Chairman of the Board

Boaz Schwartz is a seasoned finance professional and a tech investor. Dr. Schwartz has founded and managed Deutsche Bank Israel for 24 years and until December 2020. Following his retirement from Deutsche Bank, Boaz has become an active tech investor in both early and late-stage companies. Dr. Schwartz is a board member of IDC Herzliya, iArgento Ltd and the vice-Chairman of Zabar Solar Ltd. He earned a Ph.D in Finance from the University of Chicago; MBA with Distinction from the Wharton School at the University of Pennsylvania; MSc and BSc in Electrical Engineering from the University of Tel Aviv.

Gil Goren

CEO & Co-Founder

Gil Goren joined 83North in 2016, after more than a decade at EMC in a variety of roles in Boston and Tel Aviv. At his last role as SVP & Managing Partner at EMC Ventures he managed strategic partnerships Investments and M&A internationally. Prior investments include Anobit (acquired by Apple), XtremIO & ScaleIO (both acquired by EMC), Cyvera & Secdo (both acquired by Palo Alto Networks), Adallom (acquired by Microsoft), CloudEndure (acquired by Amazon) Jfrog, RedisLabs, Guardicore and VastData among others. Currently on the boards of VDOO, Foretellix, and IBEX. He has B.SC in Electrical Engineering from the Technion and MBA from Boston University.

Glen De Vos

Mr. De Vos has over 30 years of senior leadership experience in automotive and industrial technology sectors, particularly around autonomy and mobility. In his career he has held a number of leadership roles at Aptiv and its predecessor Delphi Automotive. Positions included Chief Technology Officer and President of the Advanced Safety and User Experience business unit. He currently serves as the CEO of MicroVision, Inc.

Mark Mohr

VP Global Sales & Business Development

Since March 2021 Mark is SVP of Vehicle Technology at Volvo Group Truck Technology. Before he was Head of Development Commercial Vehicle Division at ZF Friedrichshafen AG. In this role, Mark’s main was on driver assistance systems automation, new hardware, and software architectures besides the classical driveline and chassis business. Since his Ph.D. in Mechanical Engineering from the Technical University Kaiserslautern, Germany, he has a long experience in simulation and digital engineering.

Carl-Peter Forster

VP Global Sales & Business Development

Carl-Peter Forster started his career at McKinsey & Company as a management consultant in 1982. After four years there, he joined BMW in Munich, where he became a member of the Executive Board in 1999 as head of global manufacturing. In 2001, he joined the European division of General Motors and became Managing Director of Opel and Vice President of GM Europe. In 2006 he became CEO and President of GM Europe and joined the parent company’s Global Automotive Strategy Board. After leaving General Motors, he became Group CEO at Tata Motors, where he was responsible for the Jaguar and Land Rover brands. In 2013, he joined the boards of Geely Automotive Holdings and Volvo Cars.

Eran Sandhaus

Eran recently led Delphi Automotive’s (now Aptiv) Autonomous Driving and Connected Services business unit, overseeing global engineering teams, business staff and wholly owned subsidiaries focused on providing hardware, software, algorithms and cloud services to transform future mobility. Prior to Delphi, Eran was a senior executive for over 20 years in Fortune 500 companies including Qualcomm, Cypress, Texas Instruments and Marvell. During this period Eran led global businesses, operations and M&A focused on server communications, storage, mobile handsets and Internet-of-Things (IoT) for consumer, automotive and industrial applications.

Benny Schnaider

Benny Schnaider is a high-tech serial entrepreneur. Benny co-founded Ravello Systems and served as its President and Chairman. The company has developed an over-the-top cloud services. Since Ravello acquisition by Oracle in 2016, Benny serves as VP SW development for Oracle-Ravello. Previously, Benny co-founded and was the CEO Qumranet (KVM), acquired by Red Hat in 2008. Co-founded P-Cube, acquired by Cisco in 2004. Benny was the CEO and Founder of PentaCom Ltd., acquired by Cisco in 2000. Benny invests and serves as a board member in several startups like: Traffix Systems (acquired by F5 in 2012) and B-Hive (acquired by VMware in 2008), ScyllaDB, Otonomo, Colabo, CathWorks.

Subscribe to our newsletter