アイティアクセス株式会社

神奈川県横浜市港北区新横浜3-17-6

TEL：045-474-9095

URL：http://www.itaccess.co.jp

ブースの見どころ

自動運転等の高度に機能安全が要求されるソフトウエア開発では、形式手法SPARKProを応用することでプログラミングミスを最小限に抑えることができます。航空管制、鉄道、航空機などで多くの使用事例があり、自動車ソフトウエア開発へも試用が始まりつつあります。また、SysMLで記述した要求仕様をSimulinkモデル、形式検証言語へ自動変換するツール（プロトタイプ）、ならびに最近注目されているRISC-V用開発環境、Cコンパイラもご紹介いたします。
日本語で記述した仕様を、検査して曖昧さを指摘、振舞確認ができる仕様書検査ツールCyclo.Reqもご紹介いたします。

展示品目／サービス

• SPARKPro：形式検証ツール
• QGen：Simulink-形式言語変換
• SysML-Simulink変換ツール
• RISC-Vコンパイラ　GNATPro
• Cyclo.Req:日本語仕様書検査

株式会社IDAJ

横浜市西区みなとみらい2-2-1-1　横浜ランドマークタワー37F

TEL：045-683-1990

URL：https://www.idaj.co.jp

ブースの見どころ

電動化への要求や制御システムの高度化に伴い、効率的なソフトウェア検証の重要性が高まっています。本ブースでは、機能安全規格に準拠したソフトウェア開発を効率的に進めるためのモデルベース開発環境や、最適化プラットフォームを活用したモデル検証手法についてご紹介します。
カンファレンスでご紹介するデモ環境やモデル、各種ツールのご説明など、技術者が複数名常駐しますので、技術的なご相談・ご質問にもおこたえします。どうぞ、お気軽にお立ち寄りください。

展示品目／サービス

• モデルベース開発SCADE
• ANSYS medini analyze
• 汎用最適化ツールmodeFRONTIER
• モデルベース導入支援、認証支援サービス

イーソル株式会社

〒164-8721 東京都中野区本町1-32-2　ハーモニータワー

TEL：03-5302-1360

URL：https://www.esol.co.jp/

ブースの見どころ

高度化・多様化する車載システム開発におけるソフトウェア品質の向上と開発効率化をテーマに、各種機能安全規格に対応したツールおよびサービスを含めたソリューションをご紹介します。
単体テストからシステムテストまでサポートし、検証作業の効率化と品質向上を実現するソフトウェア検証ソリューション「RVS」や国内外の主要OEMおよびサプライヤで利用実績がある機能安全分析ツール「ANSYS medini analyze」を展示します。また、「ANSYS medini analyze」はCyber Security対応も可能となり、高い信頼性と安全性が求められる車載システム開発を包括的に支援します。

展示品目／サービス

• ソフトウェア検証ソリューション
• 機能安全対応ツール・適合支援サービス
• モデルベース開発ソリューション

SGSジャパン株式会社

横浜市保土ヶ谷区神戸町134 YBPノーススクエアⅠ　3F

TEL：045-393-5200

URL：http://www.sgsgroup.jp/

ブースの見どころ

ISO26262第2版では、大型車や二輪車も対象になり、自動運転やセキュリティとの関連性からもISO26262の重要性は増加の傾向です。設計開発現場の負荷を最小限にする為にも、それぞれの現場にあわせた開発・管理ツールを駆使し、設計担当者が実施と運用しやすい環境構築を目指した継続的改善活動がより一層求められています。
SGSジャパンは、ISO26262の教育、技術支援、認証/アセスメントサービスを規格策定メンバーであるSGS-TÜV Saarと連携しております。世界中の自動車メーカーやサプライヤへの支援を通して市場の相場観形成をリードし、実際の設計開発経験を基にした現場目線の支援をしております。

展示品目／サービス

• ISO26262トレーニング
• ISO26262テクニカルソリューション
• ISO26262認証/アセスメント
• 技術文書作成支援
• 自動車サイバーセキュリティ支援サービス

キャッツ株式会社

〒222-0033 神奈川県横浜市港北区新横浜3-1-9 アリーナタワー

TEL：045-473-2816

URL：https://www.zipc.com/

ブースの見どころ

