comp.lang.ada
 help / color / mirror / Atom feed
* Rate Monotonic Analysis
@ 2000-02-02  0:00 Richard D Riehle
  2000-02-02  0:00 ` Marin D. Condic
  2000-02-09  0:00 ` james hopper
  0 siblings, 2 replies; 8+ messages in thread
From: Richard D Riehle @ 2000-02-02  0:00 UTC (permalink / raw)


Just got my copy of a new book by Dan Roy and Loic Briand titled

  Meeting Deadlines in Hard Real-Time Systems:
      The Rate Monotonic Approach

Many of the examples are in Ada.  Some of you old timers will 
remember Dan Roy as an Ada stalwart from the Software Engineering
Institute.  The book is published by IEEE Computer Society. 
ISBN is 0-8186-7406-7.

I am enjoying it as late-at-night bedtime reading.  Lots of fun.

Richard Riehle
richard@adaworks.com




^ permalink raw reply	[flat|nested] 8+ messages in thread
* Rate Monotonic Analysis
@ 2002-01-08  7:17 le
  0 siblings, 0 replies; 8+ messages in thread
From: le @ 2002-01-08  7:17 UTC (permalink / raw)


Does anyone know a good software to the computing of the RMA (Rate Monotonic
Analysis) given the caracteristics of the ADA code and the hardwere used?
Thanks





^ permalink raw reply	[flat|nested] 8+ messages in thread
* Re: Rate Monotonic Analysis
@ 1992-10-24 19:04 Alex Blakemore
  0 siblings, 0 replies; 8+ messages in thread
From: Alex Blakemore @ 1992-10-24 19:04 UTC (permalink / raw)


In article <476.237.uupcb@nitelog.com> michael.hagerty@nitelog.com (Michael Hag
erty) writes:
> At the risk of appearing to be a complete dolt, I ask, "Just what is rate
> monotonic analysis?"  I noted that a tutorial on this subject will be
> offered at this year's TRI-Ada and did not understand the description of
> the tutorial one whit!

rate monotonic analysis is a simple way to prove (ideally) that
a real time system will meet its deadlines.  It depends on a preemptive
priority based scheduler and an assignment of static priorities based on
timing requirements, not semantic importance.

Its a great advance in hard real-time design methods, and it works in practice.

its been extended to handle binary semaphores - most especially in the
priority ceiling protocol (PCP).  The main problem this protocol reduces is
that of priority inheritance.  There are extensions to deal with distributed sy
stems,
and other complications.  the theory gets more complex as you relax more
of the original simplyfing assumptions.

Ada9X supports RMS and PCP, Ada83 can with support from the compiler and a libe
ral
interpretation of some of the overly restrictive Ada83 scheduling rules.

-- 
---------------------------------------------------
Alex Blakemore alex@cs.umd.edu   NeXT mail accepted

^ permalink raw reply	[flat|nested] 8+ messages in thread
* Rate Monotonic Analysis
@ 1992-10-23 19:23 cis.ohio-state.edu!zaphod.mps.ohio-state.edu!uwm.edu!wupost!csus.edu!netc
  0 siblings, 0 replies; 8+ messages in thread
From: cis.ohio-state.edu!zaphod.mps.ohio-state.edu!uwm.edu!wupost!csus.edu!netc @ 1992-10-23 19:23 UTC (permalink / raw)


At the risk of appearing to be a complete dolt, I ask, "Just what is rate
monotonic analysis?"  I noted that a tutorial on this subject will be
offered at this year's TRI-Ada and did not understand the description of
the tutorial one whit!

Regards, Mikey (michael.hagerty@nitelog.com)

 * JABBER v1.3B1 #B042 * Old age is preferable to the alternative.
                              

^ permalink raw reply	[flat|nested] 8+ messages in thread

end of thread, other threads:[~2002-01-08  7:17 UTC | newest]

Thread overview: 8+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2000-02-02  0:00 Rate Monotonic Analysis Richard D Riehle
2000-02-02  0:00 ` Marin D. Condic
2000-02-02  0:00   ` Richard D Riehle
2000-02-16  0:00   ` Ken Garlington
2000-02-09  0:00 ` james hopper
  -- strict thread matches above, loose matches on Subject: below --
2002-01-08  7:17 le
1992-10-24 19:04 Alex Blakemore
1992-10-23 19:23 cis.ohio-state.edu!zaphod.mps.ohio-state.edu!uwm.edu!wupost!csus.edu!netc

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox