针对面向对象技术在处理分散于系统各处的横切关注点上的不足,业界提出了面向方面编程思想。随着面向方面编程技术的日渐成熟,面向方面思想已不再局限于编程层次,而是开始影响到软件开发的各个阶段,形成了面向方面软件开发技术。面向方面建模是用一致的方法来描述、构造、记录和可视化面向方面设计思想,是实现面向方面软件开发的有效手段,但是至今还很少有面向方面形式化方法的应用研究,使其在使用过程中难以使用严谨的数学逻辑来表达和论证软件设计过程的正确性。随着云计算和计算机网络技术的发展,实时系统的应用及其设计技术成为计算机科学研究领域的热点。特别是Cyber Physical网络环境设计概念的提出,使得实时系统的应用综合了计算机与网络的系统环境,这个环境可以小到汽车控制系统,大到国家电网,卫星通信系统等。整个系统中要研究领域涉及到建模、逻辑学、并发性、实时性、安全性等。目前存在的技术性难题有模型设计问题,管理力度过大,时间周期长,并且网络计算与物理系统的并发性问题有重大分歧。针对上述问题,本文系统的介绍了Cyber Physical网络环境的特性,.抽取出网络环境下的时间特性并与实时系统的实时特性相结合。为了能够很好表达实时特性,本文基于Time-CSP进行实时方面扩展。在面向方面技术方面本文详细论述其基本概念及核心思想,并详细分析面向对象形式化语言Object-Z。通过对Object-Z进行面向方面形式化扩展,比较完整的讨论了在Cyber Physical网络环境下面向方面形式化方法。同时在基本元素中增加分离变量和横切关注点的形式化描述来达到形式化描述面向方面的特性。为了能够满足在实时系统设计要求,最后给出了的面向方面形式化方法。并在此基础上通过综合其它学者在实时系统时间特性形式化方面的成果和基于Object-Z面向方面形式化扩展方法,给出了一个综合模型,使其能充分的描述在Cyber Physical网络环境下运行的实时系统的特性。同时在设计过程中可以充分的应用形式化语言严谨的数学逻辑来解决开发过程中的不确定性和不一致性问题。最后本文通过智能交通系统中的列车调度控制系统实例来论证上述思想的正确性。