Using safety requirement patterns to elicit requirements for railway interlocking systems

Xiaohong Chen; Li Han; Jing Liu; Haiying Sun

doi:10.1109/REW.2016.35

Using safety requirement patterns to elicit requirements for railway interlocking systems

Xiaohong Chen
, Li Han
, Jing Liu^*
, Haiying Sun

^*此作品的通讯作者

软件工程学院

East China Normal University

科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

4 引用（Scopus）

摘要

Safety requirements are of great importance in Railway Interlocking Systems. However it is still very difficult to obtain all of the safety requirements in practice. In this paper, we propose an approach to capture safety requirements based on safety requirements patterns. From a variety of sources, such as interlocking tables and existing safety relevant functional requirements of railway interlocking system, we classify them and extract some safety requirement patterns in formal descripitions. Finally, a process to elicit safety requirements based on these patterns are given. We applied our approach to the interlocking system at Mohe station in China.

源语言	英语
主期刊名	Proceedings - 2016 IEEE 24th International Requirements Engineering Conference Workshops, REW 2016
出版商	Institute of Electrical and Electronics Engineers Inc.
页	296-303
页数	8
ISBN（电子版）	9781509036943
DOI	https://doi.org/10.1109/REW.2016.35
出版状态	已出版 - 12 1月 2017
活动	24th IEEE International Requirements Engineering Conference Workshops, REW 2016 - Beijing, 中国期限: 12 9月 2016 → 16 9月 2016

出版系列

姓名	Proceedings - 2016 IEEE 24th International Requirements Engineering Conference Workshops, REW 2016

会议

会议	24th IEEE International Requirements Engineering Conference Workshops, REW 2016
国家/地区	中国
市	Beijing
时期	12/09/16 → 16/09/16

访问文件

10.1109/REW.2016.35

其它文件与链接

链接到 Scopus 的出版物

引用此

Chen, X., Han, L., Liu, J., & Sun, H. (2017). Using safety requirement patterns to elicit requirements for railway interlocking systems. 在 Proceedings - 2016 IEEE 24th International Requirements Engineering Conference Workshops, REW 2016 (页码 296-303). 文章 7815638 (Proceedings - 2016 IEEE 24th International Requirements Engineering Conference Workshops, REW 2016). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/REW.2016.35

Chen, Xiaohong ; Han, Li ; Liu, Jing 等. / Using safety requirement patterns to elicit requirements for railway interlocking systems. Proceedings - 2016 IEEE 24th International Requirements Engineering Conference Workshops, REW 2016. Institute of Electrical and Electronics Engineers Inc., 2017. 页码 296-303 (Proceedings - 2016 IEEE 24th International Requirements Engineering Conference Workshops, REW 2016).

@inproceedings{a7eb653ced9c4324bb2947754fc807d0,

title = "Using safety requirement patterns to elicit requirements for railway interlocking systems",

abstract = "Safety requirements are of great importance in Railway Interlocking Systems. However it is still very difficult to obtain all of the safety requirements in practice. In this paper, we propose an approach to capture safety requirements based on safety requirements patterns. From a variety of sources, such as interlocking tables and existing safety relevant functional requirements of railway interlocking system, we classify them and extract some safety requirement patterns in formal descripitions. Finally, a process to elicit safety requirements based on these patterns are given. We applied our approach to the interlocking system at Mohe station in China.",

keywords = "Railway Interlocking Systems, Safety Requirement Patterns, Safety Requirements Classification, Safety Requirements Elicitation",

author = "Xiaohong Chen and Li Han and Jing Liu and Haiying Sun",

note = "Publisher Copyright: {\textcopyright} 2016 IEEE.; 24th IEEE International Requirements Engineering Conference Workshops, REW 2016 ; Conference date: 12-09-2016 Through 16-09-2016",

year = "2017",

month = jan,

day = "12",

doi = "10.1109/REW.2016.35",

language = "英语",

series = "Proceedings - 2016 IEEE 24th International Requirements Engineering Conference Workshops, REW 2016",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "296--303",

booktitle = "Proceedings - 2016 IEEE 24th International Requirements Engineering Conference Workshops, REW 2016",

address = "美国",

}

