←
Back
Real Time Systems
Author
Skedbooks Team
Real Time Systems
Explore into fundamental concepts like scheduling techniques, synchronization, and performance analysis in this insightful guide to real-time systems. Designed for aspiring engineers and tech professionals, this book features practical examples and real-world applications, empowering you to create robust real-time solutions across various domains. Perfect for those looking to enhance their skills in the dynamic field of real-time computing and stay ahead in the evolving technology landscape.
- Introduction To Real Time Systems
- More Complex Control-law Computations
- Other Type Of Dependencies
- Other Application Of Real Time Systems
- Soft Real Time Systems
- Processors And Resources
- Aperiodic And Sporadic Tasks
- Precedence Constraints And Data Dependency
- Hard And Soft Timing Constraints
- Heigh Level Control
- Fixed, Jittered, And Sporadic Release Times
- Time
- Simulation
- Testing
- Verification Of Systems
- Symbolic Logic
- Automata And Languages
- Run Time Monitoring
- Predicate Logic
- Interpretation
- Finite Automata
- Periodic Task Model
- Data Dependency
- Typical Real-time Applications
- Real Times, Dead Lines And Timing Constraints
- Signal Processing
- Execution Time
- Jobs And Process
- Hard Real Time Systems
- Definition Of Ceiling-priority Protocol
- Definitions Ofpr Otocols And Duration Ofblocking
- Deadlock Avoidance By Priority-ceiling Protocol
- Differences Between The Priority-inheritance And Priority-ceiling Protocols
- Other Real-time Concurrency Control Schemes
- Modified Rules
- Use Of Priority-ceiling Protocol In Dynamic Priority Systems
- Basic Priority-ceiling Protocols
- Controlling Concurrent Accesses To Data Objects
- Duration Of Blocking
- Properties Ofthe Priority-inheritance Protocol
- Preemption-ceiling Protocol
- Assumptions On Resources And Their Usage
- Effect Of Resource Contention And Resource Access Control (Rac)
- Nonpreemptive Critical Sections
- Basic Priority-inheritance And Priority-ceiling Protocols
- Stack Based Priority-ceiling Protocol
- Fixed-priority Scheduling And Priority-ceiling Protocol
- Additional Terms, Notations, And Assumptions
- Access Control In Multiple-unit Resources
- Types Of Multiprocessor Operating System
- Introduction To Multiprocessor Systems
- Analysis Methods
- Crossbar-connected System
- Multiprocessor Synchronization
- Multiprocessor Systems
- Multiprocessor Operating System Functions And Requirements
- Multiprocessor Interconnections
- Task Model And Scheduling Algorithms
- Assertions And Correctness Formulae
- Introduction To Real-time Systems And Fault-tolerance
- Usage Patterns And Platform Constraints
- Requirement Of Real Time Communication
- Pso System
- Open System Architecture
- Vrtx
- Scheduling Overhead And Processor Utilization
- Utime High-resolution Time Service
- Event-triggered Communication
- Predictability Of General Purpose Operating System
- Lynxos
- Time Services And Scheduling Mechanisms
- Flexibility
- Time-triggered Communication
- Real-time Extensions Of Linux Operating Systems
- Application Program Interface Andssp Structure
- Vxworks
- Event Notification Andsoftwar E Interrupt
- Capability Of Commercial Real-time Systems
- Qnx/neutrino
- Design Issues
- Two-level Scheduler
- Sufficient Schedulability Condition And Acceptance Test
- The Kernel
- I/o Andnetworking
- Memory Management
- Processors Reserves And Resource Kernel
- Scheduling Mechanisms
- Other Basic Operating System Functions
- Rate-constrained Communication
- Server Maintenance
- Introduction To Operating Systems
- Sporadic Servers
- Simple Sporadic Servers In Deadline-driven Systems
- Performance Of Bandwidth-preserving Server Algorithms
- Algorithms For Scheduling Aperiodic Jobs
- Diferrable Servers
- Alternative Approaches
- Fairness And Starvation
- Schedulability Of Fixed-priority Systems Containing Deferrable Server(s)
- Real Time Performance For Jobs With Soft Timing Constraints
- Preemptive Weighted Fair-queueing Algorithm
- Optimality Of Effective-deadline-first (Edf) And Least-slack-time-first (Lst) Algorithms
- Enhancements Of Fixed-priority Sporadic Server
- Scheduling Nonpredictable Applications
- Scheduling Predictable Applications
- Constant Utilization Server Algorithm
- Schedulability Of Deadline-driven Systems In The Presence Of Deferrable Server
- A Two Level Scheme For Integrated Scheduling
- Challenges In Validating Timing Constraints In Priority Driven Approach
- Clock Driven Approach
- Constant Utilization, Total Bandwidth With Weighted Fair-queueing Servers
- Priority-driven Approach
- Weighted Round-robin Approach
- Dynamic Versus Stasic System
- Effective Release Times And Deadlines
- Total Bandwidth Server Algorithm
- Offline Versus Online Scheduling
- Nonoptimility Of The Edf And Lst Algorithm
- Objectives, Correctness, And Optimality
- Scheduling Of Sporading Jobs
Author
Skedbooks Team