%0 Journal Article
%T Tool Implementation of Non-functional Verification for Component-based Embedded Software Designs<br>构件化嵌入式软件设计模型非功能性质验证的工具实现
%A XU Bing-feng
%A HU Jun
%A CAO Dong
%A HUANG Zhi-qiu
%A GUO Li-juan
%A ZHANG Jian
%A <br>徐丙凤
%A 胡军
%A 曹东
%A 黄志球
%A 郭丽娟
%A 张剑
%J 计算机科学
%D 2010
%I 
%X Non-functional properties of the embedded software system arc considered as one of the important features for the high reliability assurance of whole system. Traditional reliability methods in embedded computing domain mostly concern the functional implementation and testing phrase,without effective tools supporting the analysis and verification of the system designs, especially for the non-functional properties. In this paper, a prototype I=CBESD( Tool for Component-Based Embedded Software Designs) was extended with analysis and verification capabilities considering both of resource utilization and energy consumption propertics,which include the input/output mechanisms for resource interface automata and energy automata respectively, the pr}translation from a UML sectuence diagram to a set of message event sequences, the state space data structure designs with non-functional semantics, the implementation issues of several analysis and verification algorithms for resource and energy consumption properties, and an example of a component based system design analysis.
%K Embedded software design
%K Non-functional property verification
%K Component based design
%K Software verification tool
%K Interface automata<br>嵌入式软件设计
%K 非功能性质验证
%K 构件化设计
%K 软件验证工具
%K 接口自动机
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=9C9C4FA299B3C2E7E13EB143045EDB85&yid=140ECF96957D60B2&vid=42425781F0B1C26E&iid=5D311CA918CA9A03&sid=3F0AF5EDBC960DB0&eid=D5C9DC4EF2F78008&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=30