Safety Verification of a Train Interlocking Timed Automaton Model <ce:cross-ref refid='fn1'> <ce:sup loc='post'>?</ce:sup> </ce:cross-ref>

Yul Y. Nazaruddin; Tua A. Tamba; K. Pradityo; B. Aristyo; A. Widyotriatmo

首页> 外文期刊>IFAC PapersOnLine >Safety Verification of a Train Interlocking Timed Automaton Model ?

【24h】

Safety Verification of a Train Interlocking Timed Automaton Model ?

机译：列车联锁定时自动机模型的安全性验证？

获取原文

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

This paper presents an application of formal methods based on model checking techniques for safety verification of a railway interlocking system. The proposed model checking techniques are implemented on a timed automaton model of the considered interlocking systems and with respect to safety operational specification that are expressed as computation tree logic formulas. The freely available UPPAAL model checker is used to perform the model checking task and simulation results of the performed verification are presented.

机译：本文提出了一种基于模型检查技术的形式化方法在铁路联锁系统安全性验证中的应用。所提出的模型检查技术是在考虑的联锁系统的定时自动机模型上实现的，并针对表示为计算树逻辑公式的安全运行规范进行实施。免费提供的UPPAAL模型检查器用于执行模型检查任务，并提供所执行验证的仿真结果。

著录项

来源
《IFAC PapersOnLine》 |2019年第15期|共5页
作者
Yul Y. Nazaruddin; Tua A. Tamba; K. Pradityo; B. Aristyo; A. Widyotriatmo;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种
中图分类自动化技术、计算机技术;
关键词
Train interlockingsafety verificationmodel checkingtimed automatoncomputation tree logic;

机译：列车联锁安全验证模型检验定时自动机计算树逻辑;

相似文献

外文文献
中文文献
专利

1. Port-Hamiltonian modelling of fluid dynamics models with variable cross-section ? ? [J] . Harshit Bansal, Hans Zwart, Laura Iapichino, IFAC PapersOnLine . 2021,第9期

机译：Port-Hamiltonian型流体动力学模型的模型变量横截面？？
2. Distributed Safe Learning using an Invariance-based Safety Framework ? ? [J] . Andrea Carron, Jerome Sieber, Melanie N. Zeilinger IFAC PapersOnLine . 2021,第9期

机译：使用基于不变性的安全框架的分布式安全学习？？
3. Modeling protein concentrations in cycling cells using stochastic hybrid systems ? ? [J] . Zahra Vahdat, Zikai Xu, Abhyudai Singh IFAC PapersOnLine . 2021,第9期

机译：使用随机杂交系统建模蛋白质浓度？
4. Poster: Runtime Verification of Memory Safety via Source Transformation [C] . Zhe Chen, Junqi Yan, Wenming Li, 2018 IEEE/ACM 40th International Conference on Software Engineering: Companion . 2018

机译：海报：通过源转换对内存安全性进行运行时验证
5. Characteristics of construction safety trainers, the challenges they experience, how they meet these challenges, and the relationships between selected characteristics of safety trainers and accident rates experienced by their trainees. [D] . Barber, Herbert Marion, Jr. 2003

机译：建筑安全培训师的特征，他们遇到的挑战，如何应对这些挑战，以及安全培训师的选定特征与受训者所经历的事故发生率之间的关系。
6. Cellular automaton models for time-correlated random walks: derivation and analysis [O] . J. M. Nava-Sedeño, H. Hatzikirou, R. Klages, -1

机译：时间相关随机游走的元胞自动机模型：推导和分析
7. SymposiumSubspecialty Certification: Current Status of Orthopaedic Subspecialty Certification* [O] . Keith H. Bridwell 2006

机译：Symposium 亚专业认证：矫形亚专业证书的当前状态 * / cross-ref>

Safety Verification of a Train Interlocking Timed Automaton Model ?

摘要

著录项

相似文献

相关主题

期刊订阅