Adrian's PhD Research

I'm looking at the problems arising from incorporating programmable logic devices (such as FPGAs) into safety-critical systems, and good ways of designing programmable logic programs to co-exist with conventional software in these systems.

My publications on these topics have included:

• general surveys of the problem,
• specific technical solutions to aspects of the problem using formal methods and mathematical techniques,
• careful examination of the requirements for high-integrity systems with particular regard to electronic hardware, and
• the reuse for programmable hardware of existing techniques and tools proven effective for developing high-integrity software.

Although my PhD has finished, I maintain an interest in these areas of research. I am always willing to discuss collaboration, although with the recent birth of a daughter I have less time free than I used to...

My collaborators are:

Peter Amey

A distinguished software engineer from Praxis HIS

Rod Chapman

The SPARK Product Manager from Praxis HIS

Dewi Daniels

A safety engineer from Praxis HIS

Jon Hall

My supervisor at the Open University

Richard Myers

A requirements engineer at Praxis HIS

Gemma Townson

A safety engineer at Praxis HIS