Gサイバーチャンネル毎日配信中！

ISO 26262版 SCDL対応安全コンセプト設計ツール

安全コンセプト設計を支援し、設計者、開発者間の情報共有を円滑に進めるためのモデリングツールです。 「安全コンセプト記法研究会　SCN-SG 」が策定する、仕様・規格に基づいた、安全コンセプト記述言語 Safety Concept Description Language（SCDL）を採用しています。 ブロックダイアグラムによるエディタで安全コンセプトを記述し、共通の合意形成、共有を促進することができます。 【特徴】 Safiliaは、V字プロセスの設計フェーズにおいて、製品開発部門の設計者が安全コンセプトを設計する際の利用を想定しています。 統一された記法で部門内、組織内の安全コンセプトを伝達、共有します。安全コンセプトにもとづく設計、意図の伝達が不十分なまま、 試作モデルが完成した後の安全評価で安全設計の不備が分かった場合、仕様変更や設計そのものの変更など、大きな「手戻り」を発生してしまいます。 Safiliaにより、標準化された記法による安全設計の早期作り込みと評価を行うことで、手戻りの発生による大きなロスを未然に防ぐことができます。

• 開発支援ツール（ICE・エミュレータ・デバッガ等）

モデルカバレッジ率の高いテストデータを短時間で自動生成

「PROMPT」は、MATLAB/Simulinkのサブセットとして、大規模・複雑化するモデルに対するモデルカバレッジの網羅性の高いテストベクタを短時間で自動生成するツールです。 MATLAB/Simulinkを用いたモデルベース開発(MBD)において課題となる「大規模・複雑化するモデルに対してのテストデータ生成」を解決し、結果として車載システム等に搭載されるECU用ソフトウェアの開発に対する「高安全・高信頼」に寄与することが可能です。 　※JAIST(北陸先端科学技術大学院大学)との共同研究開発製品

• 開発支援ツール（ICE・エミュレータ・デバッガ等）

「パフォーマンス検証」における手戻り工数削減を実現！

実行時間計測機能のある「カバレッジマスターwinAMS」と連携して、関数単体テスト工程段階で、派生開発や機能追加による、ソフトウェア規模増加に起因したマイコン制御時間の許容オ―バーを確認することができます。

• 開発支援ツール（ICE・エミュレータ・デバッガ等）

速さ・品質・価値を約束します 'たより' になるテストパートナー

「S=Speed Q=Quality V=Value」をコンセプトにした、組込みソフトの単体テストを中心としたテストサービスです。 単体テストによりモジュールの品質確認を行いたいが、単体テスト作業に十分なリソースが割けない、テスト設計、カバレッジ検証に関してノウハウがないといったお困りのお客様に対し、言語解析&テストツールメーカーとしての知見をベースに 品質の高い検証サービスを提供します。 自動車機能安全ISO 26262が要求するテスト水準のエビデンス、テストレポートの作成にも対応します。 お客様からの要求に従い、短納期のテストに対応するための柔軟&迅速なグローバルリソース調達体制を持っており、テスト結果を納品するだけではなく、テストパートナーとして、お客様のテスト設計/コード設計の改善アドバイスを実施することも可能です。

• 組込みシステム設計受託サービス

ISO 26262対応 セキュリティ脅威分析支援ツール

脅威分析手法として広く 使われているアタックツリーを中心とした脅威分析手法を採用したセキュリティ分析ツールです。 ISO 26262の Part 3（安全コンセプト）、Part 4（システムレベル開発）、 Part 5（ハードウェア開発）、Part 6 （ソフトウェア開発）と同等のセキュア開発プロセスにおいて利用可能で、セキュリティ分析だけではなく、 安全分析とセキュリティ分析との相互影響にもフォーカスした分析を可能にします。

• 開発支援ツール（ICE・エミュレータ・デバッガ等）
• その他セキュリティ

