Real-Time Programming Languages - Operating Systems
Real-Time Programming Languages - Operating Systems Real-Time Programming Languages - Operating Systems
Esterel: „Statements“ ● Consume no time (unless explicitly said otherwise) ● Await A: „consumes one A“ ● Pause: „consumes one time step“ (tick) ● ● ● ● X:= Y: assigns values to variables S1;S2 S1 || S2 Loop S end starts s, repeats if not terminated (s must consume time) WS 2013/14 Real-Time Systems, Real-Time Prog. Languages / Hermann Härtig 8
Esterel „Data“: Variables and Signals Variable: Value of any type Signal: Value and Status Value of any type Status: Present/non present Newly evaluated at every step present when emitted WS 2013/14 Real-Time Systems, Real-Time Prog. Languages / Hermann Härtig 9
- Page 1 and 2: Real-Time Systems Hermann Härtig R
- Page 3 and 4: RT Language Classes Synchronous HLL
- Page 5 and 6: Synchronous Systems → Synchronous
- Page 7: Esterel at a glance Most statements
- Page 11 and 12: Signals vs Variables 01 Emit Count(
- Page 13 and 14: Examples (all by Berry): ABRO Speci
- Page 15 and 16: Speed Specification SPEED: Count th
- Page 17 and 18: Few general points Ada has “Annex
- Page 19 and 20: Concurrency Tasks ● ● ● ● a
- Page 21 and 22: Termination of Tasks Every task has
- Page 23 and 24: The Rendezvous Based on client/serv
- Page 25 and 26: In detail task executing Server Cli
- Page 27 and 28: Select Statement ● ● Arbitrary
- Page 29 and 30: Example: Resource with Locking 01 0
- Page 31 and 32: Tasks ./. Protected Objects 01 02 0
- Page 33 and 34: Fixed Priorities ● task (type) T
- Page 35 and 36: Active Priority Base priority or
- Page 37 and 38: EDF Dispatching How to set deadline
- Page 39 and 40: Mixed Scheduling Policies, example
- Page 41 and 42: Explicit Request Ordering: Requeue
- Page 43 and 44: Timing events 01 02 03 04 05 06 07
- Page 45 and 46: Example: Watchdog 01 02 03 04 05 06
- Page 47 and 48: Time: Delay Statement 01 02 03 04 0
- Page 49 and 50: Delay and Select, client side(1) 01
- Page 51 and 52: Example 01 02 03 04 05 06 07 select
- Page 53 and 54: Example: Operator/Subscriber 01 02
- Page 55 and 56: Example: Operator/Subscriber 01 02
- Page 57 and 58: Recurrent Tasks (1) 01 02 03 04 05
Esterel „Data“: Variables and Signals<br />
Variable:<br />
Value of any type<br />
Signal:<br />
Value and Status<br />
Value of any type<br />
Status:<br />
Present/non present<br />
Newly evaluated at every step<br />
present when emitted<br />
WS 2013/14 <strong>Real</strong>-<strong>Time</strong> <strong>Systems</strong>, <strong>Real</strong>-<strong>Time</strong> Prog. <strong>Languages</strong> / Hermann Härtig 9