RCSoS: An IEC 61508 Compatible Server Model for Reliable Communication

Abstract

In most cases of safety-related systems, the network is an indispensable part. At this point, the system reliability is as important as the system communication quality. With the emergence of multi-core architectures, the first generation usually aims to provide reliable and deterministic computing resources. Therefore, with the boost requirement of reliability and throughput that cannot be satisfied by general single-core processors, the deployment of safety-related systems is transferred and processed in multi-core environments. This paper proposes Reliable Communication Server on SPU (RCSoS), which is a server model for reliable communication utilizing SPU (Synergistic Processor Unit) in Cell/B.E. (Cell Broadband Engine). It simulates SPU as a communication server and guarantees the reliability and determinacy by the isolation mode of SPU and contract model. RCSoS has been implemented in PlayStation 3. It could dynamically adjust parameters, and inform applications on contract violations. The building process conforms IEC 61508, which guarantees the reliability of the life cycle. Besides, experiments show that the performance of this model is acceptable for the application requirements of network communication. And also the formal verification on the model theoretically guarantees the functional safety of the system.

This is a preview of subscription content, access via your institution.

Figure 1
Figure 2
Figure 3
Figure 4
Figure 5
Figure 6
Figure 7
Figure 8
Figure 9
Figure 10
Figure 11
Figure 12
Figure 13
Figure 14
Figure 15
Figure 16
Figure 17

