Tim Clement

Tim Clement followed an MA in Natural Sciences (Physics) at Jesus College, Oxford with a DPhil in the area of pattern recognition. He then joined the Programming Research Group in Oxford as a Research Fellow, with Fellowships first at Linacre College and subsequently at St. Cross College, and was involved in the development of the Z specification notation. After appointments as Assistant Professor at Syracuse University, N.Y., and Lecturer in Computer Science at Manchester University, he joined Adelard in 1996.

Safety assessment and consultancy

• (2004) Leader of Adelard's ISA team for the assessment phase of MoD's procurement of the GBAD BISA.
• (2003-present) Leader of Adelard's ISA team for MoD's procurement of JNS from Saab Bofors Dynamics AB (Sweden).
• (2003-2004) Member of the Adelard team developing guidance on the use of ISAs by the MoD.
• (2003) Provided advice to Cancer Research (UK) on software development processes appropriate to medical advice software, based on IEC61508.
• (2002-present) Member of Adelard's ISA teams for Bowman and the associated CBM(L) projects FC BISA and GBAD BriC.
• (2001-2002) Undertook a Hazops study and review of COTS for a web-based health and safety advisory system.
• (2000-2001) Advised on the development of an IEC61508-compliant development process for a software-based measurement system. This included acting as recorder for the Hazops components of the work.
• (2001) Contributor to FHA for EC 5th Framework project "Aircraft in the Future Air Traffic Management System" (AFAS)
• (1999-2000) Contributed to the criticality assessment and static analysis of a large commercial software system, including acting as moderator of the software Hazops element of the project.
• (1999-present) Member of Adelard's ISA teams carrying out audit and assessment of military air traffic control systems.
• (1998-2000) Reviewer on EC Mefisto project, which sought to apply formal and rigorous techniques to the design and analysis of ATM systems.
• (1998-1999) Provided verification and validation support using formal reasoning for the emergency closing system for the Eastern Scheldt storm surge barrier.
• (1998) Carried out a formal proof of an abstract algorithm for page table management in a process controller operating system, as part of a pilot study for the validation of the memory management system.

Software Development

• (2000-2001) Member of the Adelard Safety Case Editor (ASCE) development team
• (1996-1999) Member of the DUST-EXPERT development team, a formal development for the UK Health and Safety Executive of a safety related expert system to advise on the construction of vessels containing explosive dusts. Domain expert for the Hazops session on this project.

Safety and Software Training

• (2002) Taught a four-day course on the practical application of Def Stan 00-55 and 00-56.
• (2001-2003 Taught final year module on formal methods at City University
• (1999-2000) Taught one-day Software Quality Assurance course, addressing the requirements of ISO9000 and practical techniques for achieving software quality.
• (1999-2000) Taught one-day Programming Language Overview course, covering a range of languages from the major paradigms.
• (1999) Trainer on ITNTO-approved "BugBuster" training course.

Other Consultancy

• (2001) Part of a team undertaking a technical due diligence assessment of a software development company seeking financial support.