TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy

TEAM-ADA@LISTSERV.ACM.ORG

Options: Use Forum View

Use Monospaced Font
Show Text Part by Default
Condense Mail Headers

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

Print Reply
Sender:
"Team Ada: Ada Advocacy Issues (83 & 95)" <[log in to unmask]>
X-To:
'Öhlund Magnus' <[log in to unmask]>
Date:
Tue, 28 Sep 1999 14:20:46 -0700
Reply-To:
"Harbaugh, John S" <[log in to unmask]>
Subject:
MIME-Version:
1.0
Content-Transfer-Encoding:
quoted-printable
Content-Type:
text/plain; charset="iso-8859-1"
From:
"Harbaugh, John S" <[log in to unmask]>
Parts/Attachments:
text/plain (36 lines)
> ----------
> From:         > Öhlund Magnus[SMTP:[log in to unmask]]
> Reply To:     Öhlund Magnus
> Sent:         Tuesday, September 28, 1999 12:58 PM
> To:   [log in to unmask]
> Subject:      Real time problem
> 
> Hi,
> 
> 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
> solution.
Section D.2.2 and D.3 should help here.  Apply these pragmas to order the ready queue by priorities.  

> 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 ?
Make sure that ACC is a higher priority than CONSENT.  Following the delay expiration, ACC will be at the head of the ready queue and preempt CONSENT.  A simple delay statement should be adequate unless you need better resolution, or are executing cyclically.  

> Maybe interrupts is an alternative solution ??
> 
> Thanks,
> 
> Magnus Öhlund
> Celsius Aerotech
> 
> [log in to unmask]
> 

ATOM RSS1 RSS2