Safety and Line Capacity in Railways – An Approach in Timed CSP View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

2012

AUTHORS

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

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. More... »

PAGES

54-68

Book

TITLE

Integrated Formal Methods

ISBN

978-3-642-30728-7
978-3-642-30729-4

Author Affiliations

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-642-30729-4_5

DOI

http://dx.doi.org/10.1007/978-3-642-30729-4_5

DIMENSIONS

https://app.dimensions.ai/details/publication/pub.1045014423


Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
Incoming Citations Browse incoming citations for this publication using opencitations.net

JSON-LD is the canonical representation for SciGraph data.

TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

[
  {
    "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
    "about": [
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information and Computing Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0801", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Artificial Intelligence and Image Processing", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "AIST, Japan", 
          "id": "http://www.grid.ac/institutes/grid.208504.b", 
          "name": [
            "AIST, Japan"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Isobe", 
        "givenName": "Yoshinao", 
        "id": "sg:person.015026421673.28", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015026421673.28"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Swansea University, UK", 
          "id": "http://www.grid.ac/institutes/grid.4827.9", 
          "name": [
            "Swansea University, UK"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Moller", 
        "givenName": "Faron", 
        "id": "sg:person.010425236217.29", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010425236217.29"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Swansea University, UK", 
          "id": "http://www.grid.ac/institutes/grid.4827.9", 
          "name": [
            "Swansea University, UK"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Nguyen", 
        "givenName": "Hoang Nga", 
        "id": "sg:person.014355405221.01", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014355405221.01"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Swansea University, UK", 
          "id": "http://www.grid.ac/institutes/grid.4827.9", 
          "name": [
            "Swansea University, UK"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Roggenbach", 
        "givenName": "Markus", 
        "id": "sg:person.014634147051.77", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014634147051.77"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2012", 
    "datePublishedReg": "2012-01-01", 
    "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.", 
    "editor": [
      {
        "familyName": "Derrick", 
        "givenName": "John", 
        "type": "Person"
      }, 
      {
        "familyName": "Gnesi", 
        "givenName": "Stefania", 
        "type": "Person"
      }, 
      {
        "familyName": "Latella", 
        "givenName": "Diego", 
        "type": "Person"
      }, 
      {
        "familyName": "Treharne", 
        "givenName": "Helen", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-642-30729-4_5", 
    "inLanguage": "en", 
    "isAccessibleForFree": true, 
    "isPartOf": {
      "isbn": [
        "978-3-642-30728-7", 
        "978-3-642-30729-4"
      ], 
      "name": "Integrated Formal Methods", 
      "type": "Book"
    }, 
    "keywords": [
      "process algebra CSP", 
      "proof support", 
      "model checking", 
      "railway domain", 
      "Timed CSP", 
      "integrated view", 
      "notion of safety", 
      "modelling techniques", 
      "informal level", 
      "CSP", 
      "rigorous way", 
      "checking", 
      "same time", 
      "modelling approach", 
      "meaning of capacity", 
      "line capacity", 
      "railway", 
      "domain", 
      "technique", 
      "way", 
      "safety", 
      "high capacity", 
      "support", 
      "view", 
      "notion", 
      "terms", 
      "time", 
      "capacity", 
      "meaning", 
      "levels", 
      "study", 
      "approach"
    ], 
    "name": "Safety and Line Capacity in Railways \u2013 An Approach in Timed CSP", 
    "pagination": "54-68", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1045014423"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-642-30729-4_5"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-642-30729-4_5", 
      "https://app.dimensions.ai/details/publication/pub.1045014423"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-05-10T10:55", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220509/entities/gbq_results/chapter/chapter_68.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-642-30729-4_5"
  }
]
 

Download the RDF metadata as:  json-ld nt turtle xml License info

HOW TO GET THIS DATA PROGRAMMATICALLY:

JSON-LD is a popular format for linked data which is fully compatible with JSON.

curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-30729-4_5'

N-Triples is a line-based linked data format ideal for batch operations.

curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-30729-4_5'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-30729-4_5'

RDF/XML is a standard XML format for linked data.

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-30729-4_5'


 

This table displays all metadata directly associated to this object as RDF triples.

131 TRIPLES      23 PREDICATES      58 URIs      51 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-642-30729-4_5 schema:about anzsrc-for:08
2 anzsrc-for:0801
3 schema:author N127e01d6248845b9ab7349c4970ce90a
4 schema:datePublished 2012
5 schema:datePublishedReg 2012-01-01
6 schema: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.
7 schema:editor N95aa1b8f43cc403f9bd40cb41018c6ae
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree true
11 schema:isPartOf N04a56399fd2545e6a6790d7d7d61fbad
12 schema:keywords CSP
13 Timed CSP
14 approach
15 capacity
16 checking
17 domain
18 high capacity
19 informal level
20 integrated view
21 levels
22 line capacity
23 meaning
24 meaning of capacity
25 model checking
26 modelling approach
27 modelling techniques
28 notion
29 notion of safety
30 process algebra CSP
31 proof support
32 railway
33 railway domain
34 rigorous way
35 safety
36 same time
37 study
38 support
39 technique
40 terms
41 time
42 view
43 way
44 schema:name Safety and Line Capacity in Railways – An Approach in Timed CSP
45 schema:pagination 54-68
46 schema:productId Nebbcc8fcd59347e2ac22e27f6d57eac0
47 Nf1682ea58052439f89d641aa5f1d1163
48 schema:publisher N4c1f1e27c5a94cb5b2f7fd454aaa23b3
49 schema:sameAs https://app.dimensions.ai/details/publication/pub.1045014423
50 https://doi.org/10.1007/978-3-642-30729-4_5
51 schema:sdDatePublished 2022-05-10T10:55
52 schema:sdLicense https://scigraph.springernature.com/explorer/license/
53 schema:sdPublisher N75a72c4fba99475f83ee0e809e6a1729
54 schema:url https://doi.org/10.1007/978-3-642-30729-4_5
55 sgo:license sg:explorer/license/
56 sgo:sdDataset chapters
57 rdf:type schema:Chapter
58 N04a56399fd2545e6a6790d7d7d61fbad schema:isbn 978-3-642-30728-7
59 978-3-642-30729-4
60 schema:name Integrated Formal Methods
61 rdf:type schema:Book
62 N127e01d6248845b9ab7349c4970ce90a rdf:first sg:person.015026421673.28
63 rdf:rest N29925f6e59d74c09807d55d146512cf7
64 N13b51c020e474591917907f94d8369dd schema:familyName Derrick
65 schema:givenName John
66 rdf:type schema:Person
67 N1eecbdb43a9549d989662ac84d8af68b rdf:first Ne0d3d690cfbd42fd9f3360a02489a1fc
68 rdf:rest N7280a17a13ff42a2a59f46ed1138ccf7
69 N29925f6e59d74c09807d55d146512cf7 rdf:first sg:person.010425236217.29
70 rdf:rest N3dbe0eab1a064bfcae04b7a0af725d16
71 N38b7e50f883d4024b31d1ffeb81cd46d schema:familyName Treharne
72 schema:givenName Helen
73 rdf:type schema:Person
74 N3dbe0eab1a064bfcae04b7a0af725d16 rdf:first sg:person.014355405221.01
75 rdf:rest Ne376ad1ac69d42f7ba3acfa58e71275e
76 N4c1f1e27c5a94cb5b2f7fd454aaa23b3 schema:name Springer Nature
77 rdf:type schema:Organisation
78 N7280a17a13ff42a2a59f46ed1138ccf7 rdf:first N38b7e50f883d4024b31d1ffeb81cd46d
79 rdf:rest rdf:nil
80 N75a72c4fba99475f83ee0e809e6a1729 schema:name Springer Nature - SN SciGraph project
81 rdf:type schema:Organization
82 N95aa1b8f43cc403f9bd40cb41018c6ae rdf:first N13b51c020e474591917907f94d8369dd
83 rdf:rest Nc8bdb0207ef2480ab3f8af234a3c5b60
84 Nc8bdb0207ef2480ab3f8af234a3c5b60 rdf:first Nd13fda243555439795c71e9f1ab0e0b3
85 rdf:rest N1eecbdb43a9549d989662ac84d8af68b
86 Nd13fda243555439795c71e9f1ab0e0b3 schema:familyName Gnesi
87 schema:givenName Stefania
88 rdf:type schema:Person
89 Ne0d3d690cfbd42fd9f3360a02489a1fc schema:familyName Latella
90 schema:givenName Diego
91 rdf:type schema:Person
92 Ne376ad1ac69d42f7ba3acfa58e71275e rdf:first sg:person.014634147051.77
93 rdf:rest rdf:nil
94 Nebbcc8fcd59347e2ac22e27f6d57eac0 schema:name dimensions_id
95 schema:value pub.1045014423
96 rdf:type schema:PropertyValue
97 Nf1682ea58052439f89d641aa5f1d1163 schema:name doi
98 schema:value 10.1007/978-3-642-30729-4_5
99 rdf:type schema:PropertyValue
100 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
101 schema:name Information and Computing Sciences
102 rdf:type schema:DefinedTerm
103 anzsrc-for:0801 schema:inDefinedTermSet anzsrc-for:
104 schema:name Artificial Intelligence and Image Processing
105 rdf:type schema:DefinedTerm
106 sg:person.010425236217.29 schema:affiliation grid-institutes:grid.4827.9
107 schema:familyName Moller
108 schema:givenName Faron
109 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010425236217.29
110 rdf:type schema:Person
111 sg:person.014355405221.01 schema:affiliation grid-institutes:grid.4827.9
112 schema:familyName Nguyen
113 schema:givenName Hoang Nga
114 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014355405221.01
115 rdf:type schema:Person
116 sg:person.014634147051.77 schema:affiliation grid-institutes:grid.4827.9
117 schema:familyName Roggenbach
118 schema:givenName Markus
119 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014634147051.77
120 rdf:type schema:Person
121 sg:person.015026421673.28 schema:affiliation grid-institutes:grid.208504.b
122 schema:familyName Isobe
123 schema:givenName Yoshinao
124 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015026421673.28
125 rdf:type schema:Person
126 grid-institutes:grid.208504.b schema:alternateName AIST, Japan
127 schema:name AIST, Japan
128 rdf:type schema:Organization
129 grid-institutes:grid.4827.9 schema:alternateName Swansea University, UK
130 schema:name Swansea University, UK
131 rdf:type schema:Organization
 




Preview window. Press ESC to close (or click here)


...