ABSTRACT
This paper summarizes the development to date of the Java-based MFM Editor, a graphical editor supporting the Multilevel Flow Modeling (MFM) method, to be used for Supervision, Diagnosis and Prognosis (SDP) applications in advanced automation environments. The editor builds on the ShapeShifter graphical framework, previously described in the proceedings of the ESREL 2010,2011 and 2012 conferences. The paper focuses on the editing capabilities and the recently added reasoning functionality (provided by the Technical University of Denmark) required to perform cause and consequence analyses (diagnosis and prognosis) of MFM models. Also, a recently developed process design module is described in some detail.
