实时程序设计方法的发展趋势

Development Trend of the Methodology for Real-Time Programming

本文概述了目前实时程序设计方法学的两个基本方面:实时程序设计语言和实时程序的规范说明及形式化验证。讨论了实时程序设计的基本特点和与一般程序设计的不同之处。程序层次的实时性包括静态的时间限制表达和动态的时间限制维护.程序规范层次的实时性包括建立规范说明模型和形式化证明。

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.