Visualising Railway Safety Verification View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

2020-04-26

AUTHORS

Filippos Pantekis , Phillip James , Liam O’Reilly , Daniel Archambault , Faron Moller

ABSTRACT

The application of formal methods to the railway domain has a long-standing history within the academic community. Many approaches can provide both successful proofs of safety and, in the case of failure, traces explaining the failure. However, if a given model does produce a failure, it is difficult to understand the conditions that led to the issue. We present a method to visualise railway safety issues to help engineers and researchers explore the problem so that they can adjust their designs accordingly. We evaluate our approach through qualitative real-world case studies with researchers and railway engineers. More... »

PAGES

95-105

Book

TITLE

Formal Techniques for Safety-Critical Systems

ISBN

978-3-030-46901-6
978-3-030-46902-3

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-030-46902-3_6

DOI

http://dx.doi.org/10.1007/978-3-030-46902-3_6

DIMENSIONS

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


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/09", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Engineering", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0905", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Civil Engineering", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Department of Computer Science, Swansea University, Swansea, Wales, UK", 
          "id": "http://www.grid.ac/institutes/grid.4827.9", 
          "name": [
            "Department of Computer Science, Swansea University, Swansea, Wales, UK"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Pantekis", 
        "givenName": "Filippos", 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Department of Computer Science, Swansea University, Swansea, Wales, UK", 
          "id": "http://www.grid.ac/institutes/grid.4827.9", 
          "name": [
            "Department of Computer Science, Swansea University, Swansea, Wales, UK"
          ], 
          "type": "Organization"
        }, 
        "familyName": "James", 
        "givenName": "Phillip", 
        "id": "sg:person.012345226005.23", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012345226005.23"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Department of Computer Science, Swansea University, Swansea, Wales, UK", 
          "id": "http://www.grid.ac/institutes/grid.4827.9", 
          "name": [
            "Department of Computer Science, Swansea University, Swansea, Wales, UK"
          ], 
          "type": "Organization"
        }, 
        "familyName": "O\u2019Reilly", 
        "givenName": "Liam", 
        "id": "sg:person.013067667365.05", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013067667365.05"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Department of Computer Science, Swansea University, Swansea, Wales, UK", 
          "id": "http://www.grid.ac/institutes/grid.4827.9", 
          "name": [
            "Department of Computer Science, Swansea University, Swansea, Wales, UK"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Archambault", 
        "givenName": "Daniel", 
        "id": "sg:person.010163500750.02", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010163500750.02"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Department of Computer Science, Swansea University, Swansea, Wales, UK", 
          "id": "http://www.grid.ac/institutes/grid.4827.9", 
          "name": [
            "Department of Computer Science, Swansea University, Swansea, Wales, 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"
      }
    ], 
    "datePublished": "2020-04-26", 
    "datePublishedReg": "2020-04-26", 
    "description": "The application of formal methods to the railway domain has a long-standing history within the academic community. Many approaches can provide both successful proofs of safety and, in the case of failure, traces explaining the failure. However, if a given model does produce a failure, it is difficult to understand the conditions that led to the issue. We present a method to visualise railway safety issues to help engineers and researchers explore the problem so that they can adjust their designs accordingly. We evaluate our approach through qualitative real-world case studies with researchers and railway engineers.", 
    "editor": [
      {
        "familyName": "Hasan", 
        "givenName": "Osman", 
        "type": "Person"
      }, 
      {
        "familyName": "Mallet", 
        "givenName": "Fr\u00e9d\u00e9ric", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-030-46902-3_6", 
    "inLanguage": "en", 
    "isAccessibleForFree": true, 
    "isPartOf": {
      "isbn": [
        "978-3-030-46901-6", 
        "978-3-030-46902-3"
      ], 
      "name": "Formal Techniques for Safety-Critical Systems", 
      "type": "Book"
    }, 
    "keywords": [
      "real-world case study", 
      "formal methods", 
      "railway domain", 
      "safety verification", 
      "case of failure", 
      "successful proof", 
      "academic community", 
      "case study", 
      "engineers", 
      "verification", 
      "researchers", 
      "issues", 
      "railway engineers", 
      "applications", 
      "method", 
      "proof", 
      "traces", 
      "domain", 
      "design", 
      "safety issues", 
      "model", 
      "community", 
      "failure", 
      "approach", 
      "safety", 
      "conditions", 
      "problem", 
      "cases", 
      "study", 
      "history"
    ], 
    "name": "Visualising Railway Safety Verification", 
    "pagination": "95-105", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1127143714"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-030-46902-3_6"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-030-46902-3_6", 
      "https://app.dimensions.ai/details/publication/pub.1127143714"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-05-20T07:47", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220519/entities/gbq_results/chapter/chapter_398.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-030-46902-3_6"
  }
]
 

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-030-46902-3_6'

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-030-46902-3_6'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-030-46902-3_6'

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-030-46902-3_6'


 

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

