The Community for Technology Leaders
RSS Icon
Subscribe
Shanghai
Sept. 21, 2005 to Sept. 23, 2005
ISBN: 0-7695-2432-X
pp: 805-809
Peng Rong , Wuhan University
Cui Jingsong , Wuhan University
Pan Yue , Wuhan University
ABSTRACT
<p>A Time-Action-Lock (TAL) is a state of a real-time system at which neither time can progress nor an action can occur. B. Behzad and O. Kozo presented a TAL-freeness detection method based on the geometry of Timed Automata. It is realized by means of translating the problem to Rational Presburger Sentences that has its drawback of inefficiency. In this paper, we present an algebraic approach for TALfreeness detection, which can dramatically improve the performance of the method previously published. Detailed correctness proofs and performance analysis are provided.</p>
INDEX TERMS
null
CITATION
Peng Rong, Cui Jingsong, Pan Yue, "Efficient Deadlock-Freeness Detection in Real-time Systems", CIT, 2005, The Fifth International Conference on Computer and Information Technology CIT 2005, The Fifth International Conference on Computer and Information Technology CIT 2005 2005, pp. 805-809, doi:10.1109/CIT.2005.107
28 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool