キーワード : 安全性


FPGAにおける中性子ソフトエラーからの無停止復旧方式
鳥羽 忠信 新保 健一 伊部 英史 大坂 英樹 平尾 裕司 
誌名:   電子情報通信学会論文誌 A
発行日: 2015/07/01
Vol. J98-A  No. 7 ; pp. 467-475
論文種別:  論文
専門分野: VLSI設計技術とCAD
キーワード: 
信頼性安全性FPGATMRソフトエラー中性子放射線
 あらまし | 本文:PDF(1.3MB)

光ファイバヒューズによって形成された空孔からの光散乱特性
山田 誠 木下 貴博 巴 亮清 渋谷 隆 
誌名:   電子情報通信学会論文誌 B
発行日: 2012/11/01
Vol. J95-B  No. 11 ; pp. 1529-1536
論文種別:  論文
専門分野: 光ファイバ
キーワード: 
光ファイバ光ファイバヒューズ光散乱安全性
 あらまし | 本文:PDF(1.9MB)

非正常系分析マトリックスによるソフトウェア組込み製品の障害シナリオ抽出手法
三瀬 敏朗 新屋敷 泰史 橋本 正明 中谷 多哉子 片峯 恵一 鵜林 尚靖 吉田 隆一 
誌名:   電子情報通信学会論文誌 D
発行日: 2012/11/01
Vol. J95-D  No. 11 ; pp. 1897-1908
論文種別:  論文
専門分野: ディペンダブルコンピューティング
キーワード: 
組込みソフトウェア安全性障害分析手法障害シナリオソフトウェア要求仕様
 あらまし | 本文:PDF(883.9KB)

航空管制用レーダネットワークの安全性を向上する自律協調捕捉技術
古賀 禎 森 欣司 
誌名:   電子情報通信学会論文誌 D
発行日: 2012/05/01
Vol. J95-D  No. 5 ; pp. 1255-1267
論文種別:  論文
専門分野: ディペンダブルコンピューティング
キーワード: 
二次監視レーダ航空管制航空機監視自律分散安全性
 あらまし | 本文:PDF(2.5MB)

制御レンジからの逸脱に対する制御則の安全性評価
陶山 貢市 瀬部 昇 
誌名:   電子情報通信学会論文誌 A
発行日: 2011/05/01
Vol. J94-A  No. 5 ; pp. 350-361
論文種別:  論文
専門分野: システムと制御
キーワード: 
安全性制御則過渡応答制御レンジディペンダビリティ
 あらまし | 本文:PDF(426.5KB)

量子暗号鍵配布システムの実際
富田 章久 
誌名:   電子情報通信学会論文誌 A
発行日: 2007/05/01
Vol. J90-A  No. 5 ; pp. 358-366
論文種別:  招待解説論文
専門分野: 
キーワード: 
量子暗号鍵配布同期安全性
 あらまし | 本文:PDF(251.3KB)

鉄道信号システムの連動装置の形式的検証向けモデル化と検証環境構築
川村 正 藤井 英明 土田 勝紀 高橋 和子 
誌名:   電子情報通信学会論文誌 D
発行日: 2005/12/01
Vol. J88-D1  No. 12 ; pp. 1727-1739
論文種別:  論文
専門分野: ソフトウェア基礎,プログラム理論
キーワード: 
形式的検証モデル検査鉄道信号システム安全性
 あらまし | 本文:PDF(960.4KB)

相対垂直距離の分布による航空機対の垂直重畳確率の推定値への影響
長岡 栄 
誌名:   電子情報通信学会論文誌 A
発行日: 2004/05/01
Vol. J87-A  No. 5 ; pp. 654-660
論文種別:  論文
専門分野: 信頼性,保全性,安全性
キーワード: 
衝突危険度重畳確率Model Fittingブートストラップ法安全性
 あらまし | 本文:PDF(1.1MB)

最近の航法と航空交通管制システムの動向
長岡 栄 
誌名:   電子情報通信学会論文誌 B
発行日: 2004/01/01
Vol. J87-B  No. 1 ; pp. 1-9
論文種別:  解説論文
専門分野: 
キーワード: 
航法航空交通管制管制間隔安全性
 あらまし | 本文:PDF(649KB)

