システムの安全性評価とソフトウエア高信頼化への応用
スポンサーリンク
概要
- 論文の詳細を見る
セイフティクリティカルシステムの安全性評価手法として、鉄道信号システムを対象としたペトリネットによる仕様の安全性解析事例について述べる。また、システム化に際して必須となるソフトウェアの安全性確保手法としてオンライン時にペトリネットを利用するスケルトンチェック手法について提案する。提案手法はデザインダイバシティの一手法ではあるが、仕様検討段階の成果物がそのまま利用できるため、N-バージョン手法と比べ経済性の点で優れている。
- 1998-10-26
著者
関連論文
- 鉄道の安全 : 新幹線の保守について
- 系再構成機能を有するインターフェースボードの設計
- 新幹線の安全を支える基本技術
- さらなる鉄道の発展を目指して
- プローブ車両技術の導入による軌道交通システムの状態診断
- 6-2 安全コストの考え方 : 鉄道輸送システムの事例(セッション6「システムの信頼性,保全性,ライフサイクルおよびソフトウェア面」)
- 6-3 LCCの観点から考察した鉄道信号機器の安全性(セッション6「ライフサイクルコスト」)
- 鉄道におけるディペンダブルソフトウェアの現状
- プラントの安全フィールドバス用Fail-Safeゲートウェイの開発(信頼性国際規格,保全性,信頼性一般)
- セーフティバスのインターフェース回路の安全要件に関する検討
- A-18-2 産業用セーフティバスのインターフェースの安全要件とその実現(A-18. 安全性, 基礎・境界)
- 産業用セーフティバスとインターフェースの検討(安全性・一般)
- 8-214 多様化する新入生を対象とした物造り精神覚醒のための日大理工ECSメソッド(口頭発表論文,(6)工学教育の個性化・活性化-V)
- 高齢化社会における安全問題(長寿社会の安全性,安全性)
- 安全性に配慮した鉄道信号用OSの変遷と動向(安全性及び一般)
- モノレール事故に学ぶソフトウェアの安全性
- A-3-12 マルチチャネル処理可能なCDMA用整合フィルタの実装(A-3. VLSI設計技術,一般セッション)
- 1-1 フェールセーフCPUの高信頼化に関する研究(セッション1「試験,故障解析,部品,要素技術の信頼性,ハードウェア面(1)」)
- フェールセーフなリモートI/Oの構成方法
- 系再構成機能を適用した分散制御システムの実装(安全性及び一般)
- 系再構成機能を適用した分散制御システムの設計
- 系再構成機能を適用した分散制御システムに関する一検討
- プラントの安全フィールドバス用Fail-Safeゲートウェイの開発(信頼性国際規格,保全性,信頼性一般)
- 分散制御システムへの系再構成機能の適用手法(安全性及び一般)
- フローティング機能を備えたロール機用安全システムの開発(機械力学,計測,自動制御)
- フェールセーフな教示機能を備えたブランキングシステムの開発(機械力学,計測,自動制御)
- 湘南モノレール--電磁ノイズによる事故とその教訓
- A-3-9 FPGAの動的再構成を用いた組込み機器の省電力化に向けた一検討(A-3.VLSI設計技術,一般セッション)
- 鉄道信号における信頼性と安全性
- 4-4 信頼性と安全性の一考察(セッション4「安全性-1(システム安全性、規格)」)
- ATCにおけるアーキテクチャ変更とデイペンダビリティ検証
- LC-4 シングルチップフェールセーフプロセッサの開発と安全性検証(C. アーキテクチャ・ハードウェア)
- フェールセーフプロセッサのシステムLSI化
- ネオコグニトロン型動画像識別モデルのハードウェア実装に関する検討(「脳・認知科学」及び一般)
- D-2-6 三次元時系列パターン識別モデルを用いた唇動画像識別に対する基礎的検討
- 鉄道信号システムの高機能化を実現する伝送方式の検討
- 遺伝的アルゴリズムによる交通流量の変動に適応した最適信号機オフセットの探索
- D-11-63 SIFTアルゴリズムを応用した画像合成の検討(D-11.画像工学,一般セッション)
- [4-3]系再構成機能を有する分散制御システムに関する一検討(セッション4 システムの信頼性・保全性およびソフトウェア面,日本信頼性学会 第19回秋季信頼性シンポジウム 報告)
- 4-3 系再構成機能を有する分散制御システムに関する一検討(セッション4「システムの信頼性・保全性およびソフトウェア面」)
- 鉄道信号装置のアベイラビリティ向上策に関する一検討(安全性及び一般)
- 産業機械の安全方策に関する基礎的考察 : リスク評価に含まれる不確定性を考慮した安全方策の提案
- 自動従属監視の縦方向予測誤差の解析(アジア航海学会)
- 自動従属監視による縦方向予測誤差分布のモデル
- 自動従属監視による縦方向予測誤差の調査
- フレキシブルシステムの概念と鉄道信号システムへの適用(ディペンダブルコンピュータシステム及び一般)
- フレキシブルシステムの概念と鉄道信号システムへの適用(ディペンダブルコンピュータシステム及び一般)
- データオリエンテッドな鉄道用連動システムの検討(インターネット環境でのデータ工学とディペンダビィリティ及び一般)
- データオリエンテッドな鉄道用連動システムの検討(インターネット環境でのデータ工学とディペンダビィリティ及び一般)
- データオリエンテッドな鉄道用連動システムの検討
- A-17-4 高速道路合流部における渋滞防止交通制御の一検討
- A-12-4 情報依存型連動システムの開発に対する一検討
- SD-1-5 気象レーダ情報に基づく重回帰分析を用いた降水量推定
- 鉄道信号用フェールセーフ計算機に関する考察
- 震災に強い列車制御を目指して (特集 震災と鉄道(2))
- ネットワークにおけるコンピュータの信頼性の現状(第7回信頼性研究発表会)
- 3重系切替方式フェールセーフCPUの開発
- 13. PLPによるアミノ酸の(常温における)非酵素的ラセミ化について(第403回ビタミンB研究協議会研究発表要旨,ビタミンB研究委員会)
- 高性能列車制御システムによる世界一安全な鉄道を目指して
- 世界を先導するICT時代の列車制御とは
- DoG画像を用いたひび検出手法におけるノイズ削除処理の改良(五感メディアの品質,コミュニケーションデザイン,画像符号化,食メディア,一般)
- DoG画像を用いたひび検出手法におけるノイズ削除処理の改良(五感メディアの品質,コミュニケーションデザイン,画像符号化,食メディア,一般)
- 系再構成機能を実現する分散制御システムの構成と実装(安全性及び一般)
- データダイバシティによるディペンダブルコンピュータシステムの開発
- ネオコグニトロン型ニューラルネットによる唇動画像からの視覚音声認識
- 本質安全と確率論的安全評価について (ミニ特集 信頼性工学における横幹的取り組み)
- 高信頼性フェールセーフCPUの研究(安全性及び一般)
- 列車制御から見たメンテナンス・省力化への戦略
- プラントの安全制御用通信系と安全性要件
- プローブ車両用信号設備計測技術の開発
- 安全確保の思想 : フェールセーフから安全性立証まで(安全性及び一般)
- 書評「価値創造学」-知のマーケットを創造する技術経営-, 福田収一著, 丸善株式会社, 2,400円(外税), 平成17年2月発行, 194ページ
- フェイルセイフ論理とシステム
- 『「よくわかるリスクアセスメント」-事故未然防止の技術-』, 向殿政男著, 中災防新書014, 中央労働災害防止協会, 900円, 平成15年10月発行, 175ページ
- 3 快適な暮らし : 携帯文化と交通機関(日本が世界に誇れるもの)
- カラーFTAによる信号システムの安全性評価
- 画像センサとGPSを利用した鉄道用予防保全システムのための信号の現示判別に関する検討
- GPSと画像センサを利用した踏切遮断機の検出に関する検討
- 超分散型制御システムの提案と鉄道信号への応用(安全性・一般)
- ウェーブレット変換を用いた楽曲の特徴抽出に対する一検討
- システムの信頼性・安全性(2011年度第1回フォーラムより〜信頼性・安全性に関する特別セミナー〜)
- ペトリネットを用いた仕様検証と実稼働時の合理性検証 : 無線利用単線区間列車制御システムへの適用
- システムの安全性評価とソフトウエア高信頼化への応用
- 鉄道の明日を拓こう : -鉄道技術の明日を語る会編-第1回 鉄道技術とは何か
- 地方都市交通機関の安全性・信頼性(交通システムの安全性・信頼性)
- 5-1 マイクロカーネルによるマルチコアシステム用OSの開発(セッション5「システムの信頼性,保全性,ライフサイクルおよびソフトウェア面」(1))
- 2-2 カラーFTAによる信号システムの安全性評価(セッション2「試験,故障解析,部品,要素技術の信頼性,ハードウェア面(1)」)
- 高信頼型フェールセーフCPUの性能評価
- 臨床研究・症例報告 就学前小児における季節性インフルエンザの熱性けいれん合併率とワクチン効果の検討 : 5シーズン(2004/05年度~2008/09年度)の比較
- 日本信頼性学会学会設立20周年記念シンポジウム報告【第24回秋季信頼性シンポジウム】
- 情報システム信頼性研究会について(情報システム信頼性研究会,各研究会・支部のこれまでの活動報告)
- B-7-181 複雑系に基づくトラフィック分散ルーティング
- CDMA-QAM伝送方式のためのマルチチャネル処理型整合フィルタのFPGA実装
- ATP閉そくシステムの形式化とシミュレーション
- UMLと形式的手法によるATP閉そくシステムの評価(安全性及び一般)
- ディペンダブルな生産管理情報蓄積装置の開発(安全性及び一般)
- 一流の鉄道技術国であり続けるために
- 新技術で解決-安全確保とサービス向上の両立(1)
- 列車制御への利用に対するGPS精度の評価研究
- アナログATCからデジタルATCへの移行を容易にする列車制御用デジアナ信号波の検討