主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2018年第12期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
王博,白晓颖,贺飞,XiaoyuSONG.可组合嵌入式软件建模与验证技术研究综述.软件学报,2014,25(2):234-253
可组合嵌入式软件建模与验证技术研究综述
Survey on Modeling and Verification Techniques of Composable Embedded Software
投稿时间:2013-05-07  修订日期:2013-12-05
DOI:10.13328/j.cnki.jos.004533
中文关键词:  可组合嵌入式软件  可组合性  相容性  组合模型  组合机制  组合验证
英文关键词:composable embedded software  compatibility  composability  composition model  composition mechanism  compositionverification
基金项目:国家自然科学基金(61073003, 91218302)
作者单位E-mail
王博 清华大学 计算机科学与技术系,北京 100084 harvicflyhigh@gmail.com 
白晓颖 清华大学 计算机科学与技术系,北京 100084  
贺飞 清华大学 软件学院,北京 100084  
XiaoyuSONG Maseeh College of Electrical and Computer Engineering, Portland State University, Portland, USA  
摘要点击次数: 2946
全文下载次数: 2515
中文摘要:
      可组合嵌入式软件以构件开发技术为基础,研究嵌入式构件的建模、组合性质、构件间组合机制以及组合验证等理论、方法和技术.从组合理论、建模与验证技术这3个方面对可组合嵌入式软件的研究现状进行调研分析.组合理论研究给出构件可组合性的乐观定义和悲观定义,从组合操作、组合规则两个方面定义构件间的组合机制.针对嵌入式构件的特点,着重调研了非功能特性和异构构件的建模与组合技术,分析了非功能特性约束、面向多特性的模型等方法.分析了基于契约的验证、基于不变量的验证、基于模型检查的验证等多种嵌入式软件组合验证技术.最后,探讨了需要进一步研究的问题.
英文摘要:
      Based on CBSE (component-based software engineering), this research on composable embedded software investigates the theory, methods and technologies for modeling and verification of embedded components. The paper surveyes the state-of-the-art research and practices on composable embedded system from three perspectives: composite theory, modeling, and verification techniques. It introduces the optimistic and pessimistic definitions of component compatibility, and composition mechanisms including operations and rules. In modeling techniques, the paper particularly addresses the issues of composition of non-functional attributes and heterougeneous components, which are important to embedded components design and verification. It analyzes non-functional attribute constraints and multi-attributes oriented model. The paper also investigates three typical verification techniques of component composition including contract-based, invariants-based, and model checking techniques. It discusses future works in the end.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利