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

20th IEEE/ACM International Conference on Automated Software Engineering, ASE 2005

Volumn , Issue , 2005, Pages 380-383

  Tan, Li ^a  

^a MATHWORKS INC   (United States)

Author keywords

Embedded systems; Run time verification; Temporal logic

Indexed keywords

MODEL-BASED; NORMAL FUNCTION; REQUIREMENT SPECIFICATION; RUN-TIME VERIFICATION; SELF-MONITORING; SYSTEM MODELS; TEMPORAL LOGIC SPECIFICATIONS;

COMPUTER SIMULATION; COMPUTER SOFTWARE; EMBEDDED SYSTEMS; MODEL STRUCTURES; MONITORING; SPECIFICATIONS; SYNTHESIS (CHEMICAL);

TEMPORAL LOGIC;

EID: 77952383739     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1101908.1101975     Document Type: Conference Paper

References (11)

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. Theo. Comp. Sci., 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. Proc. of IEEE, 91:11-28, 2003.
3. K. Havelund and G. Rosu. Monitoring java programs with java pathexplorer. In RV'01, 2001.
4. M. Kim, S. Kannan, I. Lee, and O. Sokolsky. Java-mac: a run-time assurance tool for Java. In RV'01, 2001.
5. O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In REX Workshop, LNCS 600, 1991.
6. 2IST toolkit. University of pennsylvania. In http://www.cis.upenn.edu/~tanli/tools/mist.html, 2003.
7. A. K. Mok and G. T. Liu. Efficient run-time monitoring of timing constraints. In RTAS'97, 1997.
8. Simulink and Stateflow. The MathWorks, Inc. In http://www.mathworks.com.
9. J. Sztipanovits and G. Karsai. Model-integrated computing. IEEE computer, pages 110-111, 1997.
10. L. Tan, J. Kim, and I. Lee. Testing and monitoring model-based generated program. In RV'03, volume 89
11. of Electronic Notes in Theo. Comp. Sci., 2003.