Software-Based Self-Test for Reliable Applications in Railway Systems

The introduction of computers in the control and automation of railway systems led to the massive use of microprocessor-based devices in almost all critical elements of a modern railway infrastructure (e.g., signaling systems, trains control, etc.). Therefore, microprocessor-based systems play a crucial role in the safety, reliability and security of these infrastructures. The very strict safety standards, which must be guaranteed in a railway system, make the testing of all electronic components a unique and challenging case study. Software-based self-test represents a very attractive test solution to cope with the problem of on-line and off-line testing of microprocessor-based systems. It makes it possible to deeply test hardware components without introducing extra hardware and stressing the system in its operational condition. This chapter overviews the basic principles of software-based self-test techniques, focusing on a set of best practices to be applied in writing, verifying and computing the final test coverage of high-quality test programs for railway systems

[1]  Aderemi A. Atayero,et al.  Integrated Models for Information Communication Systems and Networks: Design and Development , 2013 .

[2]  Mihalis Psarakis,et al.  Software-Based Self-Testing of Symmetric Shared-Memory Multiprocessors , 2009, IEEE Transactions on Computers.

[3]  Dimitris Gizopoulos,et al.  Software-based self-testing of embedded processors , 2005, IEEE Transactions on Computers.

[4]  Yervant Zorian,et al.  Application and analysis of rt-level software-based self-testing for embedded processor cores , 2003, International Test Conference, 2003. Proceedings. ITC 2003..

[5]  Kwang-Ting Cheng,et al.  Simulation-Based Functional Test Generation for Embedded Processors , 2006, IEEE Transactions on Computers.

[6]  Mahdi Fazeli,et al.  A software-based concurrent error detection technique for power PC processor-based embedded systems , 2005, 20th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems (DFT'05).

[7]  Jacob A. Abraham,et al.  Functional Testing of Microprocessors , 1984, IEEE Transactions on Computers.

[8]  Jacob A. Abraham,et al.  Automatic generation of instruction sequences targeting hard-to-detect structural faults in a processor , 2006, 2006 IEEE International Test Conference.

[9]  A. Benso,et al.  An on-line software-based self-test framework for microprocessor cores , 2006, International Conference on Design and Test of Integrated Systems in Nanoscale Technology, 2006. DTIS 2006..

[10]  Matteo Sonza Reorda,et al.  Microprocessor Software-Based Self-Testing , 2010, IEEE Design & Test of Computers.

[11]  Ismet Bayraktaroglu,et al.  Cache Resident Functional Microprocessor Testing: Avoiding High Speed IO Issues , 2006, 2006 IEEE International Test Conference.

[12]  Alessandro Savino,et al.  Software-Based Self-Test of Set-Associative Cache Memories , 2011, IEEE Transactions on Computers.

[13]  A.J. van de Goor,et al.  Functional testing of modern microprocessors , 1992, [1992] Proceedings The European Conference on Design Automation.

[14]  A. Benso,et al.  Using ER models for microprocessor functional test coverage evaluation , 2008, 2008 11th International Biennial Baltic Electronics Conference.

[15]  Janusz Sosnowski.  Software-based self-testing of microprocessors , 2006, J. Syst. Archit..

[16]  William Lindsay,et al.  FRITS - a microprocessor functional BIST method , 2002, Proceedings. International Test Conference.

[17]  Jian Shen,et al.  Native mode functional test generation for processors with applications to self test and design validation , 1998, Proceedings International Test Conference 1998 (IEEE Cat. No.98CH36270).

[18]  A. Atayero.  A Voice-Enabled Framework for Recommender and Adaptation Systems in E-Learning , 2013 .

[19]  Jana Dospisil,et al.  A framework for intelligent service discovery , 2003 .

[20]  Hossain Shahriar,et al.  Information Theoretic XSS Attack Detection in Web Applications , 2014, Int. J. Secur. Softw. Eng..

[21]  Paolo Bernardi,et al.  Software-Based On-Line Test of Communication Peripherals in Processor-Based Systems for Automotive Applications , 2006, Seventh International Workshop on Microprocessor Test and Verification (MTV'06).

[22]  Teruhisa Hochin,et al.  Generation of Concurrency Control Program by Extending Functions in Genetic Programming , 2014, Int. J. Softw. Innov..

[23]  Yervant Zorian,et al.  Deterministic software-based self-testing of embedded processor cores , 2001, Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001.

[24]  John Paul Shen,et al.  Superscalar processor validation at the microarchitecture level , 1999, Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013).

[25]  ShahriarHossain,et al.  Information Theoretic XSS Attack Detection in Web Applications , 2014 .

[26]  A. Orailoglu,et al.  Low-cost, software-based self-test methodologies for performance faults in processor control subsystems , 2001, Proceedings of the IEEE 2001 Custom Integrated Circuits Conference (Cat. No.01CH37169).

[27]  Sujit Dey,et al.  Embedded Software-Based Self-Test for Programmable Core-Based Designs , 2002, IEEE Des. Test Comput..

[28]  Joan Peckham,et al.  Practicing Software Engineering in the 21st Century , 2003 .

[29]  Alessandro Savino,et al.  Applying March Tests to K-Way Set-Associative Cache Memories , 2008, 2008 13th European Test Symposium.

[30]  Giovanni Squillero,et al.  Automatic test program generation: a case study , 2004, IEEE Design & Test of Computers.

[31]  Ronald J. Kohl.  Establishing guidelines for suitability of COTS for a mission critical application , 1999, Proceedings. Twenty-Third Annual International Computer Software and Applications Conference (Cat. No.99CB37032).

[32]  Pablo E. Martínez López.  Static Type Systems: From Specification to Implementation , 2007 .

[33]  Robert F. Molyneaux,et al.  Random self-test method applications on PowerPC/sup TM/ microprocessor caches , 1998, Proceedings of the 8th Great Lakes Symposium on VLSI (Cat. No.98TB100222).

[34]  Tao Xie,et al.  Model-Driven Impact Analysis of Software Product Lines , 2011, Model-Driven Domain Analysis and Software Development.

[35]  Jacob A. Abraham,et al.  Test Generation for Microprocessors , 1980, IEEE Transactions on Computers.

[36]  Dimitris Gizopoulos,et al.  Effective software-based self-test strategies for on-line periodic testing of embedded processors , 2004 .

[37]  Paolo Prinetto,et al.  Models in Memory Testing , 2010 .

[38]  Barbara Weber,et al.  Empirical Evaluation of Test Driven Modeling , 2013, Int. J. Inf. Syst. Model. Des..

[39]  Erika Asnina,et al.  Model-Driven Domain Analysis and Software Development - Architectures and Functions , 2010 .