Paper Details

Communicating Process Architectures (CPA)
 Title: A Study Into the Modelling and Analysis of Real-Time FPGA Based Systems
 Conference: Communicating Process Architectures 2009
 Authors: Irfan Mir
Department of Engineering, University of Leicester
 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. 
Files:


BibTeX Entry


Presentation