d-risq - image human

お客様の組織に最適な安全な検証済みソフトウェアシステムをアジャイル開発

D-RisQは、ウスターシャー州マルバーンを拠点とするイギリスの大手ソフトウェアおよび検証システム企業です。
形式手法の数学的技法を用いて、私たちはソフトウェア検証製品群を開発しました。これらの製品は、国際的な規制当局が定める最も厳しいソフトウェア動作保証の基準を、お客様の組織が満たせるように設計されています。元々イギリス政府で使用されていた当社のインテリジェントなソフトウェア検証製品は、航空宇宙、自律システム(空、陸、海、水中)、自動車、海洋、防衛、サイバーセキュリティ、および原子力廃止措置など多くの産業に適応しています。
弊社のハイテクな自動化ソフトウェアシステムを導入することで、お客様は従来のテストや検査の手法と比較して、ソフトウェア開発コストを50~80%削減することができます。

導入実績のある産業分野

私たちがお客様に提供できること

インテリジェントソフトウェアシステムのご紹介

Kapture®
Kapture® は、より明確で検証可能なソフトウェア要件を作成し、問題がエスカレートしてさらに高額なコストにつながる前に、徹底的に発見できるように作られています。
開発者の設計、コーダーのコーディング、テストエンジニアの有効なテストケースの開発支援に最適なツールです。詳しくは、製品情報ページをご覧ください。


詳細を見る
Modelworks®
繰り返しの作業とコストを最小限に抑えたいのであれば、ソフトウェア開発サイクルの早い段階で物事を正しく理解することが不可欠です。Modelworks®は、SimulinkとStateflowで設計の自動検証を可能にし、設計エンジニアが様々な設計を検討し、最も保守性が高く、使いやすい設計を選択することを可能にします。
コストのかかる設計ミスを減らし、将来のコーディング作業を効率化し、設計の正しさを証明する理想的なソフトウェアシステムです。
詳細を見る
CLawZ®
手作業でコードを生成すると、ミスが発生しやすく、再作業にコストがかかります。  また、自動生成されたコードであっても、そのコードにエラーがないことを示す単体テストが必要であり、さらにそのコードがソフトウェア設計を実装していることを示すテストが必要です。
CLawZ®は、自動生成されたコードがSimulinkで生成された設計を正しく、完全に、正確に実装していることを自動的に証明するため、単体テストを実施する時間やコストを削減することができます。 
詳細を見る
CLawZ
CLawZ enables the automatic independent verification of C source code generated from Simulink models.  Should the autocoder have made a mistake, it will show where in the code the issues lies and relate it to the original design in Simulink.
CLawZ: Automating source code verification
Discover more
更新情報

最新情報のご紹介

弊社の制御システムソフトウェアがお客様にご提供できるメリットをご提案いたします

連絡先
D-RISQ - Logo