References

  1. 1.

    International Electrotechnical Commission. (2000). Functional safety of electrical/electronic/programmable electronic safety-related systems. Switzerland: IEC 61508.

    Google Scholar 

  2. 2.

    Silvano, M., & Schmidt, D. C. (1997). Constructing reliable distributed communication systems with CORBA. IEEE Communications Magazine, 35(2), 56–60.

    Article  Google Scholar 

  3. 3.

    Bataineh, S. M., & Allosl, B. Y. (2001). Fault-tolerant multistage interconnection network. Telecommunication Systems, 17(4), 455–472.

    Article  MATH  Google Scholar 

  4. 4.

    Garcia, M., Sendra, S., Lloret, J., & Canovas, A. (2013). Saving energy and improving communications using cooperative group-based wireless sensor networks. Telecommunication Systems, 52(4), 2489–2502.

    Article  Google Scholar 

  5. 5.

    Rizzo, L. (1997). Effective erasure codes for reliable computer communication protocols. ACM SIGCOMM Computer Communication Review, 27(2), 24–36.

    Article  Google Scholar 

  6. 6.

    Ding, J.-H., Chang, Y.-T., Guo, Z.-D., Li, K.-C., & Chung, Y.-C. (2014). An efficient and comprehensive scheduler on asymmetric multicore architecture systems. Journal of Systems Architecture, 60(3), 305–314.

    Article  Google Scholar 

  7. 7.

    Scarpino, M. (2008). Programming the cell processor: For games, graphics, and computation. New Jersey: Pearson Education, Inc.

    Google Scholar 

  8. 8.

    Kourai, K., Nagata, T. (2012): A Secure Framework for Monitoring Operating Systems Using SPEs in Cell/B.E., 2012 I.E. 18th Pacific Rim International Symposium on Dependable Computing (PRDC), 41–50.

  9. 9.

    Zhou, R., Chen, H. M., Liu, Q., Sheng, Y., Zhou, Q. G., Wang, X., & Li, K.-C. (2013). A server model for reliable communication on cell/B.E. In In conjunction with the 42nd international conference on parallel processing (ICPP 2013) (pp. 1022–1029). Lyon: International Workshop on Embedded Multicore Systems. doi:10.1109/ICPP.2013.121.

    Google Scholar 

  10. 10.

    International Business Machines Corporation, Sony Computer Entertainment Incorporated and Toshiba Corporation. (2007). Cell BE programming tutorial version 3.1. Rochester: International Business Machines Corporation, Sony Computer Entertainment Incorporated and Toshiba Corporation.

    Google Scholar 

  11. 11.

    Shimizu, K., Hofstee, H. P., & Liberty, J. S. (2007). Cell broadband engine processor vault security architecture. IBM Journal of Research and Development, 51(5), 521–528.

    Article  Google Scholar 

  12. 12.

    Baldassin, A., Goldstein, F., & Azevedob, R. (2012). A transactional runtime system for the Cell/BE architecture. Journal of Parallel and Distributed Computing, 72(12), 1535–1546.

    Article  Google Scholar 

  13. 13.

    Altevogt, P., Kiss, T., Kistler, M., & Rangan, R. (2013). Mesoscale performance simulation of multicore processor systems. Software & Systems Modeling, 12(4), 731–744.

    Article  Google Scholar 

  14. 14.

    Tănase, C. A., & Găitan, V. G. (2012). Dynamic, unbalanced distribution of tasks on a PS3 cluster system for double precision calculation. The Journal of Supercomputing, 62(3), 1502–1518.

    Article  Google Scholar 

  15. 15.

    Khoury, R., Burgstaller, B., & Scholz, B. (2011). Accelerating the execution of matrix languages on the cell broadband engine architecture. IEEE Transactions on Parallel and Distributed Systems, 22(1), 7–21.

    Article  Google Scholar 

  16. 16.

    Bhatt, V. P., & Pradhan, S. N. (2012). Designing image processing algorithms on cell broadband engine: programming strategies and performance analysis. International Conference on Recent Advances in Computing and Software Systems (RACSS), 2012, 242–249.

    Google Scholar 

  17. 17.

    Ungurean, I., Gaitan, N. (2012): Speech analysis for medical predictions based on Cell Broadband Engine, 2012 Proceedings of the 20th European Signal Processing Conference (EUSIPCO), 1733–1736.

  18. 18.

    Kai, N., Nishinohara, R., Koide, H. (2012): A SIMD Parallelization Method for an Application for LSI Logic Simulation, 2012 41st International Conference on Parallel Processing Workshops (ICPPW), 375–381.

  19. 19.

    Arunkumar, A., Panday, A., Joshi, B., Ravindran, A., & Zaveri, H. P. (2012). Estimating correlation for a real-time measure of connectivity. Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), 2012, 5190–5193.

    Google Scholar 

  20. 20.

    Keller, J., & Varbanescu, A. L. (2012). Performance impact of task mapping on the cell BE multicore processor, computer architecture. Lecture Notes in Computer Science, 6161, 13–23.

    Article  Google Scholar 

  21. 21.

    Kroshko, A., & Spiteri, R. J. (2013). Efficient SIMD solution of multiple systems of stiff IVPs. Journal of Computational Science, 4(5), 377–385.

    Article  Google Scholar 

  22. 22.

    Diaz, D., Abreu, S., & Codognet, P. (2012). Targeting the cell broadband engine for constraint-based local search. Concurrency and Computation: Practice and Experience, 24(6), 647–660.

    Article  Google Scholar 

  23. 23.

    Benkrid, K., Akoglu, A., Ling, C., Song, Y., Liu, Y., & Tian, X. (2012). High performance biological pairwise sequence alignment: FPGA versus GPU versus cell BE versus GPP. Volume: International Journal of Reconfigurable Computing. doi:10.1155/2012/752910. 2012.

    Google Scholar 

  24. 24.

    Pratas, F., Trancoso, P., Sousa, L., Stamatakis, A., Shi, G. C., & Kindratenko, V. (2012). Fine-grain parallelism using multi-core, Cell/BE, and GPU Systems. Parallel Computing, 38(8), 365–390.

    Article  Google Scholar 

  25. 25.

    Xu, M., Thulasiraman, P., & Noghanian, S. (2012). Microwave tomography for breast cancer detection on cell broadband engine processors. Journal of Parallel and Distributed Computing, 72(9), 1106–1116.

    Article  Google Scholar 

  26. 26.

    Sibai, F. N., Mohammad, S., Kidwai, H. K., Qamar, B., Awwad, F. (2012): Parallel Implementation and Performance Analysis of a 3D Oil Reservoir Data Visualization Tool on the Cell Broadband Engine and CUDA GPU, 2012 I.E. 14th International Conference on High Performance Computing and Communication & 2012 I.E. 9th International Conference on Embedded Software and Systems (HPCC-ICESS), 970–975.

  27. 27.

    Shahbahrami, A., Pham, T. A., & Bertels, K. (2012). Parallel implementation of gray level Co-occurrence matrices and haralick texture features on cell architecture. The Journal of Supercomputing, 59(3), 1455–1477.

    Article  Google Scholar 

  28. 28.

    Çetinkaya, E. K., Broyles, D., Dandekar, A., Srinivasan, S., & Sterbenz, J. P. G. (2013). Modelling communication network challenges for Future Internet resilience, survivability, and disruption tolerance: a simulation-based approach. Telecommunication Systems, 52(2), 751–766.

    Google Scholar 

  29. 29.

    Harbour, M. G., & Esteban, M. T. (2005). Framework for Real-time Embedded Systems based on COntRacts (FP6/2005/IST/5-034026): Architecture and contract model for integrated resources II, Technical Report. Spain: Universidad de Cantabria.

    Google Scholar 

  30. 30.

    Olivier, S., Prins, J., Derby, J., Vu, K. (2007): Porting the GROMACS Molecular Dynamics Code to the Cell Processor, 21st IEEE International Parallel and Distributed Processing Symposium (IPDPS 2007), IEEE Press, 1–8

  31. 31.

    Zhou, Q. G., Bai, S. W., McGuire, N., Chen, J. W. (2009): Isolated Network Model based on Cell for Software Radio System, Proc. 2009 IEEE International Symposium on Circuits and Systems (ISCAS 2009), IEEE Press, 2069–2072.

  32. 32.

    Mueller, F.: Sony PS3 Cluster, http://moss.csc.ncsu.edu/~mueller/cluster/ps3/, Accessed on May 5, 2014.

  33. 33.

    Shann, C. H., Huang, T. L., Cheng, C. (2000): A Practical Nonblocking Queue Algorithm using Compare-and-Swap, 7th International Conference on Parallel and Distributed Systems (ICPADS'00), IEEE Press, 470–475.

  34. 34.

    Ladan-Mozes, E., & Shavit, N. (2004). An optimistic approach to lock-free FIFO queues, distributed computing. Lecture Notes in Computer Science, 3274, 117–131.

    Article  Google Scholar 

  35. 35.

    OProfile, http://en.wikipedia.org/wiki/OProfile, Accessed Nov. 6, 2013

  36. 36.

    Holzmann, G. J. (2004). The SPIN model checker: primer and Reference Manual. New Jersey: Addison Wesley Publisher. September 2004.

    Google Scholar 

  37. 37.

    Spin Online References, http://spinroot.com/spin/Man/, Accessed on December 6, 2013

  38. 38.

    Basmadjian, R., De Meer, H. (2012): Evaluating and modeling power consumption of multi-core processors, 3rd International Conference on Future Energy Systems (e-Energy 2012), IEEE, 1–10.

  39. 39.

    Zhou, R., Zhou, Q. G., Sheng, Y., & Li, K.-C. (2013). XtratuM/PPC: a hypervisor for partitioned system on PowerPC processors. Journal of Supercomputing, 63(2), 593–610.

    Article  Google Scholar 

  40. 40.

    Zhou, R., Ai, Z., Yang, J. M., Chen, Y. C., Li, J., Zhou, Q. G., Li, K.-C. (2013): A Hypervisor for MIPS-based Architecture Processors - a Case Study in Loongson Processors, The 15th IEEE International Conference on High Performance Computing and Communications (HPCC 2013), 865–872, doi: 10.1109/HPCC.and.EUC.2013.124.

Download references

Acknowledgments

This work is supported in part by National Natural Science Foundation of China under Grant No. 60973137, Program for New Century Excellent Talents in University under Grant No. NCET-12-0250, Gansu Sci. & Tech. Program under Grant No. 1104GKCA049, 1204GKCA061 and 1304GKCA018, The Fundamental Research Funds for the Central Universities under Grant No. lzujbky-2013-k05, lzujbky-2013-43, lzujbky-2013-44 and lzujbky-2014-49, Gansu Telecom Cuiying Research Fund under Grant No. lzudxcy-2013-4, Gansu Telecom Cuiying Research Fund under Grant No. lzudxcy-2013-4, Google Research Awards, Google Faculty Award, and Providence University research program, under grant PU102-11100-A12.

Author information

Affiliations

Authors

Corresponding author

Correspondence to Qingguo Zhou.

Rights and permissions

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Zhou, R., Chen, X., Chen, H. et al. RCSoS: An IEC 61508 Compatible Server Model for Reliable Communication. J Sign Process Syst 80, 323–337 (2015). https://doi.org/10.1007/s11265-014-0914-z

Download citation

Keywords

  • Reliable communication
  • Server model
  • Safety-related system
  • SPU
  • Cell/B.E.