| 講演名 | 2004/12/10 機能安全規格IEC 61508に基づくソフトウェア設計と認証(安全性,信頼性国際規格,保全性,信頼性一般) 吉岡 律夫, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 2000年に制定された機能安全国際規格IEC 61508では、安全系ハードウェアのほか、ソフトウェアの安全設計技術について詳しく規定している。本規格は、コンピュータによる安全系を対象にしており、ソフトウェアの安全性を考える上で、現時点では最善のものと考えられているので、その内容を紹介する。特に、設計のステップや、具体的な技法と,東芝におけるコーディング基準の開発やソフトウェア静的分析ツール開発などの項目を紹介する。また、2001年には本規格に基づく認証制度が英国で開始されたので、その仕組みについても解説する。 |
| 抄録(英) | The international standard on functional safety "IEC 61508", which was issued in 2000, describes software safety for safety related systems, besides hardware safety. This standard is applied to the safety system using computers in all industries. At present, this standard gives "best practice" for establishing software safety. The author introduces design steps and recommended techniques in the standard. Especially, we established the coding criteria and static analysis tool for C-language, both of which are required in the standard. |
| キーワード(和) | IEC 61508 / ソフトウェア / 安全性 / 機能安全 / 認証 |
| キーワード(英) | IEC 61508 / Software / Safety / Functional safety / Certification |
| 資料番号 | R2004-53,SSS2004-32 |
| 発行日 |
| 研究会情報 | |
| 研究会 | SSS |
|---|---|
| 開催期間 | 2004/12/10(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Safety (SSS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 機能安全規格IEC 61508に基づくソフトウェア設計と認証(安全性,信頼性国際規格,保全性,信頼性一般) |
| サブタイトル（和） | |
| タイトル（英） | Software Design based on Functional Safety Standard IEC 61 508 |
| サブタイトル（和） | |
| キーワード(1)（和/英） | IEC 61508 / IEC 61508 |
| キーワード(2)（和/英） | ソフトウェア / Software |
| キーワード(3)（和/英） | 安全性 / Safety |
| キーワード(4)（和/英） | 機能安全 / Functional safety |
| キーワード(5)（和/英） | 認証 / Certification |
| 第 1 著者 氏名（和/英） | 吉岡 律夫 / Ritsuo YOSHIOKA |
| 第 1 著者 所属（和/英） | (株)東芝 電力・社会システム社 情報制御事業推進室 Information & Control Solution Division, Industrial and Power Systems & Services Company Toshiba Corporation |
| 発表年月日 | 2004/12/10 |
| 資料番号 | R2004-53,SSS2004-32 |
| 巻番号（vol） | vol.104 |
| 号番号（no） | 529 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |