ArticlePDF Available

Abstract

The paper discusses some issues in the development of a modular realtime program for an industrial microcomputer system. Experience gained in the design of a multiprogramming computer system for the Brown Coal Mine Control Centre in Betchatow (Poland) is presented. Brief remarks about the aims of the system are followed by an analysis of the choice of programming tools and methods, as well as their influence on the efficiency of the program creation process and its reliability. The hierarchical internal structure of the program is also presented.
A preview of the PDF is not available
... A distributed control system means that the feedback is provided from a supervisory control system to isolated islands of automation and all of them deal with the same real-time process. Large scale emphasizes three main features of the discussed type of systems [1,2,6,7,11]. The first two are especially big responsibility and intrinsic complexity. ...
... The first installations of LSDS appeared just after microprocessor technology had started rocketing [1]. In spite of no objections concerning possible improvements to the process management and safety, the number of this kind of applications is incomparably smaller than others. ...
... A very important feature of the real-time systems is their intrinsic reliability [1,6,7]. Reliability is crucial because failure of the computer system could result in an economic disaster or even loss of human lives. ...
Conference Paper
Full-text available
Process and business management integration is recognized as one of major importance to further improvements in the manufacturing process. To succeed, it has to be governed by well-defined information architecture and appropriate communication infrastructure. Mutual influence of the architecture, underlying communication and the physical plant floor process is discussed in the paper and a novel systematic design methodology and architecture is proposed to greatly reduce the complexity. The presented case study proves that the solution not only allows the real-time process requirements to be met, but also is a platform for multi-enterprise collaboration.
... Large scale emphasizes three main features of the discussed type of systems [1,2,6,7]. The first two are especially big responsibility and intrinsic complexity. ...
... The first installations of LSDS appeared just after microprocessor technology had started rocketing [1]. In spite of no objections concerning possible improvements to the process management and safety, the number of this kind of applications is incomparably smaller than others. ...
... A very important feature of the real-time systems is [1,6,7]. Reliability is crucial because a failure of the computer system could result in an economic disaster or even loss of human lives. ...
Conference Paper
Full-text available
Because of their scale, complexity, and requirement of expandability, Large Scale Distributed Control Systems (LSDCS) are usually created in a multistep integration process. To succeed, it has to be governed by well-defined information architecture, appropriate communication infrastructure and the supervisory role of the time notion taken into consideration from the very beginning of the design stage. Mutual influence of the architecture and underlying communication is discussed in the paper and a novel systematic design methodology is proposed to greatly reduce the complexity. A dedicated communication component is proposed in this approach. Functionality and scheduling algorithms offered by these components enable us to satisfy all the defined prerequisites of the real-time distributed control and design the robust system in a systematic and uniform way. The presented case study proves that the solution not only allows the real-time process requirements to be met but also is a platform for multi-enterprise collaboration.
... This study is based on the 30+-year experience gained while managing innovative process control and business management projects [1] [2] [3][4] [5]. For these and similar projects, their scope definition and budget estimation in advance was always the most challenging task. ...
Chapter
Full-text available
The agile management approach helps us to guide software development projects towards the most valuable outcome possible with the goal to accommodate the unpredictability of the project that adversely affects the expected results and workload assessment. It is, therefore, proposed to be applied also to high-risk innovative research projects based on a fixed-price contract. A methodology based on Scrum and supporting tools derived from a generic business process model are proposed with the aim of harmonizing and embedding agile principles as contract rules. The case study result proves that convergence between management rules based on an agile approach and business objectives leads to a real improvement in key performance indicators and customer satisfaction index. The proposed methodology is recognized as a practical approach to make the project an adaptive process.
... It means that weather automation systems ensure that any customer buys as much energy as he/she needs and not as much as may be generated by the sources. 1 The author is also an employee of the Independent Institute of Computer Network, Technical University of Łódź 2 The system was implemented by CAS in 2000 3 Works in the field of automation and remote control are carried out by CAS as a subcontractor under a complex contract of Danfoss Company. doc: R-050602E03_REMOTE_CONTROL_OF_LODZ_AGGLOMERATION_HEAT_DISTRIBUTION_SYSTEM/Ver: 10 2 Lodz, March 2004 ...
Technical Report
Full-text available
Operation of the Central Dispatching Room (DSC) is aided by the following systems: - GIS - Geographical Information System; - TCH - source monitoring system (actually 3 power plants supplying hot water to a central municipal heating network); - SOC - remote control system of backbone pumping stations (pressure reduction stations) along with a simulator of the heat distribution network; - KOM - remote control system of heat chambers
Article
This paper suggests that input and output are basic primitives of programming and that parallel composition of communicating sequential processes is a fundamental program structuring method. When combined with a development of Dijkstra's guarded command, these concepts are surprisingly versatile. Their use is illustrated by sample solutions of a variety of a familiar programming exercises.
Article
This paper suggests that input and output are basic primitives of programming and that parallel composition of communicating sequential processes is a fundamental program structuring method. When combined with a development of Dijkstra’s guarded command, these concepts are surprisingly versatile. Their use is illustrated by sample solutions of a variety of familiar programming exercises.
Article
A set of criteria is proposed for the comparison of software reliability models. The intention is to provide a logically organized basis for determining the superior models and for the presentation of model characteristics. It is hoped that in the future, a software manager will be able to more easily select the model most suitable for his/her requirements from among the preferred ones.
Article
Programming is divided into three major categories with increasing complexity of reasoning in program validation: sequential programming, multi-programming, and real-time programming. By adhering to a strict programming discipline and by using a suitable high-level language molded after this discipline, we may drastically reduce the complexity of reasoning about concurrency and execution time constraints. This may be the only practical way to make real-time systems analytically verifyable and ultimately reliable. A possible discipline is outlined and expressed in terms of the language Modula.
Article
A set of criteria is proposed for the comparison of software reliability models. The intention is to provide a logically organized basis for determining the superior models and for the presentation of model characteristics. It is hoped that in the future, a software manager will be able to more easily select the model most suitable for his/her requirements from among the preferred ones.
Article
Those features of high-level languages which provide support for good software design methods are discussed, with explanations of why they are needed to improve the likelihood of software correctness and reliability. Emphasis is placed on the importance of detecting errors at compile time and on the need for the language to provide a basis for readable, understandable software. Illustrative examples from a number of languages are included. These languages include PASCAL, MODULA-2, ADA, OCCAM and, for purposes of comparison, BASIC and FORTRAN. The paper is an introduction to a series with contributions from several other authors, each contribution being devoted to a specific modern high-level language.
Article
Continuing a series on modern high-level languages the paper describes the features of MODULA-2 which are important in industrial systems programming. These features include the creation of libraries of reusable software, the ability to perform low-level programming and support for concurrency. MODULA-2 supports good software engineering practice by providing facilities for program decomposition, separate compilation and data abstraction. The role of the module concept and the export/import mechanism in providing these features is examined. Program modules, the definition and implementation parts of library modules and local modules are described.
Article
A language concept for concurrent processes without common variables is introduced. These processes communicate and synchronize by means of procedure calls and guarded regions. This concept is proposed for real-time applications controlled by microcomputer networks with distributed storage. The paper gives several examples of distributed processes and shows that they include procedures, coroutines, classes, monitors, processes, semaphores, buffers, path expressions, and input/output as special cases.