On multilevel structured program design for process-control systems (Q1895038)

This paper presents a formal design and analysis method for developing multilevel structured programs for control systems. A system of algorithmic algebras is constructed, based on a set of logic conditions and operations signature (a system of logic operations on sets and objects). The paper examines the specification of static control programs and their transformation, the synchronization problem in a parallel computation environment and the specification of abstract data types, all these as applications of the formal design method that is introduced.