Model-based testing and monitoring for hybrid embedded systems

Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, IRI-2004

Volumn , Issue , 2004, Pages 487-492

  Tan, Li ^a   Kim, Jesung ^a   Sokolsky, Oleg ^a   Lee, Insup ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; C (PROGRAMMING LANGUAGE); COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; COMPUTER SOFTWARE; MATHEMATICAL MODELS; REAL TIME SYSTEMS; TESTING;

C++ - COMPUTER PROGRAMMING LANGUAGE; HYBRID SYSTEMS; MONITORING AUTOMATION; TESTING AUTOMATION;

EMBEDDED SYSTEMS;

EID: 16244367482     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)

1. R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3-34, 1995.
2. R. Alur, T. Dang, J. Esposito, Y. Hur, F. Ivančić, V. Kumar, I. Lee, P. Mishra, G. Pappas, and O. Sokolsky. Hierarchical modeling and analysis of embedded systems. Proceedings of the IEEE, 91(1):11-28, 2003.
3. R. Alur, R. Grosu, I. Lee, and O. Sokolsky. Compositional refinement for hierarchical hybrid systems. In Proceedings of Hybrid Systems: Computation and Control, LNCS 2034, pages 33-48. Springer-Verlag, 2001.
4. R. Alur, F. Ivančić, J. Kim, I. Lee, and O. Sokolsky. Generating embedded software from hierarchial hybrid models. In Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'03), 2003.
5. A. Chutinan and B.K. Krogh. Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations. In Hybrid Systems: Computation and Control, Second International Workshop, LNCS 1569, pages 76-90, 1999.
6. L. K. Dillon and Y. S. Ramakrishna. Generating oracles from your favorite temporal logic specification. In the Fourth ACM SIGSOFT Symposium on the Foundation of Software Engineering, 1996.
7. D. Giannakopoulou and K. Havelund. Automata-based verification of temporal properties on running programs. In Automated Software Engineering. IEEE Computer Society, 2001.
8. K. Havelund and G. Rosu. Monitoring Java programs with JavaPathExplorer. In Proceedings of the Workshop on Runtime Verification, volume 55 of Electronic Notes in Theoretical Computer Science. Elsevier Publishing, 2001.
9. K. Havelund and G. Rosu. Synthesizing monitors for safety properties. In Proceedings of International Conference on Tools and Algorithms for Construction and Analysis of Systems, 2002.
10. T.A. Henzinger, P. Ho, and H. Wong-Toi. HYTECH: a model checker for hybrid systems. Software Tools for Technology Transfer, 1, 1997.
11. Reactive Systems Inc. Reactis. http://www.reactive-systems.com, 2003.
12. The Math Works Inc. Simulink, Stateflow, and Real-time workshop, http://www.mathworks.com.
13. J. Kim and I. Lee. Modular code generation from hybrid automata based on data dependency. In Proceedings of the 9th IEEE Real-Time and Embedded Technology and Application Symposium (RTAS 2003), 2003.
14. M. Kim, S. Kannan, I. Lee, O. Sokolsky, and M. Viswanathan. Java-MaC: a run-time assurance tool for Java programs. In Proceedings of Workshop on Runtime Verification (RV'2001), volume 55 of Electronic Notes in Theoretical Computer Science, July 2001.
15. I. Lee, S. Kannan, M. Kim, O. Sokolsky, and M. Viswanathan. Runtime assurance based on formal specifications. In Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999.
16. N. A. Lynch, R. Segala, and F. W. Vaandrager. Hybrid I/O automata. In Hybrid Systems III: Verification and Control, Proceedings of the DIMACS/SYCON Workshop, volume 1066 of Lecture Notes in Computer Science. Springer, 1995.
17. O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In Real-Time: Theory in Practice, REX Workshop, LNCS 600, pages 447-484. Springer-Verlag, 1991.
18. Li Tan. Model-based self-monitoring embedded programs. In submitted for publication, 2004.
19. 2 ST toolkit, 2003. http://www.cis.upenn.edu/~tanli/tools/mist.html.