リアクティブシステムのシナリオチェックにかかわるソフトウェアパターン
伊藤 清人 小林 洋 
誌名:   電子情報通信学会論文誌 A
発行日: 2003/07/01
Vol. J86-A  No. 7 ; pp. 749-757
論文種別:  論文
専門分野: 信頼性,保全性,安全性
キーワード: 
ソフトウェアパターン安全性イベントチェッカリアクティブシステム
 あらまし | 本文:PDF(1MB)

携帯電話に対する頭部のドシメトリ評価
王 建青 藤原 修 
誌名:   電子情報通信学会論文誌 B
発行日: 2001/01/01
Vol. J84-B  No. 1 ; pp. 1-10
論文種別:  解説論文
専門分野: 
キーワード: 
生体電磁環境携帯電話近傍電磁界ドシメトリSAR安全性
 あらまし | 本文:PDF(420.7KB)

ドライビング環境適応型コミュニケーション・ナビゲータのための 実験評価システムの開発とその評価
荒金 陽助 関 良明 吉開 範章 
誌名:   電子情報通信学会論文誌 B
発行日: 1999/11/25
Vol. J82-B  No. 11 ; pp. 1966-1973
論文種別:  特集論文 (ITSのための情報通信と航行・測位論文小特集)
専門分野: 
キーワード: 
運転環境コミュニケーション安全性快適性
 あらまし | 本文:PDF(640.5KB)

ループを含むプログラムを難読化する方法の提案
門田 暁人 高田 義広 鳥居 宏次 
誌名:   電子情報通信学会論文誌 D
発行日: 1997/07/25
Vol. J80-D1  No. 7 ; pp. 644-652
論文種別:  論文
専門分野: 情報セキュリティ
キーワード: 
プログラムの難読化プログラム理解知的財産権安全性ループ不変式リバースエンジニアリング
 あらまし | 本文:PDF(596KB)

ECFSMモデル通信プロトコル検証のための不変式の半自動生成
樋口 昌宏 佐野 順子 原 圭吾 藤井 護 
誌名:   電子情報通信学会論文誌 B
発行日: 1997/04/25
Vol. J80-B1  No. 4 ; pp. 179-188
論文種別:  論文
専門分野: 信号方式,通信プロトコル
キーワード: 
通信プロトコル安全性論理検証不変式
 あらまし | 本文:PDF(733.7KB)

FAシステムの安全性評価方法
峯尾 佳幸 鈴木 喜久 新家 達弥 岩谷 勝三 関口 久夫 
誌名:   電子情報通信学会論文誌 A
発行日: 1996/07/25
Vol. J79-A  No. 7 ; pp. 1266-1275
論文種別:  論文
専門分野: 信頼性,保全性
キーワード: 
安全性信頼性安全評価安全度指数ハザード源FAシステム
 あらまし | 本文:PDF(693.1KB)

安全度指数によるFAシステムのDependability評価方法
峯尾 佳幸 鈴木 喜久 
誌名:   電子情報通信学会論文誌 A
発行日: 1995/12/25
Vol. J78-A  No. 12 ; pp. 1637-1644
論文種別:  論文
専門分野: 信頼性,保全性
キーワード: 
Dependability安全性信頼性安全評価安全度指数物理的事故要因FAシステム
 あらまし | 本文:PDF(506.5KB)

通信プロトコルのフェーズ連結法とそれに基づく検証法
佐野 哲央 樋口 昌宏 関 浩之 嵩 忠雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1995/06/25
Vol. J78-D1  No. 6 ; pp. 519-531
論文種別:  論文
専門分野: ネットワーク
キーワード: 
通信プロトコルフェーズトークンパッシング制御論理検証安全性不変式
 あらまし | 本文:PDF(842.8KB)

FAシステムの安全度指数実用化の試み
峯尾 佳幸 鈴木 喜久 
誌名:   電子情報通信学会論文誌 A
発行日: 1994/12/25
Vol. J77-A  No. 12 ; pp. 1725-1732
論文種別:  論文
専門分野: 信頼性,保全性
キーワード: 
安全性樹木図解析安全度指数ハザード源FAシステム
 あらまし | 本文:PDF(513.4KB)