Abstract: This paper overviews the current two basic directions of the methodology for real-time programming:real-time programming languages;specification and verification of real-time programs. It discusses the basic properties of real-time programming and its differences from general programm- ing.At the program operation level,the real-timing includes static timing constraints expression and dynamic timing constraints validation.At the specificasion level,the real-timing includes the specifica- tion models and formal proving.