Journal of Embedded Systems
ISSN (Print): 2376-7987 ISSN (Online): 2376-7979 Website: http://www.sciepub.com/journal/jes Editor-in-chief: Naima kaabouch
Open Access
Journal Browser
Go
Journal of Embedded Systems. 2015, 3(1), 1-10
DOI: 10.12691/jes-3-1-1
Open AccessArticle

Dependability Investigation of Wireless Short Range Embedded Systems: Hardware Platform Oriented Approach

B. Senouci1, , H.G. Kerkhoff2, M.J. Bentum2 and A.J Annema2

1Embedded Systems Department, LACS Laboratory, Central Electronic Engineering School ECE- Paris, France

2Electrical Engineering, Mathematics and Computer Science Faculty, University of Twente, Netherlands

Pub. Date: January 19, 2015

Cite this paper:
B. Senouci, H.G. Kerkhoff, M.J. Bentum and A.J Annema. Dependability Investigation of Wireless Short Range Embedded Systems: Hardware Platform Oriented Approach. Journal of Embedded Systems. 2015; 3(1):1-10. doi: 10.12691/jes-3-1-1

Abstract

A new direction in short-range wireless applications has appeared in the form of high-speed data communication devices for distances of hundreds meters. Behind these embedded applications, a complex heterogeneous architecture is built. Moreover, these short range communications are introduced into critical applications, where the dependability/reliability is mandatory. Thus, dependability concerns around reliability evaluation become a major challenge in these systems, and pose several questions to answer. Obviously, in such systems, the attribute reliability has to be investigated for various components and at different abstraction levels. In this paper, we discuss the investigation of dependability in wireless short range systems. We present a hardware platform for wireless system dependability analysis as an alternative for the time consuming simulation techniques. The platform is built using several instances of one of the commercial FPGA platforms available on the market place. We describe the different steps of building the wireless hardware platform for short range systems dependability analysis. Then, we show how this HW platform based dependability investigation framework can be a very interactive approach. Based on this platform we introduce a new methodology and a flow to investigate the different parts of system dependability at different abstraction levels. The benefits to use the proposed framework are three fold: first, it takes care of the whole system (HW/SW -digital part, mixed RF part, and wireless part); Second, the hardware platform enables to explore the application’s reliability under real environmental conditions taking into account the effect of the environment threats on the system; And last, the wireless platform built for dependability investigation present a fast investigation approach in comparison with the time consuming co-simulation technique.

Keywords:
embedded systems dependability/reliability HW/SW co-design FPGA based design wireless short range radio COTS

Creative CommonsThis work is licensed under a Creative Commons Attribution 4.0 International License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Figures

Figure of 8

References:

[1]  A.Sangiovanni-Vincentelli and all “Benefits and Challenges for Platform-Based Design,” Design Automation Conference (DAC), 2004, pp. 409-414.
 
[2]  Avizienis, A; Laprie, J.-C.; Randell, B.; Landwehr, C. “Basic concepts and taxonomy of dependable and secure computing” IEEE Transactions on Dependable and Secure Computing, Issue Date: Jan.-March 2004, Volume: 1 Issue:1 On page(s): 11-33.
 
[3]  H.G Kerkhoff, X.Zhang “Design of an Infrastructural IP Dependability Manager for a Dependable Reconfigurable Many-Core Processor” Proceedings of the 2010 Fifth IEEE International Symposium on Electronic Design, Test & Application, Pages: 270-275.
 
[4]  R.Mariani, S.Ulmiano “A Platform-Based Technology for Fault-Robust SoC Design” Design and Reuse SoC conference 2007.
 
[5]  http://www.microsemi.com/products/fpga-soc/soc-fpga/smartfusion
 
[6]  Alan Bensky “Short-range wireless communication: Fundamental of RF system Design and Application” 2005.
 
[7]  Functional safety and IEC 61508, September 2005.
 
[8]  Francis M.David, and all “Improving Dependability by Revisiting Operating System Design” HotDep'07: Proceedings of the 3rd workshop on on Hot Topics in System Dependability (2007).
 
[9]  Edmond, Gupta, Siewiorek, Brennan “ASSURE: automated design for dependability," pp.555-560, 27th ACM/IEEE Design Automation Conference (DAC '90).
 
[10]  Riccardo Mariani and all “Applying IEC 61508 to Integrated Circuits” Volume 6, Number 2, 2007.
 
[11]  Arnaud Albinet, Jean Arlat, Jean-Charles Fabre “Chapter 14. Benchmarking the Impact of Faulty Drivers: Application to the Linux Kernel” Dependability Benchmarking for Computer Systems Published Online: 7 JAN 2008.
 
[12]  Andreas Bernauer and all ‘An Architecture for Runtime Evaluation of SoC Reliability’ In INFORMATIK 2006 - Informatik für Menschen, Lecture Notes in Informatics, Köllen Verlag, vol. P-93 of GI-Edition.
 
[13]  B.Senouci, A.Bouchhima, F.Rousseau, F.Petrot, A.Jerraya, “Fast prototyping Methodology of Distributed SoC applications on a Multiprocessor Hardware Platform", IEEE Distributed Systems Online, vol. 8, no. 5, 2007, art. No. 0705-o5002.
 
[14]  http://www.freertos.org/.
 
[15]  http://www.xilinx.com/.
 
[16]  Stefan Lindenmeier, Anestis Terzis “A DSSS-Based Wireless Short Range Data-Link Original Research Article AEU” - International Journal of Electronics and Communications, Volume 57, Issue 3, 2003, Pages 161-167.
 
[17]  Clive Pygott, Stephen P. Wilson “Justifying reliability claims for a fault-detecting parallel architecture” Journal of Systems Architecture, Volume 43, Issue 10, 1997, Pages 735 751.
 
[18]  Nicola Mazzocca, Stefano Russo, Valeria Vittorini “Formal methods integration for the specification of dependable distributed systems” Journal of Systems Architecture, Volume 43, Issue 10, 1997, Pages 671-685.
 
[19]  K. Masselos, A. Pelkonen, M. Cupak, S. Blionas “Realization of wireless multimedia communication systems on reconfigurable platforms” Journal of Systems Architecture, Volume 49, Issues 4–6, September 2003, Pages 155-175.
 
[20]  K.G.Padmasine, S.Muruganand “System on Chip (PSoC) Control for High Current Magnet Power Supply” Journal of Embedded Systems, 2014, Vol. 2, No. 1,11-14.
 
[21]  Dadashi, M.; Rashid, L.; Pattabiraman, K.; Gopalakrishnan, S., “Hardware-Software Integrated Diagnosis for Intermittent Hardware Faults,” Dependable Systems and Networks (DSN), 2014 44th Annual IEEE/IFIP International Conference on, vol., no., pp.363, 374, 23-26 June 2014.