所有作者：徐丙凤 胡军 曹东 黄志球 郭丽娟 张剑
作者单位：南京航空航天大学 信息科学与技术学院
论文摘要：嵌入式软件的非功能性质是系统高可靠性的重要构成部分。传统的嵌入式软件可靠性保障技术主要关注于系统开发后期，缺乏有效工具对系统设计的非功能性质进行分析与验证。本文对基于接口自动机模型的构件化嵌入式软件设计验证原型工具T-CBESD(Tool for Component-Based Embedded Software Designs)进行了资源及能耗等非功能性质验证功能的扩展设计与实现。包括：资源接口自动机和能耗接口自动机模型的输入输出接口设计、UML顺序图模型的预处理、带非功能语义信息的组合系统状态空间数据结构的设计、非实时资源使用性质与实时相关能量消耗特征验证算法的实现，以及一个通信构件组合系统的实例应用分析。
关键词： 嵌入式软件设计 非功能性质验证 构件化设计 软件验证工具 接口自动机
免费下载《构件化嵌入式软件设计模型非功能性质验证的工具实现》PDF全文（已停止下载）
本站“论文下载”文章收集整理于“中国科技论文在线”，由于各种原因，本站已暂停论文下载！请前往“中国科技论文在线http://www.paper.edu.cn/”免费下载！
指出，范文大全立刻进行改正或删除有关内容! 
当前位置：