WoTUG - The place for concurrent processes

Paper Details


%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.


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!