An Approach of Creating Component Design Specification for Safety-Related Software in Railway

机译：一种在铁路安全相关软件创建组件设计规范的方法

获取原文

页面导航

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

摘要

This paper presents a practicable approach of creating component design specifications for safety related software used in railway industry.

机译：本文提出了一种可行的方法，可以创建铁路行业安全相关软件的组件设计规范。

著录项

来源
《Annual Reliability and Maintainability Symposium》|2019年|751p|共4页
会议地点
作者
Yin Chen; Sven Linder; Jonas Wigstein;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类 F406.3-53;
关键词
Software; Safety; Rail transportation; IEC Standards; Industries;

机译：软件;安全;铁路运输;IEC标准;行业;
入库时间 2022-08-21 05:57:24

相似文献

外文文献
中文文献
专利

1. ONTOLOGICAL APPROACH TO THE SPECIFICATION OF PROPERTIES OF SOFTWARE SYSTEMS AND THEIR COMPONENTS [J] . L. P. Babenko Cybemetics and Systems Analysis . 2009,第1期

机译：规范软件系统及其组件特性的本体方法
2. Hardware/software Co-design of complex embedded systems - an approach using efficient process models, multiple formalism specification and validation via co-simulation [J] . Nikolaos S. Voros, Luis Sanchez, Alejandro Alonso, Design automation for embedded systems . 2003,第1期

机译：复杂嵌入式系统的硬件/软件共同设计 - 一种使用高效流程模型，多种形式主义规范和通过共模验证的方法
3. An Object-oriented Approach to Design, Specification, and Implementation of Hyperlink Structures Based on Usual Software Development [J] . Alexander Fronk Journal of Universal Computer Science . 2002,第10期

机译：基于常规软件开发的面向对象的超链接结构设计，规范和实现方法
4. An Approach of Creating Component Design Specification for Safety-Related Software in Railway [C] . Yin Chen, Sven Linder, Jonas Wigstein Annual Reliability and Maintainability Symposium . 2019

机译：铁路安全相关软件构件设计规范的建立方法
5. An executable specifications approach to component-oriented software development [D] . Keebler, Frederick Matt 1993

机译：面向组件的软件开发的可执行规范方法
6. Men’s Preferences for Physical Activity Interventions: An Exploratory Study Using a Factorial Survey Design Created With R Software [O] . Sheryl L. Chatfield, Abigail Gamble, Jeffrey S. Hallam 2018

机译：男性对体育活动干预的偏好：使用R软件创建的析因调查设计的探索性研究
7. Software IC Revised: A New Approach of Component- Based Software Design with Software Slots [O] . Shangwei Duan, Xiaobu Yuan 2015

机译：软件IC修订：一种基于组件的软件槽软件设计新方法
8. Approach to the Hierarchical Specification, Design and Verification of Software [R] . Bramson, B. D. 1987

机译：软件层次规范，设计与验证的探讨

An Approach of Creating Component Design Specification for Safety-Related Software in Railway

摘要

著录项

相似文献

相关主题

期刊订阅