日本信頼性学会誌　信頼性

安全関連分野へのソフトウェア導入は,国際規格IEC61508を核とする規格の遵守により対応できるとして,様々な懸念は解決したかに見える.しかし,昨年2月に発生したモノレール事故によって,規格の根幹である「プロセスモデルの確実な実行」のみでは不十分であることが示された.そして,その解決には,鉄道信号の分野において提唱され,30年近い実績を有するソフトウェアアーキテクチャの有効性を認識させるものであった.ただ,この安全性への配慮の根幹をなす思想も,今日の技術進歩の中で変貌を余儀なくされている.本稿では,鉄道で発生したソフトウェアの不具合に起因した事故を紹介し,ソフトウェアにおける安全性設計の在り方について考察する.

抄録全体を表示

抄録を表示する抄録を非表示にする

産業界での業務としてのシステム開発においては,開発対象や体制が大規模化,複雑化していく中で,複数人で効率良く品質の高いソフトウェアを開発し,プロジェクトやチームで責任を果たしていく必要がある.このためには,仕様の厳密な記述と検証による,開発の上流工程における成果物の品質確保が鍵となる.厳密な仕様の記述と検証,維持により,開発や運用,保守を正確に行うことができるようになるのである.様々な抽象度の仕様を厳密に記述し,これを検証するための手段として,数多くの形式仕様記述言語や仕様記述支援ツールが提案されており,これらを活用した開発手法の一つとして,モデル規範型の形式手法がある.本稿では,モデル規範型の形式手法と,形式仕様記述言語VDM++,仕様記述支援ツールVDMToolsについて,主に抽象的な仕様を厳密に記述し,テストするための言語の仕様やツールの機能と,仕様記述の効果,信頼性や安全性の確保に向けた可能性等について解説する.

抄録全体を表示

PDF形式でダウンロード (1243K)

旅客販売総合システム(MARS:Multi Access Reservation System以下,「マルスシステム」)は,JRみどりの窓口及び旅行会社窓口に設置されている端末から座席予約,運賃料金計算などを行い座席指定券等を発売する社会的に極めて重要なシステムである.本稿では,マルスシステムにおいて高信頼性を確保するためのシステム構成,ソフトウエアの品質確保及び運用方式等について解説する.

抄録全体を表示

IT化の進展は人々の生活に多大な利便性を与えている反面,市民に大きな影響を与える事故や不具合,さらには犯罪行為を引き起こしている.これらのIT関係事故の現状を把握するために,社会を支える重要なインフラである通信ネットワークと金融情報システムの事故に焦点を絞り,代表的な全国紙4紙によって報道されている事故情報を活用することにより,これらシステムの信頼性と安全性の現状について分析した結果を報告する.

抄録全体を表示

J-STAGEへの登録はこちら（無料）