LEADER 05422nam 2200625Ia 450 001 9910824627203321 005 20230421054344.0 010 $a1-283-97141-0 010 $a981-281-246-6 035 $a(CKB)2670000000328623 035 $a(EBL)1113162 035 $a(OCoLC)827210204 035 $a(SSID)ssj0000851008 035 $a(PQKBManifestationID)11456477 035 $a(PQKBTitleCode)TC0000851008 035 $a(PQKBWorkID)10838055 035 $a(PQKB)10378285 035 $a(WSP)00001740 035 $a(Au-PeEL)EBL1113162 035 $a(CaPaEBR)ebr10648640 035 $a(MiAaPQ)EBC1113162 035 $a(EXLCZ)992670000000328623 100 $a19921105d1992 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aReal-time systems$b[electronic resource] $eimplementation of industrial computerised process automation /$fWolfgang A. Halang, Krzysztof M. Sacha, with contributions by Marek Drozdz ... [et al.] 210 $aSingapore ;$aRiver Edge, NJ $cWorld Scientific$dc1992 215 $a1 online resource (379 p.) 300 $aDescription based upon print version of record. 311 $a981-02-1063-9 320 $aIncludes bibliographical references (p. 335-344) and index. 327 $aContents; Preface; List of Figures; List of Tables; Authors; Chapter 1 Real-Time Computing and Industrial Process Automation; 1.1 Introduction; 1.2 Industrial Control Systems; 1.3 Example: A Chemical Process; 1.4 Historical Perspective; Chapter 2 Conceptual Foundations; 2.1 Real-Time System Characteristics; 2.2 Continuous and Discrete Time; 2.3 Engineering Approach to Hard Real-TimeSystem Design; Chapter 3 Digital Control of Continuous Processes; 3.1 Introduction; 3.2 Linear System Theory; 3.3 Control System Analysis and Design; 3.4 Digitising Analogue Signals; 3.5 New Developments 327 $aChapter 4 Hardware Architectures4.1 Classical Process Automation; 4.2 Centralised Direct Digital Control; 4.3 Redundant Configurations; 4.4 Multi-Level Control Systems; 4.5 Network..flased Distributed Systems; 5.3 Analogue Outputs; 5.4 Analogue Inputs; 5.5 Serial Interface; Chapter 6 Communication Networks; 6.1 Network Architecture; 6.2 LAN Technology; 6.3 LAN Medium Access Control; 6.4 LAN Logical Link Control; 6.5 MAP /TOP Protocol; Chapter 7 Real-Time Operating Systems Principles; 7.1 Operating System Requirements; 7.2 Synchronous and Asynchronous Task Execution 327 $a7.3 Multi-Tasking7.4 Task Synchronisation and Communication; 7.5 Time and Event Handling; 7.6 Distributed Operating Systems; Chapter 8 Comparison of Some Real-Time Operating Systems; 8.1 System iRMX88; 8.2 System iRMX; 8.3 System QNX; 8.4 System PORTOS; 8.5 Comparison of Real-Time Operating Systems; Chapter 9 High Level Real-Time Programming; 9.1 Real-Time Features in High Level Languages; 9.2 A Closer Look at Ada and PEARL; 9.3 Requirements for New High Level LanguageFeatures; 9.4 High-Integrity PEARL; 9.5 Advanced Features of High-Integrity PEARL 327 $aChapter 10 Schedulability Analysis10.1 Schedulability Analyser; 10.2 Front-End of the Schedulability Analyser; 10.2.1 A Segment Tree Example; 10.2.2 Front-End Statistics; 10.3 Back-End of the Schedulability Analyser; 10.4 Program Transformation; 10.5 Empirical Evaluation; Chapter 11 System and Software Life Cycle; 11.1 System Development; 11.2 Software Life Cycle; 11.3 Software Development Economy; 11.4 Classical Software Development Methods; 11.5 Prototyping; 11.6 Object-Oriented Development; 11.7 Transformational Implementation; 11.8 Evaluation of the Development Paradigms 327 $aChapter 12 Software Quality Assurance12.1 Software Quality Assurance Planning; 12.2 Reviews and Audits; 12.3 Structured Walkthrough and Inspections; 12.4 Software Testing; Chapter 13 Computer Aided Software Engineering Tools; 13.1 Software Development Environments; 13.2 The EPOS System; 3.3 Example: A Chemical Process; Chapter 14 Formal Specification and Verification Methods; 14.1 Introduction; 14.2 Sequential and Parallel Descri ption; 14.3 Petri Nets; 14.4 Properties of Petri Nets; 14.5 Temporal Logic; 14.6 Correctness Verification Using Temporal Logic 327 $aChapter 15 Programmable Logic Controllers 330 $aThis book represents the first comprehensive text in English on real-time and embedded computing systems. It is addressed to engineering students of universities and polytechnics as well as to practitioners and provides the knowledge required for the implementation of industrial computerized process control and manufacturing automation systems. The book avoids mathematical treatment and supports the relevance of the concepts introduced by practical examples and case studies. Special emphasis is placed on a sound conceptual basis and on methodologies and tools for the development of high qualit 606 $aReal-time data processing 606 $aProcess control$xAutomation 615 0$aReal-time data processing. 615 0$aProcess control$xAutomation. 676 $a629.8/95 700 $aHalang$b Wolfgang A.$f1951-$0492107 701 $aSacha$b Krzysztof M$01637951 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910824627203321 996 $aReal-time systems$93980048 997 $aUNINA