近年、市場環境の急速な進展により、製品ライフサイクルの短縮が重要な課題となっています。消費者の期待の高まりや市場競争の激化により、企業は迅速に製品を開発し、投入する必要があります。この状況では、効率的な開発手法や方法論が求められており、特に組込みソフトウェアの分野ではその必要性が一層強くなっています。

また、サイバーセキュリティの強化も重要な懸念事項です。デジタル化の進展に伴い、サイバー攻撃やデータ漏洩のリスクが増加しており、企業は顧客やビジネスパートナーの信頼を守るために厳重な対策を講じる必要があります。製品リリース後に脆弱性が見つかるとソフトウェアの修正が必要です。負荷の高いコードレベルのテストを毎回実施することは、ソフトウェア部門にとっては大きな負担となります。組込みソフトウェアにおいても、セキュリティを考慮した設計と開発が求められており、安全で信頼性の高い製品を提供することが企業の競争力に直結しています。

本セミナーでは組込ソフトウェアのモデルベース開発環境「Ansys Scade One」をハンズオン形式で触れながら、ソフトウェア実装から単体テストまでの工程をサポートするAnsys Scade Oneの優位性と実用性を体験していただきます。具体的には、以下のポイントをカバーします。

＜本セミナーで得られる価値＞

• 厳格なセマンティクスを持つモデリング環境がソフト開発効率を飛躍的に高めることをより深く理解できる
• 厳格で難しいと考えられている形式言語がScade Oneでは簡単に使えるようになっていることを体験できる
• 難しい操作や設定を必要とせずに、形式検証やその応用機能が簡単に使えることを体験できる
• Scade Oneが提案するモデルベースV&Vの効率の良さを知ることができる

＜こんな方におすすめ＞

• 高い安全性が求められるセーフティークリティカルシステムに搭載されるソフトウェアの設計者
• ソフトウェアV&V担当者
• これからモデルベース開発を導入しようと考えているソフトウェア設計者
• いまお使いのモデルベース開発ツールに限界を感じているソフトウェア設計者

＜セミナーのポイント＞

• 身近で誰もが知っている自動販売機を題材にしたわかりやすい内容
• Scade Oneの主要機能を網羅的に体験できる
• 形式言語がすぐに実践に投入できる完成された技術であることがわかる
• Scade Oneが実現しているプロセスの無駄のなさを理解できる

＜申込期限＞

2026年07月08日（木）
※お席に限りがございます。予めご了承下さい。