国内初の形式手法に基づく組込み制御ソフトウェア開発支援ツール『SCADE Drive™』・『SCADE Suite™』 販売開始のお知らせ ― "ソフトウェア品質の向上"は開発プロセスの改善によって達成できる！ ―
株式会社シーディー･アダプコ･ジャパン（以下CDAJ）は、このたび、Esterel Technologies社（以下 エステレルテクノロジーズ社）と『SCADE Drive™（スケード ドライブ）』・『SCADE Suite™（スケード スイート）』の日本国内独占販売契約を締結いたしました。
『SCADE Drive™』・『SCADE Suite™』の機能は安全性ライフサイクル規格"IEC-61508"で定義される安全度の最高確度"SIL4認証"を受けたコード生成機能を持ち、さらに、航空電子システム分野においては、標準安全性規格"DO-178B"を満たす、世界でも数少ない商用「組込みソフトウェア開発ツール」です。『SCADE Drive™』・『SCADE Suite™』の特徴は、厳密な数学理論に基づく"形式手法・形式検証法（Formal Method）"を用い、制御ロジックをソフトウェア開発の上流側において論理的な厳密性を持って検証できるところにあります。同様の機能を有するソフトウェアでは、日本国内初の導入となります。これにより、CDAJでは、既存の開発環境に対して、ソフトウェアの品質を高める開発環境をご提供することを目指します。
2000年以降の大規模なシステムトラブルには、通信機器メーカによる23万台の携帯電話リコール、航空管制用の飛行計画処理システムダウンによる多数の欠航、銀行ATMのシステム異常によるサービス停止など、ソフトウェアに起因するトラブルが多発し、近年、ソフトウェアの品質保証についての問題が頻繁に取りざたされています。これは、システムの大規模化、納期短縮・開発コスト削減の制約等によって、ソフトウェアの品質保証が追従できていない事を明示しています。ソフトウェアの品質をプログラム(コード)のテストだけで保証するには、膨大なテストケースの準備とテストケースの網羅率(カバレッジ)を計測する方法が必要であり、制御ソフトウェア開発の工数は指数関数的に増大する一方です。また、航空機制御システム、交通機関、エネルギープラントなどのように、安全性を重要視する産業においては、もっと深刻な問題となっています。
欧州を中心に、ソフトウェア開発の上流工程である仕様・設計段階で、プロパティ検証を行うことが提唱されており、その一手法として、"形式手法・形式検証法"が、活発に研究・実用化されています。"形式検証"では、数学アルゴリズムによってプロパティ検証が自動的に実行され、検証したいプロパティに対するテストケースを用意する必要がありません。これは、今後日本国内においても、大変注目される技術です。
『SCADE』を用いた開発プロセスの特徴としては、以下のものがあげられます。
- 設計モデルを操作しやすいGUIエディタ環境によるモデル設計が可能
- シミュレーションと形式検証法による設計モデルの検証が可能
- 設計モデルからの自動コード生成(コード生成と設計モデルの一致性の保証、MISRA準拠)
「エステレルテクノロジーズ社は、ヨーロッパや北米において広くお客様に選ばれてきた素晴らしい技術を持っています。『SCADE Drive』・『SCADE Suite』は、DO-178BやIEC-61508(JIS C 0508)などの規格に合致したモデルベースソフトウェア開発ツールの急増する需要に応えることができると確信しています。日本のお客様にとって、品質の向上と開発期間短縮が最重要課題の一つであり、特に、自動車産業と交通産業市場は、『SCADE Drive』・『SCADE Suite』が有効な市場だと考えています。CDAJは、日本の主要企業に、CAE関連のソリューションを提供し続けています。そして、『SCADE Drive』・『SCADE Suite』は今後、CDAJの代表製品となる可能性を十分に感じております。」
（弊社代表取締役社長 徐 錦冑）
組込みシステムの中で安全性が重要視される自動車分野への形式手法・形式検証法の普及を狙っています。
対応プラットフォーム
- Windows NT4.0、Windows2000
- Windows XP（Windows95/98/Meはサポートされていません）、Solaris2.6、Solaris2.8
Esterel Technologies社 について
Esterel Technologies社の"SCADE"は"Safety Critical Application Development Environment"の頭文字を取って名づけられ、その製品とサービスは、信頼性のある組込みソフトウェア設計から検証に対するソリューションとして提供されています。同社は、Mountain View(米国カリフォルニア)と Elancourt(フランス)に本社を置き、ドイツ、イギリス、カナダ、中国にセールオフィスを持つ企業です。その他詳細情報についてはウェブサイトをご参照ください。（http://www.esterel-technologies.com）
