%0 Journal Article %1 TimingConstr1998 %A Grundon, Steve %A Hayes, Ian %A Fidge, Colin %D 1997 %J ComputerScience %K equitations mgr todo_tags %T Timing Constraint Analysis %U http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.35.8567&rep=rep1&type=pdf %X Programs written for real-time applications must respect absolute deadlines and other `hard' real-time requirements. We present an analysis method for extracting the timing constraints imposed upon a program by source code timing directives. These timing constraints are generated in a simplified form suitable for verification.

@article{TimingConstr1998, abstract = {Programs written for real-time applications must respect absolute deadlines and other `hard' real-time requirements. We present an analysis method for extracting the timing constraints imposed upon a program by source code timing directives. These timing constraints are generated in a simplified form suitable for verification.}, added-at = {2009-07-16T14:16:37.000+0200}, author = {Grundon, Steve and Hayes, Ian and Fidge, Colin}, biburl = {https://www.bibsonomy.org/bibtex/2edac99a5088562f8df282e16c9a96dfc/gwpl}, interhash = {ce9459f2122069d6ae40e9aaadb1e8a0}, intrahash = {edac99a5088562f8df282e16c9a96dfc}, journal = {ComputerScience}, keywords = {equitations mgr todo_tags}, month = {November}, note = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.8567 Phone: +61 7 3365 1003 Fax: +61 7 3365 1533 http://svrc.it.uq.edu.au }, school = {The University of Queensland, Queensland 4072, Australia}, timestamp = {2009-07-16T14:16:37.000+0200}, title = {Timing Constraint Analysis}, type = {Technical Report No. 97-42}, url = {http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.35.8567&rep=rep1&type=pdf}, year = 1997 }