ソフトウエア設計開発者が「安全性論証」を記述しなければならない機会が増えている。自分たちが開発するシステムにおける安全性の考え方やその達成方法を、自ら的確に説明することが必須になりつつあるからだ。「技術者塾」は「ソフトウエア設計開発者向け「安全性論証」記述徹底トレーニング」〔2016年10月31日（月）…