close By using this website, you agree to the use of cookies. Detailed information on the use of cookies on this website can be obtained on OneSpin's Privacy Policy. At this point you may also object to the use of cookies and adjust the browser settings accordingly.

OneSpin Provides Automated ISO 26262 Safety Analysis, Verification Flow to Kalray

Functional Safety Flow Enables Kalray’s Massively Parallel Processor Arrays to Be Used in Autonomous Vehicles

MUNICH and SAN JOSE, CALIF. – June 25, 2018 – OneSpin® Solutions announced today successful completion of the first phase of an effort to deploy at Kalray a rigorous, automated flow for the analysis of hardware architectural metrics required by the ISO 26262 automotive electronics standard.

Kalray designs and markets a new generation of “intelligent” processors that have the capability to analyze on the fly and in an intelligent manner a large flow of information, and to react and make decisions in real time.

Kalray’s intelligent processors deliver low-latency, low-consumption and massively parallel computing targeting data center cloud infrastructure, big data analytics and self-driving car markets. It needed an automated flow for its MPPA® many-core processors to calculate ISO 26262 hardware metrics, including single point fault metric (SPFM), latent fault metric (LFM) and the probabilistic metric for random hardware failures (PMHF). The functional safety flow, an imperative when designing and deploying compute platforms for intelligent systems, enables MPPA to be used in safety-critical systems within autonomous vehicles.

“Kalray is at the forefront of massively parallel architectures for artificial intelligence,” adds Jörg Grosse, product manager functional safety for OneSpin. “We were able to adapt our technology for Kalray’s specific project needs for a successful partnership that further improves our functional safety solution and confirms OneSpin as an EDA leader in this field.”

“Computing hardware fault metrics and achieving targets set by ISO 26262 is challenging, but crucial to enable the application of our massively parallel many-core technology in autonomous vehicles,” remarks Camille Jalier, Kalray’s Director of Hardware R&D. “OneSpin is a trusted provider of apps, methodology and expertise to automate many steps of this process. Working cooperatively with its engineers smoothed our path to ISO 26262, savings months of project time.”

OneSpin, provider of innovative formal verification solutions for highly reliable, digital integrated circuits (ICs), will demonstrate its comprehensive formal verification solutions at the Design Automation Conference (DAC) Booth #2611 Monday-Wednesday, June 25-27, from 10 a.m. until 6 p.m. DAC will be held at the Moscone Center in San Francisco.