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