-
题名轨道交通联锁领域特定语言的形式化
被引量：6
- 1
-
-
作者
赵梦瑶
陈小红
孙海英
刘静
陈良育
周庭梁
-
机构
上海市高可信计算重点实验室(华东师范大学)
卡斯柯信号有限公司
-
出处
《软件学报》
EI
CSCD
北大核心
2020年第6期1638-1653,共16页
-
基金
国家重点研发计划(2018YFB2101300)
国家自然科学基金(61332008,91418203,61672230,61572195,11471209,61802251)
上海市经济和信息化委员会专项资金(160306)。
-
文摘
作为轨道交通系统的核心子系统之一,对联锁系统进行形式化建模与分析,是保证其安全性的重要手段.形式化建模需要领域知识和形式化知识的结合,由于形式化知识难以掌握,领域专家在建模整个过程中都需要形式化专家的帮助.为了解决这个问题,针对联锁系统的故障随机性、行为实时性、构件可重用的特点,提出设计联锁领域特定语言IS-DSL描述具体的联锁系统的参数,并基于随机混成自动机模板自动生成联锁系统的形式化模型,以进一步在此基础上进行安全分析.首先对联锁系统模型进行分析,根据不同案例设计其领域特定语言;其次,确定联锁系统的系统模型模板,包括环境构件模板和控制器模板,并举例抽取其随机混成自动机模板;在模板基础上定义系统模型生成过程,让领域专家可以通过领域特定语言,输入参数自动生成具体的随机混成自动机系统模型;最后以某站联锁系统为例,展示了基于模板的具体系统模型的生成过程,并通过基于系统模型的事故预测分析,证明了该方法的可行性与有效性.
-
关键词
联锁系统
模板重用
形式化建模
随机混成自动机
领域特定语言
-
Keywords
interlocking system
template reuse
formal modeling
stochastic hybrid automata(SHA)
domain specific language
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名一个模板重用的实例──报表打印生成器的设计与实现
被引量：1
- 2
-
-
作者
郭江
廖越虹
-
机构
北京航空航天大学软件工程研究所
-
出处
《计算机系统应用》
1994年第1期35-38,共4页
-
文摘
本文从软件重用的方法──模板重用的角度出发，讨论了一个实用的应用生成器──通用报表打印应用生成器的设计，并详细给出了它的实现技术，以使其具有广泛性和通用性。该应用生成器是一个实现了的软件工具，具有很好的可移植性。
-
关键词
模板重用
报表打印
生成器
设计
-
分类号
TP311.56
[自动化与计算机技术—计算机软件与理论]
-
