期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
SDT工具集成方法的研究与比较 被引量:1
1
作者 雷敏 宋茂强 窦春燕 《计算机工程与设计》 CSCD 北大核心 2006年第23期4513-4515,共3页
使用SDT工具生成的可执行代码只能在SDT环境下进行仿真和验证。为能移植到目标系统中运行,必须把SDT工具生成的可执行代码和目标机上的操作系统进行集成。详细介绍了SDT工具提供的3种集成方法,从性能、调度延迟及和操作系统的交互等方... 使用SDT工具生成的可执行代码只能在SDT环境下进行仿真和验证。为能移植到目标系统中运行,必须把SDT工具生成的可执行代码和目标机上的操作系统进行集成。详细介绍了SDT工具提供的3种集成方法,从性能、调度延迟及和操作系统的交互等方面对这3种集成方法做初步研究和比较,用户可根据应用程序及目标机操作系统的特点选择合适的集成方法。在没有特殊技术要求的情况下,SDT工具推荐选用线程集成方法。 展开更多
关键词 SDL SDT TELELOGIC TAU 集成 形式化方法
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部