Deriving real-time action systems in a sampling logic

Dongol, Brijesh and Hayes, Ian J. (2013) Deriving real-time action systems in a sampling logic. Science of Computer Programming, 78 11: 2047-2063. doi:10.1016/j.scico.2012.07.008

Author Dongol, Brijesh
Hayes, Ian J.
Title Deriving real-time action systems in a sampling logic
Journal name Science of Computer Programming   Check publisher's open access policy
ISSN 0167-6423
Publication date 2013-11
Year available 2012
Sub-type Article (original research)
DOI 10.1016/j.scico.2012.07.008
Open Access Status DOI
Volume 78
Issue 11
Start page 2047
End page 2063
Total pages 17
Place of publication Amsterdam, The Netherlands
Publisher Elsevier BV
Collection year 2014
Language eng
Formatted abstract
 Action systems have been shown to be applicable for modelling and constructing systems in both discrete and hybrid domains. We present a novel semantics for action systems using a sampling logic that facilitates reasoning about the truly concurrent behaviour between an action system and its environment. By reasoning over the apparent states, the sampling logic allows one to determine whether a state predicate is definitely or possibly true over an interval. We present a semantics for action systems that allows the time taken to sample inputs and evaluate expressions (and hence guards) into account. We develop a temporal logic based on the sampling logic that facilitates formalisation of safety, progress, timing and transient properties. Then, we incorporate this logic to the method of enforced properties, which facilitates stepwise refinement of action systems.
Keyword Sampling logic
Action systems
Temporal logic
Enforced properties
Program refinement
Q-Index Code C1
Q-Index Status Confirmed Code
Institutional Status UQ

Document type: Journal Article
Sub-type: Article (original research)
Collections: Official 2014 Collection
School of Information Technology and Electrical Engineering Publications
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 3 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 3 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Sun, 20 Oct 2013, 00:02:48 EST by System User on behalf of School of Information Technol and Elec Engineering