自動運転向けのソリューション／ツールとして、以下の２つを展示しております。
・シナリオベース開発(SBD)プラットフォーム：ZIPC GARDEN
　自動運転車の検証において、現実の世界では実現が難しいシーンや多種多様なパターンを、検証シナリオとして膨大に用意するコストを、モデリング手法や自動生成により削減するための手法やツールをご紹介します。
・トレーサビリティマネジメントプラットフォーム：ZIPC TERAS
　機能安全対応、QCD向上に向けて、トレーサビリティマネジメントを活用したALMソリューションをツールと合わせてご紹介します。

展示品目／サービス

• シナリオベース開発(SBD)
• トレサビマネジメントプラットフォーム

Green Hills Software LLC

〒150-0001 東京都渋谷区神宮前1－5－8
神宮前タワービルディング13階

TEL：03-6741-7168

URL：https://www.ghs.com/

ブースの見どころ

最新の機能安全を含むリアルタイムOS、組み込みソフトウェア開発ツールとサービスのデモ

展示品目／サービス

• INTEGRITY リアルタイムOS
• MULTI Debugging
• Multivisor仮想化ソリューション
• 機能安全サービス
• µ-velOSity リアルタイムOS

株式会社構造計画研究所

164-0011 東京都中野区中央4-5-3

TEL：03-5342-1046

URL：https://solution.kke.co.jp/sphera/

URL：https://www.kke.co.jp/solution/business/formalverification.html

ブースの見どころ

「“説明できる”ISO26262安全分析・故障解析ソリューション」「上流設計品質向上を促進する形式検証ソリューション」を展示します。
近年、ISO26262第2版、AIAG&VDA統合FMEAのリリースやIEC62380信頼性ハンドブック廃版等、規格に大きな変化が生じています。当社ユーザ様からのFBと共に規格変更に対応する当社ソリューションSTATUREを展示します。また、車載システム開発が複雑化する中、設計上流のシステムレベル／抽象モデルでの振る舞いの明確化、検証が重要です。フロントローディングによる品質、安全性、開発効率の向上を実現する形式検証ソリューションをツールと共に展示します。

展示品目／サービス

• AIAG&VDA統合FMEA等未然防止
• ISO26262安全分析・故障解析
• IEC61709/SN29500故障率計算
• 形式検証導入・運用支援コンサルティング
• 形式検証（モデル検査）ツール

株式会社タイテック　OFFICE ITANZI

〒222-0033 神奈川県横浜市港北区新横浜3-17-2 友泉新横浜ビル3F

TEL：045-872-4102

URL：http://www.tietech.co.jp/

ブースの見どころ

『GT4A-1000B』は実際に走行して車載カメラの映像に同期して、CANやGPSの車両データを非圧縮で記録を行い、そのデータを再生することにより研究所や実験室など机上で走行環境が再現できます。また、海外で走行データを記録することにより、世界のあらゆる走行環境が日本に居ながらにして再現でき、バリデーションの前倒しなどADAS開発の効率化に貢献いたします。

NVIDIA 社のAI（人工知能）スーパーコンピュータモジュールJetson TX1＆TX2 はAI プラットフォームとして世界をリードしています。『GT-X1・X2』は、当該モジュールを組み込み、複数の画像を同時処理できるようにする等、拡張性の高いプラットフォームを実現しています。本製品は、高度な画像処理が可能で、ディープラーニングを用いたユーザシステムの開発や検証、自律ロボット制御システム、各種画像処理システムに最適な組み込みプラットフォームです。

展示品目／サービス

• 非圧縮映像記録再生装置　GT4A-1000Ｂ
• ＮＤＩＶＡ Ｊｅｔｓｏｎ キャリアボードKit　GT-X1/X2

株式会社ディアイスクエア

〒151-0073 東京都渋谷区笹塚2-1-6　笹塚センタービル4階

TEL：03-5350-9291

URL：https://www.di-square.co.jp

　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　

ブースの見どころ

・AIによる開発支援：要求仕様の品質向上 【関連講演：A4-2】近年の自動車開発においては、各社で要求管理ツールが活用されており、中でもDOORS デファクトスタンダードとなっています。DOORSにAI （Watson自然言語解析）を取り込み、仕様・要件の記述段階でリスクや曖昧さを排除することで、仕様・要求品質の向上を行うための取り組みを紹介します。

