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

^*Corresponding author for this work

Software Engineering Institute

East China Normal University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

4 Scopus citations

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.

Original language	English
Title of host publication	Proceedings - 2016 IEEE 24th International Requirements Engineering Conference Workshops, REW 2016
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	296-303
Number of pages	8
ISBN (Electronic)	9781509036943
DOIs	https://doi.org/10.1109/REW.2016.35
State	Published - 12 Jan 2017
Event	24th IEEE International Requirements Engineering Conference Workshops, REW 2016 - Beijing, China Duration: 12 Sep 2016 → 16 Sep 2016

Publication series

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

Conference

Conference	24th IEEE International Requirements Engineering Conference Workshops, REW 2016
Country/Territory	China
City	Beijing
Period	12/09/16 → 16/09/16

Keywords

Railway Interlocking Systems
Safety Requirement Patterns
Safety Requirements Classification
Safety Requirements Elicitation

Access to Document

10.1109/REW.2016.35

Cite this

Chen, X., Han, L., Liu, J., & Sun, H. (2017). Using safety requirement patterns to elicit requirements for railway interlocking systems. In Proceedings - 2016 IEEE 24th International Requirements Engineering Conference Workshops, REW 2016 (pp. 296-303). Article 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 et al. / 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. pp. 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. in 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., pp. 296-303, 24th IEEE International Requirements Engineering Conference Workshops, REW 2016, Beijing, China, 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 et al.
Proceedings - 2016 IEEE 24th International Requirements Engineering Conference Workshops, REW 2016. Institute of Electrical and Electronics Engineers Inc., 2017. p. 296-303 7815638 (Proceedings - 2016 IEEE 24th International Requirements Engineering Conference Workshops, REW 2016).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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. In Proceedings - 2016 IEEE 24th International Requirements Engineering Conference Workshops, REW 2016. Institute of Electrical and Electronics Engineers Inc. 2017. p. 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

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this