On multilevel structured program design for process-control systems (Q1895038)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: On multilevel structured program design for process-control systems |
scientific article; zbMATH DE number 780296
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On multilevel structured program design for process-control systems |
scientific article; zbMATH DE number 780296 |
Statements
On multilevel structured program design for process-control systems (English)
0 references
6 August 1995
0 references
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.
0 references
process control
0 references
multilevel structured programs
0 references
synchronization
0 references
parallel computation
0 references
