【SEC特別セミナー】
ディペンダブルシステムのためのモデルベース開発技術の最新動向
に行ってきたときのメモメモ。
最後は、UMLやSysMLをシュミレーションできるらしい、modelicaっていうやつです。
■Modelica
・Ｍｏｄｅｌｉｃａは言語
シュミレーション用に設計されたモデリング言語
ツールではない。
ツールは
７つ商用ベースで開発
Open Modelicaというオープンソースのツールがある
・Ｍｏｄｅｌｉｃａ
宣言的言語：数学的バックグラウンド
マルチドメイン：ＳｙｓＭＬと似た考え
すべて、クラスとして扱われる
ビジュアルなプログラミング（テキストも可能、切り替えられる）
効率性担保
非因果をサポート
・マルチドメインについて
サイバーフィジカルモデリングする
いろいろなドメインを１つに書ける
ビジュアル、非因果的階層型サポート
→コントロールのＳｉｍｕｌｉｎｋ型もサポート
・ハイブリッドモデリング
連続離間と離散時間と一緒にモデリングできる
・グラフィック操作もできる
・Ｍｏｄｅｌｉｃａが使われているところ
自動車業界でよく使われている
生物
ＳＰＭＬ．ＭａｔｈＭｏｄｅｌｉｃａ
リアルタイムシュミレーショントレーニング
発電所
スペースクラフト
・ライブラリ
オープンソースと商用のもの
・いろいろなツールなど
ＭａｔｈＭｏｄｅｌｉｃａ
ＭａｔｈｍａｔｉｃａとＭｏｄｅｌｉｃａの統合
ＭＷＯＲＫＳ
ＯｐｅｎＭｏｄｅｌｉｃａ
→ノートパソコンに入れて使える
→Ｅｃｌｉｐｓｅのプラグインもある
(OpenModelica MDT Eclipse Plug-in）
ＯＭＣ：コンパイラ
ＭｏｄｅｌｉｃａＭＬ・・・ＵＭＬプロファイル
→インポート・エクスポートも
ＯｐｅｎＰｒｏｄ
ＭｏｄｅｌｉｃａＭＬ ＵＭＬ Ｐｒｏｆｉｌｅ
・ＳｙｓＭＬからＭｏｄｅｌｉｃａへのマッピング→ＯＭＧ
・ＵＭＬは現在
PapyrusUMLtoolとＯｐｅｎＭｏｄｅｌｉｃａで実装
Modelicaは、アクション言語として使う。
→全部をモデリングできる
・シュミレーションしたい
モデルチェッカー：連続時間では使わない。小さい部分
→ｖＶＤＲという検証方法
モデル検証と統合も
・将来
オンライン操作
メタモデル（ＭｅｔａＭｏｄｅｌｉｃａ）
オペレーション・セマンテック
→もっとよめるもの
マルチコア
Ｆａｕｌｔ－Ｆａｉｌｉｅｒ分析
トラック会社
ＦＴＡを手で書いている
・人によって違う
・設計とつながっていない
→モデルとつなげる
モデルをつなげる
→ベイジアンネットワークを生成させる
ダイナミックな最適化
つまり、OpenModelicaというのを使うと、
Modelicaという言語で書いたもののシュミレーションが出来る。
そして、
SysＭＬやＵＭＬからModelica言語に落とすものがあるらしい
ということ。
詳しくは、
言語のModelicaのサイト
Modelica and the Modelica Association
https://www.modelica.org/
ツールのOpenModelicaのサイト
http://www.openmodelica.org/
また、本については、
言語全体については、
Principles of Object-Oriented Modeling and Simulation with Modelica 2.1
http://www.amazon.co.jp/dp/0471471631
もっと薄い本で概略を書いたものとしては、
Introduction to Modeling and Simulation of Technical and Physical Systems with Modelica
http://www.amazon.co.jp/dp/111801068X
を参照ってなかんじだった。
今知ったんだけど、これについて、いろいろ書いてある
Wikiがあった！！
OpenModelica
http://wiki.livedoor.jp/red_out/d/OpenModelica
インストールと、簡単な使い方が書いてある。
また、本も出ていて、
Modelicaによる物理モデリング入門
http://www.amazon.co.jp/dp/4274946819
翻訳本で、もともとの筆者は、自動車のフォードのエンジニアのようだ。
ディペンダブルシステムのためのモデルベース開発技術の最新動向
に行ってきたときのメモメモ。
最後は、UMLやSysMLをシュミレーションできるらしい、modelicaっていうやつです。
■Modelica
・Ｍｏｄｅｌｉｃａは言語
シュミレーション用に設計されたモデリング言語
ツールではない。
ツールは
７つ商用ベースで開発
Open Modelicaというオープンソースのツールがある
・Ｍｏｄｅｌｉｃａ
宣言的言語：数学的バックグラウンド
マルチドメイン：ＳｙｓＭＬと似た考え
すべて、クラスとして扱われる
ビジュアルなプログラミング（テキストも可能、切り替えられる）
効率性担保
非因果をサポート
・マルチドメインについて
サイバーフィジカルモデリングする
いろいろなドメインを１つに書ける
ビジュアル、非因果的階層型サポート
→コントロールのＳｉｍｕｌｉｎｋ型もサポート
・ハイブリッドモデリング
連続離間と離散時間と一緒にモデリングできる
・グラフィック操作もできる
・Ｍｏｄｅｌｉｃａが使われているところ
自動車業界でよく使われている
生物
ＳＰＭＬ．ＭａｔｈＭｏｄｅｌｉｃａ
リアルタイムシュミレーショントレーニング
発電所
スペースクラフト
・ライブラリ
オープンソースと商用のもの
・いろいろなツールなど
ＭａｔｈＭｏｄｅｌｉｃａ
ＭａｔｈｍａｔｉｃａとＭｏｄｅｌｉｃａの統合
ＭＷＯＲＫＳ
ＯｐｅｎＭｏｄｅｌｉｃａ
→ノートパソコンに入れて使える
→Ｅｃｌｉｐｓｅのプラグインもある
(OpenModelica MDT Eclipse Plug-in）
ＯＭＣ：コンパイラ
ＭｏｄｅｌｉｃａＭＬ・・・ＵＭＬプロファイル
→インポート・エクスポートも
ＯｐｅｎＰｒｏｄ
ＭｏｄｅｌｉｃａＭＬ ＵＭＬ Ｐｒｏｆｉｌｅ
・ＳｙｓＭＬからＭｏｄｅｌｉｃａへのマッピング→ＯＭＧ
・ＵＭＬは現在
PapyrusUMLtoolとＯｐｅｎＭｏｄｅｌｉｃａで実装
Modelicaは、アクション言語として使う。
→全部をモデリングできる
・シュミレーションしたい
モデルチェッカー：連続時間では使わない。小さい部分
→ｖＶＤＲという検証方法
モデル検証と統合も
・将来
オンライン操作
メタモデル（ＭｅｔａＭｏｄｅｌｉｃａ）
オペレーション・セマンテック
→もっとよめるもの
マルチコア
Ｆａｕｌｔ－Ｆａｉｌｉｅｒ分析
トラック会社
ＦＴＡを手で書いている
・人によって違う
・設計とつながっていない
→モデルとつなげる
モデルをつなげる
→ベイジアンネットワークを生成させる
ダイナミックな最適化
つまり、OpenModelicaというのを使うと、
Modelicaという言語で書いたもののシュミレーションが出来る。
そして、
SysＭＬやＵＭＬからModelica言語に落とすものがあるらしい
ということ。
詳しくは、
言語のModelicaのサイト
Modelica and the Modelica Association
https://www.modelica.org/
ツールのOpenModelicaのサイト
http://www.openmodelica.org/
また、本については、
言語全体については、
Principles of Object-Oriented Modeling and Simulation with Modelica 2.1
http://www.amazon.co.jp/dp/0471471631
もっと薄い本で概略を書いたものとしては、
Introduction to Modeling and Simulation of Technical and Physical Systems with Modelica
http://www.amazon.co.jp/dp/111801068X
を参照ってなかんじだった。
今知ったんだけど、これについて、いろいろ書いてある
Wikiがあった！！
OpenModelica
http://wiki.livedoor.jp/red_out/d/OpenModelica
インストールと、簡単な使い方が書いてある。
また、本も出ていて、
Modelicaによる物理モデリング入門
http://www.amazon.co.jp/dp/4274946819
翻訳本で、もともとの筆者は、自動車のフォードのエンジニアのようだ。
アクセス
トータル
ランキング