Chen, X, Han, L, Liu, J & Sun, H 2017, Using safety requirement patterns to elicit requirements for railway interlocking systems. 在 Proceedings - 2016 IEEE 24th International Requirements Engineering Conference Workshops, REW 2016., 7815638, Proceedings - 2016 IEEE 24th International Requirements Engineering Conference Workshops, REW 2016, Institute of Electrical and Electronics Engineers Inc., 页码 296-303, 24th IEEE International Requirements Engineering Conference Workshops, REW 2016, Beijing, 中国, 12/09/16. https://doi.org/10.1109/REW.2016.35

Using safety requirement patterns to elicit requirements for railway interlocking systems. / Chen, Xiaohong; Han, Li; Liu, Jing 等.
Proceedings - 2016 IEEE 24th International Requirements Engineering Conference Workshops, REW 2016. Institute of Electrical and Electronics Engineers Inc., 2017. 页码 296-303 7815638 (Proceedings - 2016 IEEE 24th International Requirements Engineering Conference Workshops, REW 2016).

科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

TY - GEN

T1 - Using safety requirement patterns to elicit requirements for railway interlocking systems

AU - Chen, Xiaohong

AU - Han, Li

AU - Liu, Jing

AU - Sun, Haiying

PY - 2017/1/12

Y1 - 2017/1/12

N2 - Safety requirements are of great importance in Railway Interlocking Systems. However it is still very difficult to obtain all of the safety requirements in practice. In this paper, we propose an approach to capture safety requirements based on safety requirements patterns. From a variety of sources, such as interlocking tables and existing safety relevant functional requirements of railway interlocking system, we classify them and extract some safety requirement patterns in formal descripitions. Finally, a process to elicit safety requirements based on these patterns are given. We applied our approach to the interlocking system at Mohe station in China.

AB - Safety requirements are of great importance in Railway Interlocking Systems. However it is still very difficult to obtain all of the safety requirements in practice. In this paper, we propose an approach to capture safety requirements based on safety requirements patterns. From a variety of sources, such as interlocking tables and existing safety relevant functional requirements of railway interlocking system, we classify them and extract some safety requirement patterns in formal descripitions. Finally, a process to elicit safety requirements based on these patterns are given. We applied our approach to the interlocking system at Mohe station in China.

KW - Railway Interlocking Systems

KW - Safety Requirement Patterns

KW - Safety Requirements Classification

KW - Safety Requirements Elicitation

UR - https://www.scopus.com/pages/publications/85013078287

U2 - 10.1109/REW.2016.35

DO - 10.1109/REW.2016.35

M3 - 会议稿件

AN - SCOPUS:85013078287

T3 - Proceedings - 2016 IEEE 24th International Requirements Engineering Conference Workshops, REW 2016

SP - 296

EP - 303

BT - Proceedings - 2016 IEEE 24th International Requirements Engineering Conference Workshops, REW 2016

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 24th IEEE International Requirements Engineering Conference Workshops, REW 2016

Y2 - 12 September 2016 through 16 September 2016

ER -

Chen X, Han L, Liu J, Sun H. Using safety requirement patterns to elicit requirements for railway interlocking systems. 在 Proceedings - 2016 IEEE 24th International Requirements Engineering Conference Workshops, REW 2016. Institute of Electrical and Electronics Engineers Inc. 2017. 页码 296-303. 7815638. (Proceedings - 2016 IEEE 24th International Requirements Engineering Conference Workshops, REW 2016). doi: 10.1109/REW.2016.35

Using safety requirement patterns to elicit requirements for railway interlocking systems

摘要

出版系列

会议

访问文件

其它文件与链接

指纹

引用此