Please use this identifier to cite or link to this item:
|Title:||Deriving real-time action systems with multiple time bands using algebraic reasoning|
|Keywords:||Action systems;Algebraic reasoning;Program refinement;Sampling logic;Time bands|
|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.|
|Appears in Collections:||Dept of Computer Science Research Papers|
Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.