收藏本站
《兰州理工大学学报》 2006年01期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

PEARL语言在实时系统开发模式中的应用研究

陈生庆  陈广明  张立臣  
【摘要】:通过对PEARL语言特性的研究和对集成的形式化方法RT-Z语法、语义及结构的分析,提出了一种将二者相结合的实时系统开发模式.该模式充分发挥了实时语言和形式化方法的优点,使系统开发的整个过程无须依赖具体的硬件和应用环境,同时对实时约束灵活的分解降低了系统开发的难度.

手机知网App
【参考文献】
中国期刊全文数据库 前2条
1 陈广明,陈生庆,张立臣;Z实时扩展及基于多视点的应用模式[J];计算机应用;2005年02期
2 陈广明,张立臣,陈生庆;并发Z规格说明在系统需求分析与设计中的应用[J];兰州理工大学学报;2005年04期
【共引文献】
中国期刊全文数据库 前2条
1 陈生庆,张立臣,陈广明;面向方面的数字图书馆体系结构[J];情报杂志;2005年06期
2 陈广明;张立臣;陈生庆;;应用形式化与实时语言的面向方面方法[J];计算机工程与设计;2006年22期
中国硕士学位论文全文数据库 前1条
1 于云赫;Z规格说明中关系和函数到C++STL的自动转换[D];沈阳工业大学;2007年
【同被引文献】
中国期刊全文数据库 前1条
1 陈广明,陈生庆,张立臣;Z实时扩展及基于多视点的应用模式[J];计算机应用;2005年02期
【二级参考文献】
中国期刊全文数据库 前1条
1 何炎祥,宋强,黄谦;从过程描述语言到Z语言[J];小型微型计算机系统;2002年09期
【相似文献】
中国期刊全文数据库 前10条
1 王成;戴树岭;;实时仿真中的逼真虚拟地球实现[J];北京航空航天大学学报;2011年08期
2 刘翠响;肖伶俐;;基于视频的人脸检测综述[J];电子设计工程;2011年14期
3 周保余;孔德刚;赵宏伟;仲明杰;;嵌入式Linux实时性研究[J];吉林大学学报(信息科学版);2011年04期
4 田钊;佘维;叶阳东;;基于模糊时间知识推理的实时系统冲突研究[J];计算机工程;2011年14期
5 王溪波;杨丽娜;;优先级反转和死锁的资源管理模式研究与实现[J];计算机工程与设计;2011年08期
6 王沁;袁玲玲;张燕;;固定优先级抢占调度算法下非周期任务实时性能研究[J];小型微型计算机系统;2011年06期
7 苏洁;;水电厂实时信息系统的平台设计与管理[J];浙江电力;2011年08期
8 许燕萍;;Windows下的实时控制研究[J];电子技术;2011年07期
9 左伟;冯金富;潘博;;分布式开放实时系统调度策略研究[J];电光与控制;2011年09期
10 王亮;;论实时技术在数字化图书馆中的应用[J];内蒙古科技与经济;2011年11期
中国重要会议论文全文数据库 前10条
1 毕小龙;王洪跃;朱大海;徐治皋;;基于COM+组件的电站实时系统的设计和实现[A];2004电站自动化信息化学术技术交流会议论文集[C];2004年
2 金士尧;宾雪莲;杨玉海;;基于多分辨率模型任务的实时容错调度方法[A];第十届全国容错计算学术会议论文集[C];2003年
3 吕为工;马英;;一种基于DVS的任务级嵌入式实时系统调度方法[A];山东省计算机学会2005年信息技术与信息化研讨会论文集(二)[C];2005年
4 唐乐;雷航;吴晓华;;基于时间Petri网产生测试序列的方法[A];第四届中国测试学术会议论文集[C];2006年
5 严隽薇;宋国斌;张克技;;一种实时系统分析法——H-P扩展法[A];第三届全国控制与决策系统学术会议论文集[C];1991年
6 吴衡;陈涛;;嵌入式机载实时记录控制系统的设计[A];第二届中国航空学会青年科技论坛文集[C];2006年
7 吴博;黄志球;祝义;;基于实时扩展Wright的系统检验规则分析[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集(上)[C];2008年
8 杨雁;杨珂;秦志光;;一个基于B/S模式的变电所实时监测与管理系统的设计与实现[A];第六届全国计算机应用联合学术会议论文集[C];2002年
9 宋冰;张晓林;;基于飞行仿真的嵌入式操作系统图形界面的设计过程[A];全国第十届信号与信息处理、第四届DSP应用技术联合学术会议论文集[C];2006年
10 陈海坚;张拥军;;一种准静态容错DVS节能调度算法[A];中国通信学会第五届学术年会论文集[C];2008年
中国重要报纸全文数据库 前1条
1 广东省电信科学技术研究院多媒体部 张宇飞 卢燕青;实时系统软件分析和设计方法综述[N];中国计算机报;2000年
中国博士学位论文全文数据库 前10条
1 江维;任务关键实时系统的可信感知调度研究[D];电子科技大学;2009年
2 巴巍;实时系统动态优先级任务调度算法的研究[D];大连理工大学;2010年
3 毛佳;嵌入式实时系统中关键技术的研究[D];吉林大学;2004年
4 吴刚;对低功耗进程调度算法的研究[D];复旦大学;2006年
5 童立靖;实时系统的自适应进程调度方法研究[D];中国科学院研究生院(软件研究所);2005年
6 王涛;实时系统任务调度若干关键技术的研究[D];哈尔滨工程大学;2006年
7 姬孟洛;实时系统最差情况执行时间分析的研究[D];国防科学技术大学;2006年
8 席琳;形式化方法在构件组装实时系统中的应用研究[D];郑州大学;2012年
9 陈晗斐;实时操作系统的若干关键问题研究[D];浙江大学;2004年
10 王馨;基于实时规约的测试预言自动生成技术的研究[D];国防科学技术大学;2005年
中国硕士学位论文全文数据库 前10条
1 汪泓澄;嵌入式系统的性能基准程序及任务时限违背率[D];同济大学;2006年
2 姬莉霞;基于时间自动机的实时系统规范验证研究[D];郑州大学;2004年
3 杨龙;Linux实时调度算法与测试平台的研究与实现[D];大连理工大学;2005年
4 邹玉丽;基于UML的实时性研究[D];山东科技大学;2005年
5 苗长运;并行实时系统在BRCC中的形式化[D];广西师范大学;2010年
6 舒国强;面向对象的实时系统可调度性验证和代码生成技术研究[D];中国科学院研究生院(软件研究所);2003年
7 郭东亮;面向方面的实时系统开发方法[D];广东工业大学;2005年
8 钟洋;基于Windows NT的弱实时多任务的实现[D];武汉科技大学;2002年
9 向智林;基于软件能力成熟度模型的实时系统开发过程研究[D];广东工业大学;2005年
10 黎刚;符合生存性的协同检查点技术研究与实现[D];电子科技大学;2008年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026