IEC 61508 電気・電子関連機能安全 支援サービス
IEC 61508は、ISO26262に比べて広範囲で、E/E/EPSシステム全般に渡る安全規格です。IEC 61508では機能安全にかかわるソフトウェア開発の要件が各種規定されています。テクマトリックスでは、IEC 61508の中で推奨されるV字モデルによるソフトウェア開発の各工程で要求される要件を満たすためのサービスを提供しています。
【ツール適用妥当性検証報告書】
- ツール適用妥当性検証報告書作成サービス
- 本サービスは、ISO26262のTCL認定取得サービスに相当します。 IEC 61508のソフトウェア開発で使用するソフトウェアは、想定されるユースケースに応じて、その適切性が十分吟味されなければなりません。このような確認作業は、ユーザ様にとって大きな負担となります。テクマトリックスでは、お客様のプロジェクト内でのツール適用をお聞きして、各種のテストあるいは、文書の情報を収集して、適用予定のツールのプロジェクト内への適用妥当性の確認が可能な文書を報告書の形でご提供します。
【ソフトウェア開発】
- ソフトウェア設計支援
- IEC 61508では、『設計に当たっては、適切な設計法の選択』、『設計に当たっては、テスト可能性、複雑度がコントロールされていること』、『ソフトウェア・アーキテクチャに関しても、コンポーネント間の相互作用などデザインルールにのっとった設計がなされていること』が要求されています。
- この要件を満たすには、設計情報をなんらかの方法で数値化し、適合性、実行可能性、テスト容易性、保守性の妥当性を検証する必要があります。テクマトリックスが取り扱っているソフトウェアアーキテクチャ分析ツールLattixは、設計段階で作成されたCASEツールの情報を読み取り、「システムの安定性」、「依存関係の複雑度」などのメトリクス情報をレポートします。このメトリクス情報から、要件を満足するための数値情報を取得することができます。Lattixは、設計情報の数値化に加えて、デザインルールに違反した参照関係を検出できます。CASEツールで作成した設計情報をデザインルールとともにLattixに取り込むことにより、デザインルールへの準拠度を検証できます。テクマトリックスでは、Lattixを活用して、デザインルールに準拠した開発が進んでいるかを検証する環境構築や、プロジェクトで使用する適切なデザイン標準とコーディング標準の作成などの支援サービスを提供します。
- テクマトリックスが取り扱っているソースコード解析ツールUnderstandを利用して、ソースコードの複雑性を数値化するメトリクスを取得し、複雑性の確認と、そのメトリクスからテストの容易性や保守性を分析することを推奨します。Understandは、ソースコードを解析し、70種類のメトリクスを計測します。また、Understandは、APIが公開されているので、メトリクス計測結果をカスタマイズすることも可能です。
- ソフトウェア実装支援
- ソフトウェアの実装では、『作成されたコードがコーディング標準を満たしていること』、『プログラムミスに対する防止の方策が実施されていること』、『設計と同様に、コードもテスト可能性、保守性、複雑性などが制御下にあること』が要求されています。
- 第三者試験認証機関よりIEC 61508およびISO 26262に準拠したテストツールとして認証を取得したC/C++対応自動テストツールC++testの静的解析機能を利用して、コーディング標準に対する適合性を検証することを推奨します。C++testには、「命名規則」や「Misraルール」、｢JFS｣などのコーディングルールが内蔵されており、これらのルールを適切に選択することにより、本要件を満たすことができます。また、ユーザー独自のコーディングルールを作成する機能もあり、命名規則など独自のルールを作成する場合でも柔軟に対応することが可能です。
- ソフトウェア検証支援
- ソフトウェア検証では、『ユニットテストは、ユニットテスト手法に規定されている手法を使用すること』、『カバレッジメトリクスに規定されたカバレッジの収集支援、テストケースの作成支援を含むこと』の2つが要求されます。
- これは、「Requirement-base test」、「Interface test」、「Fault injection test」など、規定された手法を使用して単体テストを実施すること、そして、「Statement coverage」、「Branch coverage」、「MC/DC coverage」のいずれかのカバレッジ情報を取得し、テスト品質を確保することによって満たすことができます。C/C++対応自動テストツールC++testの単体テスト機能を利用して、テストケースの生成や単体テストの実行を効率化し、テストカバレッジの収集を自動化します。
| 2011年12月5日 | SEニュース：2011年12月5日：テクマトリックスとガイア・システム・ソリューション、組込みシステム開発向けソリューション事業で業務提携 |
|---|
【このサービス／製品に関するお問い合わせ先】
E-MAIL： se-info@techmatrix.co.jp
東京本社
〒108-8588 東京都港区高輪4丁目10番8号 京急第7ビル
システムエンジニアリング事業部
ソフトウェアエンジニアリング営業部
TEL： 03-5792-8606
FAX： 03-5792-8706
大阪支店
〒541-0054 大阪市中央区南本町2丁目6番12号 サンマリオンNBFタワー6F
TEL： 06-6243-3801
FAX： 06-6243-3803