Padraig Fogarty
Engineering Research Building,
University of Limerick
Supervisors: Dr. Donal Heffernan
Padraig has over 17 years of experience in the field of embedded system. Following graduation in 1993 he worked for Snap-on Equipment Europe Ltd. designing automotive service and diagnostic equipment, serving in various roles including Senior R&D Engineer and Project Manager. In 1997 he joined PEI Technologies a research centre based in the University of Limerick; where he was also involved in research and contract design of embedded system with a particular emphasis on fieldbus networks and data acquisition systems. In 1999 he joined Bio-Medical Research Ltd. as Team Leader / Senior Electronic Design Engineer where he was involved in the design of electronic muscle stimulation devices for both consumer and medical device markets. During this time he was also responsible for the management of a research project with the Circuits and Systems Research Centre (CSRC) to develop an ASIC for these products. In 2003 he returned the University of Limerick joining CSRC to further his interest in ASIC design and worked on and managed a number of mixed-signal system-on-chip projects. In 2008 he joined Crospon Ltd. as Software Engineer working on the redesign of a neonatal CPAP device for a US based medical device manufacturer. In April of 2009 Padraig returned to University of Limerick to pursue his current PhD research.
Current Padraig's research
Verification of Multi-core Processors in Real-Time Embedded Systems
This short video was taken on ICGEE Annual Workshop in Galway, August 2010.
The hypothesis of this research is that new verification techniques are required to facilitate the adoption of multi-core processors in safety critical real-time embedded systems. The objective is therefore to explore the challenges posed by this new multi-core environment and to propose verification solutions to enable its advancement. It is envisaged that a platform will be developed to demonstrate the limitations posed by existing state-of-the-art approaches and to evaluate the alternative solutions proposed. It is also hoped that high quality publications will generate feedback and stimulate discussion on this essential topic.
Verification of Multi-Core Processors in Real-Time Embedded Systems - poster
List of publications:
-
P. Fogarty, On-Chip Support for Software Verification in Real-Time Embedded Multi-Core Systems; The System, Software, SoC and Silicon Debug Conference, Munich, 2011.
ICGEE is funded by:
