一种改进的基于RTCOM的实时系统设计方法

来源 :华中科技大学学报:自然科学版 | 被引量 : 0次 | 上传用户:naomi
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
对传统的TCSP进行了改进和扩充,并在改进的TCSP描述语言和业已实现的实时构件模型RTCOM的基础上,提出了一种基于构件且适合实时系统设计的五步构造方法:系统角色及业务功能描述、时间约束规范设计与业务功能的TCSP描述、功能性事件提取与转换、构件获取与生成、代码生成.给出了一个实时系统分析与设计的例子.结果表明了该设计方法正确性和实用性.
其他文献
各省、自治区、直辖市公证协会:近年来,全国公证行业以邓小平理论、“三个代表”重要思想、科学发展观为指导,深入学习贯彻党的十八大和十八届三中、四中、五中全会精神,全面贯彻
作为我国传承千年的民族乐器之一,古筝以其独特的琴韵、厚重的文化底蕴深受人们喜爱。《苍歌引》是青年古筝演奏家宋心馨邀青年作曲家陈哲创作的一首古筝与钢琴协奏曲。此曲
当今社会科技不断发展,计算机中的很多功能得到了很大的变化,其中图像识别技术的变化最为明显这种高科技图像识 别技术与中国人民经济的发展息息相关,在国际舞台上的斗争也愈
【摘要】对很多班主任在专业发展上缺少动力的问题,学校可通过项目行动研究,聚焦班主任内在需要,分层实施项目研究、多元评价项目成果,让班主任卷入式参与,在专家指导下,形成合作同盟,激发班主任专业成长的内在动力。  【关键词】班主任;项目主题;分层实施;多元评价  【中图分类号】G451.2 【文献标志码】A 【文章编号】1005-6009(2021)07-0014-03  【作者简介】吴伟红,江苏省吴
目的探讨积极肠外营养支持方案(高初始剂量氨基酸和脂肪乳)在胎龄<34周早产儿肠外营养中的近期疗效及耐受情况。方法根据早期应用氨基酸和脂肪乳剂量不同,将2019年5月至2019
近期,为进一步加强公证公信力建设,提高重庆市公证队伍适应现代法治的执业能力,重庆市公证协会与点睛网运用现代网络信息技术,联合打造“互联网+公证网校”启动在线网络培训工作,在
中国的家电业是一个多产明星公司的行业,但很多企业保持辉煌只有10年,有的甚至只有5年。面对竞争环境发生根本变化的市场,该怎样调整自己的发展战略?
目的分析新生儿瓜氨酸血症Ⅰ型家系的基因变异特征。方法回顾分析1例新生儿瓜氨酸血症Ⅰ型患儿的临床资料,提取患儿及其父母外周血基因组DNA,采用二代测序技术进行基因检测,S
近年来,在北京市司法局党委的正确领导下,北京公证行业依法执业,真情为民,服务大局,广泛开展便民利民服务,不断强化公证公信力,全力保障“疏解整治促提升”、“一带一路”等中心工作
针对基于正交频分复用(OFDM)的未来移动通信系统中的蜂窝覆盖所面临的下行小区间干扰问题,提出了一种基于子载波组的自适应干扰抑制算法.该算法根据干扰和信道情况,自适应调整子载