キーワード : モデル検査


モデル検査の実行順序制約の図式表現と試験ケースの自動生成
青山 裕介 黒岩 丈瑠 久代 紀之 
誌名:   
発行日: 2018/03/01
Vol. J101-D  No. 3 ; pp. 502-511
論文種別:  特集論文 (学生論文特集)
専門分野: ソフトウェアシステム
キーワード: 
モデル検査SPINエミュレータ試験ケース資産化
 あらまし | 本文:PDF(1.3MB)

時間,資源の制約をもつビジネスプロセスの形式検証
綿引 健二 石川 冬樹 平石 邦彦 
誌名:   電子情報通信学会論文誌 D
発行日: 2013/08/01
Vol. J96-D  No. 8 ; pp. 1878-1891
論文種別:  論文
専門分野: ソフトウェアシステム
キーワード: 
ビジネスプロセスBPMNモデル検査時間オートマトン
 あらまし | 本文:PDF(1MB)

事例研究:プリエンプティブな周期タスクからなる組込みソフトウェアのモデリング,仕様記述と有限モデル検査
瀧内 新悟 山根 智 
誌名:   電子情報通信学会論文誌 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. 1154-1164
論文種別:  特集論文 (インターネット技術とその応用論文特集)
専門分野: プロトコル
キーワード: 
モデル検査通信プロトコル冗長化
 あらまし | 本文:PDF(320.3KB)

時間オートマトンのモデル検査
中田 明夫 
誌名:   電子情報通信学会論文誌 D
発行日: 2009/05/01
Vol. J92-D  No. 5 ; pp. 576-586
論文種別:  招待論文 (フォーマルアプローチ論文特集)
専門分野: モデル検査
キーワード: 
実時間システム検証技術時間オートマトンモデル検査到達可能性解析
 あらまし | 本文:PDF(269KB)

実行履歴に基づくアクセス制御の形式モデルと検証
高田 喜朗 王 静 関 浩之 
誌名:   電子情報通信学会論文誌 D
発行日: 2008/04/01
Vol. J91-D  No. 4 ; pp. 847-858
論文種別:  特集論文 (フォーマルアプローチ論文特集)
専門分野: セキュリティ
キーワード: 
言語ベースセキュリティスタック検査実行履歴に基づくアクセス制御モデル検査
 あらまし | 本文:PDF(484.1KB)

組込みシステムにおけるリソーススケジューリング設計・検査手法とツール
渡辺 政彦 福田 晃 松本 充広 細谷 伊知郎 城戸 滋之 
誌名:   電子情報通信学会論文誌 D
発行日: 2007/03/01
Vol. J90-D  No. 3 ; pp. 848-861
論文種別:  論文
専門分野: ソフトウェア工学
キーワード: 
リソーススケジューリング設計リソーススケジューリング検証モデル検査ツール組込み
 あらまし | 本文:PDF(742.3KB)

UMLによるプロテクションプロファイルのモデル化とその形式的検証
森本 祥一 程 京徳 
誌名:   電子情報通信学会論文誌 D
発行日: 2006/04/01
Vol. J89-D  No. 4 ; pp. 726-742
論文種別:  特集論文 (フォーマルアプローチ論文特集)
専門分野: セキュリティ
キーワード: 
ISO/IEC15408コモンクライテリアデザインパターン定理証明モデル検査
 あらまし | 本文:PDF(392.3KB)

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