基于MDA和可执行形式化的可信软件设计

摘要：

提出基于模型驱动架构的软件开发过程,利用可执行形式化规范,有效提高软件开发效率和可测试性,并通过基于可执行规范的运行时监控技术保证系统行为的可信性,降低由于软件测试阶段遗留的错误以及系统受到非法入侵所带来的风险.

关键词：可执行形式化、Petri网、可信软件体系、模型驱动的体系结构

所属期刊栏目：35

分类号：TP393(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目60773034;国家"973"计划基金资助项目2004CB318001-03;中国科学院计算机科学国家重点实验室开放课题基金资助项目SYSKF0804;山东省"泰山学者"建设工程专项基金

在线出版日期：2009-12-04（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：138-140