「モデル検査を用いたシステム検証の実用化に向けた研究」
当社は、お客様にご満足していただけるシステムをつくるために様々な取り組みをおこなっています。 そのなかでもシステムの品質確保は当社の大きな使命だと考えています。
高品質なシステムをつくるためになくてはならないもの、それが検証技術です。当社は、これまでの経験と実績によって培ってきた検証技術をさらに追求するため、新しい検証手法としてモデル検査手法の事例研究と実機適用に取り組んでいます。 2002年に基礎研究を開始し、2004年より社内での試験適用をおこなっています。研究の取り組み状況や適用事例は技術雑誌やシンポジウムを通して情報発信しています。
- 2005年10月
-
「第二回システム検証の科学技術シンポジウム」で成果報告
科学技術振興機構、産業技術総合研究所主催 - 2005年12月
-
「日経エレクトロニクス12月19日号」に記事掲載
特集 ソフトウェアは硬い - 2006年 1月
-
「モデル検査によるソフトウェアテストの実践研究会」に参画
研究会のHPはこちら - 2006年 1月
-
ソフトウェアテストシンポジウム2006in東京」で成果報告
JaSST実行委員会主催 - 2006年 4月
-
「組み込みソフト・フォーラム2006 Spring」で成果報告
日経エレクトロニクス主催 - 2006年 5月
-
「ソフトウェアテストシンポジウム2006in大阪」で成果報告
JaSST実行委員会主催 - 2006年11月
-
「第三回システム検証の科学技術シンポジウム」で成果報告
科学技術振興機構、産業技術総合研究所主催 - 2006年12月
- 「組み込みソフトウェア2007」（日経BP社）に記事掲載
- 2007年 1月
-
「ソフトウェアテストシンポジウム2007in東京」で成果報告
JaSST実行委員会主催 - 2007年 4月
-
「モデル検査によるソフトウェアテストの実践研究会」のHPでモデル検査支援ソフトウェア（試供版）を公開
研究会のHPはこちら - 2007年 6月
-
「組込み総合技術展 関西 ETWest2007」で技術セミナー開催
組込みシステム技術協会主催
このページのトップへ