Ansys SCADEはセーフティクリティカルな制御システムの開発ツールとして、航空・防衛・宇宙産業、鉄道・重機械産業、原子力・エネルギー産業、自動車産業などで幅広く利用されています。
Ansys SCADEはソフトウェアの振舞いを形式言語によってグラフィカルにモデル化(可視化)し、モデルに対して、シミュレーション、モデルカバレッジ解析、形式検証などのモデル検証手段による検証活動を行います。そして検証後は、認証可能な信頼性の高いコードを自動的に生成します。
モデル上での検証に集中し、コードレベルでの検証工数をできるだけ削減することが、Ansys SCADEによるモデルベース開発のねらいであり、結果として、ソフトウェアの品質を向上しつつ、認証取得にかかる時間を大幅に削減することができます。本コースでは、倒立振子式ロボットの制御を題材とした実習を通して、Ansys SCADEによるモデルベース開発の工程と、Ansys SCADE活用のメリットをご理解いただければと思います。

プログラム・講演内容(予定)

※スケジュールは予告なく変更になる場合がございます。何卒ご了承賜わりますようお願い申し上げます。

配布資料

テキスト1冊
※テキストはご参加いただいた方へお配りしております。テキストのみをご希望の際は、テキスト販売も行っておりますので、こちらから購入が可能です。

ご受講にあたって