Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/24527
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Bondin, Ingram | - |
dc.contributor.author | Pace, Gordon J. | - |
dc.contributor.author | Colombo, Christian | - |
dc.date.accessioned | 2017-12-12T09:27:29Z | - |
dc.date.available | 2017-12-12T09:27:29Z | - |
dc.date.issued | 2009 | - |
dc.identifier.citation | Bondin, I., Pace, G. J., & Colombo, C. (2009). Slowdown invariance of timed regular expressions. 2nd WICT National Workshop in Information and Communication Technology (WICT 2009), Valletta. 1-6. | en_GB |
dc.identifier.uri | https://www.um.edu.mt/library/oar//handle/123456789/24527 | - |
dc.description.abstract | In critical systems, it is frequently essential to know whether the system satisfies a number of real-time constraints, usually specified in a real-time logic such as timed regular expressions. However, after having verified a system correct, changes in its environment may slow it down or speed it up, possibly invalidating the properties. Colombo et al. (1) have presented a theory of slowdown and speedup invariance to determine which specifications are safe with respect to system retiming, and applied the approach to duration calculus. In this paper we build upon their approach, applying it to timed regular expressions. We hence identify a fragment of the logic which is invariant under the speedup or slowdown of a system, enabling more resilient verification of properties written in the logic. | en_GB |
dc.language.iso | en | en_GB |
dc.publisher | University of Malta. Faculty of Information and Communication Technology | en_GB |
dc.rights | info:eu-repo/semantics/openAccess | en_GB |
dc.subject | Object-oriented methods (Computer science) | en_GB |
dc.subject | Computer software -- Development | en_GB |
dc.subject | Computer software -- Quality control | en_GB |
dc.title | Slowdown invariance of timed regular expressions | en_GB |
dc.type | conferenceObject | en_GB |
dc.rights.holder | The copyright of this work belongs to the author(s)/publisher. The rights of this work are as defined by the appropriate Copyright Legislation or as modified by any successive legislation. Users may access this work and can make use of the information contained in accordance with the Copyright Legislation provided that the author must be properly acknowledged. Further distribution or reproduction in any format is prohibited without the prior permission of the copyright holder | en_GB |
dc.bibliographicCitation.conferencename | 2nd WICT National Workshop in Information and Communication Technology (WICT 2009) | en_GB |
dc.bibliographicCitation.conferenceplace | Valletta, Malta, 17/11/2009 | en_GB |
dc.description.reviewed | peer-reviewed | en_GB |
Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Slowdown_Invariance_of_Timed_Regular_Expressions.pdf | 181.76 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.