JTEKT
Articles related to JTEKT
The Place for MISRA C in Safe & Secure Programming - A Comparison with SPARK - Story
January 21, 2021As 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, 2020Formal methods help JTEKT reduce development and verification costs for safe autonomous driving systems.