日経Robotics 11月号に弊社の取り組みとして
「Sexy Technology」
トヨタや吉野家が採用するライフロボティクス
形式手法導入でソフト面でも先駆的な取り組み
の記事が掲載されました。
形式手法は、数学を基盤とした仕様記述、開発、検証を実施することで、
ソフトウエアの品質を高める方法です。
形式手法はそのコストが十分利益に見合うか、が疑問視され、
導入事例が少ないです。
ライフロボティクスでは、高い安全性を要求されるロボットだからこそ
数学を基盤とした形式手法を導入し、ソフトウエアの品質を高めるだけでなく
形式手法導入に伴うコストが十分利益に見合うことを証明し続けています。