No Cover Image

Conference Paper/Proceeding/Abstract 1498 views

Safety and Line Capacity in Railways – An Approach in Timed CSP

Hoang Nguyen Orcid Logo, Yoshinao Isobe, Faron Moller Orcid Logo, Hoang Nga Nguyen, Markus Roggenbach

Integrated Formal Methods, Volume: 7321, Pages: 54 - 68

Swansea University Authors: Hoang Nguyen Orcid Logo, Faron Moller Orcid Logo

Full text not available from this repository: check for access using links below.

Check full text

DOI (Published version): 10.1007/978-3-642-30729-4_5

Abstract

Railways need to be safe and, at the same time, should offer high capacity. While the notion of safety is well understood in the railway domain, the meaning of capacity is understood only on an intuitive and informal level. In this study, we show how to define and analyse capacity in a rigorous way....

Full description

Published in: Integrated Formal Methods
ISSN: 0302-9743 1611-3349
Published: Berlin Heidelberg Springer-Verlag 2012
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa13710
Tags: Add Tag
No Tags, Be the first to tag this record!
first_indexed 2013-07-23T12:10:44Z
last_indexed 2018-02-09T04:44:34Z
id cronfa13710
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2015-07-01T09:20:04.7676639</datestamp><bib-version>v2</bib-version><id>13710</id><entry>2012-12-16</entry><title>Safety and Line Capacity in Railways &#x2013; An Approach in Timed CSP</title><swanseaauthors><author><sid>cb24d5c5080534dc5b5e3390f24dd422</sid><ORCID>0000-0003-0260-1697</ORCID><firstname>Hoang</firstname><surname>Nguyen</surname><name>Hoang Nguyen</name><active>true</active><ethesisStudent>false</ethesisStudent></author><author><sid>bf25e0b52fe7c11c473cc48d306073f7</sid><ORCID>0000-0001-9535-8053</ORCID><firstname>Faron</firstname><surname>Moller</surname><name>Faron Moller</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2012-12-16</date><deptcode>SCS</deptcode><abstract>Railways need to be safe and, at the same time, should offer high capacity. While the notion of safety is well understood in the railway domain, the meaning of capacity is understood only on an intuitive and informal level. In this study, we show how to define and analyse capacity in a rigorous way. Our modelling approach builds on an established modelling technique in the process algebra CSP for safety alone, provides an integrated view on safety as well as capacity, and offers proof support in terms of (untimed) model checking.</abstract><type>Conference Paper/Proceeding/Abstract</type><journal>Integrated Formal Methods</journal><volume>7321</volume><paginationStart>54</paginationStart><paginationEnd>68</paginationEnd><publisher>Springer-Verlag</publisher><placeOfPublication>Berlin Heidelberg</placeOfPublication><issnPrint>0302-9743</issnPrint><issnElectronic>1611-3349</issnElectronic><keywords>formal methods, model checking, railway vrification</keywords><publishedDay>31</publishedDay><publishedMonth>12</publishedMonth><publishedYear>2012</publishedYear><publishedDate>2012-12-31</publishedDate><doi>10.1007/978-3-642-30729-4_5</doi><url>http://www.cs.swan.ac.uk/~csfm/ifm12.pdf</url><notes/><college>COLLEGE NANME</college><department>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>SCS</DepartmentCode><institution>Swansea University</institution><apcterm/><lastEdited>2015-07-01T09:20:04.7676639</lastEdited><Created>2012-12-16T19:03:02.8410572</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Computer Science</level></path><authors><author><firstname>Hoang</firstname><surname>Nguyen</surname><orcid>0000-0003-0260-1697</orcid><order>1</order></author><author><firstname>Yoshinao</firstname><surname>Isobe</surname><order>2</order></author><author><firstname>Faron</firstname><surname>Moller</surname><orcid>0000-0001-9535-8053</orcid><order>3</order></author><author><firstname>Hoang Nga</firstname><surname>Nguyen</surname><order>4</order></author><author><firstname>Markus</firstname><surname>Roggenbach</surname><order>5</order></author></authors><documents/><OutputDurs/></rfc1807>
spelling 2015-07-01T09:20:04.7676639 v2 13710 2012-12-16 Safety and Line Capacity in Railways – An Approach in Timed CSP cb24d5c5080534dc5b5e3390f24dd422 0000-0003-0260-1697 Hoang Nguyen Hoang Nguyen true false bf25e0b52fe7c11c473cc48d306073f7 0000-0001-9535-8053 Faron Moller Faron Moller true false 2012-12-16 SCS Railways need to be safe and, at the same time, should offer high capacity. While the notion of safety is well understood in the railway domain, the meaning of capacity is understood only on an intuitive and informal level. In this study, we show how to define and analyse capacity in a rigorous way. Our modelling approach builds on an established modelling technique in the process algebra CSP for safety alone, provides an integrated view on safety as well as capacity, and offers proof support in terms of (untimed) model checking. Conference Paper/Proceeding/Abstract Integrated Formal Methods 7321 54 68 Springer-Verlag Berlin Heidelberg 0302-9743 1611-3349 formal methods, model checking, railway vrification 31 12 2012 2012-12-31 10.1007/978-3-642-30729-4_5 http://www.cs.swan.ac.uk/~csfm/ifm12.pdf COLLEGE NANME Computer Science COLLEGE CODE SCS Swansea University 2015-07-01T09:20:04.7676639 2012-12-16T19:03:02.8410572 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Hoang Nguyen 0000-0003-0260-1697 1 Yoshinao Isobe 2 Faron Moller 0000-0001-9535-8053 3 Hoang Nga Nguyen 4 Markus Roggenbach 5
title Safety and Line Capacity in Railways – An Approach in Timed CSP
spellingShingle Safety and Line Capacity in Railways – An Approach in Timed CSP
Hoang Nguyen
Faron Moller
title_short Safety and Line Capacity in Railways – An Approach in Timed CSP
title_full Safety and Line Capacity in Railways – An Approach in Timed CSP
title_fullStr Safety and Line Capacity in Railways – An Approach in Timed CSP
title_full_unstemmed Safety and Line Capacity in Railways – An Approach in Timed CSP
title_sort Safety and Line Capacity in Railways – An Approach in Timed CSP
author_id_str_mv cb24d5c5080534dc5b5e3390f24dd422
bf25e0b52fe7c11c473cc48d306073f7
author_id_fullname_str_mv cb24d5c5080534dc5b5e3390f24dd422_***_Hoang Nguyen
bf25e0b52fe7c11c473cc48d306073f7_***_Faron Moller
author Hoang Nguyen
Faron Moller
author2 Hoang Nguyen
Yoshinao Isobe
Faron Moller
Hoang Nga Nguyen
Markus Roggenbach
format Conference Paper/Proceeding/Abstract
container_title Integrated Formal Methods
container_volume 7321
container_start_page 54
publishDate 2012
institution Swansea University
issn 0302-9743
1611-3349
doi_str_mv 10.1007/978-3-642-30729-4_5
publisher Springer-Verlag
college_str Faculty of Science and Engineering
hierarchytype
hierarchy_top_id facultyofscienceandengineering
hierarchy_top_title Faculty of Science and Engineering
hierarchy_parent_id facultyofscienceandengineering
hierarchy_parent_title Faculty of Science and Engineering
department_str School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science
url http://www.cs.swan.ac.uk/~csfm/ifm12.pdf
document_store_str 0
active_str 0
description Railways need to be safe and, at the same time, should offer high capacity. While the notion of safety is well understood in the railway domain, the meaning of capacity is understood only on an intuitive and informal level. In this study, we show how to define and analyse capacity in a rigorous way. Our modelling approach builds on an established modelling technique in the process algebra CSP for safety alone, provides an integrated view on safety as well as capacity, and offers proof support in terms of (untimed) model checking.
published_date 2012-12-31T03:15:40Z
_version_ 1763750277526061056
score 11.037603

Similar Items