Re: [SystemSafety] systemsafety Digest, Vol 34, Issue 4

From: Littlewood, Bev < >
Date: Mon, 4 May 2015 13:12:39 +0000


Belt and braces?

Bev

On 4 May 2015, at 14:00, Roderick Chapman <roderick.chapman_at_xxxxxx

On 04/05/2015 13:55, systemsafety-request_at_xxxxxx OK ? but maybe next time we can ask them to do this testing before the aircraft goes into service ? Why would you need a "long running test" when we've had completely effective static analysis for this type of thing for at least 20 years? - Rod



The System Safety Mailing List
systemsafety_at_xxxxxx

Bev Littlewood
Professor of Software Engineering
Centre for Software Reliability
City University London EC1V 0HB

Phone: +44 (0)20 7040 8420 Fax: +44 (0)20 7040 8585

Email: b.littlewood_at_xxxxxx

http://www.csr.city.ac.uk/





The System Safety Mailing List
systemsafety_at_xxxxxx Received on Mon May 04 2015 - 15:12:55 CEST

This archive was generated by hypermail 2.3.0 : Wed Feb 20 2019 - 20:17:07 CET