%T A Study Into the Modelling and Analysis of Real\-Time FPGA Based Systems
%A  Irfan Mir
%E Peter H. Welch,  Herman Roebbers,  Jan F. Broenink,  Frederick R. M. Barnes,  Carl G. Ritson,  Adam T. Sampson,  G. S. Stiles,  Brian Vinter
%B Communicating Process Architectures 2009
%X High\-integrity systems are those where failure can cause
   loss of life,
injury, environmental damage or financial
   loss. The reliability of
these systems is very important, so
   we need verification techniques
that ensure the reliability
   and understanding of these systems. The
aim of this research
   is to develop techniques and a tool for
verifying real\-time
   constraints in high level languages for FPGA
   based
high\-integrity systems. Further a novel methodology
   using Timed CSP is
to be proposed to ensure the temporal
   correctness of these systems. The
outcome of this research
   is to design the constraint meta\-language
and implement a
   tool which automates the analysis and verification
process.
   Further this research will investigate the implementation
   of
Timed CSP in Handel\-C, augmented with the constraint
   meta\-language.