Real-time systems [[electronic resource] ] : implementation of industrial computerised process automation / / Wolfgang A. Halang, Krzysztof M. Sacha, with contributions by Marek Drozdz ... [et al.] |
Autore | Halang Wolfgang A. <1951-> |
Pubbl/distr/stampa | Singapore ; ; River Edge, NJ, : World Scientific, c1992 |
Descrizione fisica | 1 online resource (379 p.) |
Disciplina | 629.8/95 |
Altri autori (Persone) | SachaKrzysztof M |
Soggetto topico |
Real-time data processing
Process control - Automation |
Soggetto genere / forma | Electronic books. |
ISBN |
1-283-97141-0
981-281-246-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Contents; 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
Chapter 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 7.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 Chapter 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 Chapter 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 Chapter 15 Programmable Logic Controllers |
Record Nr. | UNINA-9910463225903321 |
Halang Wolfgang A. <1951-> | ||
Singapore ; ; River Edge, NJ, : World Scientific, c1992 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Real-time systems [[electronic resource] ] : implementation of industrial computerised process automation / / Wolfgang A. Halang, Krzysztof M. Sacha, with contributions by Marek Drozdz ... [et al.] |
Autore | Halang Wolfgang A. <1951-> |
Pubbl/distr/stampa | Singapore ; ; River Edge, NJ, : World Scientific, c1992 |
Descrizione fisica | 1 online resource (379 p.) |
Disciplina | 629.8/95 |
Altri autori (Persone) | SachaKrzysztof M |
Soggetto topico |
Real-time data processing
Process control - Automation |
ISBN |
1-283-97141-0
981-281-246-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Contents; 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
Chapter 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 7.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 Chapter 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 Chapter 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 Chapter 15 Programmable Logic Controllers |
Record Nr. | UNINA-9910786026903321 |
Halang Wolfgang A. <1951-> | ||
Singapore ; ; River Edge, NJ, : World Scientific, c1992 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Real-time systems [[electronic resource] ] : implementation of industrial computerised process automation / / Wolfgang A. Halang, Krzysztof M. Sacha, with contributions by Marek Drozdz ... [et al.] |
Autore | Halang Wolfgang A. <1951-> |
Pubbl/distr/stampa | Singapore ; ; River Edge, NJ, : World Scientific, c1992 |
Descrizione fisica | 1 online resource (379 p.) |
Disciplina | 629.8/95 |
Altri autori (Persone) | SachaKrzysztof M |
Soggetto topico |
Real-time data processing
Process control - Automation |
ISBN |
1-283-97141-0
981-281-246-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Contents; 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
Chapter 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 7.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 Chapter 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 Chapter 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 Chapter 15 Programmable Logic Controllers |
Record Nr. | UNINA-9910824627203321 |
Halang Wolfgang A. <1951-> | ||
Singapore ; ; River Edge, NJ, : World Scientific, c1992 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|