マーケティング部 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] ※在宅勤務中につき、大変お手数ではございますが、お問い合わせはメールにてお願いいたします。