展示品目／サービス

• AIによる開発支援：要求仕様の品質向上
• 要求データ授受支援サービス

DNVGL ビジネス・アシュアランス・ジャパン株式会社

〒651-0087 神戸市中央区御幸通4-2-20三ノ宮中央ビル9F

TEL：078-291-1321

URL：https://www.dnvgl.jp/

ブースの見どころ

国連における自動車基準調和世界フォーラム(UN WP.29)においてCyber Security(CS)と、Software Updates(SU)に関する規則(案)の採択に向けた調整が進められている。
本ブースでは、WP.29 CS/SU 規則(案)のポイントを整理し、CSMS/SUMSの構築に向けた(i)組織とルールの整備、(ii)業務手順やフローなどの開発プロセスの整備、(iii)リスク分析技術の習得、(iv)PSIRTの構築の、""出来る化""を紹介する。

展示品目／サービス

• CS/SU対応組織とルールの整備
• CSMS/SUMSプロセス構築
• リスク分析技術
• PSIRT構築

株式会社DTSインサイト

〒151-0053 東京都渋谷区代々木4-30-3 新宿MIDWESTビル

TEL：03-6756-9406

URL：https://www.dts-insight.co.jp/

ブースの見どころ

トレーサビリティツール「microTRACER」は、機能安全対応で必須となるトレーサビリティによる一貫性の確保を実現します。 SimulinkやEnterprise Architect等のモデルツールとの連携によりこれまで以上に既存リソースを有効活用でき、Redmine等のチケットシステムとの連携により変更管理での有効活用が可能となります。
更に、安全目標やASILなど成果物に記載されている開発情報をツールに取得することで影響範囲レビューやエビデンスの作成を効率化するための新機能や、ソフトウェア影響・構造解析ツール「Re:Zolver」を組合せて使用し影響範囲分析の精度を向上する手法をご紹介します。

展示品目／サービス

• トレーサビリティ管理microTRACER
• ソフトウェア構造解析ツール Re:Zolver

一般社団法人　ディペンダビリティ技術推進協会

〒158-0095 東京都世田谷区瀬田4-14-3-101

TEL：03-5491-8523

URL：http://deos.or.jp

ビジネスキューブ・アンド・パートナーズ株式会社

〒150-0012 東京都渋谷区広尾1-13-1　フジキカイ広尾ビル5階

TEL：03-5791-2121

URL：https://biz3.co.jp/

ブースの見どころ

CASEによる自動車業界の変革が急速に進む中で、サプライヤチェインを含むビジネスモデルや製品構造が動的に変化しています。その変化に現場や組織が柔軟に対応できるモノづくりの仕組み作り、継続的な製品開発プロセスの改善、人材育成が重要です。また、機能安全とサイバーセキュリティの両立は、開発現場にとって製品開発を成功させるための鍵になります。Biz3は、様々な経験や手法を活用してサービスを開発し、提供しています。Tier1サプライヤと共同で手法の開発、Hardware SPICEやCybersecurity SPICEを活用した製品開発の仕組みと体制構築、異文化背景の通訳などのサービスを紹介します。

展示品目／サービス

• 機能安全支援(システム、HW、SW)
• サイバーセキュリティプロセスと体制構築
• 製品開発マネージメント
• 各種トレーニングとアセスメント
• 技術通訳と翻訳（英語、ドイツ語)

株式会社メガチップス

〒532-0003 大阪市淀川区宮原1-1-1 新大阪阪急ビル

TEL：06-6399-2884

URL：https://www.megachips.co.jp/

ブースの見どころ

今後の車載システムの通信にはEthernetが使用され、機能安全・セキュリティ対策が不可欠となります。
講演では弊社より半導体メーカーとしての機能安全への取り組みについてプレゼンさせて頂きます。
また、ブースではこの車載EthernetPHYと機能安全への取り組み紹介を断線対応を例として展示、ご説明をさせて頂きます。
メガチップスは車載Ethernet-PHYを日本メーカーとして唯一リリースしています。

展示品目／サービス

• 日本メーカー唯一の車載EtherPHY
• 次世代セキュリティ込みEtherスイッチ
• 20年以上の実績あるASICサービス