International Conference on ReConFigurable Computing and FPGAs, Dec. 5-7, 2012, Cancun, Mexico.

A Methodology for the Design and Deployment of Reliable Systems on Heterogeneous Platforms

Hugo A. Andrade (1)(2), Arkadeb Ghosal (1), Kaushik Ravindran (1) and Brian L. Evans (2)

(1) National Instruments Corporation, Berkeley, CA 94704 USA. - -

(2) Department of Electrical and Computer Engineering, Wireless Networking and Communications Group, The University of Texas at Austin, Austin, TX 78712 USA

Paper - Poster


Heterogeneous multi-target platforms composed of processors, FPGAs, and specialized I/O are popular targets for embedded applications. Model based design approaches are increasingly used to deploy high performance concurrent applications on these platforms. In addition to programmability and performance, embedded systems need to ensure reliability and availability in safety critical environments. However, prior design approaches do not sufficiently characterize these non-functional requirements in the application or in the mapping on the multitarget platform. In this work, we present a design methodology and associated run-time environment for programmable heterogeneous multi-target platforms that enable design of reliable systems by:
  1. elevating reliability concerns to the system modeling level, so that a domain expert can capture reliability requirements within a formal model of computation,
  2. modeling platform elements that can be automatically composed into systems to provide a reliable architecture for deployment, and
  3. segmenting (in space and time) the run-time environment such that the system captures independent end-user provided reliability criteria.
We illustrate the modeling, analysis, and implementation capabilities of our methodology to design fault tolerant control applications. Using the National Instruments PXIe platform and FlexRIO components, we demonstrate a runtime environment that provides desired levels of reliability.

COPYRIGHT NOTICE: All the documents on this server have been submitted by their authors to scholarly journals or conferences as indicated, for the purpose of non-commercial dissemination of scientific work. The manuscripts are put on-line to facilitate this purpose. These manuscripts are copyrighted by the authors or the journals in which they were published. You may copy a manuscript for scholarly, non-commercial purposes, such as research or instruction, provided that you agree to respect these copyrights.

Last Updated 12/04/12.