A Methodology for Compilation of High-Integrity Real-Time Programs

A practical methodology for compilation of trustworthy real-time programs is introduced. It combines new program development and timing analysis techniques with traditional compilation and assembly technologies.

[1]  Carroll Morgan,et al.  Programming from specifications (2nd ed.) , 1994 .

[2]  Martin Fränzle,et al.  Towards Provably Correct Code Gneration for a Hard Real-Time Programming Language , 1994, CC.

[3]  Peter P. Puschner,et al.  Developing real-time tasks with predictable timing , 1992, IEEE Software.

[4]  Alan C. Shaw,et al.  Reasoning About Time in Higher-Level Language Software , 1989, IEEE Trans. Software Eng..

[5]  Richard Gerber,et al.  Semantics-based compiler transformations for enhanced schedulability , 1993, 1993 Proceedings Real-Time Systems Symposium.

[6]  Colin J. Fidge,et al.  Integrating Real-Time Scheduling Theory and Program Refinement , 1996, FME.

[7]  Wolfgang A. Halang,et al.  Extending Pearl for industrial real-time applications , 1993, IEEE Software.

[8]  Sang Lyul Min,et al.  An Accurate Worst Case Timing Analysis for RISC Processors , 1995, IEEE Trans. Software Eng..

[9]  Gerry Kane,et al.  MIPS RISC Architecture , 1987 .

[10]  Colin J. Fidge,et al.  A real-time refinement calculus that changes only time , 1996 .

[11]  Alan C. Shaw,et al.  Experiments with a program timing tool based on source-level timing schema , 1990, [1990] Proceedings 11th Real-Time Systems Symposium.

[12]  Mohamed F. Younis,et al.  A Language for Complex Real-Time Systems , 1995, Comput. J..

[13]  Kevin Jeffay,et al.  Predicting Worst Case Execution Times on a Pipelined RISC Processor , 1995 .

[14]  Alan Burns,et al.  Static worst-case timing analysis of Ada , 1994, ALET.

[15]  Kwei-Jay Lin,et al.  Building flexible real-time systems using the Flex language , 1991, Computer.

[16]  Richard Gerber,et al.  Compiling Real-Time Programs With Timing Constraint Refinement and Structural Code Motion , 1995, IEEE Trans. Software Eng..

[17]  Carroll Morgan,et al.  Programming from specifications , 1990, Prentice Hall International Series in computer science.

[18]  J. Davenport.  Editor , 1960 .

[19]  John A. Stankovic,et al.  Misconceptions About Real-Time Computing , 1988, Computer.

[20]  James R. Larus.  Assemblers, Linkers, and the SPIM Simulator , 1993 .

[21]  Donald J. Patterson,et al.  Computer organization and design: the hardware-software interface (appendix a , 1993 .

[22]  Richard Gerber,et al.  Compiling real-time programs into schedulable code , 1993, PLDI '93.

[23]  Kwei-Jay Lin,et al.  Measuring and analyzing real-time performance , 1991, IEEE Software.

[24]  Parameswaran Ramanathan,et al.  Real-time computing: a new discipline of computer science and engineering , 1994, Proc. IEEE.

[25]  C. A. R. Hoare,et al.  Provably Correct Systems , 1994, FTRTFT.

[26]  A. D. Stoyenko,et al.  Real-time Euclid: a language for reliable real-time systems , 1989 .

[27]  Ian J. Hayes,et al.  Coercing Real-Time Refinement: A Transmitter, Technical Report 96-11 , 1996 .

[28]  Patrick H. Staken.  A Practitioner's Guide to RISC Microprocessor Architecture , 1996 .