「高信頼ソフトウェア開発に向け、形式手法（Formal Method）を取り入れた開発プロセスの研究」 国内外にて、ITが重要な社会基盤を担っており、一部のソフトウェア不具合が重大な社会問題となりつつあります。現状では、電子装置開発、組込みソフトウェア開発の開発規模が爆発的に増大しかつ複雑化したことにより、 ソフトウェアの品質維持が非常に難しくなっています。ミクロスソフトウエアでは、上記の様な現実に向け、高信頼ソフトウェア開発の技術構築の取り組みとして、 形式手法（Bメソッド、イベントB）による開発プロセス研究を進めております。

※ 経済産業省中小企業庁が公募した「平成22年度 戦略的基盤技術高度化支援事業」に対し 形式的仕様記述を用いた高信頼ソフトウェア開発プロセスの研究とツール開発」が採択され、 3年間の事業委託を受けています。

【形式手法とは】
数理論理学に基づく厳密な意味を持つ言語にて要求仕様を表現し、設計、検証を行う手法
形式的仕様記述：仕様を、数学・論理学に基づく厳密な形式仕様言語にて記述する
形式検証：形式仕様言語にて記述された仕様から支援ツールを用い、矛盾や欠陥を発見する。

お問い合わせやご相談など、お気軽にお電話ください。