キーワード : 組込みソフトウェア


組込みソフトウェアを対象とした状態遷移表抽出支援ツール
山本 椋太 吉田 則裕 青木 奈央 高田 広章 
誌名:   
発行日: 2019/03/01
Vol. J102-D  No. 3 ; pp. 151-162
論文種別:  特集論文 (学生論文特集)
専門分野: ソフトウェア工学
キーワード: 
リバースエンジニアリング組込みソフトウェア状態遷移表
 あらまし | 本文:PDF(1.4MB)

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

事例研究:プリエンプティブな周期タスクからなる組込みソフトウェアのモデリング,仕様記述と有限モデル検査
瀧内 新悟 山根 智 
誌名:   電子情報通信学会論文誌 D
発行日: 2010/11/01
Vol. J93-D  No. 11 ; pp. 2403-2415
論文種別:  論文
専門分野: ディペンダブルコンピューティング
キーワード: 
事例研究プリエンプティブスケジューリングシステム組込みソフトウェア周期タスクモデル検査
 あらまし | 本文:PDF(476.5KB)

確率時間ゲーム理論による組込みシステムのモデル化,仕様記述及び検証
山根 智 林 将志 
誌名:   電子情報通信学会論文誌 D
発行日: 2010/07/01
Vol. J93-D  No. 7 ; pp. 1214-1225
論文種別:  論文
専門分野: ディペンダブルコンピューティング
キーワード: 
確率時間ゲーム理論確率時間システム組込みソフトウェア仕様記述検証
 あらまし | 本文:PDF(345.7KB)

状態遷移モデルで記述された要求仕様に基づく組込みソフトウェアの自動試験法
中島 毅 別所 雄三 山中 弘 広田 和洋 
誌名:   電子情報通信学会論文誌 D
発行日: 2001/06/01
Vol. J84-D1  No. 6 ; pp. 682-692
論文種別:  特集論文 (システム開発論文特集)
専門分野: ソフトウェア工学
キーワード: 
自動試験組込みソフトウェア状態遷移仕様試験データ生成
 あらまし | 本文:PDF(1.7MB)

レガシーな組込みソフトウェアの改良支援ツール
阪井 誠 久保田 益史 沖田 昌也 松本 健一 鳥居 宏次 
誌名:   電子情報通信学会論文誌 D
発行日: 2001/06/01
Vol. J84-D1  No. 6 ; pp. 745-754
論文種別:  特集論文 (システム開発論文特集)
専門分野: ソフトウェア工学
キーワード: 
組込みソフトウェアレガシーソフトウェアメンテナンスリエンジニアリング
 あらまし | 本文:PDF(784.7KB)