Runtime Verification for Stream Processing Applications

Colombo, Christian; Pace, Gordon J.; Camilleri, Luke; Dimech, Claire; Farrugia, Reuben A.; Grech, Jean Paul; Magro, Alessio; Sammut, Andrew; Adami, Kristian Zarb

doi:10.1007/978-3-319-47169-3_32

Cited by 4 publications

(8 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…However, there is currently insufficient attention to the automatic determination of properties during execution. Stochastic models [9] and stream processing applications [10] is a promising trend in solving runtime verification problems.…”

Section: Related Workmentioning

confidence: 99%

The Examination of Shall Be Impossible Situations for Verification During Execution

Šeinauskas¹

2018

AJCST

View full text Add to dashboard Cite

Runtime verification is looking for violations of the properties of the system functioning. Finding and describing the system properties that indicate behavioural disorders is a complex and labour-intensive process that needs to be automated. This article describes how system properties can be determined automatically during the correct functioning. Inspection of the combinations of fulfilled properties makes it possible to detect more system problems. Three methods of handling property combinations are offered. The methods are based on the examination of the input sequences and output results. In order to increase the volume of the properties of the system under consideration, only the possible pairs of properties are analysed. Pairs are formed from the output properties, as well as from the input conditions and output properties, and the maximum possible number of property pairs is evaluated. The available property pairs are captured during the operation. Impossible combinations of properties that never occur during the execution highlight situations that are not possible during proper functioning. Capture of impossible property pairs during verification indicates system problems. During the experiment, five types of disorders and three detection methods were considered. Experimental results show that there is no single best method for detecting disorders. Therefore, it is appropriate at the same time to use several methods to detect disorders. The experiment shows how much of the disorders can detect the proposed approach.

show abstract

Section: Related Workmentioning

confidence: 99%

The Examination of Shall Be Impossible Situations for Verification During Execution

Šeinauskas¹

2018

AJCST

View full text Add to dashboard Cite

show abstract

“…Through the use of runtime monitoring this can be alleviated by enabling the user to specify rules in a purposely-designed language [13,16].…”

Section: Case Studiesmentioning

confidence: 99%

“…Through the use of runtime verification, voluminous logs of user actions on a web interface could be recognised efficiently as fitting into particular usage patterns and generating usage statistics [16].…”

Section: Case Studiesmentioning

confidence: 99%

“…One way of automating this is by allowing a user to specify rules which would classify suspicious behaviour. A case study has been carried out at a high security venue in Malta using this technique [16].…”

Section: Case Studiesmentioning

confidence: 99%

“…While there are techniques in place to achieve this, runtime monitoring techniques provide another alternative [16].…”

Section: Case Studiesmentioning

confidence: 99%

See 2 more Smart Citations