%0 Journal Article
%T 构件化嵌入式软件设计模型非功能性质验证的工具实现
%A 徐丙凤
%A 胡军
%A 曹东
%A 黄志球
%A 郭丽娟
%A 张剑？
%J 计算机科学
%D 2010
%X 嵌入式软件的非功能性质是系统高可靠性的重要构成部分。传统的嵌入式软件可靠性保障技术主要关注于系统开发后期，缺乏有效工具对系统设计的非功能性质进行分析与验证。对基于接口自动机模型的构件化嵌入式软件设计验证原型工具i=c13esd(foolforcomponent-basedembeddedsoftwaredesigns)进行了资源及能耗等非功能性质验证功能的扩展设计与实现，包括:资源接口自动机和能耗接口自动机模型的输入输出接口设计、umi顺序图模型的预处理、带非功能语义信息的组合系统状态空间数据结构的设计、非实时资源使用性质与实时相关能量消耗特征验证算法的实现，以及一个通信构件组合系统的实例应用分析。
%K 嵌入式软件设计
%K 非功能性质验证
%K 构件化设计
%K 软件验证工具
%K 接口自动机
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=100833&flag=1