Visual timed event scenarios

Proceedings - International Conference on Software Engineering

Volumn 26, Issue , 2004, Pages 168-177

  Alfonso, A ^a   Braberman, V ^a   Kicillof, N ^a   Olivero, A ^b  

^a UNIVERSIDAD DE BUENOS AIRES   (Argentina)

^b UNIVERSIDAD ARGENTINA DE LA EMPRESA   (Argentina)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; COMPUTER AIDED ANALYSIS; COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; EMBEDDED SYSTEMS; REAL TIME SYSTEMS; SYSTEMS ENGINEERING;

COMPUTER AIDED VERIFICATION TECHNIQUES; SAFETY CRITICAL SYSTEMS; TIMED AUTOMATON MODEL; VTS;

SOFTWARE ENGINEERING;

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

References (29)

1. A. Alfonso. Un lenguaje visual para la especificación y verificación automática de requerimientos de tiempo real complejos. Master's thesis, FCEyN. Universidad de Buenos Aires, 2003.
2. R. Alur, C. Courcoubetis, and D. L. Dill. Model-checking in dense real-time. Information and Computation, 104(1):2-34, 1993.
3. R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, 126(2):183-235, 1994.
4. N. Amla, E. A. Emerson, and K. S. Namjoshi. Efficient decompositional model checking for regular timing diagrams. In Porc. of Intl. Conf. on Correct Hardware Design and Verification Methods, volume 1703 of LNCS, pages 67-81. Springer Verlag, 1999.
5. T. Amnell, E. Fersman, L. Mokrushin, P. Pettersson, and W. Yi. TIMES - A tool for modelling and implementation of embedded systems. In Proc. of the 8th Conf. TACAS '02, volume 2280 of LNCS, pages 460-464. Springer Verlag, 2002.
6. G. S. Avrunin, J. C. Corbett, and L. K. Dillon. Analyzing partially-implemented red-time systems. In Proc. of the 18th ACM/IEEE Conf. ICSE '97, pages 228-238. IEEE, 1997.
7. P. C. Bates. Debugging heterogeneous distributed systems using event-based models of behaviour. ACM Transactions on Computer Systems, 13(1):1-31, 1995.
8. J. Bengtsson, K. G. Larsen, F. Larsson, P. Pettersson, and W. Yi. UPPAAL - a tool suite for automatic verification of real-time systems. In Proc. of the Intl. Conf. on Hybrid Systems, pages 232-243. Springer Verlag, 1995.
9. V. Bertin, E. Closse, M. Poize, J. Pulou, J. Sifakis, P. Venier, D. Weil, and S. Yovine. Taxys = esterel + kronos - a tool for verifying real-time properties of embedded systems. In Proc. of Conf. CDC '01. IEEE Control Systems Society, 2001.
10. M. Bozga, C. Daws, O. Maler, A. Olivero, S. Tripakis, and S. Yovine. Kronos: A model-checking tool for real-time systems. In Proc. of the 10th Intl. Conf. CAV '98, volume 1427 of LNCS, pages 546-550. Springer Verlag, 1998.
11. V. A. Braberman and M. Felder. Verification of real-time designs: combining scheduling theory with automatic formal verification. In Proc. of the 7th ACM/SIGSOFT Intl. Conf. ESEC/FSE '99, pages 494-510. Springer Verlag, 1999.
12. V. A. Braberman, D. Garbervetsky, and A. Olivero. Improving the verification of timed systems using influence information. In Proc. of the 8th Intl. Conf TACAS '02, volume 2280 of LNCS, pages 21-36. Springer Verlag, 2002.
13. M. Consens and A. Mendelzon. Hy+: a Hygraph-based query and visualization system. In Proc. of the ACM Intl. Conf. SIGMOD '93, pages 511-516, 1993.
14. D. Drusinsky. The temporal rover and the ATG rover. In Proc. of the 7th Intl. Workshop SPIN, volume 1885 of LNCS, pages 323-330. Springer Verlag, 2000.
15. M. B. Dwyer, G. S. Avrunin, and J. C. Corbett. Patterns in property specifications for finite-state verification. In Proc. of the 21th ACM/IEEE ICSE '99, pages 411-420. ACM Press, 1999.
16. T. Firley, M. Huhn, K. Diethers, T. Gehrke, and U. Goltz. Timed sequence diagrams and tool-based analysis A case study. In Proc. of the 2nd Intl. Conf. UML '99, volume 1723 of LNCS, pages 645-660. Springer Verlag, October 1999.
17. D. Giannakopoulou and J. Magee. Fluent model checking for event-based systems. In Proc. of the ACM/SIGSOFT Intl. Conf. ESEC/FSE2003, pages 257-266. ACM, September 2003.
18. D. Harel and R. Marelly. Playing with time: On the specification and execution of time-enriched Iscs. In Proc. of the 10th IEEE/ACM Intl. Symp. MASCOTS '02, pages 193-202. IEEE Computer Society, 2002.
19. K. Havelund and G. Rosu. Monitoring Java programs with Java pathexplorer. In Proc. of the 1st Intl. Workshop RV '01, volume 55. ENTCS, Elsevier, 2001.
20. K. Havelund and G. Rosu. Synthesizing monitors for safety properties. In Proc. of the 8th Intl. Conf. TACAS '02, volume 2280 of LNCS, pages 342-356. Springer Verlag, 2002.
21. J. C. Fernandez, C. Jard, T. Jeron, and G. Viho. Using on-the-fly verification techniques for the generation of test suites. In Proc. of 8th Intl. Conf. CAV '96, volume 1102 of LNCS, pages 348-359. Springer Verlag, 1996.
22. I. Lee, S. Kannan, M. Kim, O. Sokolsky, and M. Viswanathan. Runtime assurance based on formal specifications. In Proc. of the IEEE Intl. Conf. PDPTA '99, 1999.
23. M. Mansouri-Samani and M. Sloman. Gem: A generalized event monitoring language for distributed systems. Distributed Systems Engineering Journal, 4(2):96-108, 1997.
24. N. F. Maxemchuk and D. H. Shur. An Internet multicast system for the stock market. ACM Transactions on Computer Systems, 19(3):384-412, 2001.
25. C. Sanchez, S. Sankaranarayanan, H. Sipma, T. Zhang, D. Dill, and Z. Manna. Event correlation: Language and semantics. In Proc. of the 3rd Intl. Conf. EMSOFT '03, volume 2855 of LNCS. Springer Verlag, 2003.
26. M. H. Smith, G. J. Holzmann, and K. Etessami. Events and constraints: A graphical editor for capturing logic requirements of programs. In Proc. of the 5th IEEE Intl. Symp. RE'01, pages 14-22, 2001.
27. R. Snodgrass. A relational approach to monitoring complex system. ACM Transactions on Computer Systems, 6(2):157-196, 1988.
28. S. Uchitel, J. Kramer, and J. Magee. Negative scenarios for implied scenario elicitation. In Proc. of the 10th ACM/SIGSOFT Intl. Conf. FSE '02, pages 109-118, ACM Press, 2002.
29. D. Zhu and A. S. Sethi. Sel, a new event pattern specification language for event correlation. In Proc. of the IEEE Intl. Conf. ICCCN '01, pages 586-589, 2001.