|Designation:||Principal Consultant, Atkins Global|
|Title:||Static Analysis and Formal Proof for Software Systems using the MALPAS Toolset|
Abstract: Recent developments in the UK Rail and Nuclear industries have seen resurgence in safety critical software engineering. In very high criticality applications, testing is not enough and Static Analysis and Formal Methods using tools like MALPAS is now in demand again. Chris Sampson is an expert in the use of such techniques and tools and will provide an overview of both aspects.
MALPAS is a software toolset that provides a means of investigating and proving the correctness of software by applying a rigorous form of static program analysis. The toolset has been used to confirm the correctness of safety critical applications in large scale nuclear reactor protection systems and is currently being employed in the Rail industry for proving Ladder Logic in safety critical signalling systems.
Biography: Chris leads the Software Safety Group within Atkins. He is a highly experienced Software Safety Consultant with over 20 years of experience across a wide range of software life-cycle activities, with an emphasis on high-integrity and safety-critical software. He is currently providing advice and guidance to high profile projects in the Defence, Nuclear and Rail Industries of safety-critical systems.