Keynote Speakers

Three eminent keynote speakers will open each of the three days of the core conference programme. Confirmed speakers are:

Peter LadkinPeter Bernard Ladkin (University of Bielefeld CITEC and Causalis Limited), a recognised specialist in system safety. Peter will address concerns about the international standard IEC 61508 and its perceived lack of criteria for critical assessment of objective properties of software developed for safety-critical systems. He will also recount progress on guidelines for German applications which go some way towards redressing this perceived lack, in his talk entitled Future of Software Safety Standards.

    Abstract: The international standard IEC 61508 governing functional safety for systems with programmable parts is perceived by many (including the speaker) to lack criteria for the critical assessment of objective properties of software developed for safety-critical systems. The German programmable-system safety standards committee DKE GK 914, which contributes to IEC 61508, has been especially so concerned. The talk recounts progress on guidelines for German applications which go some way towards redressing this perceived lack. Peter Bernard Ladkin has degrees from Oxford and the University of California, Berkeley, in Mathematics, Philosophy and Logic. He worked in California, in Logic, in AI, and in Software Verification, before returning to Europe, where he has specialised in system safety, especially hazard analysis and accident analysis. His method Why-Because Analysis is used by two branches of Siemens involved with rail, and by his tech-transfer company Causalis for clients largely from commercial aviation. He has recently been appointed a member of the German standards committee DKE GK 914.

    Pippa MoorePippa Moore (UK Civil Aviation Authority). Pippa has been an Avionic Systems Design Surveyor with the CAA for over 14 years. In that time Pippa has worked as a CAA, JAA and EASA systems specialist on civil certification projects such as the A380, A340, Embraer 170/190, Trent 900, and Trent 1000. She has also worked on numerous aircraft and engine validation projects principally concerned with control software and complex hardware aspects. Pippa's talk is entitled Hippocrates and DO-178B.

    Abstract: When developing any type of software system, especially one that is directly related to safety or which will operate in a safety related environment, one of the primary objectives of any development processes should be to “do no harm”. This talk will address the issues to be considered when attempting to achieve this.

    Jeff O'LearyJeff O’Leary (US Federal Aviation Administration (FAA)), has more than 18 years of experience in software development, systems acquisition and deployment of large mission critical command and control systems. In his talk entitled Assuring Software Reliability While Using Web Services and Commercial Products he will present a government software procurement official’s perspective on systems development and quality, and discuss the implications, approach and unique issues of building reliable, trusted web services using commercial products.

    Abstract: Mr O’Leary will present a government software procurement official’s perspective on systems development and quality, with emphasis on high reliability, security and safety. He will share experiences and issues, as well as how FAA is addressing the reliability and assurance (DO-278) of the various “NextGen” projects in the En Route domain. In addition, he will discuss the implications, approach and unique issues of building reliable, trusted web services using several commercial products that have found their way into FAA National Airspace Space (NAS) Architecture, including into safety critical threads.