近年、市場環境の急速な進展により、製品ライフサイクルの短縮が重要な課題となっています。消費者の期待の高まりや市場競争の激化により、企業は迅速に製品を開発し、投入する必要があります。この状況では、効率的な開発手法や方法論が求められており、特に組込みソフトウェアの分野ではその必要性が一層強くなっています。 また、サイバーセキュリティの強化も重要な懸念事項です。デジタル化の進展に伴い、サイバー攻撃やデータ漏洩のリスクが増加しており、企業は顧客やビジネスパートナーの信頼を守るために厳重な対策を講じる必要があります。製品リリース後に脆弱性が見つかるとソフトウェアの修正が必要です。負荷の高いコードレベルのテストを毎回実施することは、ソフトウェア部門にとっては大きな負担となります。組込みソフトウェアにおいても、セキュリティを考慮した設計と開発が求められており、安全で信頼性の高い製品を提供することが企業の競争力に直結しています。 本セミナーでは組込ソフトウェアのモデルベース開発環境「Ansys SCADE」をハンズオン形式で触れながら、アーキテクチャ設計から単体テストまでの工程をサポートするAnsys SCADEの優位性と実用性を体験していただきます。具体的には、以下のポイントをカバーします。

<本セミナーで得られる価値>

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

<こんな方におすすめ>

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

<セミナーのポイント>

• シンプルなサンプルモデルを使用したわかりやすい内容
• SCADEの主要機能を網羅的に体験できる
• 形式言語がすぐに実践に投入できる完成された技術であることがわかる
• SCADEが実現しているプロセスの無駄のなさを理解できる

<申込期限>

• 2025年11月12日（水） ※お席に限りがございます。予めご了承下さい。