モデル検査における安全性プロパティの系統的な導出手法
スポンサーリンク
概要
- 論文の詳細を見る
モデル検査を実施するにあたり検査対象システムとして満たすべき性質(プロパティ)を導出する必要がある.しかしプロパティの導出方法が確立されておらずプロパティの導出がモデル検査実施者の経験やスキルに依存して行われる.その結果,導出したプロパティが検証すべき性質を網羅しておらずモデル検査において検証漏れが生じる可能性がある.本論文ではプロパティのうち安全性プロパティに着目する.システム開発においてモデル検査を適用する際の安全性プロパティの系統的な導出手法を提案する.本提案手法では安全性・信頼性解析手法であるFault Tree Analysis(FTA)を適用し安全性プロパティを導出する.論理的な対称性を考慮しFTAを実施することで安全性プロパティにおける網羅性の向上を図る.産業用ロボット開発において本提案手法を適用した事例を示す.適用事例における安全性プロパティの網羅性の向上を確認することで本提案手法の有効性を示す.
- 2011-03-07
著者
-
加藤 淳
慶應義塾大学医学部血液内科
-
狼 嘉彰
慶應義塾大学
-
加藤 淳
慶応大 大学院システムデザイン・マネジメント研究科
-
狼 嘉彰
慶應義塾大学大学院システムデザイン・マネジメント研究科
-
加藤 淳
慶應義塾大学医学部 血液内科
関連論文
- 再訪,戦略的システムズエンジニアリング(トピックス)
- 複雑システムの信頼性を向上させる開発手法--アーキテクチャ設計手法とモデル検査の融合
- 同種造血幹細胞移植後の posterior reversible encephalopathy syndrome に関する後方視的検討
- 3222 初期ジンバル角最適決定ステアリング則によるコントロール・モーメント・ジャイロの動作解析と衛星多点指向制御への適用(宇宙用アクチュエータの制御)
- 3223 適応オブザーバを用いたコントロール・モーメント・ジャイロの内部擾乱除去フィルタ(宇宙用アクチュエータの制御)
- 3224 衛星姿勢制御用リアクションホイールのための擾乱抑制プラットフォーム設計手法(宇宙用アクチュエータの制御)
- 人工衛星のジャイロレス姿勢推定フィルタ : フライホイール角速度出力の利用
- クリティカルソフトウェアに対するIV&V : Independent Verification and Validation(一般セッション E_テスト・検証)
- 地球観測衛星の地表点トラッキングに関する研究
- ISSを利用した宇宙技術開発 : 「きぼう」船外プラットフォームの利用(国際宇宙ステーション(ISS)の建設と宇宙環境利用の展望)
- 宇宙ステーションと宇宙工学
- 車載用衛星通信システムのアンテナポインティング制御実験 : BS衛星補捉追尾実験(機械力学,計測,自動制御)
- ワイヤレス通信を利用した二次元人工衛星ダイナミクスシミュレータの試作研究 : 機械力学,計測,自動制御
- 揺動を伴う衛星トラッキングシステムのアンテナポインティング制御(小型船舶上を想定した場合)
- 宇宙ロボット運用の観点から見た多関節アームコンフィギュレーションの評価指標(機械力学,計測,自動制御)
- 宇宙開発とリスク管理
- 新しい科学技術教育・研究にかける夢
- マンガ宇宙工学まるかじり-3-飛び出せ!宇宙へ楽しく--スペ-スプレ-ンの初フライト
- 宇宙輸送系とスペースプレーン
- 衛星姿勢制御用リアクションホイールの擾乱解析
- ボールベアリング・リテーナの動的挙動に誘発される衛星姿勢制御用リアクションホイールの擾乱解析(機械力学,計測,自動制御)
- INCOSE International Symposium 2005 参加報告 : INCOSE : システムズ・エンジニアリング国際評議会
- 張力型展開構造を有する衛星のスティックスリップに対する姿勢安定度評価(機械力学,計測,自動制御)
- 衛星姿勢制御用ホイールの振動的トルキング時発生擾乱測定(機械力学,計測,自動制御)
- FPGAとソフトウェアにおける協調動作の整合性に関する評価手法の提案(組込み(学生セッション))
- 宇宙ロボット研究開発の近未来展望(宇宙ロボットを中心とした 21 世紀の宇宙工学戦略)
- 宇宙構造物の制御 : 宇宙機の高精度姿勢・指向制御のための振動対策(機械制御実践講座)
- モデル検査における安全性プロパティの系統的な導出手法
- サイトメガロウイルスDNA定量 polymerase chain reaction の受託検査会社間における比較検討
- 臨床研究 高齢者骨髄性造血器腫瘍に対するフルダラビン/メルファラン/全身放射線照射を前処置とした同種造血幹細胞移植
- 造血幹細胞移植後のウイルス感染症 : サイトメガロウイルス感染症を中心に (第1土曜特集 造血幹細胞移植の最新動向) -- (移植の合併症と管理)
- 症例報告 骨髄異形成症候群に対する非血縁者間同種骨髄移植後に発症した致死的播種性トキソプラズマ症
- 高齢者骨髄性造血器腫瘍に対するフルダラビン/メルファラン/全身放射線照射を前処置とした同種造血幹細胞移植
- Deferasirox により造血の著明な改善を認めた原発性骨髄線維症および骨髄異形成関連の変化を伴う急性骨髄性白血病
- Bortezomib とアゾール系抗真菌薬の併用後に短期間で麻痺性腸閉塞を発症した多発性骨髄腫
- 骨髄異形成症候群に対する非血縁者間同種骨髄移植後に発症した致死的播種性トキソプラズマ症
- P13-03 Humanized-NOGマウスを利用したABO血液型不適合造血幹細胞移植におけるB細胞免疫寛容機序の検討(ポスターセッション13 基礎研究1)
- 16.PET-CTを契機に経気管支肺生検にて確定診断に至った血管内リンパ腫の1例(第145回 日本呼吸器内視鏡学会関東支部会)
- Dual Vee Model を用いた大規模複雑システム事故の根本原因解析