TR-Electronicについて
TR-Electronic は、オートメーション技術における産業用途向けのセンサーおよびアクチュエータを開発・製造・販売しています。ロータリーエンコーダ事業部の製品には光学式・磁気式スキャン方式があり、回転軸の角度変化を検出します。マグネトストリクティブ式リニアエンコーダは、油圧シリンダーなどにおいて直線運動の位置を非接触で測定します。
モーション事業部のインテリジェントなコンパクトドライブは、アクチュエータまたはプロセスドライブとして使用されます。プレスおよびパンチング工程に関する専門知識を活かしたカスタム制御・計測モジュールが、製品ポートフォリオを完成させています。コンポーネント事業部はオートメーションコンポーネントを提供しています。オートメーション事業部の開発サービスは、プレスラインの性能を新たな水準へと高め、スマートメータリングソリューションによる効率的なエネルギー利用、上水道網の遠隔監視、インテリジェントな暖房オートメーションを実現します。
TR-Electronic の最も重要な顧客は、ドイツで強い伝統を持つ機械・プラントエンジニアリング産業です。本社を置くトロッシンゲンに加え、欧州、米国、カナダ、ブラジル、アジアの各拠点および技術販売パートナーが専門的なアドバイスとプロジェクト計画を提供し、TR 製品群への世界的なアクセスを保証しています。
TR-Electronic の詳細はこちらをご覧ください。www.tr-electronic.de
ドイツのトロッシンゲンに本社を置く TR-Electronic は、オートメーション技術における産業用途向けのセンサーおよびアクチュエータを専門としています。同社の製品ポートフォリオには、ロータリーエンコーダ、リニアエンコーダ、インテリジェントなコンパクトドライブ、そして制御・計測モジュールが含まれます。オートメーションソリューション向けファームウェアはアーキテクチャモデルに基づいており、これは同社の各事業部門における今後の新たな開発の基盤にもなっています。TR-Electronic は現在、Axivion Suite の一部として新たな静的コード解析機能を導入することで、カスタム要件を一貫して実装し、厳格なセキュリティ標準を満たすことを目指しています。
Axivionを選んだ理由
MISRA や CERT などのプログラミングガイドラインおよび業界標準への準拠を自動チェック
Axivion Architecture Verification によるインターフェース要件の一貫した遵守の検証
既存のツールチェーン・ワークフローへのシームレスな統合
コード検証・妥当性確認に要する手作業の大幅な削減
Axivion Static Code Analysis による欠陥の正確な検出
カスタマイズ機能による顧客固有のニーズへの柔軟な対応
Axivion Suite は、当社のファームウェア開発における品質保証を支えるもう一つの重要な要素です。特に、産業環境において厳格化が進む安全性・セキュリティ要件への対応において、重要な役割を果たしています。
TR-Electronic
課題
TR-Electronic の計測・制御ソリューションは、金属・木材加工から印刷・パッケージング産業、さらにはイベントエンジニアリングや風力タービンまで、幅広い分野で使用されています。同社の高品質な標準製品およびカスタムソリューション向けファームウェアは、緻密にモデル化されたアーキテクチャの要件を満たしています。これにより、さまざまなファームウェアバリアントを管理可能な状態に保ち、長期的に安全な発展を可能にしています。
ソフトウェアアーキテクトが作成したモデルへの厳格な準拠を確実にする唯一の方法は、ツールベースのアーキテクチャ検証を一貫して採用することです。そのために使用するソフトウェアツールは、開発プロセスにシームレスに統合される必要がありました。ファームウェアの既存アーキテクチャモデルにコードが準拠しているかを確認するだけでなく、アーキテクトがモデルをさらに最適化できるよう、設計に関するフィードバックを提供することも求められました。
分析ツールに求められるもう一つの要件は、セーフティおよびセキュリティ分析に関するものでした。TR-Electronic のセンサーおよびアクチュエータは、Industry 4.0 アプリケーションや、機械の重要な安全関連機能の監視においてますます採用が進んでいます。こうした分野では、ネットワーク化された生産ユニットを悪意のあるソフトウェアや不正アクセスから保護するため、技術的な安全標準がますます厳格化しています。そのため、体系的な安全性・セキュリティ上の欠陥を防止するための分析（CERT® などの関連プログラミングガイドラインへの準拠を自動的に確認する機能を含む）を実行できるツールが必要でした。また、この新しいツールスイートには、MISRA C:2012 コーディングガイドラインへの準拠確認に使用していた従来の静的コード解析ツールを、できる限りシームレスに置き換えることも求められました。
ソリューション
Axivion Suite は、その高精度な分析能力と、TR-Electronic の既存ツールチェーンおよび開発ワークフローへの容易な統合性により、まさに求めていた条件に合致するものでした。既存の静的コード解析ツールから Axivion Suite への移行は迅速かつスムーズに進み、Axivion のプロフェッショナルサービスチームによるカスタマイズも同様に順調に行われました。
このツールスイートは、C言語で開発されたコードの解析に使用されます。統合された MISRA チェッカーは、プログラミング標準 MISRA C:2012 のうち自動チェックが可能なすべての MISRA ルール、およびソフトウェアセキュリティにおいて重要な CERT® プログラミングルールをカバーします。アーキテクチャ検証の一環として、既存の Enterprise Architect の UML モデルが自動的にインポートされ、コードがそれらに準拠しているかがチェックされます。Axivion Suite は、TR-Electronic のナイトリービルドのツールチェーンにシームレスに組み込まれます。
成果
TR-Electronic では、機能適合性や効率性といった外部的なファームウェア品質を自動的にチェックするテストツールを、以前からすでに導入していました。Axivion Suite の導入により、今回はソフトウェアの内部品質を自動的にチェックするための効率的なツールも手に入れたことになります。
このツールスイートは、ビルドが行われるたびにファームウェアのコードとアーキテクチャを自動的にチェックする役割を担います。分析では、メトリクスのしきい値への準拠に加え、MISRA や CERT® などの社内規定および一般的なプログラミングルールへの準拠を確実にチェックし、定義されたソフトウェアアーキテクチャへの違反があれば示します。アーキテクチャ検証により、インターフェース要件が一貫して守られることが保証され、モジュールへのカプセル化も支援されます。
特にコード開発中にアーキテクチャ違反が発生した際の短いフィードバックサイクルは、早い段階からプログラミング品質に良い影響を与えました。これは、定期的かつ的確なフィードバックによってコーディングの迅速な修正が可能になったことに加え、開発者の学習速度が上がったことも大きな要因です。全体として、TR-Electronic はソフトウェアアーキテクチャおよびコードの検証・妥当性確認に必要な人的作業を大幅に削減しました。同時に、Axivion Suite はファームウェア開発におけるセキュリティを確保することで、開発チームの既存のツールチェーンを完成させる役割も果たしています。