RVERL: Run-time verification of real-time and reactive programs using event-based real-time logic approach

Proceedings - SERA 2007: Fifth ACIS International Conference on Software Engineering Research, Management, and Applications

Volumn , Issue , 2007, Pages 550-557

  Jalili, Saeed ^a   MirzaAghaei, Mehdi ^a  

^a TARBIAT MODARES UNIVERSITY   (Iran)

Author keywords

Aspectoriented approach; Event based Real Time Logic (ERL); Real time and reactive program; Runtime Verification (RV)

Indexed keywords

ASPECT ORIENTED APPROACH; EVENT BASED REAL TIME LOGIC (ERL); REACTIVE PROGRAM; RUNTIME VERIFICATION (RV);

FORMAL METHODS; LOGIC PROGRAMMING; REAL TIME SYSTEMS; SPECIFICATION LANGUAGES; VERIFICATION;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 38649131422     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SERA.2007.116     Document Type: Conference Paper

References (24)

1. M. Mullerburg, L. Holenderski, O. Maffeis and M. Morley. Systematic testing and formal verification to validate reactive programs. Software Quality Journal, Vol 4, No 4, pp. 287-307, 1995.
2. I. Lee, S. Kannan, M. Kim, O. Sokolsky and M. Viswanathan. Runtime assurance based on formal specifications. In Proc. of the Int. Conference on Parallel and Distributed Processing Techniques and Applications, 1999.
3. C. Artho et al. Combining test case generation and runtime verification. Theoretical Computer Science. Vol 336, pp. 209-234, 2005.
4. RTI. The Economic Impacts of Inadequate Infrastructure for Software Testing. Health, Social, and Economic Research, Project No. 7007001, Research Triangle Park, NC 2002.
5. N. Delgado, A. Q. Gates and S. Roach. A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools. IEEE Transaction on Software engineering. Vol. 30, No. 12, 2004.
6. N. J. Kristoffersen, C. Pedersen and H.R. Andersen. Runtime verification of timed LTL using disjunctive normalized equation systems. Proc. of 3rd Int. Workshop on Runtime Verification, ENTCS 89, No. 2, Elsevier Science Publishers, Amsterdam, 2003.
7. P. Bellini, R. Mattolini, and P. Nesi. Temporal Logics for Real-Time System Specification. ACM Computing Surveys, Vol. 32, No. 1, March 2000.
8. H. Chen, J.J.P Tsai and Y. Bi. An event-based realtime logic to specify the behavior and timing properties of real-time systems. Proc. of 3rd Int. Conference on Tools for A.I, 1991.
9. M. K. Cheng. Real-Time Systems: Scheduling, Analysis and Verification. John Wiley, July 2002.
10. F. Jahanian, A. K. Mok, "Modechart: A Specification Language for Real-Time Systems", IEEE Transaction on Software Engineering, Vol. 20, No. 12, 1994.
11. Kiczales gregor, L. John and M. Chris. Aspect-Oriented Programming. Proc. of European Conference in object-oriented programming, Springer, LNCS 1241, 1997.
12. D. Mahrenholz, O. Spinczyk, W. Schroder-Preikschat, Program instrumentation for debugging and monitoring with AspectC++, Proceedings of the Fifth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, pp. 249-256, 2002.
13. AspectJ, in http://www.eclipse.org/aspecti/, 2006.
14. V. Stolz and E. Bodden. Temporal Assertions using AspectJ. ENTCS 144, pp. 109-126, Elsevier Science Publishers, 2006.
15. C. Heitmeyer, R.D. Jeffords and B. Labaw. A benchmark for comparing different approaches for specifying and verifying real-time systems. In Proc. 10th Int Workshop on Real-Time Operating Systems and Software, May 1993.
16. E. Kindler, "Safety and Liveness Properties: A Survey," Bulletin of the European Association for Theoretical Computer Science, vol. 53, pp. 268 - 272, 1994.
17. A. Popovici, T. Gross and G. Alonso. Dynamic Weaving for Aspect-Oriented Programming. AOSD ACM, 2002.
18. K. Havelund and G. Rosu. An Overview of the Runtime Verification Tool Java PathExplorer. Formal Methods in System Design, Vol 24, No 2, pp. 189-215, 2004.
19. R.J. Walker and K. Viggers. Implementing protocols via declarative event patterns. In R.N. Taylor and M.B. Dwyer, editors, 12th International Symposium on the Foundations of Software Engineering. ACM, 2004.
20. C. Allan, P. Avgustinov, A.S. Simon, L. Hendren, S. Kuzins, O. Lhot'ak, O. de Moor, D. Sereni, G. Sittamplan, and J. Tibbie. Adding trace matching to AspectJ (submitted to OOPSLA'05). abc Technical Report abc-2005-01, McGill University, 2004.
21. K. Klose and K. Ostermann. Back to the future: Pointcuts as predicates over traces. In Foundations of Aspect-Oriented Languages workshop (FOAL'05), USA, 2005.
22. M. Kim, M. Viswanathan, S. Kannan, I. Lee and O. V. Sokolsky. Java-MaC: A Run-time Assurance Approach for Java Programs. Formal Methods in System Design, Vol 24, No 2, pp. 129-155, 2004.
23. J. S. Valgrind and N. Nethercote, A Program Supervision Framework. In Third Workshop on Runtime Verification (RV'03), volume 89 of Electronic Notes in Theoretical Computer Science. Elsevier Science Publishers, 2003.
24. D. Drusinsky. The Temporal Rover and the ATG Rover. 7th Int. SPIN Workshop, Springer, LNCS 1885, pp. 323-330, Stanford, USA, 2000.