Please use this identifier to cite or link to this item: https://doi.org/10.1109/RTCSA.2006.48|
Title: Optimization of real-time systems timing specifications
Authors: Andrei, Ş. 
Cheng, A.M.K.
Keywords: Formal method
Optimization
Timing constraint
Issue Date: 2006
Citation: Andrei, Ş., Cheng, A.M.K. (2006). Optimization of real-time systems timing specifications. Proceedings - 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2006 : 68-74. ScholarBank@NUS Repository. https://doi.org/10.1109/RTCSA.2006.48|
Abstract: Real-time logic (RTL) is useful for the verification of a safety assertion SA with respect to the specification SP of a real-time system. Since the satisfiability problem for RTL is undecidable, there were many efforts to find proper heuristics for proving that SP → SA holds. However, none of such heuristics necessarily finds an "optimal implication". After verifying SP → SA, and the system implementing SP is deployed, performance changes as a result of powersaving, faulty components, and cost-saving in the processing platform for the tasks specified in SP affect the computation times of the specified tasks. This leads to a different but related SP, which would violate the original SP → SA theorem if SA remains the same. It is desirable, therefore, to determine an optimal SP with the slowest possible computation times for its tasks such that the SA is still guaranteed. This is clearly a fundamental issue in the design and implementation of highly dependable real-time/embedded systems. This paper tackles this fundamental issue by describing a new method for relaxing SP and tightening SA such that SP → SA is still a theorem. Experimental results show that less than 20% overhead of the running time of the algorithm for the verification of SP → SA is needed to find an optimal theorem. © 2006 IEEE.
Source Title: Proceedings - 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2006
URI: http://scholarbank.nus.edu.sg/handle/10635/40641
ISBN: 0769526764
DOI: 10.1109/RTCSA.2006.48|
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

5
checked on Aug 16, 2018

Page view(s)

61
checked on Jul 13, 2018

Google ScholarTM

Check

Altmetric


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