Real-Time Systems

  1. System Design and Analysis
    1. Requirements Engineering
      1. Requirements Engineering for Real-Time Systems
        1. Eliciting Timing Requirements
          1. Functional vs. Non-Functional Requirements
            1. Requirements Traceability
            2. Timing Requirements Specification
              1. End-to-End Timing Constraints
                1. Jitter Requirements
                  1. Throughput Requirements
                2. System Modeling and Specification
                  1. Behavioral Modeling
                    1. Finite State Machines and Statecharts
                      1. State Machine Design
                        1. Hierarchical State Machines
                          1. Modeling System Behavior
                          2. Petri Nets
                            1. Modeling Concurrency and Synchronization
                              1. Timed Petri Nets
                                1. Analysis Techniques
                                2. Process Algebras
                                  1. Communicating Sequential Processes
                                    1. Calculus of Communicating Systems
                                  2. Architectural Modeling
                                    1. UML for Real-Time
                                      1. Structural and Behavioral Modeling
                                        1. Real-Time UML Profile
                                          1. Sequence Diagrams for Timing
                                          2. AADL
                                            1. Architecture Analysis and Design Language
                                              1. Component-Based Modeling
                                                1. Property Specifications
                                            2. Timing Analysis
                                              1. Worst-Case Execution Time Analysis
                                                1. Static Analysis Methods
                                                  1. Code Analysis Techniques
                                                    1. Control Flow Analysis
                                                      1. Data Flow Analysis
                                                      2. Measurement-Based Methods
                                                        1. Empirical Measurement
                                                          1. Instrumentation Techniques
                                                            1. Statistical Analysis
                                                            2. Hybrid Methods
                                                              1. Combining Static and Measurement Approaches
                                                                1. Probabilistic WCET
                                                              2. End-to-End Timing Analysis
                                                                1. Timing Chain Analysis
                                                                  1. Distributed System Timing
                                                                    1. Network Delay Analysis
                                                                  2. Performance Analysis
                                                                    1. Simulation and Modeling
                                                                      1. Discrete Event Simulation
                                                                        1. Queuing Theory Applications
                                                                          1. Performance Metrics
                                                                          2. Analytical Methods
                                                                            1. Mathematical Modeling
                                                                              1. Stochastic Analysis
                                                                                1. Optimization Techniques

                                                                            Previous

                                                                            7. Real-Time Communication

                                                                            Go to top

                                                                            Next

                                                                            9. Verification and Validation