On multilevel structured program design for process-control systems

DOI10.1007/BF01130083MaRDI QIDQ1895038zbMATH OpenFDO

Authors V. G. Akulovskiy

Publication date 6 August 1995

Published in Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01130083

zbMATH Keywords

multilevel structured programsparallel computationprocess controlsynchronization

Mathematics Subject Classification ID

Control/observation systems involving computers (process control, etc.) (93C83)

Review text

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.

Recommendations

• Multilevel synthesis of structured programs
• Structured programming in symbolic multiprocessing
• scientific article; zbMATH DE number 3856374
• scientific article; zbMATH DE number 897908
• Formalization of the software design for process control systems in ferrous metallurgy

Cites work

• Extension of not everywhere defined functions of many-valued logic
• scientific article; zbMATH DE number 4181414 (Why is no real title available?)
• scientific article; zbMATH DE number 59352 (Why is no real title available?)
• Maximal local classes of partial functions of infinite-valued logic
• The algebras of partial functions and their invariants
• The Galois connection between partial operations and relations
• Une généralisation de la notion de corps
• Universal algebras with all operations of bounded range

Cited in

(5)

• A formal methodology using attributed grammars for multiprocessing-system software development. I. Design representation
• Formalization of the software design for process control systems in ferrous metallurgy
• Multilevel synthesis of structured programs
• scientific article; zbMATH DE number 3856374 (Why is no real title available?)
• Commutative controllers revisited: parallel computation, a new lease of life

This page was built for publication: On multilevel structured program design for process-control systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1895038)