构件化嵌入式软件设计模型非功能性质验证的工具实现

来源 :计算机科学 | 被引量 : 0次 | 上传用户：zywlaoying

【摘要】

：

嵌入式软件的非功能性质是系统高可靠性的重要构成部分。传统的嵌入式软件可靠性保障技术主要关注于系统开发后期，缺乏有效工具对系统设计的非功能性质进行分析与验证。对基于

【作者】

：

徐丙凤胡军曹东黄志球郭丽娟张剑

【机构】

：

南京航空航天大学信息科学与技术学院,南京航空航天大学自动化学院,南京大学计算机软件新技术国家重点实验室

【出处】

：

计算机科学

【发表日期】

：

2010年8期

【关键词】

：

嵌入式软件设计非功能性质验证构件化设计软件验证工具接口自动机 Embedded software design Non-functional prop

【基金项目】

：

本文受航空基金（2007ZD52043）,教育部博士点基金（20070287052）项目资助.

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

嵌入式软件的非功能性质是系统高可靠性的重要构成部分。传统的嵌入式软件可靠性保障技术主要关注于系统开发后期，缺乏有效工具对系统设计的非功能性质进行分析与验证。对基于接口自动机模型的构件化嵌入式软件设计验证原型工具T-CBESD（Toolfor Componentbased Embedded Software Designs）进行了资源及能耗等非功能性质验证功能的扩展设计一与实现，包括：资源接口自动机和能耗接口自动机模型的输入输出接口设计、UML顺序图模型的预处理、带非功能语义信息的组合系统状态空间数据结构的

其他文献

面向瘦客户端的WebOS研究

基于浏览器的WebOS是操作系统技术向网络化发展的一个典型代表。WebOS整合Internet上服务和资源，供在线用户“随时随地”使用，这种特点使得它将成为未来瘦客户端Web应用的一种

期刊

云计算瘦客户端WEBOSWEB服务Cloud computingThin client WebOS Web service

一种基于层次细节技术的植物形态系统模型优化算法

基于层次细节LOD(Level of Detail)技术,在植物形态系统的精度控制中,提出一种以植物投影在视平面上的面积作为等级控制计算依据的算法,新算法使得视觉重要度大的区域拥有较高的分辨率,可以更加准确地选择合适的植物精度进行绘制。通过实例分析验证了该算法的有效性的和实用性,从而保证了树木形态生成的真实性和实时性;并将此算法运用到植物群的实时仿真中进行群体优化,获得了满意的视觉效果和处理速度。

期刊

植物形态系统层次细节技术投影面积L-system I.evel of detail Area of projection

基于蚁群系统的机器人全局最优路径规划的研究与仿真

基于蚁群系统，以可见性图作为路线图，采用CAS（complex adaptive system）理论自底向上的建模思想，构造主动的、适应性的蚂蚁主体ant-went，依靠多ant-agent之间的协同、合作去完成自

期刊

蚁群系统可见性图复杂适应系统全局路径规划移动机器人Ant colony system Complex adaptive system Global p

资源受限的认知无线电系统优化合作频谱感知算法

认知无线电的首要任务就是动态地感知频谱,合作频谱感知提高了频谱感知的可靠性。目前大多数频谱感知算法采用全部认知无线电台参与感知,并且假设每个认知无线电台的信噪比的

期刊

频谱感知硬判决感知开销资源受限False alarm probability Hard decision Sensing overhead Res

一种实用的对象持久化框架

面向方面编程分离了核心关注点和横切关注点，提供了模块化横切关注点的机制，很好地解决了面向对象技术处理横切关注点时存在的代码散布和代码纠缠问题。和日记记录、安全验证等

期刊

面向方面持久化AOPASPECTJAspect-oriented Persistence AOP AspectJ

基于语义Web Service的需求驱动服务合成

语义Web Service（SWS）是应对商务对商务环境的挑战，是迈向自动Web服务的重要步骤。基于SWS的商务服务合成是服务计算领域最为活跃和开放的研究问题之一。提出了一种基于SWS的商

期刊

SWS商务过程服务集合服务选择服务合成SWSBusiness processService setService selectionServi

基于定性动态概率网络的网络拥塞控制

网络拥塞已经成为了人们普遍关注的问题。目前,针对网络拥塞控制的研究,提出了一些具体的方法和建议,但其都不能很好地解决网络拥塞。定性动态概率网络（QDPNs）是目前进行动态地

期刊

定性动态概率网络网络拥塞控制Qualitative dynamic probabilistic networks Network congestion c

普适环境下的动态模糊访问控制模型研究

普适计算环境下用于授权决策的上下文条件满足程度、用户的信任程度以及授予用户权限后产生的安全风险程度都具有模糊性,现有的访问控制模型大都不支持对模糊信息的授权推理

期刊

普适计算访问控制模糊推理授权控制Ubiquitous computing Access control Fuzzy reasoning Autho

一种基于CFCM的集群入侵检测方法的研究

将网络数据流聚类来实现负载平衡已经被广泛应用于集群入侵检测方法中。将相关性思想引入传统模糊C-均值聚类算法（FCM），给出数据流逻辑距离公式，提出了一种相关模糊C-均值聚类算（C

期刊

相关性思想CFCM集群入侵检测方法Correlated ideas CFCM Clustering Intrusion Detection appro

基于细胞元本体的标准件库资源共享研究

针对目前标准件库不支持异构CAD系统和标准件信息不完整两个主要问题,提出了一种基于细胞元本体的标准件库资源共享方法。该方法使用Web本体描述语言(Web Ontology Language,OWL)表示细胞元本体模型,制定语义映射规则,以细胞为转换单元,屏蔽了信息表示的异构性,使应用本体和细胞元本体成为具有语义关系的逻辑上的整体,实现了异构CAD系统对标准件库的共享及异构数据的实时转换。该方法应用

期刊

标准件库细胞元本体异构CAD系统Standard part libraryCellular ontology Heterogeneous CAD sy

构件化嵌入式软件设计模型非功能性质验证的工具实现

与本文相关的学术论文