 |
 |
||||||||
 |
 |
 |
 |
 |
 |
 |
 |
 |
|
あなたは
|
11/11(水)時点で下記改修作業を鋭意進行中です。
改修に時間を要しておりますが、作業は進んでおりますのでもうしばらくお待ちください。
| ■2009/07/22 | バージョン： |
01.00.01 | 【バグ情報】 |
|---|---|---|---|
|
Microsoft(R) office Visio(R)2007(Trial版を含む)上で動作させた場合、コンパイルエラーにより正常に動作しない不具合が発生しました。 「お問い合わせ」のページからご指摘を頂きました。ありがとうございます。 |
|||
■2009/11/12  |
【第6回ディペンダブルシステムシンポジウム(DSS2009)で発表を行います】 |
|---|---|
|
第6回ディペンダブルシステムシンポジウム(DSS2009）で、
「大規模システム検証用64bit版モデル検査器の開発」を発表します。 基本設計から実装まで独自に開発した64bit版モデル検査器をご紹介いたします。
第6回ディペンダブルシステムシンポジウム(DSS2009）
開 催 期 間： 2009年12月14日(月) - 12月15日(火)
場 所： 大阪大学コンベンションセンター |
| ■2009/07/16 |
【SWEST11でポスター・デモ発表を行います】 |
|---|---|
|
SWEST11（組込みシステム技術に関するサマーワークショップ）で、
ポスター・デモ発表 ： 大規模システム対応64bit版モデル検査器と支援ソフトウェアの開発 を行います。新規開発したモデル検査器の成果を発表いたします。
SWEST11
開 催 期 間： 2009年08月27日(木) - 08月28日(金)
場 所： ホテルアローレ（石川県加賀市） セッション名： ポスター・デモ発表 08月27日(木) 15:00 - 17:30 （継続展示有り） |
|
| ■2009/07/16 |
【JaSST'09 in 関西に協賛します】 |
|---|---|
|
JaSST'09 in 関西(ソフトウェアテストシンポジウム2009 in 関西)の協賛団体になりました。
JaSST’09関西
開 催 期 間： 2009年07月31日(金)
場 所： クリエイターズプラザ（クリエイション・コア東大阪 南館３階） |
|
| ■2009/06/15 |
【ETWest2009で研究発表（テクニカルセッション）開催】 |
|---|---|
|
ETWest2009（組込み総合技術展 関西）で研究発表（テクニカルセッション）を行いました。
セッション名：組込みソフト開発への形式手法適用の現状
※ 「発表用スライド」につきましては、有料セッションのため公開を見合わせます。
ご聴講ありがとうございました。 |
|
| ■2009/06/15 |
【モデル検査支援ソフトウェアのサンプル(踏切)を追加しました】 |
|---|---|
|
モデル検査支援ソフトウェアを用いて踏切システムの動作を検証したサンプルを追加しました。
シンポジウム等の発表で例題として説明しているシステムです。ダウンロードはこちらから。 「お問い合わせ」のページからご要望を頂きました。ありがとうございます。 |
|
| ■2009/02/17 |
【JaSST'09 in 東京での発表用スライドと論文を公開しました】 |
|---|---|
| ■2009/01/08 |
【JaSST'09 in 東京で研究発表します】 |
|---|---|
|
JaSST'09 in 東京(ソフトウェアテストシンポジウム2009 in 東京)で研究発表を予定しています。
発表件名： モデル検査の状態爆発への実践的低減策
JaSST'09 in 東京
開 催 期 間： 2009年01月28日(水) - 01月29日(木)
場 所： 目黒雅叙園 セッション名： 理論研究(28日 13:00 -) |
|
| ■2009/01/08 |
【リンクを追加しました】 |
|---|---|
|
「形式手法実践ポータル Formal Methods User Group」様とリンクいたしました。
|
|
| ■2009/01/08 |
【第五回 システム検証の科学技術シンポジウムで発表しました】 |
|---|---|
|
システム検証の科学技術シンポジウムでモデル検査支援ソフトウェアのデモと事例発表を行いました。
ソフトウェアデモ ： モデル検査支援ソフトウェアを用いたC言語プログラムの不具合解析 事例発表 ： BDDの節点数削減による状態爆発の回避〜企業におけるモデル検査の現場から〜 |
|
| ■2008/10/27 |
【第五回 システム検証の科学技術シンポジウムで発表します】 |
|---|---|
|
システム検証の科学技術シンポジウムでモデル検査支援ソフトウェアのデモと事例発表を予定しています。
ソフトウェアデモ ： モデル検査支援ソフトウェアを用いたC言語プログラムの不具合解析 事例発表 ： BDDの節点数削減による状態爆発の回避〜企業におけるモデル検査の現場から〜
第五回 システム検証の科学技術シンポジウム
開 催 期 間： 2008年11月17日(月) - 11月19日(水)
場 所： 筑波大学 大学会館 国際会議室 |
|
| ■2008/10/27 |
【SWEST10での発表用スライドを公開しました】 |
|---|---|
| ■2008/07/07 |
【SWEST10で技術セミナー(モデル検査セッション)とポスター・デモ発表を行います】 |
|---|---|
|
SWEST10（組込みシステム技術に関するサマーワークショップ）で、
−技術セミナー ： 組込みソフト技術者のための形式手法入門 −ポスター・デモ発表 ： モデル検査の導入と支援ソフトウェアの開発／活用 を行います。
SWEST10
開 催 期 間： 2008年09月04日(木) - 09月05日(金)
場 所： 遠鉄ホテルエンパイア セッション名： ポスター・デモ発表 09月04日(木) 15:00 - 18:00 技術セミナー 09月05日(金) 09:20 - 10:50（S2-a） 11:00 - 12:30（S3-a） |
|
| ■2008/06/24 |
【ETWest2008で技術セミナー（テクニカルセッション）開催】 |
|---|---|
|
ETWest2008（組込み総合技術展 関西）で技術セミナー（テクニカルセッション）を行いました。
セッション名：組込みソフトウェア開発への形式手法適用
※ 「発表用スライド」につきましては、有料セッションのため公開を見合わせます。
ご聴講ありがとうございました。 |
|
| ■2008/02/21 |
【JaSST'08 in 東京で研究発表しました】 |
|---|---|
|
JaSST'08 in 東京(ソフトウェアテストシンポジウム2008 in 東京)で研究発表を行いました。
発表件名： 支援ソフトウェアを活用した実践的モデル検査
※ 「論文」および「発表用スライド」につきましてはこちらを参照下さい。
|
|
| ■2008/01/09 |
【JaSST'08 in 東京で研究発表します】 |
|---|---|
|
JaSST'08 in 東京(ソフトウェアテストシンポジウム2008 in 東京)で研究発表を予定しています。
発表件名： 支援ソフトウェアを活用した実践的モデル検査
JaSST'08 in 東京
開 催 期 間： 2008年01月30日(水) - 01月31日(木)
場 所： 目黒雅叙園 セッション名： モデル検査ブートキャンプ(30日 16:10 -) |
|
|
＜モデル検査によるソフトウェアテストの実践研究会＞
当研究会は、2002年から協力してモデル検査によるソフトウェアテストを実務導入・活用するための
実践研究（事例収集、ノウハウ取得・体系化）に取り組み続けてきた、以下のメンバーにより構成さ れています。 関西電力株式会社 電力技術研究所 メルコ・パワー・システムズ株式会社 株式会社エネゲート |
|||
|
|
|||
|
【謝辞】
我々の活動に先立ち、モデル検査の基礎技術習得にあたって、独立行政法人産業技術総合研究所、
システム検証研究センターから御協力を頂きました。
厚く御礼申し上げます。 |
 |