サービス一覧

「認証支援サービス」

様々な産業分野(電子機器、車載組み込み、鉄道、航空、医療機器)における機能安全規格(IEC 61508 、ISO 26262、EN 50128、DO-178C)やセキュリティ規格(DO-326A、J3061)に関する製品認証支援を行います。 弊社が独自に開発した、セーフティ/アシュアランスケース(Safety/Assurance Cases)に基づいた認証支援を提供しております。

「システム保証支援サービス」

システムの安全性、セキュリティなどのシステム保証に関する技術支援を行います。安全分析や脅威分析(アタックツリーを利用)に関する実績(スマートハウス、自動車システム(V2X)、鉄道システム)があります。

「形式検証支援サービス」

形式手法の適用には、技術教育から始まり、検証対象に対する適切な技術(モデル検査、形式仕様記述)とツールの選択が必要になります。さらにモデルベース開発に対して形式検証をどのように導入するかなど、現場のニーズに適した、形式検証支援サービスをご提供致します。

Copyright(c) 2017 CAV Technologies Co. Inc. All Rights Reserved.