研究課題
若手研究(B)
システムの安全性保証は重要である。システムの安全性を保証するために、国際規格の認証は重要な手段である。自動車の機能安全分野では、ISO26262国際規格が日本においても準拠が前提になっている。そのような状況の中で、システムの複雑化に伴い、国際規格の認証ドキュメントの生成が困難になりつつある。本研究では、我々が企業と共同で国際規格化を行っているDependability Assurance Framework(DAF)をもとに、認証ドキュメントの生成に関する研究を行った。
情報科学、システム保証、プログラミング言語
