检索结果-南通市图书馆

一种同步数据流编程语言——lustre

引用

抗恶劣环境计算机 1996年第3期10卷 17-26页

作者：郑链

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

同步数据流语言可信编译器Vélus与L2C的比较

引用

软件学报 2019年第7期30卷 2003-2017页

作者：康跃馨甘元科王生原清华大学计算机科学与技术系

同步数据流语言(如lustre、Signal)在航空、高铁、核电等安全关键领域得到广泛应用。例如,适合这些领域实时控制系统建模和开发的Scade工具就是基于一种类lustre语言。这类语言相关开发工具,特别是编译器的安全性问题也自然受到高度关... 详细信息

同步数据流语言(如lustre、Signal)在航空、高铁、核电等安全关键领域得到广泛应用。例如,适合这些领域实时控制系统建模和开发的Scade工具就是基于一种类lustre语言。这类语言相关开发工具,特别是编译器的安全性问题也自然受到高度关注。近年来,基于形式化验证实现可信编译器构造成为程序设计语言领域的研究焦点之一,也取得了瞩目的成果,如CompCert项目实现了产品级的可信C编译器。同样,人们也采用这种方法开展了同步数据流语言可信编译器的研发工作。主要关注从事这一工作的两个长线项目,二者均研发面向基于lustre的同步数据流语言编译器,分别以Vélus和L2C代称。对Vélus和L2C从多个重要的角度进行较为深入的分析与比较。

关键词：同步数据流语言形式化验证的编译器 lustre语言

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

应用于核安全级DCS系统的代码生成器的设计和实现

应用于核安全级DCS系统的代码生成器的设计和实现

引用

作者：兰林哈尔滨工程大学

学位级别：硕士

数字化仪控系统已经广泛应用于核电厂控制和保护系统中。其中,核安全级DCS系统用于实现核电厂安全相关的控制、保护、监测等功能。随着核安全级DCS系统的控制逻辑越来越复杂,手工编写控制逻辑的方式逐渐被“模型驱动代码自动生成”的方... 详细信息

数字化仪控系统已经广泛应用于核电厂控制和保护系统中。其中,核安全级DCS系统用于实现核电厂安全相关的控制、保护、监测等功能。随着核安全级DCS系统的控制逻辑越来越复杂,手工编写控制逻辑的方式逐渐被“模型驱动代码自动生成”的方式所代替。这种开发方式的核心在于代码生成器。目前国内核安全级DCS供应商所使用的代码生成器严重依赖于国外进口,无法实现自主可控。因此,通过设计并实现一款适用于核安全级DCS系统的代码生成器,不仅有助于打破国外垄断的局面;而且还可以大幅度降低国产核安全级DCS系统的成本,带来巨大的经济效益。lustre语言是一种同步数据流语言,用于描述功能块图编写的图形化控制逻辑,广泛应用于核安全级DCS系统的应用软件开发。本文将实现一款从lustre到C语言的代码生成器。主要研究内容包括:首先,结合此代码生成器在核安全级DCS系统中的应用场景,完成了功能需求、测试需求分析,用于指导后续的代码生成器的设计和实现;其次,结合编译原理技术,完成了对代码生成器的总体设计,主要划分为四大功能模块,它们分别完成需求分析中的各功能项;然后,结合总体架构设计,完成对各功能模块的详细设计,并介绍功能模块算法思想和数据结构;最后,在Cygwin环境下结合gcc编译器,对代码生成器的功能进行了测试。测试结果表明,本文实现的代码生成器可以将lustre程序翻译为C程序,并且C程序经gcc编译后得到的可执行文件运行后能够得到正确的结果。本论文与实际的项目相关联,最终实现了一个从lustre到C的代码生成器,为后续代码生成器的功能扩展、翻译正确性证明及工程应用奠定了基础。

关键词：核安全级DCS 代码生成器 lustre语言

来源：

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

用模块模型检查的方法来证明进程的正则网络的若干经验

引用

抗恶劣环境计算机 1996年第4期10卷 15-27页

作者：孙文圣

提供了一个使用同步描述性语言ＬＵＳＴＲＥ的例子，这个例子是关于使用此语言来描述，说明和验证一个资源协调器（这是一种正则的网络硬件设备）程序及性质都可以用ＬＵＳＴＲＥ来表达的事实可以被用来作归纳验证，验证可通过模型检查... 详细信息

提供了一个使用同步描述性语言ＬＵＳＴＲＥ的例子，这个例子是关于使用此语言来描述，说明和验证一个资源协调器（这是一种正则的网络硬件设备）程序及性质都可以用ＬＵＳＴＲＥ来表达的事实可以被用来作归纳验证，验证可通过模型检查来进行。

关键词：正则网络模块模型检查 lustre语言操作系统

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：