A methodology for formal specification of logic controllers from informal specifications

We propose a methodology for development of logic controllers based on a metalogical framework first proposed by Hamfelt. The methodology supports a structured piecemeal specification of logic controllers. This is accomplished by using schematic descriptions of logic controller modules arranged in a multilayered hierarchy. Each level is more comprehensive than the one immediately below thus representing more of a logic controller suitable to solve the control problem at hand. An example, illustrating the levels and their gradual specification, is given to demonstrate the proposed methodology