Preface
Chapter 1: Systems methodology for software development
1.1 Systems methodology
1.2 Algebraic methodology
1.3 Informal systems
1.4 Formal systems
1.5 Formal system construction
1.6 Algebraic systems
1.7 Ad hoc systems
1.8 Example of ad hoc system construction
1.9 Computing systems
1.10 Software systems
1.11 Overview and further readings
Chapter 2: Hardware system
2.1 Major behavior of the hardware system
2.2 Memory components
2.3 Processor components
2.4 Input-output components
2.5 Control processor components
2.6 Behavior of hardware system components
2.7 Functional behavior of memory components
2.8 Functional behavior of control processors
2.9 Functional behavior of processing processors
2.10 Performing program execution in parallel
2.11 Data type view of I/O components
2.12 Efficiency of a hardware system
2.13 General view of a hardware system
2.14 Overview and further readings
Chapter 3: Process and resource representation
3.1 Processes and resources
3.2 Process data representation
3.3 Examples of process data representation
3.4 Context of a processor
3.5 Memory data representation
3.6 I/O device data representation
3.7 Examples of I/O programming
3.8 Services provided by software
3.9 Overview and further readings
Chapter 4: Interrupt system
4.1 Introduction
4.2 Interrupt system
4.3 Actual implementations
4.4 Examples of interrupt systems
4.5 Interrupt system simulation project
4.6 Overview and further readings
Chapter 5: Operating systems -- an evolutionary overview259
5.1 First operating system
5.2 Design of a control program
5.3 Reliability of a control program
5.4 Batch operating system
5.5 Problem of protection
5.6 Timing program execution
5.7 Efficiency of batch operating system
5.8 Performance measurements
5.9 Overlapping systems with programmed I/O
5.10 Overlapping systems using DMA
5.11 Off-line operation
5.12 Spooling operation
5.13 Multiprogramming systems
5.14Model of a multiprogramming system}
5.15 Interactive operating systems
5.16 Time-sharing operating systems
5.17 Real-time systems
5.18 Multiprocessor systems
5.19 Overview and further readings