Please use this identifier to cite or link to this item: http://buratest.brunel.ac.uk/handle/2438/9692
Title: Deriving real-time action systems with multiple time bands using algebraic reasoning
Authors: Dongol, B
Hayes, IJ
Derrick, J
Keywords: Action systems;Algebraic reasoning;Program refinement;Sampling logic;Time bands
Issue Date: 2014
Publisher: Elsevier
Citation: Science of Computer Programming, 85 (PART B): 137 - 165, ( 1 June 2014)
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.
URI: http://www.sciencedirect.com/science/article/pii/S0167642313002025
http://bura.brunel.ac.uk/handle/2438/9692
DOI: http:dx.doi.org/10.1016/j.scico.2013.08.009
ISSN: 0167-6423
Appears in Collections:Dept of Computer Science Research Papers

Files in This Item:
File Description SizeFormat 
Fulltext.pdf469.44 kBAdobe PDFView/Open


Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.