本文へスキップ

車載組み込みシステム、医療機器、鉄道システム等の機能安全規格(ISO 26262, IEC 61508, EN 50126, DO-178B)に関する認証支援、 システム保証、形式検証技術をご提供致します。

ソフトウェア工学、安全工学の最新技術を利用した、認証支援(C)、システム保証(A)、形式検証(V)に関する支援サービスを提供します。

TOPICS

  • ISO 26262 の理解を助けるための メタモデルが提唱されました。
  • 上記のメタモデルが発表された OMG のセミナーでのスライド です。
  • セーフティケース、アシュアランスケースに関連した D-case に関するエディタが公開されました。

NEWS新着情報

2011年9月29日
弊社代表取締役 田口研治が国際会議 IEEE 17th International Conference on Engineering of Computer Complex Systems ICECCS 2012 のプログラム委員に選ばれました。
2011年9月10日
弊社代表取締役 田口研治が形式手法の国際会議 9th International Conference on Integrated Formal Methods iFM 2012 のプログラム委員に選ばれました。
2011年9月9日
弊社の紹介が日刊工業新聞の「革新の遺伝子 京都企業の挑戦 18」(平成23年9月9日金曜日31面)に掲載されました。
2011年8月13日
上記の京都インデペンデンツクラブ企業研究会での発表の模様が KRP/VIO のウェッブページで紹介されました。
2011年8月1日
弊社代表取締役 田口研治が京都インデペンデンツクラブ企業研究会において弊社の紹介をしました。
2011年7月20日
日経BP社 TechOn において、弊社の紹介記事が掲載されました。
日経BP社 TechOn にて弊社代表取締役、田口研治のインタビューが掲載されました。
2011年7月15日
2011年5月23日、KRP/VIO ホームページにおいて弊社の 紹介記事 が掲載されました。
2011年7月15日
ホームページを開設しました。

バナースペース

(株)シーエーブイテクノロジーズ

〒600-8813
京都府京都市下京区中堂寺
南町134 京都リサーチパーク ASTEM 7F

営業に関する問い合せ
sales@cav-tech.co.jp