一种基于CBSE的嵌入式实时软件建模方法研究

来源 :计算机科学 | 被引量 : 0次 | 上传用户:sjappleshujin
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
基于构件的软件工程(CBSE)是众多嵌入式软件开发方法中的一种崭新方法.本文提出一种RT-UML*/LTLC的双语言框架来对基于CBSE的嵌入式实时软件的建模,既能充分地刻画出嵌入式软件实时,资源严格有限等特点,又能较好地体现出构件的特征,能更容易地过渡到基于构件的嵌入式软件开发方法的后继阶段.
其他文献
同步距离是刻画事件之间同步关系的一个重要的定量分析手段.本文提出了同步距离计算网SDCNet的概念模型并讨论了计算同步距离的几个结论,给出了S_元中初始标识的配置算法以及
船员是实施国家海洋战略的基础力量和关键性竞争因素。远洋航行具有航次周期长、海外时间长、行业风险大、高流动性等特点,使远洋船员容易产生各种心理危机,进而影响个人和航
目的学习投入是反映中学生积极心理健康状态的重要指标,它能有效地激发青少年的积极心理品质,为其形成乐观的人生态度打下坚实的基础,所以探讨其具体的影响机制十分必要。方
Linux操作系统对实时QoS支持较弱,但具有很好的实时应用前景.本文选择对Linux在内核级进行QoS扩展.利用Linux进程管理策略与机制分离的设计风格,设计了一个内核级的支持QoS的
在分析小波变换对噪声和边缘点影响规律的基础上,结合多尺度乘积的特性,提出了一种基于小波变换的多尺乘积边缘检测新算法.通过边缘检测性能评测计算和实验验证表明,该算法能
前言银行电脑网络系统的稳定、有效运行不仅是电脑网络管理人员、运行维护人员追求的最高目标之一,同时对维系客户对银行的信心、确保银行的服务质量也至关重要.在以AS/400主
目的探讨经外环口途径高位结扎疝囊治疗小儿腹股沟疝疗效。方法回顾性分析2016年01月至2019年12月43例经外环口途径疝囊高位结扎治疗小儿腹股沟疝的临床资料。结果 43均顺利
太阳系外行星作为研究恒星演化重要的天体和探索生命起源的基础,多年来一直是天文学前沿研究的热点之一,目前已发展出近10种系外行星的探测方法。随着天文观测设备探测精度越