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
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
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:
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.
- elevating reliability concerns to the system modeling level, so that
a domain expert can capture reliability requirements within a formal
model of computation,
- modeling platform elements that can be automatically composed into
systems to provide a reliable architecture for deployment, and
- segmenting (in space and time) the run-time environment such that
the system captures independent end-user provided 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
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
Last Updated 12/04/12.