Software Verification - Making Sure Things Don't Go Wrong in Safety-Critical Applications

Tuesday 22 May 2012

6.00pm for 6.30pm

Critical Software Technologies Ltd, 2 Venture Road, Southampton Science Park, Southampton, SO16 7HW

Cost & Booking:
This meeting is free, open to non-BCS members as well as BCS members. Please book so that we may gauge the catering requirements (light refreshments will be provided). Booking simply entails sending an email to with an indication of how many will be in your party if you plan to bring any friends or colleagues, who will be most welcome, but please provide their names.


Joint event with BCS Hampshire Branch and Quality Specialist Group.

Everyone understands the need for software testing. The need for, and the techniques used in, Independent Verification and Validation are not so well known as they generally only apply to safety-critical applications that have to be certified. This talk explains the background to safety-critical software development, and goes on to outline the role of standards such as DO-178B (and DO-178C, the emergence of which is imminent). It concludes with a demonstration based on a rig from a live, current aerospace project.

Russell Jugg was one of the first engineers hired by Critical Software when it established a subsidiary in the UK. He joined in 2007. A graduate from Southampton University (Electronics & Information Technology), Russell's varied career has included working at Roke Manor, Thorn-EMI and Meggitt Avionics among others. For the demonstration, Russell will be assisted by members of his Science Park-based team and we expect there to be a lively discussion of the issues raised.

PDF filePresentation - Russell Jugg