A formal syntax for probabilistic timed property sequence charts

ASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering

Volumn , Issue , 2009, Pages 500-504

  Zhang, Pengcheng ^a   Grunske, Lars ^b   Tang, Antony ^b   Li, Bixin ^b  

^a SOUTHEAST UNIVERSITY   (China)

^b SWINBURNE UNIVERSITY OF TECHNOLOGY   (Australia)

Author keywords

Probabilistic and timed property sequence chart; Probabilistic properties; Property sequence chart

Indexed keywords

FUNCTIONAL REQUIREMENT; INHERENT COMPLEXITY; PROBABILISTIC EXTENSION; PROPERTY SPECIFICATION LANGUAGE; SECURITY AND PERFORMANCE; SEQUENCE CHARTS; SOFTWARE DEVELOPER; SOFTWARE SYSTEMS; TRAFFIC ACCIDENTS; VEHICLE-TO-VEHICLE COMMUNICATION;

SOFTWARE ENGINEERING; SOFTWARE RELIABILITY; SPECIFICATION LANGUAGES;

PROBABILISTIC LOGICS;

EID: 77549083430     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2009.56     Document Type: Conference Paper

References (16)

1. R. Alur, C. Courcoubetis, and D. Dill, "Model-checking in dense real-time," Information and Computation, vol.104, no.1, pp. 2-34, 1993.
2. R. Alur and D. L. Dill, "A theory of timed automata," Theor. Comput. Sci., vol.126, no.2, pp. 183-235, 1994.
3. M. Autili, P. Inverardi, and P. Pelliccione, "Graphical scenarios for specifying temporal properties: an automated approach," Automated Software Engineering, vol.14, no.3, pp. 293-340, 2007.
4. A. Aziz, V. Singhal, and F. Balarin, "It usually works: The temporal logic of stochastic systems," in Proc. 7th Int. Conference on Computer Aided Verification, CAV 95, ser. LNCS, vol.939. Springer, 1995, pp. 155-165.
5. C. Baier, J.-P. Katoen, and H. Hermanns, "Approximate symbolic model checking of continuous-time markov chains," in Proc. 10th International Conference on Concurrency Theory, CONCUR 99, ser. LNCS, J. C. M. Baeten and S. Mauw, Eds., vol.1664. Springer, 1999, pp. 146-161.
6. W. Damm and D. Harel, "LSCs: Breathing life into message sequence charts," Formal Methods in System Design, vol.19, no.1, pp. 45-80, 2001. (Pubitemid 32697643)
7. L. Grunske, "Specification patterns for probabilistic quality properties," in 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, Robby, Ed. ACM, 2008, pp. 31-40.
8. L. Grunske and P. Zhang, "Monitoring probabilistic properties," in Proc. 7th joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE) ESEC-FSE 09, 2009, pp. 183-192.
9. H. Hansson and B. Jonsson, "A logic for reasoning about time and reliability," Formal Aspects of Computing, vol.6, no.5, pp. 512-535, 1994.
10. D. Jiang, V. Taliwal, A. Meier, W. Holfelder, and R. Herrtwich, "Design of 5.9 GHz DSRC-based vehicular safety communication," IEEE Wireless Communication, vol.16, no.2, pp. 36-43, 2006.
11. M. Z. Kwiatkowska, G. Norman, D. Parker, and J. Sproston, "Performance analysis of probabilistic timed automata using digital clocks," Formal Methods in System Design, vol.29, no.1, pp. 33-78, 2006. (Pubitemid 44075773)
12. U. D. of Transportation, Vehicle Safety Communications Project. Washington D.C.: National Highway Traffic Safety Administration, 2006.
13. A. Pretschner, M. Broy, I. H. Krüger, and T. Stauner, "Software engineering for automotive systems: A roadmap," in International Conference on Software Engineering, ICSE 2007, Workshop on the Future of Software Engineering, FOSE 2007, L. C. Briand and A. L. Wolf, Eds., 2007, pp. 55-71.
14. A. Refsdal, K. E. Husa, and K. Stølen, "Specification and refinement of soft real-time requirements using sequence diagrams," in FORMATS '05, ser. LNCS, vol.3829. Springer, 2005, pp. 32-48.
15. A. Tang and A. Yip, "Collision avoidance timing analysis of DSRC-based vehicles," Accident Analysis and Prevention, p. In Press, 2009.
16. P. Zhang, B. Li, and M. Sun, "A timed extension of property sequence chart," in 11th IEEE High Assurance Systems Engineering Symposium(HASE'08). Nanjing, China: IEEE Computer Society, 2008, pp. 197-206.