航空分野向け
実践で学ぶモデルベース開発

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

お申し込み

お問い合わせ

マーケティング部 Email:[email protected]
※在宅勤務中につき、大変お手数ではございますが、お問い合わせはメールにてお願いいたします。

ご案内

名  称 航空分野向け 実践で学ぶモデルベース開発 ~形式言語モデルを活用した革新的ソフトウェア開発手法~
開催日時 2025年07月04日(金)10:30-18:30 (受付開始:10:00)
開催形式 会場開催(ハンズオンセミナー) ※専門講師より実践的なスキルを、実際にソフトウェアを動かしながら学びます。
会  場 アンシス・ジャパン株式会社 新宿ビル19F セミナールームB
アクセス 〒160-0023 東京都新宿区西新宿6-10-1 日土地西新宿ビル19F Google Mapsでアクセスを確認する▶
ご参加対象 ・現状のモデルベース開発に限界を感じている方 ・航空機向け組込みソフトウェア開発者 ・形式言語に興味をお持ちの方 ・現状のソフトウェア品質・開発プロセスに危機感をお持ちの方
参加方法 参加申し込みフォームへの事前登録 ※当日受付にてご登録者名の入ったお名刺を1枚頂戴したくお持ちください。 ※ハンズオンセミナーに必要なPCおよびソフトウェアを1人1台弊社にてご準備いたします。
対象製品 ・Ansys SCADE Suite
・Ansys SCADE Test
※初めて製品を触っていただく方にもぜひご参加いただきたいセミナーとなります。
参 加 料 無料
申込期限 2025年07月02日(水) ※お席に限りがございます。予めご了承下さい。

プログラム

10:00
受付開始

10:30 - 10:45​
(15分)
はじめに

・eVTOL向けソフトウェアを開発するための適切な環境とは ・DO-178C向けソフトウェア開発で最も信頼されているモデルベース開発環境「Ansys SCADE」の紹介

10:45 - 11:30​
(45分)
準備1: サンプルモデルの全体像と体験内容の説明

・サンプルモデルの構成 ・サンプルモデルがカバーしているエンジニアリング領域

11:30 - 12:00​
(30分)
準備2: PC環境およびツール操作方法の説明

・ログイン方法、データ保存場所 ・Ansys SCADE起動方法 ・Ansys SCADE Suiteの基本的な操作方法

12:00 - 13:00​
(60分)
ランチブレイク

13:00 - 14:30​
(90分)
体験1: モデルベースシステム/ソフトウェア設計

・Ansys SCADE Architectでできること ・Ansys SCADE Architectで作成したアーキテクチャーモデルの説明 ・[体験] アーキテクチャーモデルとAnsys SCADE Suiteで作成したソフトウェアモデルの同期 ・Ansys SCADE Suiteでできること ・[体験] Ansys SCADE Suiteでデータフローを記述する ・[体験] Ansys SCADE Suiteで状態マシンを記述する

14:30 - 14:45​
(15分)
コーヒーブレイク

14:45 - 16:15​
(90分)
体験2: モデルベースソフトウェア設計とソフトウェアデバッグ・分析

・ソフトウェアの検証とは ・[体験] Ansys SCADE Suiteでモデルのセマンティック検証を行う ・[体験] Ansys SCADE Suiteでモデルシミュレーション・デバッグを行う ・HMIを使ったインタラクティブなシミュレーション ・メトリクスとルールチェッカー ・最悪実行時間とスタック使用量の算出 ・モデルからコード生成を行う

16:15 - 16:30
​ (15分)
コーヒーブレイク

16:30 - 17:55​
(85分)
体験3: モデルベースソフトウェアV&V

・テストケースの作成とテスト実行 ・カバレッジの測定 ・Coverage Assistanceによるカバレッジ解決

17:55​ - 18:00
​(05分)
クロージング

18:00 - 18:30​
(30分)
個別相談会

*希望者の方向けに個別相談会を実施いたします。

お問い合わせ

マーケティング部 Email:[email protected]
※在宅勤務中につき、大変お手数ではございますが、お問い合わせはメールにてお願いいたします。

※イベントプログラムは予告なく変更となる場合がございます。予めご了承ください。