Hierarchical Index of ‘readiness-take-two’ Branch

• rt:
  • rt.analysis:
    • rt.analysis.apa:
      • rt.analysis.apa.bertogna_edf_comp
      • rt.analysis.apa.bertogna_edf_theory
      • rt.analysis.apa.bertogna_fp_comp
      • rt.analysis.apa.bertogna_fp_theory
      • rt.analysis.apa.interference_bound_edf
      • rt.analysis.apa.interference_bound_fp
      • rt.analysis.apa.interference_bound
      • rt.analysis.apa.workload_bound
    • rt.analysis.global:
      • rt.analysis.global.basic:
        • rt.analysis.global.basic.bertogna_edf_comp
        • rt.analysis.global.basic.bertogna_edf_theory
        • rt.analysis.global.basic.bertogna_fp_comp
        • rt.analysis.global.basic.bertogna_fp_theory
        • rt.analysis.global.basic.interference_bound_edf
        • rt.analysis.global.basic.interference_bound_fp
        • rt.analysis.global.basic.interference_bound
        • rt.analysis.global.basic.workload_bound
      • rt.analysis.global.jitter:
        • rt.analysis.global.jitter.bertogna_edf_comp
        • rt.analysis.global.jitter.bertogna_edf_theory
        • rt.analysis.global.jitter.bertogna_fp_comp
        • rt.analysis.global.jitter.bertogna_fp_theory
        • rt.analysis.global.jitter.interference_bound_edf
        • rt.analysis.global.jitter.interference_bound_fp
        • rt.analysis.global.jitter.interference_bound
        • rt.analysis.global.jitter.workload_bound
      • rt.analysis.global.parallel:
        • rt.analysis.global.parallel.bertogna_edf_comp
        • rt.analysis.global.parallel.bertogna_edf_theory
        • rt.analysis.global.parallel.bertogna_fp_comp
        • rt.analysis.global.parallel.bertogna_fp_theory
        • rt.analysis.global.parallel.interference_bound_edf
        • rt.analysis.global.parallel.interference_bound_fp
        • rt.analysis.global.parallel.interference_bound
        • rt.analysis.global.parallel.workload_bound
    • rt.analysis.uni:
      • rt.analysis.uni.arrival_curves:
        • rt.analysis.uni.arrival_curves.workload_bound
      • rt.analysis.uni.basic:
        • rt.analysis.uni.basic.fp_rta_comp
        • rt.analysis.uni.basic.fp_rta_theory
        • rt.analysis.uni.basic.tdma_rta_theory
        • rt.analysis.uni.basic.tdma_wcrt_analysis
        • rt.analysis.uni.basic.workload_bound_fp
      • rt.analysis.uni.jitter:
        • rt.analysis.uni.jitter.fp_rta_comp
        • rt.analysis.uni.jitter.fp_rta_theory
        • rt.analysis.uni.jitter.workload_bound_fp
      • rt.analysis.uni.susp:
        • rt.analysis.uni.susp.dynamic:
          • rt.analysis.uni.susp.dynamic.jitter:
            • rt.analysis.uni.susp.dynamic.jitter.jitter_schedule
            • rt.analysis.uni.susp.dynamic.jitter.jitter_schedule_properties
            • rt.analysis.uni.susp.dynamic.jitter.jitter_schedule_service
            • rt.analysis.uni.susp.dynamic.jitter.jitter_taskset_generation
            • rt.analysis.uni.susp.dynamic.jitter.rta_by_reduction
            • rt.analysis.uni.susp.dynamic.jitter.taskset_membership
            • rt.analysis.uni.susp.dynamic.jitter.taskset_rta
          • rt.analysis.uni.susp.dynamic.oblivious:
            • rt.analysis.uni.susp.dynamic.oblivious.fp_rta
            • rt.analysis.uni.susp.dynamic.oblivious.reduction
        • rt.analysis.uni.susp.sustainability:
          • rt.analysis.uni.susp.sustainability.allcosts:
            • rt.analysis.uni.susp.sustainability.allcosts.main_claim
            • rt.analysis.uni.susp.sustainability.allcosts.reduction
            • rt.analysis.uni.susp.sustainability.allcosts.reduction_properties
          • rt.analysis.uni.susp.sustainability.singlecost:
            • rt.analysis.uni.susp.sustainability.singlecost.reduction
            • rt.analysis.uni.susp.sustainability.singlecost.reduction_properties
  • rt.implementation:
    • rt.implementation.arrival_sequence
    • rt.implementation.job
    • rt.implementation.task
    • rt.implementation.apa:
      • rt.implementation.apa.arrival_sequence
      • rt.implementation.apa.bertogna_edf_example
      • rt.implementation.apa.bertogna_fp_example
      • rt.implementation.apa.job
      • rt.implementation.apa.schedule
      • rt.implementation.apa.task
    • rt.implementation.global:
      • rt.implementation.global.basic:
        • rt.implementation.global.basic.bertogna_edf_example
        • rt.implementation.global.basic.bertogna_fp_example
        • rt.implementation.global.basic.schedule
      • rt.implementation.global.jitter:
        • rt.implementation.global.jitter.arrival_sequence
        • rt.implementation.global.jitter.bertogna_edf_example
        • rt.implementation.global.jitter.bertogna_fp_example
        • rt.implementation.global.jitter.job
        • rt.implementation.global.jitter.schedule
        • rt.implementation.global.jitter.task
      • rt.implementation.global.parallel:
        • rt.implementation.global.parallel.bertogna_edf_example
        • rt.implementation.global.parallel.bertogna_fp_example
    • rt.implementation.uni:
      • rt.implementation.uni.basic:
        • rt.implementation.uni.basic.extraction_tdma
        • rt.implementation.uni.basic.fp_rta_example
        • rt.implementation.uni.basic.schedule
        • rt.implementation.uni.basic.schedule_tdma
        • rt.implementation.uni.basic.tdma_rta_example
      • rt.implementation.uni.jitter:
        • rt.implementation.uni.jitter.arrival_sequence
        • rt.implementation.uni.jitter.fp_rta_example
        • rt.implementation.uni.jitter.job
        • rt.implementation.uni.jitter.schedule
        • rt.implementation.uni.jitter.task
      • rt.implementation.uni.susp:
        • rt.implementation.uni.susp.schedule
        • rt.implementation.uni.susp.dynamic:
          • rt.implementation.uni.susp.dynamic.arrival_sequence
          • rt.implementation.uni.susp.dynamic.job
          • rt.implementation.uni.susp.dynamic.task
          • rt.implementation.uni.susp.dynamic.oblivious:
            • rt.implementation.uni.susp.dynamic.oblivious.fp_rta_example
  • rt.model:
    • rt.model.policy_tdma
    • rt.model.priority
    • rt.model.suspension
    • rt.model.time
    • rt.model.arrival:
      • rt.model.arrival.basic:
        • rt.model.arrival.basic.arrival_bounds
        • rt.model.arrival.basic.arrival_sequence
        • rt.model.arrival.basic.job
        • rt.model.arrival.basic.task_arrival
        • rt.model.arrival.basic.task
      • rt.model.arrival.curves:
        • rt.model.arrival.curves.bounds
      • rt.model.arrival.jitter:
        • rt.model.arrival.jitter.arrival_bounds
        • rt.model.arrival.jitter.arrival_sequence
        • rt.model.arrival.jitter.job
        • rt.model.arrival.jitter.task_arrival
    • rt.model.schedule:
      • rt.model.schedule.apa:
        • rt.model.schedule.apa.affinity
        • rt.model.schedule.apa.constrained_deadlines
        • rt.model.schedule.apa.interference_edf
        • rt.model.schedule.apa.interference
        • rt.model.schedule.apa.platform
      • rt.model.schedule.global:
        • rt.model.schedule.global.response_time
        • rt.model.schedule.global.schedulability
        • rt.model.schedule.global.workload
        • rt.model.schedule.global.basic:
          • rt.model.schedule.global.basic.constrained_deadlines
          • rt.model.schedule.global.basic.interference_edf
          • rt.model.schedule.global.basic.interference
          • rt.model.schedule.global.basic.platform
          • rt.model.schedule.global.basic.schedule
        • rt.model.schedule.global.jitter:
          • rt.model.schedule.global.jitter.constrained_deadlines
          • rt.model.schedule.global.jitter.interference_edf
          • rt.model.schedule.global.jitter.interference
          • rt.model.schedule.global.jitter.job
          • rt.model.schedule.global.jitter.platform
          • rt.model.schedule.global.jitter.schedule
        • rt.model.schedule.global.transformation:
          • rt.model.schedule.global.transformation.construction
      • rt.model.schedule.partitioned:
        • rt.model.schedule.partitioned.schedulability
        • rt.model.schedule.partitioned.schedule
      • rt.model.schedule.uni:
        • rt.model.schedule.uni.end_time
        • rt.model.schedule.uni.response_time
        • rt.model.schedule.uni.schedulability
        • rt.model.schedule.uni.schedule
        • rt.model.schedule.uni.schedule_of_task
        • rt.model.schedule.uni.service
        • rt.model.schedule.uni.sustainability
        • rt.model.schedule.uni.workload
        • rt.model.schedule.uni.basic:
          • rt.model.schedule.uni.basic.platform
          • rt.model.schedule.uni.basic.platform_tdma
        • rt.model.schedule.uni.jitter:
          • rt.model.schedule.uni.jitter.busy_interval
          • rt.model.schedule.uni.jitter.platform
          • rt.model.schedule.uni.jitter.schedule
          • rt.model.schedule.uni.jitter.valid_schedule
        • rt.model.schedule.uni.limited:
          • rt.model.schedule.uni.limited.busy_interval
          • rt.model.schedule.uni.limited.jlfp_instantiation
          • rt.model.schedule.uni.limited.rbf
          • rt.model.schedule.uni.limited.schedule
          • rt.model.schedule.uni.limited.abstract_RTA:
            • rt.model.schedule.uni.limited.abstract_RTA.abstract_rta
            • rt.model.schedule.uni.limited.abstract_RTA.abstract_seq_rta
            • rt.model.schedule.uni.limited.abstract_RTA.definitions
            • rt.model.schedule.uni.limited.abstract_RTA.reduction_of_search_space
            • rt.model.schedule.uni.limited.abstract_RTA.sufficient_condition_for_lock_in_service
          • rt.model.schedule.uni.limited.edf:
            • rt.model.schedule.uni.limited.edf.response_time_bound
            • rt.model.schedule.uni.limited.edf.nonpr_reg:
              • rt.model.schedule.uni.limited.edf.nonpr_reg.response_time_bound
              • rt.model.schedule.uni.limited.edf.nonpr_reg.concrete_models:
                • rt.model.schedule.uni.limited.edf.nonpr_reg.concrete_models.response_time_bound
          • rt.model.schedule.uni.limited.fixed_priority:
            • rt.model.schedule.uni.limited.fixed_priority.response_time_bound
            • rt.model.schedule.uni.limited.fixed_priority.nonpr_reg:
              • rt.model.schedule.uni.limited.fixed_priority.nonpr_reg.response_time_bound
              • rt.model.schedule.uni.limited.fixed_priority.nonpr_reg.concrete_models:
                • rt.model.schedule.uni.limited.fixed_priority.nonpr_reg.concrete_models.response_time_bound
          • rt.model.schedule.uni.limited.platform:
            • rt.model.schedule.uni.limited.platform.definitions
            • rt.model.schedule.uni.limited.platform.limited
            • rt.model.schedule.uni.limited.platform.nonpreemptive
            • rt.model.schedule.uni.limited.platform.preemptive
            • rt.model.schedule.uni.limited.platform.priority_inversion_is_bounded
            • rt.model.schedule.uni.limited.platform.util
        • rt.model.schedule.uni.nonpreemptive:
          • rt.model.schedule.uni.nonpreemptive.platform
          • rt.model.schedule.uni.nonpreemptive.schedule
        • rt.model.schedule.uni.susp:
          • rt.model.schedule.uni.susp.build_suspension_table
          • rt.model.schedule.uni.susp.last_execution
          • rt.model.schedule.uni.susp.platform
          • rt.model.schedule.uni.susp.schedule
          • rt.model.schedule.uni.susp.suspension_intervals
          • rt.model.schedule.uni.susp.valid_schedule
        • rt.model.schedule.uni.transformation:
          • rt.model.schedule.uni.transformation.construction
  • rt.restructuring:
    • rt.restructuring.analysis:
      • rt.restructuring.analysis.schedulability
      • rt.restructuring.analysis.edf:
        • rt.restructuring.analysis.edf.optimality
      • rt.restructuring.analysis.transform:
        • rt.restructuring.analysis.transform.edf_trans
        • rt.restructuring.analysis.transform.prefix
        • rt.restructuring.analysis.transform.swap
        • rt.restructuring.analysis.transform.facts:
          • rt.restructuring.analysis.transform.facts.edf_opt
          • rt.restructuring.analysis.transform.facts.replace_at
          • rt.restructuring.analysis.transform.facts.swaps
    • rt.restructuring.behavior:
      • rt.restructuring.behavior.arrival_sequence
      • rt.restructuring.behavior.job
      • rt.restructuring.behavior.schedule
      • rt.restructuring.behavior.time
      • rt.restructuring.behavior.facts:
        • rt.restructuring.behavior.facts.all
        • rt.restructuring.behavior.facts.arrivals
        • rt.restructuring.behavior.facts.completion
        • rt.restructuring.behavior.facts.deadlines
        • rt.restructuring.behavior.facts.ideal_schedule
        • rt.restructuring.behavior.facts.sequential
        • rt.restructuring.behavior.facts.service
      • rt.restructuring.behavior.schedule:
        • rt.restructuring.behavior.schedule.ideal
        • rt.restructuring.behavior.schedule.multiprocessor
        • rt.restructuring.behavior.schedule.platform_properties
        • rt.restructuring.behavior.schedule.spin
        • rt.restructuring.behavior.schedule.varspeed
    • rt.restructuring.model:
      • rt.restructuring.model.task_arrivals
      • rt.restructuring.model.task_cost
      • rt.restructuring.model.task
      • rt.restructuring.model.arrival:
        • rt.restructuring.model.arrival.arrival_curves
        • rt.restructuring.model.arrival.sporadic
      • rt.restructuring.model.readiness:
        • rt.restructuring.model.readiness.basic
        • rt.restructuring.model.readiness.jitter
      • rt.restructuring.model.schedule:
        • rt.restructuring.model.schedule.edf
        • rt.restructuring.model.schedule.sequential
        • rt.restructuring.model.schedule.work_conserving
        • rt.restructuring.model.schedule.priority_based:
          • rt.restructuring.model.schedule.priority_based.preemptive
          • rt.restructuring.model.schedule.priority_based.priorities
        • rt.restructuring.model.schedule.tdma:
          • rt.restructuring.model.schedule.tdma.tdma_facts
          • rt.restructuring.model.schedule.tdma.tdma
  • rt.util:
    • rt.util.all
    • rt.util.bigcat
    • rt.util.bigord
    • rt.util.counting
    • rt.util.div_mod
    • rt.util.epsilon
    • rt.util.find_seq
    • rt.util.fixedpoint
    • rt.util.induction
    • rt.util.list
    • rt.util.minmax
    • rt.util.nat
    • rt.util.notation
    • rt.util.ord_quantifier
    • rt.util.pick
    • rt.util.powerset
    • rt.util.search_arg
    • rt.util.seqset
    • rt.util.sorting
    • rt.util.ssromega
    • rt.util.step_function
    • rt.util.sum
    • rt.util.tactics