@InProceedings{Mir09,
  title =        "{A} {S}tudy {I}nto the {M}odelling and {A}nalysis of {R}eal-{T}ime {FPGA} {B}ased {S}ystems",
  author=        "Mir,  Irfan",
  editor=        "Welch, Peter H. and Roebbers,  Herman and Broenink,  Jan F. and Barnes,  Frederick R. M. and Ritson,  Carl G. and Sampson,  Adam T. and Stiles,  G. S. and Vinter,  Brian",
  pages =        "--",
  booktitle=     "{C}ommunicating {P}rocess {A}rchitectures 2009",
  isbn=          "978-1-60750-065-0",
  year=          "2009",
  month=         "nov",
  abstract=      "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."
}