Skip to content
Snippets Groups Projects
Select Git revision
  • 7235ace10fff01827b9ca986157bee7a1ad9ae09
  • master default
2 results

output1.txt

Blame
  • Forked from Per Lindgren / klee_tutorial
    Source project has a limited visibility.
    output1.txt 922 B
    Overview
    	Schedulable: No
    	Total Util: 0.85
    	Tasks: T1 T2 T3
    	Priority:  P(R1) = 2  P(T1) = 1  P(T2) = 2  P(R2) = 3  P(T3) = 3
    	Task Resources: T2:( R1 R2 ) T3:( R2 )
    
    Analysis of T1
    	Response Time: 100
    	wcet: 10
    	Block Time: 0
    	Preemption Time: 90
    Analysis of T2
    	Response Time: 90
    	wcet: 30
    	Block Time: 0
    	Preemption Time: 60
    Analysis of T3
    	Response Time: 34
    	wcet: 30
    	Block Time: 4
    	Preemption Time: 0
    
    Task T1
    	Priority: 1
    	Deadline: 100
    	Inter Arrival: 100
    	Trace { id: "T1", start: 0, end: 10, inner: [] }
    Task T2
    	Priority: 2
    	Deadline: 200
    	Inter Arrival: 200
    	Trace { id: "T2", start: 0, end: 30, inner: [Trace { id: "R1", start: 10, end: 20, inner: [Trace { id: "R2", start: 12, end: 16, inner: [] }] }, Trace { id: "R1", start: 22, end: 28, inner: [] }] }
    Task T3
    	Priority: 3
    	Deadline: 50
    	Inter Arrival: 50
    	Trace { id: "T3", start: 0, end: 30, inner: [Trace { id: "R2", start: 10, end: 20, inner: [] }] }