Formalization of existing PLC Programs: A Survey
Mohammed Bani Younis, Georg Frey · 2003
In recent years, the interest in the formal- ization of PLC programs increased. The paper pro- vides a classification scheme for the works done in this field. This scheme includes the sources used for formalization, the level of the formalization process (i.e. the complexity of structures that could be han- dled by the approach), the aim of the formalization (Re-Engineering or Verification) and the formal model used to represent the formalized PLC pro- gram. The scheme is applied to several examples.