「形式手法」最新記事一覧

形式手法でソフトウェア設計時の修正指摘が可能に、IPAらが活動成果を報告
障害を起こさないソフトウェア「ディペンダブルソフトウェア」の実現に向け、IPAやITベンダーらが参加する組織が、東証のシステム設計書で形式手法を用いた効果を実証した。（2012/4/20）

自動車分野の機能安全規格「ISO26262」とは何か？（5）：
ISO26262 Part.6 ソフトウェア開発（手法）
自動車分野向けの機能安全規格「ISO26262」。今回は、「ISO26262 Part.6 ソフトウェア」における“手法”にフォーカスし、車載系での採用事例が多い形式手法「SDL」について詳しく紹介する。（2011/12/21）

東証の業務ソフトで形式手法の有効性を実証へ　DSF
国内IT企業らが参加するディペンダブル・ソフトウェア・フォーラムは、ソフトウェア開発の形式手法の有効性について、東京証券取引所のソフトウェアを対象に実証実験を行う。（2011/7/21）

ISO 26262 準拠に向けての課題を探る：
「機能安全」の導入で何が変わるのか？
自動車向けの機能安全規格ISO 26262の策定作業が最終段階に入った。この規格では、機能安全を実現し、それを証明するために必要となる開発プロセスが定められる。では、その新たな開発プロセスは、従来の開発プロセスとどのように異なり、それを適用する際にはどのようなことが課題になるのだろうか。本稿ではまずこの点を明らかにする。加えて、機能安全を実現する上でポイントとなるマイコンについて、各メーカーの取り組みの様子を紹介する。（2010/10/1）

ETロボコン2009、挑戦記（9）：
UMLと形式手法のハイブリッド仕様が鍵となるか
SysML、VDMなど、新しいモデリング言語／方法論が多数登場した今年のETロボコン。審査員からの渇も含め、今年のトレンドを紹介する。（2009/12/9）

その基本から、記述ノウハウ、フォーマル解析への展開まで：
アサーション活用の手引き
ICの高機能化が進むに従い、その機能を検証する作業が非常に大きな課題となってきている。この課題を解決するものとして期待され、現在、着実に普及しつつあるのが、アサーションベース検証（ABV）である。本稿では、まずこのABVの基本について説明する。続いて、アサーションを記述する上での注意点などを紹介する。さらに、アサーションを利用したもう1つの検証手法であるフォーマル解析についても解説を加える。（2009/9/1）

誰でも使える形式手法（5）：
VDMを用いた仕様記述・検証 〜 仕様検証編 〜
要求を仕様としてモデル化し、VDMで仕様を記述してきた本連載もいよいよ大詰め！ 今回は“仕様の検証”について詳しく解説する。（2009/2/20）

誰でも使える形式手法（4）：
VDMを用いた仕様記述・検証 〜 仕様記述編 〜
今回は、「LEGO Mindstorms NXT」のライントレース仕様をテーマに記述したUMLを基に、VDMによる仕様記述の手順を詳しく解説する！（2009/1/21）

誰でも使える形式手法（3）：
VDMを用いた仕様記述・検証 〜 モデリング編 〜
今回は「LEGO Mindstorms NXT」を題材に、要求の分析からVDMを前提としたモデリング、UMLの記述までの流れを詳しく解説する。（2008/11/19）

誰でも使える形式手法（2）：
VDMはソフトウェア開発でこう使う！
“VDMを開発プロセスの中でどのように活用すべきか”について、「導入」と「運用」に分けて、具体的な施策を示しながら解説する。（2008/10/20）

誰でも使える形式手法（1）：
ライトウェイトな形式手法で高品質な仕様をこの手に！
仕様の“不確かさ”が原因で痛い目を見た。そんな経験をお持ちの皆さん、この機会に形式手法をマスターし、高品質な仕様を作成してみませんか。（2008/9/17）

品質向上技術解説：
いまさら聞けない 形式手法入門
ソフトウェアの品質向上手段として注目されている形式手法。今回は、厳密な仕様定義を目的とした「形式仕様記述」を中心に、分かりやすく解説する（2007/1/19）