摘要
随着计算机在国民经济和国防领域中的广泛应用,可信性质已经成为评价计算机系统非功能性的重要指标.从形式化表示机制的角度,应用UML语言建立了计算机系统的可信概念模型.首先给出了可信概念的高层次抽象UML类图,然后分别描述了可信性质、可信威胁和可信保障技术的UML模型,其中重点介绍了系统失效机理和系统容错技术的概念模型.最后,指出以UML为基础的软件可信技术有可能成为开发高可信性计算机系统的发展趋势.
随着计算机在国民经济和国防领域中的广泛应用,可信性质已经成为评价计算机系统非功能性的重要指标.从形式化表示机制的角度,应用UML语言建立了计算机系统的可信概念模型.首先给出了可信概念的高层次抽象UML类图,然后分别描述了可信性质、可信威胁和可信保障技术的UML模型,其中重点介绍了系统失效机理和系统容错技术的概念模型.最后,指出以UML为基础的软件可信技术有可能成为开发高可信性计算机系统的发展趋势.
出处
《计算机研究与发展》
EI
CSCD
北大核心
2010年第S1期209-215,共7页
Journal of Computer Research and Development
基金
国家自然科学基金项目(60503032)
国家"八六三"高技术研究发展计划基金项目(2006AA01Z178
2007AA010301)