エレベータ制御論理のプログラマブルコントローラへの実装のためのMark Flow GraphモデルからSequential Function Chartへの変換

摘要

エレベータの制御論理は複雑であり，それを正確にプログラミングしコントローラに実装することは煩雑な作業となる．そこで，エレベータシステムを離散事象システムとして捉え，JIS Z8118で規格されたマーク流れ線図（Mark Flow Graph以下MFG）を用いてモデル化する手法を当研究室では提案している．システム制御論理を組み込んだMFGモデルは，IEC61131-3で規格されたSequential Function Chart（以下SFC）に変換することで，コントローラに実装することが可能となる．筆者らは，これまでMFGモデルからSFCへの変換規則について，それぞれのグラフを論理式展開することにより，その等価性を証明してきた．本稿では，その変換規則に基づいて，MFGモデルをSFCに変換し，コントローラで実現するための手順やMFGモデルの設計指針について述べる．