A Software Fault Injector to Validate Implementations of a Safety Communication Protocol
作者： Rodrigo J. Dobler , Sergio Cechin , Taisy Weber , Joao Netto
DOI: 10.1109/LADC.2016.16
关键词: Protocol (science) 、 Fault (power engineering) 、 Reliability engineering 、 Functional safety 、 Network interface 、 Communications protocol 、 Safety standards 、 Engineering 、 Embedded system 、 Fault injection 、 Controller (computing)
摘要: Communication faults can lead to irreparable damages. Faulty messages increase the risk of accidents in distributed industrial environments. When is high, safety standards force communication over protocols. For each new controller, input and output device, a implementation protocol required. Its validation must strictly follow standards, which imposes fault injection test protocol. This paper introduces injector validate implementations PROFIsafe, one protocols standardized by IEC 61784-3. To meet low cost minor intrusiveness requirements, was developed software uses an efficient kernel module, PF-RING, capture directly from network interfaces. A complete functional version ready use applied prototype PROFIsafe.
sci-hub.se 参考文章(16)
Ludovic Pintard, Jean-Charles Fabre, Karama Kanoun, Michel Leeman, Matthieu Roy, Fault Injection in the Automotive Standard ISO 26262: An Initial Approach European Workshop on Dependable Computing. pp. 126- 133 ,(2013) , 10.1007/978-3-642-38789-0_11
Ron Bell, Introduction and Revision of IEC 61508 Advances in Systems Safety. pp. 273- 291 ,(2011) , 10.1007/978-0-85729-133-2_16
Per Hurtig, Anna Brunstrom, Enhancing SCTP loss recovery: An experimental evaluation of early retransmit Computer Communications. ,vol. 31, pp. 3778- 3788 ,(2008) , 10.1016/J.COMCOM.2008.04.024
Piotr Gaj, Jürgen Jasperneite, Max Felser, Computer Communication Within Industrial Distributed Environment—a Survey IEEE Transactions on Industrial Informatics. ,vol. 9, pp. 182- 189 ,(2013) , 10.1109/TII.2012.2209668
David Gessner, Manuel Barranco, Alberto Ballesteros, Julian Proenza, sfiCAN: A Star-Based Physical Fault-Injection Infrastructure for CAN Networks IEEE Transactions on Vehicular Technology. ,vol. 63, pp. 1335- 1349 ,(2014) , 10.1109/TVT.2013.2284030
Paul Joannou, Alan Wassyng, Understanding Integrity Level Concepts IEEE Computer. ,vol. 47, pp. 99- 101 ,(2014) , 10.1109/MC.2014.337
Johan Åkerberg, F Reichenbach, Mats Björkman, Enabling safety-critical wireless communication using WirelessHART and PROFIsafe emerging technologies and factory automation. pp. 1- 8 ,(2010) , 10.1109/ETFA.2010.5641253
S. Dawson, F. Jahanian, T. Mitton, Teck-Lee Tung, Testing of fault-tolerant and real-time distributed systems via protocol fault injection ieee international symposium on fault tolerant computing. pp. 404- 414 ,(1996) , 10.1109/FTCS.1996.534626
Domenico Cotroneo, Roberto Natella, Fault Injection for Software Certification ieee symposium on security and privacy. ,vol. 11, pp. 38- 45 ,(2013) , 10.1109/MSP.2013.54
Robi Malik, Reinhard Mühlfeld, A Case Study in Verification of UML Statecharts: the PROFIsafe Protocol Journal of Universal Computer Science. ,vol. 9, pp. 138- 151 ,(2003)