122 TRIPLES      23 PREDICATES      55 URIs      48 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-030-46902-3_6 schema:about anzsrc-for:09
2 anzsrc-for:0905
3 schema:author N90e2e3e953314eafb3cce137eeaa37ef
4 schema:datePublished 2020-04-26
5 schema:datePublishedReg 2020-04-26
6 schema:description The application of formal methods to the railway domain has a long-standing history within the academic community. Many approaches can provide both successful proofs of safety and, in the case of failure, traces explaining the failure. However, if a given model does produce a failure, it is difficult to understand the conditions that led to the issue. We present a method to visualise railway safety issues to help engineers and researchers explore the problem so that they can adjust their designs accordingly. We evaluate our approach through qualitative real-world case studies with researchers and railway engineers.
7 schema:editor Nfdbebbcd746347dfa76e5b759caebea0
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree true
11 schema:isPartOf N20bcc79168fb4e208add9011487c4fde
12 schema:keywords academic community
13 applications
14 approach
15 case of failure
16 case study
17 cases
18 community
19 conditions
20 design
21 domain
22 engineers
23 failure
24 formal methods
25 history
26 issues
27 method
28 model
29 problem
30 proof
31 railway domain
32 railway engineers
33 real-world case study
34 researchers
35 safety
36 safety issues
37 safety verification
38 study
39 successful proof
40 traces
41 verification
42 schema:name Visualising Railway Safety Verification
43 schema:pagination 95-105
44 schema:productId N7c0d6a14b8694d5fb7337e452948e9f0
45 N81de249c4d2f4ee0a252b6b249a9535e
46 schema:publisher N03a0a582ab9e4e50a25387f9f6677f33
47 schema:sameAs https://app.dimensions.ai/details/publication/pub.1127143714
48 https://doi.org/10.1007/978-3-030-46902-3_6
49 schema:sdDatePublished 2022-05-20T07:47
50 schema:sdLicense https://scigraph.springernature.com/explorer/license/
51 schema:sdPublisher Nc4913feca25147d9b29bec339adde9df
52 schema:url https://doi.org/10.1007/978-3-030-46902-3_6
53 sgo:license sg:explorer/license/
54 sgo:sdDataset chapters
55 rdf:type schema:Chapter
56 N03a0a582ab9e4e50a25387f9f6677f33 schema:name Springer Nature
57 rdf:type schema:Organisation
58 N20bcc79168fb4e208add9011487c4fde schema:isbn 978-3-030-46901-6
59 978-3-030-46902-3
60 schema:name Formal Techniques for Safety-Critical Systems
61 rdf:type schema:Book
62 N27b61b2080a8494888e09034ae7f5b37 rdf:first sg:person.010163500750.02
63 rdf:rest N53726254e7f7411fa78900bd1ddc15a1
64 N4eb0644809214ebba73e68f1ce7cadd0 rdf:first sg:person.013067667365.05
65 rdf:rest N27b61b2080a8494888e09034ae7f5b37
66 N53726254e7f7411fa78900bd1ddc15a1 rdf:first sg:person.010425236217.29
67 rdf:rest rdf:nil
68 N6b799ed510fe4fdfbfb9223fc8405d76 schema:familyName Mallet
69 schema:givenName Frédéric
70 rdf:type schema:Person
71 N7c0d6a14b8694d5fb7337e452948e9f0 schema:name dimensions_id
72 schema:value pub.1127143714
73 rdf:type schema:PropertyValue
74 N81de249c4d2f4ee0a252b6b249a9535e schema:name doi
75 schema:value 10.1007/978-3-030-46902-3_6
76 rdf:type schema:PropertyValue
77 N85b3d68372f34e22b643441b3f065b85 schema:affiliation grid-institutes:grid.4827.9
78 schema:familyName Pantekis
79 schema:givenName Filippos
80 rdf:type schema:Person
81 N90e2e3e953314eafb3cce137eeaa37ef rdf:first N85b3d68372f34e22b643441b3f065b85
82 rdf:rest Ne69727e22b3648719eeca5e5d7c50aaf
83 Nc4913feca25147d9b29bec339adde9df schema:name Springer Nature - SN SciGraph project
84 rdf:type schema:Organization
85 Nca8951120757429c9513a822b72d56f6 schema:familyName Hasan
86 schema:givenName Osman
87 rdf:type schema:Person
88 Ne69727e22b3648719eeca5e5d7c50aaf rdf:first sg:person.012345226005.23
89 rdf:rest N4eb0644809214ebba73e68f1ce7cadd0
90 Nfc014fc0de5c45b99b7fa465b99c7519 rdf:first N6b799ed510fe4fdfbfb9223fc8405d76
91 rdf:rest rdf:nil
92 Nfdbebbcd746347dfa76e5b759caebea0 rdf:first Nca8951120757429c9513a822b72d56f6
93 rdf:rest Nfc014fc0de5c45b99b7fa465b99c7519
94 anzsrc-for:09 schema:inDefinedTermSet anzsrc-for:
95 schema:name Engineering
96 rdf:type schema:DefinedTerm
97 anzsrc-for:0905 schema:inDefinedTermSet anzsrc-for:
98 schema:name Civil Engineering
99 rdf:type schema:DefinedTerm
100 sg:person.010163500750.02 schema:affiliation grid-institutes:grid.4827.9
101 schema:familyName Archambault
102 schema:givenName Daniel
103 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010163500750.02
104 rdf:type schema:Person
105 sg:person.010425236217.29 schema:affiliation grid-institutes:grid.4827.9
106 schema:familyName Moller
107 schema:givenName Faron
108 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010425236217.29
109 rdf:type schema:Person
110 sg:person.012345226005.23 schema:affiliation grid-institutes:grid.4827.9
111 schema:familyName James
112 schema:givenName Phillip
113 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012345226005.23
114 rdf:type schema:Person
115 sg:person.013067667365.05 schema:affiliation grid-institutes:grid.4827.9
116 schema:familyName O’Reilly
117 schema:givenName Liam
118 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013067667365.05
119 rdf:type schema:Person
120 grid-institutes:grid.4827.9 schema:alternateName Department of Computer Science, Swansea University, Swansea, Wales, UK
121 schema:name Department of Computer Science, Swansea University, Swansea, Wales, UK
122 rdf:type schema:Organization
 




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


...