A Methodology for Compilation of High-Integrity Real-Time Programs
作者： Karl Lermer , Colin Fidge
DOI: 10.1007/BFB0002883
关键词:
摘要: A practical methodology for compilation of trustworthy real-time programs is introduced. It combines new program development and timing analysis techniques with traditional assembly technologies.
uq.edu.au
springer.com参考文章(25)
James R. Larus, Assemblers, Linkers, and the SPIM Simulator Computer Organization and Design#R##N#The Hardware / Software Interface. ,(1993) , 10.1016/B978-1-4832-0775-9.50018-X
Mark Utting, Colin Fidge, A real-time refinement calculus that changes only time British Computer Society Learning & Development. ,(1996) , 10.14236/EWIC/RW1996.14
Patrick H. Staken, A Practitioner's Guide to RISC Microprocessor Architecture ,(1996)
Carroll Morgan, Programming from specifications Prentice-Hall, Inc.. ,(1990)
John L. Hennessy, David A. Patterson, Computer Organization and Design: the Hardware/Software Interface ,(1993)
C. Fidge, M. Utting, P. Kearney, I. Hayes, Integrating Real-Time Scheduling Theory and Program Refinement formal methods. ,vol. 1051, pp. 327- 346 ,(1996) , 10.1007/3-540-60973-3_95
Kevin Jeffay, Shaun Bharrat, Predicting Worst Case Execution Times on a Pipelined RISC Processor University of North Carolina at Chapel Hill. ,(1995)
Ian Hayes, Mark Utting, Coercing real-time refinement: a transmitter formal methods. pp. 9- 9 ,(1996) , 10.14236/EWIC/FA1996.9
G. Pospischil, P. Puschner, A. Vrchoticky, R. Zainlinger, Developing real-time tasks with predictable timing IEEE Software. ,vol. 9, pp. 35- 44 ,(1992) , 10.1109/52.156895
K.B. Kenny, K.-J. Lin, Measuring and analyzing real-time performance IEEE Software. ,vol. 8, pp. 41- 49 ,(1991) , 10.1109/52.84215