[SystemSafety] systemsafety Digest, Vol 34, Issue 4

[Littlewood, Bev]

Belt and braces?

Bev

On 4 May 2015, at 14:00, Roderick Chapman <roderick.chapman at googlemail.com<mailto:roderick.chapman at googlemail.com>> wrote:



On 04/05/2015 13:55, systemsafety-request at lists.techfak.uni-bielefeld.de<mailto:systemsafety-request at lists.techfak.uni-bielefeld.de> wrote:
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 TechFak.Uni-Bielefeld.DE<mailto:systemsafety at TechFak.Uni-Bielefeld.DE>

_______________________________________________

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 csr.city.ac.uk<mailto:b.littlewood at csr.city.ac.uk>

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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20150504/300eb9cf/attachment.html>