检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:王东 崔佳诺 Wang Dong;Cui Jianuo(Beijing National Railway Research & Design Institute of Signal & Communication Group Co.,Ltd.,Beijing 100070,China)
机构地区:[1]北京全路通信信号研究设计院集团有限公司,北京100070
出 处:《铁路通信信号工程技术》2018年第9期15-20,共6页Railway Signalling & Communication Engineering
摘 要:建立一套基于高安全性应用开发环境(SCADE)的梯形图模型库,并基于该模型库提出一种基于SCADE和梯形图的可视化联锁逻辑实现方法。该方法一方面可以使软件开发人员在开发联锁逻辑功能时,以绘制梯形图的方式代替既有的编写代码的方式进行图形化开发。工程技术人员和业主可以直接通过梯形图了解软件实现的联锁逻辑功能,减少人为转换的环节。另一方面在程序开发过程中,还可以直接利用成熟的继电电路设计经验指导程序开发,进一步提高系统功能的正确性和安全性。The paper introduces a new realization method of visual interlocking logic based on the development of a ladder diagram model base in Safety-Critical Application Development Environment(SCADE). This new method not only enables software developers to visualize interlocking logic function by the ladder diagram instead of traditional coding but also enables owners to easily review the interlocking logic functions via the ladder diagram presented by SCADE directly without the manual transforming process. Meanwhile, this method can improve the accuracy and safety of the system function based on mature relay circuit design experience in program development.
分 类 号:U284.482[交通运输工程—交通信息工程及控制]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:3.133.145.211