A methodology for the design and deployment of reliable systems on heterogeneous platforms

Hugo A. Andrade, Arkadeb Ghosal, Kaushik Ravindran, Brian L. Evans
<span title="">2012</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ek7djgoan5ehpihkol2k4a7rm4" style="color: black;">2012 International Conference on Reconfigurable Computing and FPGAs</a> </i> &nbsp;
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
more &raquo; ... 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: (a) elevating reliability concerns to the system modeling level, so that a domain expert can capture reliability requirements within a formal model of computation, (b) modeling platform elements that can be automatically composed into systems to provide a reliable architecture for deployment, and (c) 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.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/reconfig.2012.6416722">doi:10.1109/reconfig.2012.6416722</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/reconfig/AndradeGRE12.html">dblp:conf/reconfig/AndradeGRE12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/cerxwbi6ebd5hibb2fhezk5zii">fatcat:cerxwbi6ebd5hibb2fhezk5zii</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20130108013350/http://users.ece.utexas.edu/~bevans/papers/2012/reliability/systemLevelReliabilityReCon2012Paper.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b6/31/b6313b3a9ddd3a5fe8bec5d1e67cdb052f3b5922.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/reconfig.2012.6416722"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>