Deriving real-time action systems with multiple time bands using algebraic reasoning

Dongol, Brijesh, Hayes, Ian J. and Derrick, John (2014) Deriving real-time action systems with multiple time bands using algebraic reasoning. Science of Computer Programming, 85 PART B: 137-165. doi:10.1016/j.scico.2013.08.009


Author Dongol, Brijesh
Hayes, Ian J.
Derrick, John
Title Deriving real-time action systems with multiple time bands using algebraic reasoning
Journal name Science of Computer Programming   Check publisher's open access policy
ISSN 0167-6423
1872-7964
Publication date 2014-06-01
Year available 2013
Sub-type Article (original research)
DOI 10.1016/j.scico.2013.08.009
Volume 85
Issue PART B
Start page 137
End page 165
Total pages 29
Place of publication Amsterdam, Netherlands
Publisher Elsevier
Language eng
Abstract The verify-while-develop paradigm allows one to incrementally develop programs from their specifications using a series of calculations against the remaining proof obligations. This paper presents a derivation method for real-time systems with realistic constraints on their behaviour. We develop a high-level interval-based logic that provides flexibility in an implementation, yet allows algebraic reasoning over multiple granularities and sampling multiple sensors with delay. The semantics of an action system is given in terms of interval predicates and algebraic operators to unify the logics for an action system and its properties, which in turn simplifies the calculations and derivations.
Keyword Action systems
Algebraic reasoning
Program refinement
Sampling logic
Time bands
Q-Index Code C1
Q-Index Status Confirmed Code
Institutional Status UQ
Additional Notes Special Issue on Mathematics of Program Construction 2012

Document type: Journal Article
Sub-type: Article (original research)
Collections: Official 2014 Collection
School of Information Technology and Electrical Engineering Publications
 
Versions
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: Tue, 15 Apr 2014, 11:17:01 EST by System User on behalf of School of Information Technol and Elec Engineering