RTeal-time Ada Programming Rules ?

RTeal-time Ada Programming Rules ?

[PUCCETTI Armand]

Hello,

Does someone know about some good guide with programming rules
for real-time Ada? I'm looking for detailled rules used for
developping embedded systems within large companies or national
authorities (FAA, DoD,...), that can give concrete hints to
RT programmers.

Also, what reference text books on RT Ada programming are
worthwile reading?

thanks for any indication/reference.
Armand

Re: RTeal-time Ada Programming Rules ?

[stephane richard]

"PUCCETTI Armand" <armand.puccetti@cea.fr> wrote in message 
news:cibfoh$jg7$1@ellebore.saclay.cea.fr...
> Hello,
>
> Does someone know about some good guide with programming rules
> for real-time Ada? I'm looking for detailled rules used for
> developping embedded systems within large companies or national
> authorities (FAA, DoD,...), that can give concrete hints to
> RT programmers.
>
> Also, what reference text books on RT Ada programming are
> worthwile reading?
>
> thanks for any indication/reference.
> Armand
>

Hi Armand,

Here's one called "Real time scheduling theory and Ada."
http://www.sei.cmu.edu/pub/documents/88.reports/pdf/tr33.88.pdf

And another called "Realtime Software Engineering in Ada: Observations and 
Guidelines"
http://www.sei.cmu.edu/pub/documents/89.reports/pdf/tr22.89.pdf

I think they'll make to good night reading books for you :-).  Might wanna 
pay a visit to my website too (ada world http://www.adaworld.com)
- in the Learning Center/ Free books and references for another PDF file 
about the Ravenscar tasking model.
- In the Ada Advocacy section for yet another pdf file entitled "Targeting 
Ada95/DSA for Distributed Simulation of Multi Protocol Communication 
Networks"

Stephane Richard
"Ada World" webmaster
http://www.adaworld.com

Re: RTeal-time Ada Programming Rules ?

[Simon Wright]

PUCCETTI Armand <armand.puccetti@cea.fr> writes:

> Also, what reference text books on RT Ada programming are worthwile
> reading?

Concurrency in Ada, Burns & Wellings

-- 
Simon Wright                               100% Ada, no bugs.

Re: RTeal-time Ada Programming Rules ?

[Nicolas Paul Caileán Gloster]

Some books and the RAVENSCAR dialect have been mentioned. You may also 
wish to check WWW.Adalog.Fr but be wary of the dangers advocated in the 
paper "In defense of the use clause". E.g. if you have time after 
reading more important books and papers about high quality Ada, check:

* R. St. Dennis's and P. Stachour's and E. Frankowski's and E. Onuegbe's 
  Guideline 4 of "Measurable Characteristics of Reusable Ada (R) 
  Software" as on page 48 of "Ada Letters", March/April 1986;
* Geoffrey O. Mendal's "Three Reasons to Avoid the Use Clause", "Ada
  Letters", January/February 1988;
* Grady Booch's brown book "Software Engineering with Ada", � 1983, ISBN 
  0805306005, page 188 and Grady Booch's blue book "Software Engineering 
  with Ada" 2nd edition, 1983 and 1987, ISBN 0-8053-0604-8, page 380;
and
* perhaps a comment by Doug Bryan in 1987 or 1990 in "Ada Letters".

Note that it is okay to employ Ada 95's USE TYPE context clauses.

Good luck.