Re: [SystemSafety] systemsafety Digest, Vol 44, Issue 30

From: Roderick Chapman < >
Date: Tue, 22 Mar 2016 12:19:14 +0000


David,
  Thanks for your thoughts.

On 22/03/2016 11:00, systemsafety-request_at_xxxxxx wrote:
> Do you have such figures for SPARK?

The best summary of SPARK projects is in our keynote paper from ITP 2014. It's in LNCS Vol 8558 if you have access, or PDF is at www.proteancode.com/keynote.pdf

That refers to most of the significant projects, including SHOLIS, C130J, Tokeneer, iFACTS, SPARKSkein, and so on. There's also good data on the C130J in Andy German's article in CrossTalk, and in Jim Sutton's "Lean Software Strategies" book.

Oh...there's also the MULTOS CA project - the data is in IEEE Software, Jan/Feb 2002.


The System Safety Mailing List
systemsafety_at_xxxxxx Received on Tue Mar 22 2016 - 13:19:29 CET

This archive was generated by hypermail 2.3.0 : Tue Jun 04 2019 - 21:17:08 CEST