Journal of Computer Science and Technology
Quick Search in JCST
 Advanced Search 
      Home | PrePrint | SiteMap | Contact Us | FAQ
Indexed by   SCIE, EI ...
Bimonthly    Since 1986
Journal of Computer Science and Technology 2015, Vol. 30 Issue (2) :373-390    DOI: 10.1007/s11390-015-1530-5
Computer Architecture and Systems Current Issue | Archive | Adv Search << Previous Articles | Next Articles >>
SRAM-Based FPGA Systems for Safety-Critical Applications: A Survey on Design Standards and Proposed Methodologies
Cinzia Bernardeschi1, Luca Cassano2*, Member, IEEE, Andrea Domenici1
1 Department of Information Engineering, University of Pisa, Pisa 56122, Italy;
2 Dipartimento di Elettronica, Informazione e Bioingegneria, Politecnico di Milano, Milano 20133, Italy

Related Articles
Download: [PDF 1379KB]     Export: BibTeX or EndNote (RIS)  
Abstract As the ASIC design cost becomes affordable only for very large-scale productions, the FPGA technology is currently becoming the leading technology for those applications that require a small-scale production. FPGAs can be considered as a technology crossing between hardware and software. Only a small-number of standards for the design of safety-critical systems give guidelines and recommendations that take the peculiarities of the FPGA technology into consideration. The main contribution of this paper is an overview of the existing design standards that regulate the design and verification of FPGA-based systems in safety-critical application fields. Moreover, the paper proposes a survey of significant published research proposals and existing industrial guidelines about the topic, and collects and reports about some lessons learned from industrial and research projects involving the use of FPGA devices.
Articles by authors
Cinzia Bernardeschi
Luca Cassano
Andrea Domenici
Keywordsdesign verification   electronic design   safety-critical system   SRAM-based FPGA     
Received 2013-12-21;
About author: Cinzia Bernardeschi received her Laurea degree and Ph.D. degree in computer science in 1987 and 1996 respectively, both from the University of Pisa. She is an associate professor with the Department of Information Engineering of the University of Pisa. Her research interests are in the area of software engineering, dependable systems and application of formal methods for specification and verification of safety-critical systems. Her most recent work is related to the application of theorem proving and model checking techniques for fault simulation and reliability analysis of electronic circuits and systems.
Cite this article:   
Cinzia Bernardeschi, Luca Cassano, Andrea Domenici.SRAM-Based FPGA Systems for Safety-Critical Applications: A Survey on Design Standards and Proposed Methodologies[J]  Journal of Computer Science and Technology, 2015,V30(2): 373-390
Copyright 2010 by Journal of Computer Science and Technology