Articles related to JTEKT

The Place for MISRA C in Safe & Secure Programming - A Comparison with SPARK - Story

January 21, 2021

As part of the Linux Security Summit Europe last October, I participated in a panel around the question, “Would Abandoning the C Language Really Help?”. C, which is the main language used in the Linux kernel, is notorious for having an endless source of vulnerabilities. Just look at the long list of open bugs automatically reported by the fuzzing robot syzbot that are still waiting for a fix.


Electric Power Steering System Supplier JTEKT Selects SPARK Pro for Safety-Critical Automotive Software - News

June 23, 2020

Formal methods help JTEKT reduce development and verification costs for safe autonomous driving systems.