プログラムの可視化、ドキュメント化をオートメーション コードレビューの強い "ミカタ"

CasePlayer2は、組込みソフト向けの手軽なリバースCASEツールです。他のツールにありがちな、ソースの記述方法に制限がある、解析時のワーニング・エラーにより直ぐに機能が使えない、等の使い勝手の悪さは全くなく、解析したいソースコードを単に登録するだけで、必要なプログラム解析書類を即座に作ることができます。

• 開発支援ツール（ICE・エミュレータ・デバッガ等）

組込みソフト開発向け単体テスト "みんなが使っている"カバレッジ計測ツール

「カバレッジマスターwinAMS」は、機能安全規格ISO 26262 / IEC 61508に準拠し、 ステートメント、ブランチ、MC/DC、関数コールなどのコードカバレッジ計測可能な 組込みソフト向けC/C++ソフトウエア単体テストツールです。 マイコンシミュレータを内蔵し、コンパイルされたオブジェクトコードを実行して単体テストを行います。 一般の単体テストツールにありがちなCソースの論理レベルでの単体テストに留まらず、 組込み特有のマイコンへの実装に依存した問題点を含めた、 マイコンコードに最も忠実で信頼性の高い単体テストを実施します。（※C++ 11/14対応） 【特徴】 　■マイコンに最も忠実な 「実機コードベース」の単体テストを実行、効率化へと導く 　■C0、C1、MC/DCカバレッジに加え 結合フェーズの関数/コールカバレッジ計測をフルサポート 　■ホワイト/ブラックボックス観点からテストデータを効率的に生成 　■ツール内でカバレッジ網羅テストのデータ作成＆実行/確認をシームレスに実施 　■Back to Backテストを効率的に実施するためのオプションをご用意

• 開発支援ツール（ICE・エミュレータ・デバッガ等）

競合を見逃すな！　変数アクセスをビジュアライズ

Cソースコードを静的解析し、外部変数の競合状態を図表で生成、可視化し、レビューの効率化/品質向上に貢献します。 　・関数ポインタ/ポインタ変数に対応 　・マルチコアのコア間の変数干渉に対応 　・割り込み禁止/許可関数を指定して排他制御を解析 　・共有変数のレビューシートを自動生成

• 開発支援ツール（ICE・エミュレータ・デバッガ等）

トルンプは、12月3⽇（⽔）〜5⽇（⾦）開催の「VACUUM2025真空展」に出展いたします。 プラズマ発生に欠かせない電源ソリューションの情報収集にお役⽴ていただければ幸いです。弊社ブースへのお⽴ち寄りを⼼よりお待ちしております。 【トルンプ出展のみどころ】 プラズマ発生に欠かせない高周波電源、インピーダンスマッチングに必要な整合器、産業用加熱炉に必要な誘導加熱用電源をご紹介します。 ■電源装置展示 高周波パルス電源「TruPlasma Highpulse 4002 G2」 ■パネル展示 ・プラズマ発生用電源 TruPlasmaシリーズ ポートフォリオ ・任意波形発生用電源 TruPlasma Bipolarシリーズ ・TGV（Thin Glass Via）向け、Hi-Pulse/RF電源 皆様のご質問やご相談にトルンプ社員が対応します。お気軽にお⽴ち寄り・お声がけください。

[講　師] 在ロンドン国際ジャーナリスト 木村 正人 氏 [重点講義内容] アマゾン河口のブラジル北部パラー州ベレンで開かれた国連気候変動枠組み条約第30回締約国会議（COP30）。注目を集めた脱化石燃料ロードマップでは分断が白日のもとにさらされ、主な成果は適応資金を3倍の年1200億ドルにすることだけ。しかも期限は2030年から35年に先延ばしされ、努力目標とされた。 「アマゾンのリーダー」の演出を最優先にした議長国ブラジルのリーダーシップ欠如、米国不在、財政難の欧州失速、中国の自国利益第一主義が分断を助長した。先進国と途上国の南北対立が激化する中、国連の多国間主義は機能不全に陥りつつある。 [講演項目] １．開催地ベレン ２．浮き彫りになる分断 ３．米国不在 　-ビッグテックと化石燃料企業は米全土にデータセンターを展開 ４．存在感増す中国 　-新しいエネルギーのエコシステム：太陽光発電、蓄電、水素 ５．化石賞の常連国になった日本 　-CCS（二酸化炭素回収・貯留）、水素・アンモニア混焼 ６．先住民族の反乱 ７．質疑応答

