ソフトウェアの安全性をめぐる課題について(<特集>人に触れる機械の課題)

DOI Web Site 参考文献29件

書誌事項

タイトル別名
  • Problems in Ensuring Safety for Software Systems(<Special Survey>Reliability and Safety of Machinery in Contact with Humans)
  • ソフトウェアの安全性をめぐる課題について
  • ソフトウェア ノ アンゼンセイ オ メグル カダイ ニ ツイテ

この論文をさがす

抄録

今日では「人に触れる機械」の多くに制御用のソフトウェアが搭載されている.そのため,機械システムの安全を達成するためには,組み込まれるソフトウェアにおいても相応の「安全性」を確保することが必須となっている.本橋では, IEC 61508(電気・電子・プログラマブル電子安全関連系の機能安全)を軸に,ソフトウェアに対する安全性の分析,安全性の検証,安全性の認証という3つの視点から,そこでの課題について述べる.また,こうした課題に対する産総研システム検証研究センターにおける取組みについても触れる.

収録刊行物

参考文献 (29)*注記

もっと見る

詳細情報 詳細情報について

問題の指摘

ページトップへ