仕様書の自動生成：充電制御のためのCコードからMATLABモデルへの変換

導入

電気自動車（EV）の充電制御システムがますます複雑化する中、従来のC言語ベースの実装からMATLAB/Simulinkモデルへの移行は、保守性、検証、モデルベース開発（MBD）ワークフローとの統合を向上させるために不可欠です。しかし、この移行には、機能ロジックを正確に変換すると同時に、ISO 26262などの自動車業界標準への準拠を確保する必要があります。さらに、仕様書の自動生成は、手作業の負担を軽減し、一貫性を保ち、開発サイクル全体でのトレーサビリティを向上させる重要な役割を果たします。