From: "Michael" <Michael@home.ca>
Subject: Re: SPARK User Group 2008
Date: Mon, 12 May 2008 10:29:22 GMT
Date: 2008-05-12T10:29:22+00:00 [thread overview]
Message-ID: <6_UVj.133316$rd2.100938@pd7urf3no> (raw)
In-Reply-To: 9f80aed6-6509-4faf-931b-e05dc2b314d9@59g2000hsb.googlegroups.com
Is the iFACTS project going to be an Ada success story?
iFACTS is an engineering project made without engineering.
That should have been a must, for a Medium Term Conflict Detection software
conceived to enhance ATC operations and assist the UK flight controllers in
assuring safety.
Results are delays and an unusual amount of deficiencies. Some Ada
projects are like that: ignoring the engineering for the sake of Ada.
Ensuring system safety, stability and non-saturation are ones of the main
engineering challenges. Ada is an engineering tool made to meet such
objectives; and it works pretty well if used with the best software
engineering practices and processes (i.e: SEI's CMM level III and over).
SPARKS is a subset of Ada. The general goal of SPARK is to provide a
language which increases the probability of the software code behaving as
intending. In another word SPARK provides additional information, which
allows performing rigorous mathematical analysis in order to significantly
increase the code intrinsic integrity and runtime correctness. The benefits
are to reduce the risk of processing erroneous data, and then preventing any
error handling and/or system recovering risk.
SPARKS has its advantages and its limitations. It better works for small
embedded projects like airborne systems.
Praxis-Hight Integrity Systems should have been well advised to favour High
Engineering Reliability. That's still not sufficient for safety, but better
than nothing (i.e: iFACTS).
Cheers,
Michael
Vancouver
next prev parent reply other threads:[~2008-05-12 10:29 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-04-28 16:02 SPARK User Group 2008 roderick.chapman
2008-05-12 10:29 ` Michael [this message]
2008-05-13 7:47 ` Simon Wright
2008-05-16 6:57 ` Michael
2008-05-16 8:21 ` stefan-lucks
2008-05-16 21:41 ` Simon Wright
2008-05-25 20:14 ` Michael
2008-05-26 10:06 ` Simon Wright
2008-05-27 18:43 ` Michael
2008-05-27 19:23 ` Simon Wright
2008-05-27 20:07 ` Jeffrey R. Carter
2008-05-27 21:57 ` Ed Falis
2008-05-28 9:51 ` iFACTS (was: SPARK User Group 2008) Stuart
2008-06-01 20:47 ` SPARK User Group 2008 Michael
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox