Ontology type: schema:Chapter Open Access: True
2020-04-26
AUTHORSFilippos Pantekis , Phillip James , Liam O’Reilly , Daniel Archambault , Faron Moller
ABSTRACTThe 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... »
PAGES95-105
Formal Techniques for Safety-Critical Systems
ISBN
978-3-030-46901-6
978-3-030-46902-3
http://scigraph.springernature.com/pub.10.1007/978-3-030-46902-3_6
DOIhttp://dx.doi.org/10.1007/978-3-030-46902-3_6
DIMENSIONShttps://app.dimensions.ai/details/publication/pub.1127143714
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
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