Dr Philippa Conmy's Home Page
I am a research associate within the High Integrity Systems Engineering group at York.
My research
interests include the use of Field-Programmable Gate Arrays (FPGAs) in
safety critical systems, Incremental Certification and Qualification
and also Model Driven Architecture (MDA) methods and tools.
Previously I was with the Defence and Aerospace Research
Partnership in High Integrity Real Time Systems , where I researched
methods for architectural modelling of high integrity systems.
I was part of the WG60/SC200 committee which produced the recently published
DO297/ED124 certification guidelines for civil Integrated Modular Avionics (IMA) systems.
I was also previously a member of the
Dependable Computing Systems
Centre at York. My research in the DCSC
included generating a maintainable safety argument for IMA, high level
failure analysis of IMA, and safety analysis of programming interfaces
and memory partitioning techniques.
In 2006 I gained a doctorate for my thesis
titled
"Safety Analysis
of Computer Resource Management Software (CRMS)". In the thesis I
examine whether
a compositional approach to the software safety and design process
can be used whilst still ensuring system safety. The specific issue of
modular analysis of CRMS (particularly OSs) and its integration
with application software is addressed.
Conference and Workshop Papers
-
P.Conmy and Iain Bate, Semi-Automated Safety Analysis for Field Programmable Gate Arrays,
16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems 2009.
-
P.Conmy and Iain Bate, Certification of FPGAs - Current Issues and Possible Solutions,
Safety-critical Systems Symposium 2009.
-
P.Conmy and T. Kelly, Classifying and Understanding Safety Dependencies in
Integrated Modular Avionics, International System Safety Conference,
August 2007.
-
P. Conmy and R. Paige, Challenges when using Model Driven Architecture
in the development of Safety Critical Software,
Proceedings of the 4th
International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2007), Braga, Portugal, March 2007, pp 127-136.
-
I.Bate and P.Conmy, Safe Composition of Real Time Software,
Proceedings of the 9th IEEE Symposium in High Assurance Systems Engineering, Heidelberg, Germany - October 13-14, 2005, pp 79-88.
- P. Conmy and R. Paige, Using UML, OCL and MDA
to support development of Modular Avionics Systems, Workshop
on Critical Systems Development
with UML at UML 2004, Lisbon, Portugal, October 2004.
- P. Conmy and J. McDermid, Requirements for Performing Safety Analysis on Operating Systems, International System Safety Conference, Rhode Island, USA. August 2004.
-
A. Radjenovic, R.F. Paige, P. Conmy, M. Wallace, and J. McDermid,
An Information Model for High-Integrity Real-Time Systems, Second RTAS Workshop on Model-Driven Embedded Systems 2004, Toronto, Canada, May 2004
- P. Conmy and S.K. Crook-Dawkins, A Systematic Framework for
the Assessment of Operating Systems, Safety-Critical Systems Symposium, Warwick,
UK, February 2004.
- N. Audsley, P. Conmy, S.K. Crook-Dawkins, R.Hawkins, Safety Challenges
for Model Driven Development, Metamodelling for MDA, York, UK,
November 2003.
- P.Conmy, M. Nicholson, J. McDermid, Safety Assurance Contracts
for Integrated Modular Avionics, 8th Australian Workshop on Safety Critical
Systems and Software, Canberra, CRPIT Vol 33, pp 69-78, October 2003.
- P.Conmy, M. Nicholson, J. McDermid, Identifying Safety Dependencies
in Modular Computer Systems, International System Safety Conference, Ottawa,
Canada, August 2003.
- P. Conmy, J. McDermid, M. Nicholson, Y. Purwantoro, Safety Analysis
and Certification of Open Distributed Systems, International System Safety
Conference, Denver, USA, 2002.
- P. Conmy, J McDermid, High Level Failure Analysis
for Integrated Modular Avionics, 6th Australian Workshop on Industrial
Experience with Safety Critical Systems and Software, Brisbane, Australia,
, CRPIT Vol 3, pp 13- 22, June 2001.
- I. Bate, P. Conmy, J. McDermid, Generating Evidence for Certification
of Modern Processors for use in Safety-Critical Systems, High-Assurance
Systems Engineering Symposium, Albuquerque, New Mexico, November 2000.
- M. Nicholson, P. Conmy, J McDermid, Generating and Maintaining
a Safety Argument for Integrated Modular Systems, 5th Australian Workshop
on Industrial Experience with Safety Critical Systems and Software, Melbourne,
Australia, November 2000.
Journal Papers
- I Bate, P Conmy, T Kelly, J McDermid, Use of Modern Processors
in Safety Critical Applications, The Computer Journal, Vol 44, No 6, 2001.
pp 531-543
Links
Disclaimer bit: Opinions expressed within these pages are those of the
author and do not necessarily represent the views of the University of
York, QinetiQ, MoD, or BAE SYSTEMS.
Last updated 18/06/2009