〔SEC特別セミナー〕 アーキテクチャ指向エンジニアリングと形式手法：IPA 独立行政法人 情報処理推進機構
ソフトウェア・システム開発において、最初からその仕様が固まっているということは少なく、開発が進捗するに従いより明確になっていきます。また、出荷後に運用環境の変化によって仕様も変わってきます。また、個々のソフトウエアおよびシステムの構成要素が正しく開発されたとしても、それらの相互接続性に問題があれば、信頼性確保に問題が発生します。これら諸問題に対応するには、形式手法により仕様をより分かり易く早い段階で固めてゆくと共に、アーキテクチャというものがソフトウェア・システム開発の初期の段階で十分考慮されなければなりません。 今回のSEC特別セミナーは、形式手法導入への考慮点を、アーキテクチャとの連携についての先進的事例およびアプローチについて理解を深めていただくために開催します。
〔SEC特別セミナー〕 アーキテクチャ指向エンジニアリングと形式手法：IPA 独立行政法人 情報処理推進機構
ソフトウェア・システム開発において、最初からその仕様が固まっているということは少なく、開発が進捗するに従いより明確になっていきます。また、出荷後に運用環境の変化によって仕様も変わってきます。また、個々のソフトウエアおよびシステムの構成要素が正しく開発されたとしても、それらの相互接続性に問題があれば、信頼性確保に問題が発生します。これら諸問題に対応するには、形式手法により仕様をより分かり易く早い段階で固めてゆくと共に、アーキテクチャというものがソフトウェア・システム開発の初期の段階で十分考慮されなければなりません。 今回のSEC特別セミナーは、形式手法導入への考慮点を、アーキテクチャとの連携についての先進的事例およびアプローチについて理解を深めていただくために開催します。
形式手法実践ポータル | Formal Methods User Group
「形式手法（フォーマルメソッド）」は，数理論理学等に基づき品質の高いソフトウェアを効率よく開発するための科学的・系統的アプローチの総称です．形式手法においては，システムの注目する側面を正確に，曖昧さのないモデルで表現します．これによりシステムへに関する理解を明確にするとともに，システムの満たす性質について科学的・系統的な分析や検証を行います．その結果，曖昧な理解や誤りを早期に発見し手戻りを防いだり，分析・検証により品質を高めたりすることができます． 形式手法におけるツールの充実や，ソフトウェアの品質に対する要求の高まりを受けて，形式手法は改めて注目されてきています．ただし，形式手法・ツールにはその目的に応じて多種多様な種類があり，また個々の手法・ツールを効果的に用いるためには注意深く適用方法を検討する必要があります． このサイトでは，形式手法の利用を促進することを目指し，目的の異なる様々な
「形式手法適用調査」報告書 : 情報処理推進機構：ソフトウェアエンジニアリング
形式手法は高信頼性を担保するための有効な技術です。1990年代後半から欧州では、形式手法を適用したシステム構築が進められました。一方、国内では、「扱える技術者が少ない」等の理由から、形式手法の適用は進んでいません。このような背景から、国内の開発現場への適用促進に向けた基礎資料作成のため、本調査を実施しました。 本報告書は、欧州を中心に海外調査を行い、形式手法を適用した海外のプロジェクト104件の中から12件の事例、および形式手法ツールベンダの調査結果等について、とりまとめました。 調査した事例は、下記の通りです。 ・防潮可動堤開閉意志決定システム／オランダ ・航空管制システム（iFACT）／イギリス ・無人地下鉄車両の制御（パリ地下鉄14号線）／フランス ・パリ地下鉄プラットフォームドアの制御／フランス ・シャルルドゴール空港の無人シャトル制御／フランス ・北京地下鉄の自動列車停止システム
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
