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

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