現在、ソフトウェアの大規模化は飛躍的に進んでいます。
膨大な規模のソフトウェアはどのようにして開発しているのか、その良し悪しの基準とは何か。
同社ではソフトウェアの見える化を図り、開発品質の向上とともに技術者の育成にも取り組んでいます。
見える化のツールとして導入したのが、プログラミング上の重大な欠陥を自動検出するKlocworkです。
ハートランド・データでは一人ひとりが、「笑顔のためのモノづくり」という理念の下、“今無いモノを追及する、先進的なソフトウェア開発”、“ソフトウェア開発者を支援する画期的な開発サポートツール開発” に取り組んでいます。 「意欲的に、迅速に、誠実に」の思いを込めて、「一歩先行く技術でお客様と幸せを分かち合う」という視点で、組込ソフトウェアの受託開発からホームオーディオやネットワークオーディオ等の各種ソリューションの開発、ソフトウェア開発者向け動的テストツール『DT10』といった最先端製品の開発・販売を行っています。
Elektrobitは、自動車業界向け組み込みソフトウェアの国際的リーダーであり、7千万台を越える車および10億を超える組み込みデバイスにHMI技術、ナビゲーション、電子制御ユニット(ECU)、およびソフトウェアを提供しています。自動車業界においては、オープン性、接続性および統合化に対する顧客の要求が増大し、安全安心および脆弱性に対する防御がメーカーおよびOEM全体の関心事となってきています。
市場の拡大およびそれによってもたらされる複雑性に対処するためには、高い安全性/高信頼性基準の達成が必要不可欠です。
「安全なコーディングスタンダード ベストプラクティス」
ソフトウェアセキュリティ問題の最大90%はコーディングエラーが原因であるため、安全なコーディングスタンダードが不可欠です。採用できる安全なコーディング方法はいくつかあります。しかし、真に安全なコードを書くには、安全なコーディングスタンダードが必要です。
「PA DSSとは」
クレジットカード決済に関してはセキュリティが重要であるため、PA DSSおよびPA DSSへの準拠が不可欠です。ここでは、PA DSSとは何か、PCI DSSとの関係、およびPA DSSコンプライアンスを確保する方法について説明します。
「FDAサイバーセキュリティガイダンスに従うには」
医療機器は安全である必要があります。そのため、医療機器に関するFDAサイバーセキュリティガイドラインがあります。ここでは、FDAのサイバーセキュリティガイドラインとは何かについて説明します。また、医療機器向けのFDAサイバーセキュリティガイダンスを説明します。
決済カード業界のデータセキュリティ基準、PCI DSS。
Klocwork は、組織のソフトウェアのセキュリティゴールを達成するため、優れた静的ソースコード解析を提供します。
FDA ソフトウェア認証ガイダンス
Klocwork は、優れた静的ソースコード解析を提供し、ソフトウェア認証プロセスを向上させ、またよりクリーンで、さらに信頼性の高いコードを作成します。
医療機器用の有効なソフトウェア検証、静的解析によるコンプライアンス遵守と生産性目標の達成
C、C++ およびJavaコードで、深刻なバグを検出する
静的解析ツールの進化を見てみましょうKlocworkは、プラットフォームで全ての関数呼び出しのナレッジベースを築き上げることによりアンドロイドのコードがどのように操作されるのかを解析します。
正確でスケーラブルな全プログラム解析
車載ネットワーク時代のソフトウエア開発における安全性・信頼性を確保する最適なソリューション
組み込みソフトウェアへの脅威と戦うため、チームは脅威のモデリング、静的解析、侵入テストなどの戦略によって組み込みコードの安全性を確保します。
Klocworkは企業のISO26262コンプライアンス目標をサポートできます。
賢明な導入戦略と現実的な目標を組み合わせることで、短期間での投資回収が可能に
Klocworkは、プラットフォームで全ての関数呼び出しのナレッジベースを築き上げることによりアンドロイドのコードがどのように操作されるのかを解析します。
静的解析の大規模導入により生産性と品質の向上度の測定が可能に
開発プロセスの早い段階でセキュリティ脆弱性とメモリ管理の問題に対処
開発プロセスの早い段階でバグを発見することで複雑化するコードを管理
次世代人工器官の開発におけるソフトウェアの信頼性と開発者の生産性を強化
宇宙機装置のリアルタイム運用をサポートするためのC++ コードの信頼性と安定性を確保
防衛・航空業界におけるレガシーコード再利用の課題の克服
大手医療機器プロバイダーの開発時間を短縮し、MISRA 標準への準拠を支援
高度な静的解析機能を導入することで、複雑で絶えず変化するソフトウェア コードベースに対応
静的解析により高信頼のビデオ伝送を実現
品質保証に向けたプロアクティブなアプローチ
Visual Studio におけるオンザフライの静的解析により生産性と品質の向上度が測定可能に
ソースコード解析によりカスタマ エクスペリエンスを改善
コード品質の確保とフィールド エラーの削減
電子医療機器を対象とした FDA の厳しい安全・品質標準への準拠を支援