基于构件软件的面向可靠安全Aspects建模和一体化开发方法研究

以基于构件软件（Component-Based Software,简称CBS）开发和可靠安全性质保障技术的特殊性为出发点，借鉴先进的软件理论和开发方法，研究兼容先进可靠安全性质保障技术的可靠安全Aspects建模和一体化开发方法。项目通过安全案例和失效案例分析，获取基于构件软件的可靠安全Aspects，然后利用一体化的面向Aspect开发方法完成构件集成。而利用面向可靠安全Aspects的分析和设计模式覆盖常见的保障技术。主要研究内容包括：一体化面向Aspects编程技术和平台支持；安全案例和失效案例分析技术融合；针对可靠安全性质的面向Aspects分析和设计的方法和模式；基于场景序列的构件软件可靠安全性质建模和可靠安全性质分析和估计。最终为基于构件软件的面向可靠安全Aspects的开发提供从建模到实现的全方位支持。