COURSE LINKS

  

Papers and sites related to course material

• The space shuttle control system
• Finite Automata
• State Charts
• Concurrent Automata
• CSP (see references and links at bottom also)
• Petri Nets (see references and links at bottom also)
• Petri Nets
• Petri Nets
• Petri Net properties
• Timed Petri Nets
• Stochastic Petri Nets
• Interaction Diagrams
• UML Interaction Diagrams
• Rate-monotonic Scheduling (see references and links at bottom also)
• Priority Inheritance (see references and links at bottom also)
• Priority Inheritance/Ceiling Protocols
• Earliest Deadline First Scheduling
• Scheduling policy comparisons
• RT Scheduling Algorithm survey
• Survey of R-T Scheduling
• Constant Bandwidth Server
• Stack Resource Policy
• Total Bandwidth Server
• more Total Bandwidth Server
• Semaphores
• PCI
• Ethernet
• UDP
• TCP
• Erlang Distribution
• Temporal Logic (see CTL and LTL references at the bottom)
• RTL
• CTL*
• RTCTL
• Timed Automata
• Linux device drivers
• Completions
• a sample RTOS (uC/OS-II)
• RTAI - a Real-Time Linux
• Adeos - another RT Linux extension
• Java ME
• Real-Time Specification for Java

Assignment Documentation

From time to time we will add links that are related to course assignments here.