近年、航空機、鉄道、自動車、医療機器など高信頼システムと呼ばれる様々な産業機器・装置に対しては高い安全性が要求されている。このようなシステムに対し、その安全性を確保する方法として機能安全という考え方がある。そして、機能安全により安全性が確保されていることを保証するために国際規格が存在している。機能安全の国際規格としては、電子・電気・プログラマブル電子機器に関するIEC 61508をはじめ、自動車のISO 26262、鉄道のIEC 62278 （RAMS規格）などがあり、それぞれのシステムにおいてそれらへの適合性のための評価が必要となる。　本講義では機能安全の基本概念および規格の概論から始まり、安全性に関して用いられる保証技術、分析方法論について解説するとともに、演習を通じつてそれらを身につける。