日本におけるUPPAAL関連情報・活動事例
- NIIトップエスイープロジェクトの講座「性能モデル検証」の主な教材として利用
- 現在なし
- 近代科学社からトップエスイーの教科書が出版予定
- 「UPPAAL - a tool for model-checking and testing of real-time system」
2005年 システム検証センター 第百四十七回計算機言語談話会 Paul Peterson(UPPAAL開発者の１人) - 2007年ソフトウェア科学会「モデル検査ツールUPPAALを使った時間制約の検証」
トップエスイー講師によるもの - 2009/3/27 「UPPAALセミナー」開催(NPO法人トップエスイー主催・キャッツ（株）協賛)
- 2010/11/18 車載組み込みシステムフォーラム(ASIF)セミナーにて、JAXA利用事例として有人宇宙システム（株）
加藤様の事例発表にてご紹介
- NASDA(現JAXA)のIV&Vでの一部採用の報告(http://www.nasa.gov/centers/ivv/ppt/172865main_NASDA.ppt)
- 「組込みシステムにおけるリソーススケジューリング設計・検査手法とツール」
電子情報通信学会論文誌2007渡辺政彦（キャッツ（株）） - 「UPPAALによるモデル検査適用ガイドラインの作成」
情報処理学会,青木翼、他（（株）東芝） - 「UPPAAL拡張時間オートマトンの反例に基づく抽象化改良ループによるモデル抽象化手法」
電子情報通信学会論文誌2007 長岡武、他（大阪大学） - 「モデル検査によるステートチャートとシーケンスチャートの整合性検証」
情報処理学会、長谷川哲夫（東芝）、深澤良彰（早大） - 「モデル検査ツールUppaal によるJAVA 仕様記述支援」
第二回システムの科学シンポジウム(2005) 田辺誠（宇部工業高等専門学校） - 他
- 「組込みソフトの数理的アプローチ 第一回 時間仕様のあつかい」
CQ出版 インターフェース 2006.09 藤倉俊幸（イーソル（株）） - 「モデル検査による非機能要件の検証」
技術評論社 組み込みプレス Vol.14 藤本洋（キャッツ（株））