COMPONENT-BASED DEVELOPMENT OF RUNTIME OBSERVERS IN THE COMDES FRAMEWORK

Wei Guan, Gang Li, and Søren Top

References

  1. [1] S. Colin and L. Mariani, Run-time verification. Model-based testing of reactive systems (Springer Berlin Heidelberg: Springer-Verlag, 2005).
  2. [2] N. Delgado, A. Q. Gates, and S. Roach, A taxonomy and catalog of runtime software-fault monitoring tools, IEEE Transactions on Software Engineering, 30 (12), 2004, 859–872.
  3. [3] D. Giannakopoulou and K. Havelund, Automata-based verification of temporal properties on running programs, The 16th IEEE Int. Conf. on Automated Software Engineering ASE 01, Washington, DC, 2001, pp. 412.
  4. [4] A. Bauer, M. Leucker, and C. Schallhartl, Monitoring of real-time properties, The 26th Conf. on Foundations of Software Technology and Theoretical Computer Science FSTTCS 06, vol.4337 of LNCS, 2006, 260–272.
  5. [5] C. Angelov, X. Ke, and K. Sierszecki, A component-based framework for distributed control systems, The 32nd EUROMICRO Conf. on Software Engineering and Advanced Applications SEAA 2006, IEEE and Cavtat/Dubrovnik, Croatia, 2006, 20–27.
  6. [6] C. Angelov, W. Guan, N. Marian, F. Zhou, K. Sierszecki, and S. Top, Component-based analysis of embedded control applications, Innovations in Systems and Software Engineering, 8 (1), Springer, 2012, 79–92.
  7. [7] P. Gastin and D. Oddoux, Fast LTL to Büchi Automata Translation. The 13th Int. Conf. on Computer Aided Verification CAV 01, 2001, 53–65.
  8. [8] K. Sierszecki, F. Zhou, and C. Angelov, Reusable state machine components for embedded control systems, The 7th Int. Conf. on Informatics in Control, Automation and Robotics ICINCO 2010, Funchal, Portugal, 3, 166–171, 2010.
  9. [9] F. Zhou, S. Top, K. Sierszecki, and C. Angelov, Simulink analysis of component-based embedded applications, The 7th Int. Workshop on Model-Based Methodologies for Pervasive and Embedded Software MOMPES 2010, Antwerp, Belgium, 2010, 61–68.
  10. [10] F. Zhou, W. Guan, K. Sierszecki, and C. Angelov, Component-based design of software for embedded control systems: The medical ventilator case study, Int. Conf. on Embedded Software and Systems ICESS 2009, IEEE, Hangzhou, China, 2009, 157–163.
  11. [11] H. Lu and A. Forin, The design and implementation of P2V, an architecture for zero-overhead online verification of software programs. Technical Report MSR-TR-2007-99, Microsoft Research, 2007.
  12. [12] A. Pnueli and A. Zaks, On the merits of temporal testers. 25 years of model checking (2008), 172–195.
  13. [13] Y. Falcone, M. Jaber, T.H. Nguyen, M. Bozga, and S. Bensalem, Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation, Software & Systems Modeling, 2013, 1–27.
  14. [14] J. Zhao, S. Madduri, R. Vadlamani, W. Burleson, and R. Tessier, A dedicated monitoring infrastructure for multicore processors, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 2010, 1011–1022.
  15. [15] L. Yang, J. Tang, J. Zhao, and X. Li, A case study for monitoring-oriented programming in multi-core architecture, The 1st Int. Workshop on Multicore Software Engineering (IWMSE ’08). ACM, New York, NY, 2008, 47–52.

Important Links:

Go Back