Real Time Systems
Introduction to real time system
Real Time Scheduling
Resources Access Control
Multiprocessor System Environment
Real Time Communication
- Introduction to Real Time Systems
- Time
- Simulation
- Testing
- Verification of Systems
- Run Time Monitoring
- Symbolic Logic
- Predicate Logic
- Interpretation
- Automata and Languages
- Finite Automata
- Typical Real-Time Applications
- More Complex Control-Law Computations
- Heigh Level Control
- Signal Processing
- Other Application of Real Time Systems
- Jobs and Process
- Real Times, Dead Lines and Timing Constraints
- Hard and Soft Timing Constraints
- Hard Real time Systems
- Soft Real Time Systems
- Processors and Resources
- Temporal Parameters of Real time Workload
- Fixed, Jittered, and Sporadic Release Times
- Execution Time
- Periodic Task Model
- Aperiodic and Sporadic Tasks
- Precedence Constraints and Data Dependency
- Data Dependency
- Other Type of Dependencies
- Clock Driven Approach
- Weighted Round-Robin Approach
- Priority-Driven Approach
- Dynamic versus stasic system
- Effective Release Times and Deadlines
- Optimality of Effective-Deadline-First (EDF) and Least-Slack-Time-First (LST) Algorithms
- Nonoptimility of the EDF and LST Algorithm
- Challenges in validating timing Constraints in Priority Driven Approach
- Offline Versus Online Scheduling
- Objectives, Correctness, and Optimality
- Alternative Approaches
- Diferrable Servers
- Schedulability of Fixed-Priority Systems Containing Deferrable Server(s)
- Schedulability of Deadline-Driven Systems in the Presence of Deferrable Server
- Sporadic Servers
- Enhancements of Fixed-Priority Sporadic Server
- Simple Sporadic Servers in Deadline-Driven Systems
- Constant Utilization, Total Bandwidth with Weighted Fair-Queueing Servers
- Constant Utilization Server Algorithm
- Total Bandwidth Server Algorithm
- Fairness and Starvation
- Preemptive Weighted Fair-Queueing Algorithm
- Scheduling of Sporading jobs
- Real time Performance for Jobs with Soft Timing Constraints
- Performance of Bandwidth-Preserving Server Algorithms
- A Two Level Scheme for Integrated Scheduling
- Scheduling Predictable Applications
- Scheduling Nonpredictable Applications
- Algorithms for Scheduling Aperiodic Jobs
- Assumptions on resources and their Usage
- Effect of Resource Contention and Resource Access Control (RAC)
- Additional Terms, Notations, and Assumptions
- Nonpreemptive Critical Sections
- Basic Priority-Inheritance and Priority-Ceiling Protocols
- Properties ofthe Priority-Inheritance Protocol
- Basic Priority-Ceiling Protocols
- Differences between the Priority-Inheritance and Priority-Ceiling Protocols
- Deadlock Avoidance by Priority-Ceiling Protocol
- Duration of Blocking
- Fixed-Priority Scheduling and Priority-Ceiling Protocol
- Stack Based Priority-Ceiling Protocol
- Definition of Ceiling-Priority Protocol
- Use of Priority-Ceiling Protocol in Dynamic Priority Systems
- Preemption-Ceiling Protocol
- Definitions ofPr otocols and Duration ofBlocking
- Access Control in Multiple-Unit Resources
- Modified Rules
- Controlling Concurrent Accesses to Data Objects
- Other Real-Time Concurrency Control Schemes
- Multiprocessor systems
- Multiprocessor Interconnections
- Crossbar-Connected System
- Types of Multiprocessor operating System
- Multiprocessor Operating System Functions and Requirements
- Multiprocessor Synchronization
- Introduction to Real-time Systems and Fault-tolerance
- Assertions and correctness formulae
- Introduction to Multiprocessor Systems
- Usage Patterns and Platform Constraints
- Task Model and Scheduling Algorithms
- Analysis Methods
- Introduction to Operating Systems
- The Kernel
- Time Services and Scheduling Mechanisms
- Scheduling Mechanisms
- Other basic Operating System Functions
- Event Notification andSoftwar e Interrupt
- Memory Management
- I/O andNetworking
- Processors Reserves and resource kernel
- Application Program Interface andSSP Structure
- Open System Architecture
- Two-Level Scheduler
- Server Maintenance
- Sufficient Schedulability Condition and Acceptance Test
- Scheduling Overhead and Processor Utilization
- Capability of Commercial Real-Time Systems
- LynxOS
- pSO System
- QNX/Neutrino
- VRTX
- VxWorks
- Predictability of General Purpose Operating System
- Real-Time Extensions of Linux Operating Systems
- UTIME High-Resolution Time Service
- Requirement of Real Time Communication
- Flexibility
- Design Issues
- Event-Triggered Communication
- Rate-Constrained Communication
- Time-Triggered Communication