* Voluntary work for a UK charity
@ 2008-10-11 18:13 Mike H
2008-10-11 19:08 ` Jeffrey R. Carter
2008-10-11 19:17 ` Jeffrey R. Carter
0 siblings, 2 replies; 3+ messages in thread
From: Mike H @ 2008-10-11 18:13 UTC (permalink / raw)
Good day ladies and gentlemen.
My initial Ada experience was in teaching and later, for real, in among
the usual suspects (Nuclear Power, Air Defence, etc.) But all that was
before I retired ten years ago and I haven't written a line of code
since. Now my past has caught up with me and I have been asked to return
to the 'code face'. The work is on behalf of a UK registered charity and
the application is relatively simple (a variation on the theme of a
road/rail crossing). Why Ada? When completed it will have to be passed
by the UK Railway Inspectorate.
For the moment can anyone suggest a doorway toward a low cost (or free)
language syntax checker with which to refresh my memory? The code
generation can come later and will, hopefully be the GNAT tools.
--
Mike Hopkins
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: Voluntary work for a UK charity
2008-10-11 18:13 Voluntary work for a UK charity Mike H
@ 2008-10-11 19:08 ` Jeffrey R. Carter
2008-10-11 19:17 ` Jeffrey R. Carter
1 sibling, 0 replies; 3+ messages in thread
From: Jeffrey R. Carter @ 2008-10-11 19:08 UTC (permalink / raw)
Mike H wrote:
>
> For the moment can anyone suggest a doorway toward a low cost (or free)
> language syntax checker with which to refresh my memory? The code
> generation can come later and will, hopefully be the GNAT tools.
GNAT with the -gnats switch performs syntax checking only.
--
Jeff Carter
"Help! Help! I'm being repressed!"
Monty Python & the Holy Grail
67
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: Voluntary work for a UK charity
2008-10-11 18:13 Voluntary work for a UK charity Mike H
2008-10-11 19:08 ` Jeffrey R. Carter
@ 2008-10-11 19:17 ` Jeffrey R. Carter
1 sibling, 0 replies; 3+ messages in thread
From: Jeffrey R. Carter @ 2008-10-11 19:17 UTC (permalink / raw)
Mike H wrote:
>
> My initial Ada experience was in teaching and later, for real, in among
> the usual suspects (Nuclear Power, Air Defence, etc.) But all that was
> before I retired ten years ago and I haven't written a line of code
> since. Now my past has caught up with me and I have been asked to return
> to the 'code face'. The work is on behalf of a UK registered charity and
> the application is relatively simple (a variation on the theme of a
> road/rail crossing). Why Ada? When completed it will have to be passed
> by the UK Railway Inspectorate.
Praxis offers a free version of their tools, and a registered charity might be
entitled to a low-cost supported version.
One approach I've seen to such an application is to have a "safety kernel",
basically a single pkg that is the only way the program can change the state of
the safety-related parts of the system (position of barrier arms/gates, for
example). The pkg is proven not to allow the system to violate its safety
invariants; that is, not allow it to get into an unsafe state. This limits the
amount of code that has to undergo such scrutiny.
The example I saw was for control of traffic lights at an intersection; the
safety kernel allowed the program to set the lights in any direction, unless the
result would violate the invariant that conflicting directions may not be green
at the same time.
--
Jeff Carter
"Help! Help! I'm being repressed!"
Monty Python & the Holy Grail
67
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2008-10-11 19:17 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2008-10-11 18:13 Voluntary work for a UK charity Mike H
2008-10-11 19:08 ` Jeffrey R. Carter
2008-10-11 19:17 ` Jeffrey R. Carter
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox