ENSOFT の研究 · モデルベースシステム
ENSOFT のモデルベースシステムの研究は、Simulink の 3-way マージと構成管理、SimDiff による対話的な Git DevOps ワークフロー、Modelify による C から Simulink モデルへの半自動変換を対象としています。
乗用車、モータースポーツ、商用車、航空、ロケット、産業オートメーションにわたる業界インタビューを統合し、Simulink チームのための対話的な Git ベースの DevOps ワークフローとプルリクエストのレビューツールを試作します。
Jon Mathews, Sergio Ferrero, Ahmed Tamrawi, Jeremías Sauceda10.4271/2026-01-0080
最新の Git によるバージョン管理を、協働的なレビューの実践や CI/CD による品質の自動チェックと統合することで、Simulink を使う大規模なエンジニアリングチームのワークフローとモデルの一貫性がどのように改善されるかを示します。
Jon Mathews, Ahmed Tamrawi, Sergio Ferrero, Jeremías Sauceda10.4271/2025-01-8077
Atlas for C 上に構築された Modelify を紹介します。Modelify は、複雑な条件ロジックとグローバル変数を解決しながら、レガシーな組込み C の制御システムを、整理された Simulink らしいモデルとサブシステムへ半自動で変換します。
Eric Woestman, Jeremías Sauceda10.4271/2016-01-0020
Atlas が C ソースコードを XCSG の関係マップへとインデックス化し、制御フローとデータフローをクエリして等価な Simulink モデルとサブシステムを合成する Eclipse プラグインを支える仕組みを説明します。
Jeremías Sauceda, Eric Woestman, Theodore Murdock論文を読む →
Simulink と SimDiff によるドメイン固有のグラフィカルモデリングと、Atlas によるプログラムグラフのクエリモデリングを組み合わせた、問題駆動型のモデリングカリキュラムを紹介します。2 イベントのグラフモデルを、オペレーティングシステムのメモリリーク、Linux カーネルのロックの対応付け、DARPA APAC における Android マルウェアの検出に適用します。
Suresh Kothari, Jeremías Sauceda論文を読む →
Simulink モデルのための高品質な差分ツールと 3-way マージツールの導入によって、さまざまな規模のエンジニアリングチームが最新のブランチ、マージ、構成管理の手法を採用できるようになることを検討します。
Jeremías Sauceda, Suresh Kothari10.4271/2010-01-0940