TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy


Options: Use Classic View

Use Monospaced Font
Show Text Part by Default
Show All Mail Headers

Topic: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Öhlund Magnus <[log in to unmask]>
Tue, 28 Sep 1999 21:58:29 +0200
text/plain (26 lines)

I am struggling with the following problem:

After Object ACC has received event RELEASE, then object ACC shall activate
CONSENT and then wait for 800 ms and then deactivate CONSENT.

This is a requirement in my specification. I am using Ada in a large project
and can't find out how I am supposed to assure that the time requirement
above is fulfilled. This is a safety critical system.

I am looking in the Annex D (Real Time) but can't seem to find a secure

Maybe the delay until statement is a part of the solution, but how can I be
sure that the ACC will deactivate CONSENT directly after those 800 ms ?

Maybe interrupts is an alternative solution ??


Magnus Íhlund
Celsius Aerotech

[log in to unmask]