Architecture-driven platform independent deterministic replay for distributed hard real-time systems

Proceedings of the ISSTA 2006 Workshop on Role of Software Architecture for Testing and Analysis, ROSATEA '06

Volumn 2006, Issue , 2006, Pages 28-38

  Giese, Holger ^a   Henkler, Stefan ^a  

^a UNIVERSITY OF PADERBORN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; DISTRIBUTED COMPUTER SYSTEMS; EMBEDDED SYSTEMS; OPTIMIZATION; REAL TIME SYSTEMS; SOFTWARE TESTING;

DISTRIBUTED HARD REAL TIME SYSTEMS; EMBEDDED REAL TIME SYSTEMS; HARDWARE HETEROGENEITY;

COMPUTER ARCHITECTURE;

EID: 34247338944     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1147249.1147253     Document Type: Conference Paper

References (30)

1. M. K. Aguilera, J. C. Mogul, J. L. Wiener, P. Reynolds, and A. Muthitacharoen. Performance debugging for distributed systems of black boxes. In SOSP '03: Proceedings of the nineteenth ACM symposium on Operating systems principles, pages 74-89, New York, NY, USA, 2003. ACM Press.
2. G. A. Alvarez and F. Cristian. Simulation-based testing of communication protocols for dependable embedded systems. J. Supercomput., 16(1-2):93-116, 2000.
3. th International Conference on Software Engineering (ICSE), Shanghai, China. ACM Press, 2006. (accepted).
4. A. Bertolino, F. Corradini, P. Inverardi, and H. Muccini. Deriving test plans from architectural descriptions. In ICSE '00: Proceedings of the 22nd international conference on Software engineering, pages 220-229, New York, NY, USA, 2000. ACM Press.
5. D. Bradley, D. Seward, D. Dawson, and S. Burge. Mechatronics. Stanley Thornes, 2000.
6. B. Broekman and E. Notenboom. Testing Embedded Software. Addison-Wesley, 2003.
7. S. Burmester, H. Giese, and O. Oberschelp. Hybrid UML Components for the Design of Complex Self-optimizing Mechatronic Systems. In H. Araujo, A. Vieira, J. Braz, B. Encarnacao, and M. Carvalho, editors, Proc. of 1st International Conference on Informatics in Control, Automation and Robotics (ICINCO 2004), Setubal, Portugal, pages 222-229. INSTICC Press, August 2004.
8. S. Burmester, H. Giese, and W. Schäfer. Model-Driven Architecture for Hard Real-Time Systems: From Platform Independent Models to Code. In Proc. of the European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA'05), Nürnberg, Germany, Lecture Notes in Computer Science, pages 1-15. Springer Verlag, November 2005.
9. S. Burmester, H. Giese, and M. Tichy. Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic UML. In U. Assmann, A. Rensink, and M. Aksit, editors, Model Driven Architecture: Foundations and Applications, volume 3599 of Lecture Notes in Computer Science, pages 47-61. Springer Verlag, August 2005.
10. S. Burmester, M. Tichy, and H. Giese. Modeling Reconfigurable Mechatronic Systems with Mechatronic UML. In U. Aßmann, editor, Proc. of Model Driven Architecture: Foundations and Applications (MDAFA 2004), Linköping, Sweden, pages 155-169, June 2004.
11. P. S. Dodd and C. V. Ravishankar. Monitoring and debugging distributed real-time programs. Software - Practice and Experience, 22(10):863-877, 1992.
12. C. Fidge. Fundamentals of distributed system observation. IEEE Softw., 13(6):77-83, 1996.
13. H. Giese. A Formal Calculus for the Compositional Pattern-Based Design of Correct Real-Time Systems. Technical Report tr-ri-03-240, Software Engineering Group, University of Paderborn, Paderborn, Germany, July 2003.
14. H. Giese and S. Burmester. Real-Time Statechart Semantics. Technical Report tr-ri-03-239, Software Engineering Group, University of Paderborn, Paderborn, Germany, June 2003.
15. H. Giese, S. Burmester, W. Schäfer, and O. Oberschelp. Modular Design and Verification of Component-Based Mechatronic Systems with Online-Reconfiguration. In Proc. of 12th ACM SIGSOFT Foundations of Software Engineering 2004 (FSE 2004), Newport Beach, USA, pages 179-188. ACM Press, November 2004.
16. H. Giese, M. Tichy, S. Burmester, W. Schäfer, and S. Flake. Towards the Compositional Verification of Real-Time UML Designs. In Proc. of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering (ESEC/FSE-11), pages 38-47. ACM Press, September 2003.
17. K. Grimm. Software technology in an automotive company: major challenges. In ICSE '03: Proceedings of the 25th International Conference on Software Engineering, pages 498-503, Washington, DC, USA, 2003. IEEE Computer Society.
18. H. Kopetz. Real-Time Systems: Design Principles for Distributed Embedded Applications. 395. Kluwer International Series in Engineering and Computer Science, 1997.
19. T. J. LeBlanc and J. M. Mellor-Crummey. Debugging parallel programs with instant replay. IEEE Trans. Comput., 36(4):471-482, 1987.
20. C. E. McDowell and D. P. Helmbold. Debugging concurrent programs. ACM Comput. Surv., 21(4):593-622, 1989.
21. H. Muccini, A. Bertolino, and P. Inverardi. Using software architecture for code testing. IEEE Trans. Softw. Eng., 30(3):160-171, 2004.
22. H. Muccini, M. S. Dias, and D. J. Richardson. Towards software architecture-based regression testing. In WADS '05: Proceedings of the 2005 workshop on Architecting dependable systems, pages 1-7, New York, NY, USA, 2005. ACM Press.
23. Object Management Group. UML 2.0 Superstructure Specification. OMG Document formal/05-04-01, July 2004. URL: http://www.omg.org/cgi-bin/doc?formal/ 05-07-04.
24. D. J. Richardson and A. L. Wolf. Software testing at the architectural level. In Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops, pages 68-71, New York, NY, USA, 1996. ACM Press.
25. W. Schütz. The Testability of Distributed Real-Time Systems. Kluwer Academic Publishers, Norwell, MA, USA, 1993.
26. W. Schütz. Fundamental issues in testing distributed real-time systems. Kluwer Real-Time Systems journal, 7(2):129-157, 1994.
27. D. Sundmark. Determinstic Replay Debugging of Embedded Real-Time Systems using Standard Components. PhD thesis, Department of Computer Science and Engineering Mälardalen University, 2004.
28. H. Thane. Monitoring, Testing and Debugging of Distributed Real-Time Systems. Masterthesis, Royal Institure of Technology Stockholm, Sweden, Mechatronic Labor, Department of Machine Design, 2000.
29. J. J. P. Tsai, K.-Y. Fang, H.-Y. Chen, and Y.-D. Bi. A noninterference monitoring and replay mechanism for real-time software testing and debugging. IEEE Trans. Softw. Eng., 16(8):897-916, 1990.
30. F. Zambonelli. An efficient logging algorithm for incremental replay of message. In IPPS '99/SPDP '99: Proceedings of the 13th International Symposium on Parallel Processing and the 10th Symposium on Parallel and Distributed Processing, pages 392-398, Washington, DC, USA, 1999. IEEE Computer Society.