WoTUG - The place for concurrent processes

Paper Details

  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

If you have any comments on this database, including inaccuracies, requests to remove or add information, or suggestions for improvement, the WoTUG web team are happy to hear of them. We will do our best to resolve problems to everyone's satisfaction.

Copyright for the papers presented in this database normally resides with the authors; please contact them directly for more information. Addresses are normally presented in the full paper.

Pages © WoTUG, or the indicated author. All Rights Reserved.
Comments on these web pages should be addressed to: www at wotug.org

Valid HTML 4.01!