搜索筛选:
搜索耗时3.2758秒,为你在为你在102,285,761篇论文里面共找到 8 篇相符的论文内容
发布年度:
[期刊论文] 作者：康跃馨, 甘元科, 王生原,,
来源：软件学报 年份：2004
同步数据流语言(如Lustre、Signal)在航空、高铁、核电等安全关键领域得到广泛应用.例如,适合这些领域实时控制系统建模和开发的Scade工具就是基于一种类Lustre语言.这类语言...
[期刊论文] 作者：康跃馨,甘元科,王生原,
来源：软件学报 年份：2019
同步数据流语言(如Lustre、Signal)在航空、高铁、核电等安全关键领域得到广泛应用。例如,适合这些领域实时控制系统建模和开发的Scade工具就是基于一种类Lustre语言。这类语...
[期刊论文] 作者：尚书, 甘元科, 石刚, 王生原, 董渊,,
来源：软件学报 年份：2017
同步数据流语言（如Lustre）近年来在航空、高铁、核电等安全攸关领域得到广泛应用.这些领域对相关开发工具本身的安全性有着相当高的要求.为尽力解决好“误编译”问题,近期人们...
[期刊论文] 作者：刘洋, 甘元科, 王生原, 董渊, 杨斐, 石刚, 闫鑫,,
来源：软件学报 年份：2015
Lustre是一种广泛应用于工业界核心安全级控制系统的同步数据流语言，采用形式化验证的方法实现Lustre到C的编译器可以有效地提高编译器的可信度．基于这种方法，开展了从Lustre^＊（一......
[期刊论文] 作者：张玲波, 甘元科, 石刚, 王生原, 董渊, 张智慧, 王沿,
来源：计算机工程与设计 年份：2014
为解决实现同步数据流语言Lustre到串行命令式语言c语言可信编译器过程中碰到的时态运算翻译的困难，提出了将所有的时态运算翻译单独分层定义和证明的方法。在同步数据流语言...
[期刊论文] 作者：甘元科,张玲波,石刚,王生原,董渊,张智慧,王沿海,,
来源：计算机应用与软件 年份：2014
Lustre是一种广泛应用于核电、航空等高可信领域的同步数据流语言。用形式化验证的方法来实现Lustre到C的翻译并证明其过程能有效提高编译器的安全性。因为Lustre程序是并发执行的,需要对其进行因果分析和串行化。利用Coq工具,形式化定义拓扑排序的性质和相应层......
[期刊论文] 作者：石刚, 王生原, 董渊, 嵇智源, 甘元科, 张玲波, 张煜,
来源：软件学报 年份：2004
同步数据流语言近年来在航空、高铁、核电等安全关键领域得到广泛应用.然而,此类语言相关开发工具本身的安全性业已成为被高度关注的安全隐患之一.借助辅助定理证明器实现常...
[期刊论文] 作者：石刚,王生原,董渊,嵇智源,甘元科,张玲波,张煜承,王蕾,杨,
来源：软件学报 年份：2014
同步数据流语言近年来在航空、高铁、核电等安全关键领域得到广泛应用．然而，此类语言相关开发工具本身的安全性业已成为被高度关注的安全隐患之一．借助辅助定理证明器实现常规语......
相关搜索：
