Note: This page is part of the archive.

This document is part of the US-CERT website archive. These documents are no longer updated and may contain outdated information. Links may also no longer function. Please contact if you have any questions about the US-CERT website archive.

Peter Amey

Peter Amey is an aeronautical engineer by original professional training. He served as an engineering officer in the Royal Air Force and spent several years at the Boscombe Down test establishment working on the certification of aircraft armament systems. Peter joined Program Validation Limited to develop the SPARK language and the SPARK Examiner toolset and continues that work today with Praxis High Integrity Systems.

As well as developing SPARK, Peter has used it on major programmes including Tornado, Eurofighter, and the Lockheed C130J. Peter teaches SPARK and Ada on a regular basis and has consulted and lectured widely on the development of high-integrity systems.

Peter now fills the role of chief technical officer for software engineering at Praxis HIS, where his duties include development of tools, processes, and methods applicable to the engineering of high-integrity, software-intensive systems. Peter’s migration from aeronautics to software has been recognised by the award of Fellowship of the British Computer Society, although he remains a Member of the Royal Aeronautical Society as well.