シミュリンク-ステートフローでモデル化されたCPSコントローラの検索ベースの自動プログラム修復

本論文は、シミュリンク-ステートフローモデルのバグを自動的に修復するための新しい検索ベースのアプローチを提案する。このアプローチは、グローバルな検索とローカルな検索を組み合わせた新しいアルゴリズムを含み、CPSの特性を考慮した新しい修復目的関数を定義する。