Efficient WCRT analysis of synchronous programs using reachability

Kuo, M; Sinha, Roopak; Roop, Parthasarathi

dc.contributor.author	Kuo, M	en
dc.contributor.author	Sinha, Roopak	en
dc.contributor.author	Roop, Parthasarathi	en
dc.coverage.spatial	San Diego, CA	en
dc.date.accessioned	2012-04-04T20:30:55Z	en
dc.date.issued	2011	en
dc.identifier.citation	48th ACM/IEEE/EDAC Design Automation Conference (DAC), San Diego, CA, 05 Jun 2011 - 09 Jun 2011. PROCEEDINGS OF THE 48TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC). ASSOC COMPUTING MACHINERY. 480-485. 01 Jan 2011	en
dc.identifier.isbn	978-1-4503-0636-2	en
dc.identifier.uri	http://hdl.handle.net/2292/16755	en
dc.description.abstract	Static computation of the worst-case reaction time (WCRT) is required for the real-time execution of synchronous programs. Existing approaches use model checking or integer linear programming. we formulate this as an abstraction-based reachability analysis yielding a lower worst case complexity. Benchmarking shows a significant overall speed-up of 64-times over existing approaches.	en
dc.publisher	IEEE	en
dc.relation.ispartof	48th ACM Design Automation Conference (DAC)	en
dc.relation.ispartofseries	Design Automation Conference (DAC), 2011 48th ACM/EDAC/IEEE	en
dc.rights	Items in ResearchSpace are protected by copyright, with all rights reserved, unless otherwise indicated. Previously published items are made available in accordance with the copyright policy of the publisher.	en
dc.rights.uri	https://researchspace.auckland.ac.nz/docs/uoa-docs/rights.htm	en
dc.title	Efficient WCRT analysis of synchronous programs using reachability	en
dc.type	Conference Item	en
pubs.begin-page	480	en
dc.rights.holder	Copyright: IEEE	en
pubs.author-url	http://ieeexplore.ieee.org/xpl/tocresult.jsp?sortType%3Dasc_p_Sequence%26filter%3DAND%28p_IS_Number%3A5981698%29&searchWithin=Efficient%20WCRT%20analysis%20of%20synchronous%20programs%20using%20reachability&pageNumber=1&resultAction=REFINE	en
pubs.end-page	485	en
pubs.finish-date	2011-06-09	en
pubs.start-date	2011-06-05	en
dc.rights.accessrights	http://purl.org/eprint/accessRights/OpenAccess	en
pubs.subtype	Proceedings	en
pubs.elements-id	216158	en
pubs.org-id	Engineering	en
pubs.org-id	Department of Electrical, Computer and Software Engineering	en
pubs.record-created-at-source-date	2011-08-02	en