Table of Contents Author Guidelines Submit a Manuscript
Modelling and Simulation in Engineering
Volume 2014, Article ID 105051, 15 pages
http://dx.doi.org/10.1155/2014/105051
Research Article

Runtime Instrumentation of SystemC/TLM2 Interfaces for Fault Tolerance Requirements Verification in Software Cosimulation

1Department of Telematic and Electronic Engineering, Technical University of Madrid, 28031 Madrid, Spain
2Computer Engineering Department, University of Alcalá, Alcalá de Henares, 28871 Madrid, Spain

Received 23 June 2014; Accepted 7 September 2014; Published 23 September 2014

Academic Editor: Luis Carlos Rabelo

Copyright © 2014 Antonio da Silva et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Linked References

  1. T. A. Henzinger, “Two challenges in embedded systems design: predictability and robustness,” Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol. 366, no. 1881, pp. 3727–3736, 2008. View at Publisher · View at Google Scholar · View at Scopus
  2. L. Rabelo, S. Sala-Diakanda, J. Pastrana et al., “Simulation modeling of space missions using the high level architecture,” Modelling and Simulation in Engineering, vol. 2013, Article ID 967483, 12 pages, 2013. View at Publisher · View at Google Scholar · View at Scopus
  3. OSCI, Open SystemC Initiative, SystemC, 2013.
  4. ESA, “Solar orbiter. Exploring the Sun-heliosphere definition study report,” Tech. Rep. I-CA2301, European Space Agency, Paris, France, 2011. View at Google Scholar
  5. A. da Silva and S. Sánchez, “LEON3 ViP: a virtual platform with fault injection capabilities,” in Proceedings of the 13th Euromicro Conference on Digital System Design: Architectures, Methods and Tools (DSD '10), pp. 813–816, Lille, France, September 2010. View at Publisher · View at Google Scholar · View at Scopus
  6. S. Sánchez, M. Prieto, Ó. R. Polo et al., “HW/SW co-design of the instrument control unit for the energetic particle detector on-board solar orbiter,” Advances in Space Research, vol. 52, no. 6, pp. 989–1007, 2013. View at Publisher · View at Google Scholar · View at Scopus
  7. A. da Silva and S. Sánchez, “On the use of dynamic binary instrumentation to perform faults injection in transaction level models,” in Proceedings of the 4th International Conference on Dependability of Computer Systems (DepCos-RELCOMEX '09), pp. 237–244, July 2009. View at Publisher · View at Google Scholar · View at Scopus
  8. F. Randimbivololona, A. Brahmi, P. le Meur, T. Marie, and R. Beseme, “Final integration test of avionic software in full virtual platform,” in Proceedings of the Embedded Real Time Software and Systems (ERTS2 '14), Toulouse, France, February 2014.
  9. Y. Wang, L. Wang, and Z. Zheng, “Application of virtual prototype technology to simulation test for airborne software system,” in Advances in Electronic Engineering, Communication and Management Vol. 2, vol. 140 of Lecture Notes in Electrical Engineering, pp. 653–658, Springer, Berlin, Germany, 2012. View at Google Scholar
  10. N. Bombieri, F. Fummi, and D. Quaglia, “System/network design-space exploration based on TLM for networked embedded systems,” Transactions on Embedded Computing Systems, vol. 9, no. 4, article 37, 2010. View at Publisher · View at Google Scholar · View at Scopus
  11. S. Cuenca-Asensi, A. Martínez-Álvarez, F. Restrepo-Calle, F. R. Palomo, H. Guzmán-Miranda, and M. A. Aguirre, “Soft core based embedded systems in critical aerospace applications,” Journal of Systems Architecture, vol. 57, no. 10, pp. 886–895, 2011. View at Publisher · View at Google Scholar · View at Scopus
  12. M. Straka, J. Kastil, Z. Kotasek, and L. Miculka, “Fault tolerant system design and SEU injection based testing,” Microprocessors and Microsystems, vol. 37, no. 2, pp. 155–173, 2013. View at Publisher · View at Google Scholar · View at Scopus
  13. W. Lu and M. Radetzki, “Concurrent and comparative fault simulation in SystemC and its application in robustness evaluation,” Microprocessors and Microsystems, vol. 37, no. 2, pp. 115–128, 2013. View at Publisher · View at Google Scholar · View at Scopus
  14. C. Ziemke, T. Kuwahara, and I. Kossev, “An integrated development framework for rapid development of platform-independent and reusable satellite on-board software,” Acta Astronautica, vol. 69, no. 7-8, pp. 583–594, 2011. View at Publisher · View at Google Scholar · View at Scopus
  15. R. Mader, G. Griessnig, E. Armengaud et al., “A bridge from system to software development for safety-critical automotive embedded systems,” in Proceedings of the 38th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA '12), pp. 75–79, September 2012. View at Publisher · View at Google Scholar · View at Scopus
  16. S. Hong, T. Oguntebi, J. Casper, N. Bronson, C. Kozyrakis, and K. Olukotun, “A case of system-level hardware/software co-design and co-verification of a commodity multi-processor system with custom hardware,” in Proceedings of the 8th IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS '12), pp. 513–520, ACM, New York, NY, USA, October 2012. View at Publisher · View at Google Scholar · View at Scopus
  17. S. Misera, H. T. Vierhaus, and A. Sieber, “Simulated fault injections and their acceleration in SystemC,” Microprocessors and Microsystems, vol. 32, no. 5-6, pp. 270–278, 2008. View at Publisher · View at Google Scholar · View at Scopus
  18. K. J. Chang and Y. Y. Chen, “System-level fault injection in SystemC design platform,” in Proceedings of the 8th International Symposium on Advanced Intelligent Systems, pp. 354–359, 2007.
  19. A. Ebnenasir, R. Hajisheykhi, and S. S. Kulkarni, “Facilitating the design of fault tolerance in transaction level SystemC programs,” Theoretical Computer Science, vol. 496, pp. 50–68, 2013. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  20. W. Ecker, V. Esen, T. Steininger, M. Velten, and M. Hull, “Interactive presentation: implementation of a transaction level assertion framework in SystemC,” in Proceedings of the Conference on Design, Automation and Test in Europe (DATE '07), pp. 894–899, EDA Consortium, San Jose, Calif, USA, 2007.
  21. A. Habibi and S. Tahar, “Design and verification of SystemC transaction-level models,” IEEE Transactions on Very Large Scale Integration (VLSI) Systems, vol. 14, no. 1, pp. 57–68, 2006. View at Publisher · View at Google Scholar · View at Scopus
  22. B. Niemann and C. Haubelt, “Assertion-based verification of transaction level models,” in Proceedings of the In ITG/GI/GMM Workshop, vol. volume 9, pp. 232–236, 2006.
  23. A. A. Ghofrani, S. Abolma'Ali, Z. N. Haghi, and Z. Navabi, “A TLM2.0 assertion library with centralized monitoring approach,” in Proceedings of the IEEE East-West Design and Test Symposium (EWDTS '10), pp. 402–406, East-West, September 2010. View at Publisher · View at Google Scholar · View at Scopus
  24. L. Pierre and L. Ferro, “A tractable and fast method for monitoring systemC TLM specifications,” IEEE Transactions on Computers, vol. 57, no. 10, pp. 1346–1356, 2008. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  25. R. Tartler, D. Lohmann, F. Scheler, and O. Spinczyk, “AspectC++: an integrated approach for static and dynamic adaptation of system software,” Knowledge-Based Systems, vol. 23, no. 7, pp. 704–720, 2010. View at Publisher · View at Google Scholar · View at Scopus
  26. D. Tabakov and M. Y. Vardi, “Automatic aspectization of SystemC,” in Proceedings of the Workshop on Modularity in Systems Software (MISS '12), pp. 9–14, New York, NY, USA, March 2012. View at Publisher · View at Google Scholar · View at Scopus
  27. Y. Endoh, “ASystemC: an AOP extension for hardware description language,” in Proceedings of the 10th International Conference on Aspect-Oriented Software Development Companion (AOSD '11), pp. 19–28, ACM, New York, NY, USA, March 2011. View at Publisher · View at Google Scholar · View at Scopus
  28. M. Kallel, Y. Lahbib, R. Tourki, and A. Baganne, “Aspect-based ABV for SystemC transaction level models,” in Proceedings of the 21th International Conference on Microelectronics (ICM '09), pp. 304–307, December 2009. View at Publisher · View at Google Scholar · View at Scopus
  29. M. Kallel, Y. Lahbib, R. Tourki, and A. Baganne, “Verification of systemc transaction level models using an aspect-oriented and generic approach,” in Proceedings of the 5th Conference on Design and Technology of Integrated Systems in Nanoscale Era (DTIS '10), pp. 1–6, March 2010. View at Publisher · View at Google Scholar · View at Scopus
  30. A. da Silva and S. Sánchez, “Transactions sequence tracking by means of dynamic binary instrumentation of TLM models,” in Proceedings of the 12th Euromicro Conference on Digital System Design: Architectures, Methods and Tools (DSD '09), pp. 723–728, August 2009. View at Publisher · View at Google Scholar · View at Scopus
  31. A. da Silva and S. Sanchez, “A grammar based testing framework for T LM2.0 protocol compliance verification,” in Proceedings of 5th International Conference on Dependability of Computer Systems DepCoS, Monographs of System Dependability (RELCOMEX '10), Technical Approach to Dependability, pp. 121–132, Oficyna Wydawnicza Politechniki Wrocławskiej, Wroclaw, Poland, 2010.
  32. B. Bailey, F. Balarin, M. McNamara, G. Mosenson, M. Stellfox, and Y. Watanabe, TLM-Driven Design and Verification Methodology, Lulu Enterprises Inc., 2010.
  33. H. Froehlich, “Interface Additions to the e Language for Effective Communication with SystemC TLM 2.0 Models,” Cadence, 2012.
  34. A. Fokin, K. Troshina, and A. Chernov, “Reconstruction of class hierarchies for decompilation of C++ programs,” in Proceedings of the 14th European Conference on Software Maintenance and Reengineering (CSMR '10), pp. 240–243, March 2010. View at Publisher · View at Google Scholar · View at Scopus
  35. N. A. Kraft, B. A. Malloy, and J. F. Power, “A tool chain for reverse engineering C++ applications,” Science of Computer Programming, vol. 69, no. 1-3, pp. 3–13, 2007. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  36. I. Skochinsky, “Practical C++ decompilation,” in Proceedings of the Recon 2011, Montreal, Canada, 2011.
  37. RDTSC, “Using the rdtsc instruction for performance monitoring,” 2009.
  38. STAR Dundee, “Star Dundee Brick,” 2013.
  39. O. R. Polo and P. Parra, “SOLO EPD flight software requirements,” Tech. Rep., Space Research Group, University of Alcalá, 2012. View at Google Scholar
  40. A. da Silva, S. Sánchez, Ó. R. Polo, and P. Parra, “Injecting faults to succeed. Verification of the boot software on-board solar orbiter's energetic particle detector,” Acta Astronautica, vol. 95, no. 1, pp. 198–209, 2014. View at Publisher · View at Google Scholar · View at Scopus