フレゼニウス メディカル ケア

ソリューション

multiFiltratePROシリーズ機のソフトウェアのアーキテクチャをモデル化するために、CASEツールが使用されています。新機能が製品に導入される際、チームはまずアーキテクチャの変更が必要かどうかを確認し、必要な変更を実装します。すべての開発成果物と同様に、アーキテクチャモデルもバージョン管理システムに管理され、アーキテクチャのテストに使用されます。

ここでAxivion Suiteが活躍します。継続的インテグレーションのコンテキスト内で動作し、静的コード解析を実施することでソースコードをチェックし、CASEツールからのアーキテクチャとコードを照合します。Axivion Suite は、クローン、デッドコード、メトリック違反、および循環依存関係を識別し、位置を特定します。医療技術ソフトウェアの標準は遵守されなければならないため、スタイル違反の監視は非常に重要です。

コンプライアンスを確保するために、修正されたMISRAチェックが、FMCが独自に策定したルール（命名規則など）へのコンプライアンスチェックとともに実施されます。これにより、開発中のソフトウェアの品質が向上し、初期段階でのエラーが回避されます。Axivion Suiteは、日々の自動分析中に新たな逸脱を特定します。この時間的差別化により、レガシーコードを「凍結」したまま使用することが可能になります。レガシーコードには、当然のことながら、より多くの逸脱が含まれていますが、回帰の理由から積極的に対処することはありません。FMCでは、新しい違反の防止に重点を置き、ソフトウェアの劣化を防ぐことを目指しています。Axivion Suiteは、解析結果を電子メールとダッシュボード上のインタラクティブなレポートで開発者に即座に通知します。この直接的なフィードバックにより、開発者は自分のコードを修正するか、アーキテクチャの後続の適応を開始する機会を得ます。

FMCは、開発者にとっての学習効果も重要な要素であると考えています。新たに作成されたコードに対する直接的なフィードバックを受けることで、開発者はアーキテクチャモデルおよび有効なルールをより深く理解し、長期的には要求事項をより適切に実装できるようになります。

成果

Axivion Suite のおかげで、FMCは透析装置用ソフトウェアが直面する数多くの課題を克服できるようになりました。新しく作成されたコードを継続的かつ包括的にテストすることで、アーキテクチャモデルからの逸脱を防止し、製品の品質に影響を与える可能性のあるコード内のエラーや問題のある依存関係を排除します。Axivion Suiteはまた、関連するコードチェックを実施し、FMCがIEC 62304に準拠していることを保証します。

Axivion Suite の自動解析の導入により、FMC はソフトウェア品質保証の面で譲歩することなく、テスト時間とコストを大幅に削減することができました。この節約分は、製品のさらなる開発や長期的な技術革新の促進に活用できます。定期的なフィードバックのおかげで、解析はコード内の問題箇所のタイムリーな処理やアーキテクチャモデルの戦略的変更を容易にします。同時に、プロジェクトと開発者の両方がアーキテクチャの理解を深め、C/C++プログラミングの学習曲線が向上します。

自動コード解析によって達成された高いコード品質は、FMC multiFiltratePROシリーズ機のような長寿命製品の保守性も向上させます。また、ハードウェア依存度も低下し、ハードウェアが製造中止となった場合でも、コードの移行や再利用が容易で迅速かつ低コストで行えるようになります。