[講　師] みずほリサーチ＆テクノロジーズ株式会社 サステナビリティコンサルティング第１部 マネジャー 桐原 貴大 氏 [重点講義内容] 2025年2月「GX2040ビジョン」が公表された。近年の国内GX政策はGX推進法やGX移行債に代表される通り、GX製品等の供給を支える対応が中心であったが、同ビジョンでは、これらの市場原理だけではカーボンニュートラルの実現が難しい現状を踏まえ、購入側の企業がGX製品を選択する需要喚起策も重視している。 今後、GX市場創造に向けた施策が講じられることが予定されるなか、拡大が予想されるGX市場の獲得に向けて、企業が取り組むべき対応を考察する。 [講演項目] １．国内のGX政策の概要とGX政策における 　“GHG排出量の見える化”の位置づけ ２．海外の“GHG排出量見える化”に関する政策の概要 ３．GHG排出量の見える化に関する最近の動向 ３．１　GHG排出量算定における企業間のデータ連携に関する動き ３．２　GHG排出量の新しい指標；削減実績量 ４．企業が取り組むべき対応 ５．質疑応答／名刺交換

[講　師] 株式会社ＣＩＮＣＡ 代表取締役社長 阿部 拓貴 氏 [重点講義内容] 「新規事業のタネが見つからない」 「行き当たりばったりで、新規事業の立ち上げが進まない」 多くの企業が直面するこの課題は、ノウハウが個人の経験に依存し、再現性のある「型」として社内に定着しないことが大きな原因です。 ＣＩＮＣＡは新規事業の０→１に特化し、その経験を通じて再現性ある立ち上げノウハウを確立してきました。本講演は、『新規事業開発を成功に導く 超実践０→１攻略ガイド』の著者である阿部拓貴氏が登壇。生成AIを活用した再現性ある事業検証の進め方について、実践的なテクニックをお伝えします。新規事業の立ち上げにお悩みを抱えている方は、ぜひご参加ください。 [講演項目] １．新規事業の全体像 ２．成功確度の高い事業アイデアの生み出し方 ３．課題発見・価値検証インタビューの実践 ４．質疑応答

[講　師] 株式会社三井物産戦略研究所 技術・イノベーション情報部 シニアマネージャー 辻 理絵子 氏 [重点講義内容] ヒューマノイドロボット（人型ロボット）産業を俯瞰するうえで基本となる項目から最新動向までをまとめてお伝えします。 OpenAIやNVIDIAといった大手企業がヒューマノイドロボットスタートアップに投資するなど、本領域への注目が高まっています。AI技術の進化と共にロボットの制御精度が飛躍的に向上しており、本格的な社会実装を目指して、物流倉庫、自動車工場などでの実証実験が進む状況を踏まえ、ヒューマノイドを語るうえで押さえたい、投資状況や技術進展、関連企業、また、ヒューマノイドの浸透により拡がる産業への影響等について講演します。 [講演項目] １．ヒューマノイドとは ２．ヒューマノイド開発企業と現在の実力、実装状況 ３．ヒューマノイド領域に集まる投資 ４．ヒューマノイドを支える技術の進展 ５．ヒューマノイド関連企業と生まれる産業インパクト ６．ヒューマノイドにおける各国の取り組み ７．ヒューマノイドの未来展望 ８．質疑応答／名刺交換