分布式实时系统体系结构描述语言的设计及其应用实例研究

来源 :小型微型计算机系统 | 被引量 : 0次 | 上传用户：wgrlxh

【摘要】

：

为了完成基于软件体系结构(Software Architecture,SA)分布式实时系统的测试,需要设计一种体系结构描述语言(Architecture Description Language,ADL)描述被测系统,以便自动

【作者】

：

叶俊民王振宇黄萍赵恒

【机构】

：

哈尔滨工程大学,哈尔滨工程大学,武汉大学,哈尔滨工程大学

【出处】

：

小型微型计算机系统

【发表日期】

：

2005年9期

【关键词】

：

软件体系结构体系结构描述语言分布式实时系统 software architecture architecture description language

【基金项目】

：

国防科技预研基金，国家重点实验室基金

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

为了完成基于软件体系结构(Software Architecture,SA)分布式实时系统的测试,需要设计一种体系结构描述语言(Architecture Description Language,ADL)描述被测系统,以便自动产生测试用例.在考察现有的体系结构描述语言(Architecture Description Language,ADL)的基础上,分析了现存ADL的不足,提出了一种新的分布式实时系统体系结构描述语言(Distributed Real-Time System Architecture

其他文献

福建邵武杉木成熟林碳储量研究

本文以福建邵武28年生杉木(Cunninghamia lanceolata)密度试验林为研究对象,通过林木实测数据拟合优选生物量估算模型,结合生态系统中乔木(叶、枝、去皮干、干皮、根蔸和根)

学位

杉木成熟林生物量估算模型含碳量土壤碳密度碳储量

胡杨与灰杨的物种分化研究

胡杨(Populus euphratica Oliver)与姊妹种灰杨(P.pruinosa Schrenk)是分布于中国西北沙漠地区的稀有乔木,均为沙漠地区生态环境的重要组成部分。胡杨和灰杨在叶形态和生境分

学位

沙漠杨树遗传多样性种间界定种间渗入更新世气候变化物种形成自然选择

基于SMTP协议电子邮件的还原

信息捕捉与还原技术是网络安全技术中审计系统实施的一个难点,同时也是实现审计系统的基础.本文通过对SMTP电子邮件报文格式与传输协议分析,给出了邮件信息的还原实现的有关

期刊

信息捕捉信息还原SMTP协议电子邮件计算机网络information catching information reverting class SMT

可视化密度场模型及其在入侵检测中的应用

随着Internet的飞速发展,Web应用系统在电子政务与电子商务中得到广泛应用,安全问题随之产生.入侵检测是保障Web应用系统安全的重要手段之一,利用可视化技术辅助安全专家创建

期刊

入侵检测行为轮廓信息可视化密度场intrusion detection behavior profile information visualizati

电力企业经营管理中法律风险及防范策略探析

本文分析了我国电力企业发展及其经营管理现状，阐述电力企业在经营管理中存在的法律风险的特征及危害，探究防范法律风险的应对策略，为电力企业依规合法经营提供切实可行的参考模

期刊

电力企业经营管理法律风险

WAVE：一个基于对象技术的广域虚拟计算中间件

WAVE是使用面向对象技术开发的基于校园网络的广域虚拟计算系统的中间件，它运行在现有主机操作系统和通用网络协议之上，WAVE通过多级层次对象模型建立，定位，管理、删除和迁移WAVE

期刊

WAVE对象技术广域虚拟计算中间件校园网middleware objectoriented technology programming enviro

基于抗连续倒塌分析的高大模板支架施工与安全控制关键技术

本文通过对南宁华润中心项目的高大模板进行数值分析，提出了针对抗连续倒塌的模板施工与安全控制关键技术。

期刊

抗连续倒塌高大模板数值分析施工与安全

一种抗并行攻击的Fiat-Shamir签名协议

和以前实现的数字签名一样,一般的Fiat-Shamir数字签名方案虽然不需要可信任的第三方介入,但它的信息是逐位公开的,因而就不能保证它可抗并行攻击.本文利用限时提交协议实现

期刊

Fiat-Shamir签名方案限时提交协议限时签名方案fiatshamir signature scheme timed commitment schem

黄土高寒区主要造林树种抗旱耐盐生理及耗水特性

本文以黄土高寒区主要造林树种沙棘(Hippophae rhamnoides Linn.)、沙木蓼(Atraphaxis bracteata A. Los.)、银水牛果(Shepherdia argentea (Pursh) Nutt.)、白桦(Betula pla

学位

干旱胁迫盐胁迫蒸腾耗水生物量光合生理参数黄土高寒区

基于角色的工作流模型及其应用

将角色的概念引入工作流模型中,并对其在安全性方面的控制进行了分析,结果表明在工作流模型中引入角色的概念,可以提高系统的安全性和方便的实现系统的安全访问控制,同时方便

期刊

角色工作流模型安全访问控制role workflow model control of security

分布式实时系统体系结构描述语言的设计及其应用实例研究

其他学术论文