基于实时语言和面向方面的形式化开发方法

？面向方面方法和实时语言特性应用于实时软件开发工程，将降低实时软件开发的复杂性，而形式化方法将提升系统的可信度。该文提出的一种面向方面的实时软件开发方法aosdbrtl，它基于经面向方面扩展的形式化方法aortz，在编码阶段应用实时语言pearl，实现了软件开发各个阶段对面向方面的无缝支持。