首页> 中文期刊> 《计算机工程与设计》 >LOTOS渐进细化设计方法在互斥访问系统中的应用

LOTOS渐进细化设计方法在互斥访问系统中的应用

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

在复杂系统的设计流程中,每个设计阶段都要制定标准的设计方案以实现系统功能.渐进细化设计就是把设计流程中的设计方案和检验其能否实现一个特定功能分离开来.提出了渐进细化的概念,并将其应用于互斥访问系统中,同时用LOTOS规范进行描述.

著录项

来源
《计算机工程与设计》 |2006年第14期|2551-2554|共4页
作者
王继曾; 姜春艳; 苗志锋;
展开▼
作者单位

兰州理工大学;

计算机与通信学院;

甘肃;

兰州;

730050;

兰州理工大学;

计算机与通信学院;

甘肃;

兰州;

730050;

兰州理工大学;

计算机与通信学院;

甘肃;

兰州;

730050;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算机网络;
关键词
LOTOS; 渐进细化; 形式描述; 设计流程; 互斥访问;

相似文献

中文文献
外文文献
专利

1. 角色互斥在角色访问控制系统中的应用 [J] . 胡和平 ,邹松 . 计算机工程 . 2002,第004期
2. 一种控制系统故障处理中的互斥设计方法 [J] . 王裙 ,吴培亚 ,陈志华 . 空间控制技术与应用 . 2021,第001期
3. 分布式操作系统中操作原语的应用——谈谈互斥与条件同步在P、V操作中的区别及如何运用P、V操作原语实行n个进程同步 [J] . 肖汉奇 . 湖南理工学院学报 . 1990,第001期
4. 精细化正向设计方法在机电综合管理系统的应用 [J] . 梁伟 ,李巍 . 测控技术 . 2021,第002期
5. 互斥技术在嵌入式系统中的应用 [J] . 张祖昌 ,曾霞霞 . 闽江学院学报 . 2007,第005期
6. 一种嵌入式双核互斥SOC架构设计方法研究 [C] . 刘亮亮 ,蒋彭龙 . 中国宇航学会计算机应用专业委员会2011年度技术交流会 . 2011
7. 分布式系统的通信和对共享资源互斥访问的研究与实现 [A] . 赖周建 . 2006

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号