Model-based self-adaptive embedded programs with temporal logic specifications

Proceedings - International Conference on Quality Software

Volumn , Issue , 2006, Pages 151-158

  Tan, Li ^a  

^a MATHWORKS INC   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

HYBRID AUTOMATON BASED MODELS; RECONFIGURATION SPECIFICATION LANGUAGES; SELF ADAPTIVE EMBEDDED PROGRAM; SELF MONITORING MODELS;

ADAPTIVE SYSTEMS; COMPUTER PROGRAMMING LANGUAGES; EMBEDDED SYSTEMS; FAILURE ANALYSIS; FORMAL LOGIC; MATHEMATICAL MODELS;

COMPUTER SYSTEMS PROGRAMMING;

EID: 34250721008     PISSN: 15506002     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QSIC.2006.41     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:11- 28, 2003.
3. R. Alur, F. Ivančić, J. Kim, I. Lee, and O. Sokolsky. Generating embedded software from hierarchial hybrid models. In Proceedings of Languages, Compilers, and Tools for Embedded Systems (LCTES'03), 2003.
4. T. A. Henzinger, P. Ho, and H. Wong-Toi. HyTech: A model checker for hybrid systems. Software Tools for Technology Transfer, 1:110-122, 1997.
5. F. Jahanian and A.K. Mok. Safety analysis of timing properties in real-time systems. IEEE Trans. Software Engineering, 12(9), 1986.
6. Gabor Karsai, Ákos Lédeczi, Janos Sztipanovits, Gábor Péceli, Gyula Simon, and Tamás Kovácshá zy. An approach to self-adaptive software based on supervisory control. In IWSAS'01, pages 24-38, 2001.
7. M. Kim, S. Kannan, I. Lee, and O. Sokolsky. Java-mac: a run-time assurance tool for Java. In 1st International Workshop on Run-time Verification, Electronic Notes in Theoretical Computer Science 55 No. 2, 2001.
8. K. G. Larsen, P. Pettersson, and W. Yi. UPPAAL in a nutshel. Software Tools for Technology Transfer, 1:134-152, 1997.
9. 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.
10. 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.
11. M2IST toolkit. University of Pennsylvania. http://www.cis.upenn.edu/ ~tanli/tools/mist.html, 2003.
12. K. Narendra and A. Annaswamy. Stable Adaptive Systems. Prentice-Hall, 1988.
13. P. Oreizy, M. Gorlick, R. Taylor, D. Heimbigner, G. Johnson, N. Medvidovic, A. Quilici, D. Rosenblum, and A. Wolf. An architecture-based approach to self-adaptive software. IEEE Intelligent Systems, 14(3):54-62, 1999.
14. Stateflow Simulink and Real time workshop. The MathWorks, Inc. In http://www.mathworks.com.
15. SONY AIBO Robot. Sony corporation. http://www.aibo.com.
16. E. Strunk and J. Knight. Dependability through assured reconfiguration in embedded system software. IEEE Transactions on Dependable and Secure Computing, To appear, 2006.
17. L. Tan. Model-based self-monitoring embedded programs with temporal logic specification. In Proceedings of 20th IEEE/ACM International Conference on Automated Software Engineering (ASE'05), 2005.
18. L. Tan, J. Kim, and I. Lee. Testing and monitoring model-based generated program. In Proceeding of Runtime Verification Workshop, volume 89 of Electronic Notes in Theoretic Computer Science. Elsevier Science, 2003.
19. L. Tan, J. Kim, I. Lee, and O. Sokolsky. Model-based testing and monitoring for hybrid embedded systems. In Proceedings of IEEE International Conference on Information Reuse and Integration, 2004.