检索结果-维普期刊中文期刊服务平台

实时嵌入式构件模型组装方法及时间性推理被引量：2: 1; 作者字天文刘晓燕沈嘉权《计算机工程与应用》 CSCD 北大核心 2009年第25期74-77,85,共5页; 针对实时嵌入式系统特点,提出一种可行的具有较好普适性的软构件模型及构件组装机制,使用形式化方法描述构件接口规约及组装规约,并给出构件时间性的推理方法,旨在实时嵌入式系统中构建更加通用、简易、开放的构件模型和更加合理的构件... 展开更多; 关键词实时嵌入式软构件模型构件接口组装时间性; 在线阅读下载PDF 职称材料

UML-RT到一个实时多任务执行模型的转换被引量：1: 2; 作者刘晓燕字天文 +2 位作者张云生 J-J.Schwarz 李俊昌《计算机科学》 CSCD 北大核心 2007年第7期275-278,共4页; 为解决把UML-RT行为建模模型平滑过渡到实时多任务系统的图形化软构件设计开发环境的过程设计模型中,本文提出了把UML-RT状态图行为模型转换到该环境下的执行模型的方法。首先介绍UML-RT状态图建模的概念及笔者研制的设计环境,其次给出... 展开更多; 关键词 UML-RT 实时系统状态图行为建模执行模型转换方法.; 在线阅读下载PDF 职称材料

实时多任务执行模型到Windows NT的映射: 3; 作者刘晓燕张云生 +1 位作者字天文李俊昌《计算机工程与应用》 CSCD 北大核心 2008年第8期110-112,144,共4页; 基于对实时多任务软件的抽象执行体的研究分析以及对Windows NT操作系统的分析,提出了实时多任务执行模型到Windows NT平台下的系统调用及C++语言程序框架的映射规则。给出了实时对象之间的通信原理及映射方法。; 关键词实时多任务执行模型 WINDOWS NT 映射规则; 在线阅读下载PDF 职称材料