性能モデル検証 その3(2010年度)を公開しました。
本講座では、設計モデルの性能面に関する動作の正しさを自動的に検証する性能モデル検査ツールUPPAALを使用し、実際のシステム開発に適用する方法を習得していきます。
その３では、第１回の課題解説後、UPPAALのテクニックについて解説します。時間付オートマトンによる検証として、動作表現（通信方式、状態の表現方法）、時間表現（時間の表現方法、特殊なロケーション役割、特殊な遷移の役割）について紹介します。
図表１：性能モデル検証 その3(2010年度)
2012年度のシラバスは以下を参照してください。
http://www.topse.jp/syllabus/07/html/PMC.htm
Post Footer automatically generated by Add Post Footer Plugin for wordpress.
IaaSクラウドを支えるサーバ・インフラ技術を学ぶハンズオンセミナー(2011年)を授業パッケージとしてまとめました。
図表１：IaaSクラウドを支えるサーバ・インフラ技術を学ぶハンズオンセミナー(2011年)
Post Footer automatically generated by Add Post Footer Plugin for wordpress.
２０１２年２月１３日〜２月１９日でもっとも人気のあった授業パッケージは、
IaaSクラウドを支えるサーバ・インフラ技術を学ぶハンズオンセミナー(2011年)
でした。
図表１：IaaSクラウドを支えるサーバ・インフラ技術を学ぶハンズオンセミナー(2011年)
第２位：形式仕様記述（応用編）(2010年度)
第３位：プロセス分析ツールＰＡＴで学ぶ並行プロセスのモデル検査（2011年）
第４位：クラウド実践（2011年収録）
第５位：edubase Cloudで学ぶクラウド入門 ～OpenStackを作ってみよう～
先週は、クラウド関連の授業パッケージに人気が集まりました。今年もクラウドは引き続きキーワードとなりそうです。
Post Footer automatically generated by Add Post Footer Plugin for wordpress.
3月13日(火)に国立情報学研究所 GRACEセンター、NPO法人 トップエスイー教育センターは【クラウドシリーズ】トップエスイー特別講義「分散処理アプリ演習」を開催します。
本講座では、分散処理技術として広く利用されているHadoopを通して、実際の業務に役立つ事例を中心とした題材を使用し、実践的に分散処理アプリケーションの開発を学びます。具体的には、Hadoopの構成要素であるMapReduceや、Hadoopの周辺技術でありSQLライクなインターフェイスであるHiveについて、POSデータ分析等を題材として、解説・演習を行います。
日 時：2012年3月13日(火) 10:30～18:30 (受付開始: 10:00)
会 場（予定）：国立情報学研究所 20階 ミーティングルーム１・２(2009, 2010)
対 象：25名(先着順)※定員に達し次第，申し込みを締め切らせていただきます。
参加費：会員 無料、一般非会員 16,000円（税込み）、学生非会員 8,000円（税込み）
※NPO法人 トップエスイー教育センター会員は優先的にご参加いただけます。
詳しくは、下記サイトをご覧ください。
【クラウドシリーズ】トップエスイー特別講義「分散処理アプリ演習」
Post Footer automatically generated by Add Post Footer Plugin for wordpress.
形式仕様記述（セキュリティ編） その3(2010年度)を公開しました。
本講義では、定理証明、モデル検査、段階的詳細化について、Z、SPIN/Promela、Event-Bの手法を使ってセキュリティ・ポリシの検証について学んでいきます。
その３では、RODINツールの使い方について解説していきます。RODINとは、Rigorous Open Development Environment for Complex Systemsの略です。また、Event-B言語、Bメソッドについて解説し、最後に抽象機械の整合性の検証について紹介します。
図表１：形式仕様記述（セキュリティ編） その3(2010年度)
Post Footer automatically generated by Add Post Footer Plugin for wordpress.
最新ニュース ピックアップ TopSE トップエスイー教育センター