首页> 外文会议>Innovate integrate amp; invigorate >Automatic Generation and Verification of Design Specifications for Railway Signalling Applications

【24h】

Automatic Generation and Verification of Design Specifications for Railway Signalling Applications

机译：自动生成和验证铁路信号应用设计规范

获取原文

获取原文并翻译 | 示例

页面导航

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

摘要

We describe a project to develop a set of design tools for a railway signalling application, which is safety critical and has complex functional requirements. The toolset generates design specifications from functional requirements and verifies them against safety principles. The project addresses the overall engineering design process and has applicability to other domains.

机译：我们描述了一个为铁路信号应用开发一套设计工具的项目，这对安全至关重要并且具有复杂的功能要求。该工具集根据功能需求生成设计规范，并根据安全原则对其进行验证。该项目解决了整个工程设计过程，并适用于其他领域。

著录项

来源
《Innovate integrate amp; invigorate》|2001年|p.1-7|共7页
会议地点 Melbourne(AU)
作者
Neil Robinson; rnPeter Kearney; rnDavid Tombs; rnDavid Barney; rnGeorge Nikandros;
展开▼
作者单位

Software Verification Research Centre, The University of Queensland, Queensland 4072, Australia;

rnSoftware Verification Research Centre, The University of Queensland, Queensland 4072, Australia;

rnSoftware Verification Research Centre, The University of Queensland, Queensland 4072, Australia;

rnQR, 305 Edward Street, Brisbane, Queensland 4000, Australia;

rnQR, 305 Edward Street, Brisbane, Queensland 4000, Australia;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类系统工程;
关键词

相似文献

外文文献
中文文献
专利

1. Automatic Generation of a Verification Environment for Hardware Units Application to a Bus Bridge Design [J] . Rafael K. MORIZAWA, Hiroaki IWASHITA, Koichiro TAKAYAMA, 電子情報通信学会技術研究報告. VLSI設計技術. VLSI Design Technologies . 2007,第32期

机译：自动生成的硬件单元验证环境在母线桥设计中的应用
2. Towards automatic generation of formal specifications to validate and verify reliable distributed systems: a method exemplified by an industrial case study [J] . Vidar Sl°atten, Frank Alexander Kraemer, Peter Herrmann ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2012,第3期

机译：致力于自动生成形式规范以验证和验证可靠的分布式系统：以工业案例研究为例的方法
3. Automatic generation of assumptions for modular verification of software specifications [J] . Claudio de la Riva, Javier Tuya The Journal of Systems and Software . 2006,第9期

机译：自动生成用于软件规范模块化验证的假设
4. Automatic Generation and Verification of Design Specifications for Railway Signalling Applications [C] . International Council on Systems Engineering annual international symposium . 2001

机译：铁路信令应用设计规范的自动生成和验证
5. Automatic generation and verification of complex pattern-based software specifications. [D] . Garcia, Luis Alexandro. 2007

机译：自动生成和验证基于复杂模式的软件规范。
6. Automatic Seizure Detection in Rats Using Laplacian EEG and Verification with Human Seizure Signals [O] . Amal Feltane, G. Faye Boudreaux-Bartels, Walter Besio -1

机译：使用Laplacian eEG的大鼠自动癫痫发作检测并用人癫痫发作信号进行验证
7. Automatic Mixed-Signal Design Verification Instrumentation with Observation Specification Language [O] . Jonathan David 2008

机译：具有观察规范语言的自动混合信号设计验证仪器

Automatic Generation and Verification of Design Specifications for Railway Signalling Applications

摘要

著录项

相似文献

相关主题

期刊订阅