Please use this identifier to cite or link to this item:
http://bura.brunel.ac.uk/handle/2438/9692
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Dongol, B | - |
dc.contributor.author | Hayes, IJ | - |
dc.contributor.author | Derrick, J | - |
dc.date.accessioned | 2015-01-12T12:08:35Z | - |
dc.date.available | 2014 | - |
dc.date.available | 2015-01-12T12:08:35Z | - |
dc.date.issued | 2014 | - |
dc.identifier.citation | Science of Computer Programming, 85 (PART B): 137 - 165, ( 1 June 2014) | en_US |
dc.identifier.issn | 0167-6423 | - |
dc.identifier.uri | http://www.sciencedirect.com/science/article/pii/S0167642313002025 | - |
dc.identifier.uri | http://bura.brunel.ac.uk/handle/2438/9692 | - |
dc.description.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. | en_US |
dc.format.extent | 137 - 165 | - |
dc.format.extent | 137 - 165 | - |
dc.language | eng | - |
dc.language.iso | en | en_US |
dc.publisher | Elsevier | en_US |
dc.subject | Action systems | en_US |
dc.subject | Algebraic reasoning | en_US |
dc.subject | Program refinement | en_US |
dc.subject | Sampling logic | en_US |
dc.subject | Time bands | en_US |
dc.title | Deriving real-time action systems with multiple time bands using algebraic reasoning | en_US |
dc.type | Article | en_US |
dc.identifier.doi | http:dx.doi.org/10.1016/j.scico.2013.08.009 | - |
dc.relation.isPartOf | Science of Computer Programming | - |
dc.relation.isPartOf | Science of Computer Programming | - |
pubs.issue | PART B | - |
pubs.issue | PART B | - |
pubs.volume | 85 | - |
pubs.volume | 85 | - |
pubs.organisational-data | /Brunel | - |
pubs.organisational-data | /Brunel/Brunel Staff by College/Department/Division | - |
pubs.organisational-data | /Brunel/Brunel Staff by College/Department/Division/College of Engineering, Design and Physical Sciences | - |
pubs.organisational-data | /Brunel/Brunel Staff by College/Department/Division/College of Engineering, Design and Physical Sciences/Dept of Computer Science | - |
pubs.organisational-data | /Brunel/Brunel Staff by College/Department/Division/College of Engineering, Design and Physical Sciences/Dept of Computer Science/Computer Science | - |
Appears in Collections: | Dept of Computer Science Research Papers |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Fulltext.pdf | 469.44 kB | Adobe PDF | View/Open |
Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.