A Formal Syntax for Probabilistic Timed Property Sequence Charts

Authors:
Pengcheng Zhang;Lars Grunske;Antony Tang;Bixin Li
Affiliations:
-;-;-;-
Venue:
ASE '09 Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering
Year:
2009

Citing 0
Cited 3

Timed Property Sequence Chart

Journal of Systems and Software
A classification and comparison of model checking software architecture techniques

Journal of Systems and Software
WS-PSC monitor: a tool chain for monitoring temporal and timing properties in composite service based on property sequence chart

RV'10 Proceedings of the First international conference on Runtime verification

Quantified Score

Hi-index	0.00

Visualization

Abstract

Probabilistic properties are considered as the most important requirements for a variety of software systems, since they are used to formulate extra-functional requirements such as reliability, availability, safety, security and performance requirements. Currently, several probabilistic logics have been proposed to specify such important properties. However, due to the inherent complexity of the underlying temporal logics, these probabilistic logics are rather complex and software developers have problems using them to correctly specify the intended properties. To overcome this problem, we define a formal and graphical property specification language called Probabilistic Timed Property Sequence Charts (PTPSC) which is a probabilistic extension of Property Sequence Charts (PSC). We illustrate the use of PTPSC in the context of a vehicle-tovehicle communication device for avoiding traffic accidents.