TC002 - Real-Time Systems

Summary

Contents

• Definition of 'real-time'
• Main characteristics of real-time systems
• Introductions to real-time techniques:
  • informal, structured and formal notations
  • requirements
  • design
  • implementation
  • testing
  • prototyping

• Defintion of "reliability"
• Types of failures
• Fault prevention
• Fault tolerance
• Redundancy techniques
• Dynamic software redundancy
• Errors detection and handling
• Exceptions
• Predictability and reliability measures

• Definition of "process"
• Concurrent processes
• Concurrency types (independent, cooperating or competing)

• Shared-memory based systems
  • Mutual exclusion and critical sections
  • Busy waiting
  • Process suspension and reactivation
  • Semaphores
  • Conditional critical regions
  • Monitor
  • Protected objects
  • Synchronized methods
• Messages based systems
  • Process synchronization
  • Selective wait
  • POSIX message
  • RPC (Remote Procedure Calls)

• Software decomposition into atomic components
• Error recovery techniques among atomic components
• Asynchronous events management
  • POSIX signals
• Asynchronous transfer of control among threads

• Resource management with synchronized methods
• Resource management with a logical server (message-based interface)
• Resource management with protected objects
• Design techniques to avoid starvation
• Requeuing
• Design techniques to prevent, detect an resolve deadlocks

• The notion of "time"
• The clock
• POSIX Clock
• Delayed processes
• Timeouts
• How to specify temporal requirements

• Scheduling types
• Preemption
• Cyclic scheduling
• Process-based scheduling
  • Fixed Priority Scheduling
  • Earliest Deadline First
  • Value-Based Scheduling
• Formal analysis of scheduling
• Worst-case calculation
• Sporadic and aperiodic processes
• Priorities assignment

• Definition of "distributed system"
• Common problems for distributed systems
• Communication among parts of a distributed system
  • the functional model (RPC, remote procedures)
  • the object oriented model (CORBA)
• Timing and deadlines in distributed systems
• Communication protocols among distributed components

Audience

Duration

Training main page... >>>