OnTrack: The Railway Verification Toolset View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2016-10-05

AUTHORS

Phillip James , Faron Moller , Hoang Nga Nguyen , Markus Roggenbach , Helen Treharne , Xu Wang

ABSTRACT

The verification of railway interlocking systems is a challenging task for which a number of different modelling, simulation and verification approaches have been proposed. In this paper, we present the OnTrack toolset. In OnTrack, application data for the railway domain is represented using a domain specific language. This data can be entered manually or imported from standard data formats. OnTrack then comprises of a number of different model transformations that allow the user to automatically generate formal models for a specific approach, e.g., in CASL, CSP, or CSP||B. Other transformations offer abstractions on the application data to address scalability. More... »

PAGES

294-296

Book

TITLE

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

ISBN

978-3-319-47168-6
978-3-319-47169-3

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-319-47169-3_21

DOI

http://dx.doi.org/10.1007/978-3-319-47169-3_21

DIMENSIONS

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


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"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0803", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Computer Software", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Swansea University, Swansea, Wales", 
          "id": "http://www.grid.ac/institutes/grid.4827.9", 
          "name": [
            "Swansea University, Swansea, Wales"
          ], 
          "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": "Swansea University, Swansea, Wales", 
          "id": "http://www.grid.ac/institutes/grid.4827.9", 
          "name": [
            "Swansea University, Swansea, Wales"
          ], 
          "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": "University of Coventry, Coventry, England", 
          "id": "http://www.grid.ac/institutes/grid.8096.7", 
          "name": [
            "University of Coventry, Coventry, England"
          ], 
          "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, Swansea, Wales", 
          "id": "http://www.grid.ac/institutes/grid.4827.9", 
          "name": [
            "Swansea University, Swansea, Wales"
          ], 
          "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"
      }, 
      {
        "affiliation": {
          "alternateName": "University of Surrey, Guildford, England", 
          "id": "http://www.grid.ac/institutes/grid.5475.3", 
          "name": [
            "University of Surrey, Guildford, England"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Treharne", 
        "givenName": "Helen", 
        "id": "sg:person.012731025010.44", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012731025010.44"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Swansea University, Swansea, Wales", 
          "id": "http://www.grid.ac/institutes/grid.4827.9", 
          "name": [
            "Swansea University, Swansea, Wales"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Wang", 
        "givenName": "Xu", 
        "type": "Person"
      }
    ], 
    "datePublished": "2016-10-05", 
    "datePublishedReg": "2016-10-05", 
    "description": "The verification of railway interlocking systems is a challenging task for which a number of different modelling, simulation and verification approaches have been proposed. In this paper, we present the OnTrack toolset. In OnTrack, application data for the railway domain is represented using a domain specific language. This data can be entered manually or imported from standard data formats. OnTrack then comprises of a number of different model transformations that allow the user to automatically generate formal models for a specific approach, e.g., in CASL, CSP, or CSP||B. Other transformations offer abstractions on the application data to address scalability.", 
    "editor": [
      {
        "familyName": "Margaria", 
        "givenName": "Tiziana", 
        "type": "Person"
      }, 
      {
        "familyName": "Steffen", 
        "givenName": "Bernhard", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-319-47169-3_21", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-319-47168-6", 
        "978-3-319-47169-3"
      ], 
      "name": "Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications", 
      "type": "Book"
    }, 
    "keywords": [
      "application data", 
      "domain-specific language", 
      "standard data format", 
      "data format", 
      "verification approach", 
      "railway domain", 
      "specific language", 
      "model transformation", 
      "formal model", 
      "challenging task", 
      "toolset", 
      "different modelling", 
      "scalability", 
      "users", 
      "abstraction", 
      "specific approach", 
      "task", 
      "verification", 
      "format", 
      "CASL", 
      "language", 
      "CSP", 
      "data", 
      "OnTrack", 
      "system", 
      "domain", 
      "simulations", 
      "number", 
      "modelling", 
      "transformation", 
      "model", 
      "railway", 
      "approach", 
      "paper"
    ], 
    "name": "OnTrack: The Railway Verification Toolset", 
    "pagination": "294-296", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1029815668"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-319-47169-3_21"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-319-47169-3_21", 
      "https://app.dimensions.ai/details/publication/pub.1029815668"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-05-20T07:49", 
    "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_84.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-319-47169-3_21"
  }
]
 

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-319-47169-3_21'

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-319-47169-3_21'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-47169-3_21'

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-319-47169-3_21'


 

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

143 TRIPLES      23 PREDICATES      60 URIs      52 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-319-47169-3_21 schema:about anzsrc-for:08
2 anzsrc-for:0801
3 anzsrc-for:0803
4 schema:author N26ab29fe38494dcea317b9868379062c
5 schema:datePublished 2016-10-05
6 schema:datePublishedReg 2016-10-05
7 schema:description The verification of railway interlocking systems is a challenging task for which a number of different modelling, simulation and verification approaches have been proposed. In this paper, we present the OnTrack toolset. In OnTrack, application data for the railway domain is represented using a domain specific language. This data can be entered manually or imported from standard data formats. OnTrack then comprises of a number of different model transformations that allow the user to automatically generate formal models for a specific approach, e.g., in CASL, CSP, or CSP||B. Other transformations offer abstractions on the application data to address scalability.
8 schema:editor N09be108f22af48e9b0091dff1b4a6760
9 schema:genre chapter
10 schema:inLanguage en
11 schema:isAccessibleForFree false
12 schema:isPartOf Na9fb7bc9c8284789a11c8c3fa8d4807c
13 schema:keywords CASL
14 CSP
15 OnTrack
16 abstraction
17 application data
18 approach
19 challenging task
20 data
21 data format
22 different modelling
23 domain
24 domain-specific language
25 formal model
26 format
27 language
28 model
29 model transformation
30 modelling
31 number
32 paper
33 railway
34 railway domain
35 scalability
36 simulations
37 specific approach
38 specific language
39 standard data format
40 system
41 task
42 toolset
43 transformation
44 users
45 verification
46 verification approach
47 schema:name OnTrack: The Railway Verification Toolset
48 schema:pagination 294-296
49 schema:productId N68bd05be8ac94333b9e5c8959ce6c64c
50 N988a2b479ff3489d9bdd9e841ee3d8ec
51 schema:publisher N52ccc6d7db5342e0b27f6f3917d9509f
52 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029815668
53 https://doi.org/10.1007/978-3-319-47169-3_21
54 schema:sdDatePublished 2022-05-20T07:49
55 schema:sdLicense https://scigraph.springernature.com/explorer/license/
56 schema:sdPublisher N631ac92b242444e2ac45dd5ba2f0773a
57 schema:url https://doi.org/10.1007/978-3-319-47169-3_21
58 sgo:license sg:explorer/license/
59 sgo:sdDataset chapters
60 rdf:type schema:Chapter
61 N02e0e55976d84777a44fbebb0f193732 rdf:first sg:person.014634147051.77
62 rdf:rest N795fae0e8fd04c3b98b23412e39fd533
63 N09be108f22af48e9b0091dff1b4a6760 rdf:first N439409beba45486bb87801c664fc3622
64 rdf:rest Nba64bdeefd254d5181527d9c16956453
65 N1e4a2f52f1fa4fb3ae4d9935c8ccb775 rdf:first sg:person.014355405221.01
66 rdf:rest N02e0e55976d84777a44fbebb0f193732
67 N26ab29fe38494dcea317b9868379062c rdf:first sg:person.012345226005.23
68 rdf:rest N8e668d9f4ed04b9d84db88569435a94e
69 N439409beba45486bb87801c664fc3622 schema:familyName Margaria
70 schema:givenName Tiziana
71 rdf:type schema:Person
72 N52ccc6d7db5342e0b27f6f3917d9509f schema:name Springer Nature
73 rdf:type schema:Organisation
74 N631ac92b242444e2ac45dd5ba2f0773a schema:name Springer Nature - SN SciGraph project
75 rdf:type schema:Organization
76 N68bd05be8ac94333b9e5c8959ce6c64c schema:name doi
77 schema:value 10.1007/978-3-319-47169-3_21
78 rdf:type schema:PropertyValue
79 N795fae0e8fd04c3b98b23412e39fd533 rdf:first sg:person.012731025010.44
80 rdf:rest Nbd7e8ff9d80c485eaff74d925464cddb
81 N8913dfa1227f4d449763a6e7740b3ccf schema:familyName Steffen
82 schema:givenName Bernhard
83 rdf:type schema:Person
84 N8e668d9f4ed04b9d84db88569435a94e rdf:first sg:person.010425236217.29
85 rdf:rest N1e4a2f52f1fa4fb3ae4d9935c8ccb775
86 N988a2b479ff3489d9bdd9e841ee3d8ec schema:name dimensions_id
87 schema:value pub.1029815668
88 rdf:type schema:PropertyValue
89 Na9fb7bc9c8284789a11c8c3fa8d4807c schema:isbn 978-3-319-47168-6
90 978-3-319-47169-3
91 schema:name Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
92 rdf:type schema:Book
93 Nba64bdeefd254d5181527d9c16956453 rdf:first N8913dfa1227f4d449763a6e7740b3ccf
94 rdf:rest rdf:nil
95 Nbd7e8ff9d80c485eaff74d925464cddb rdf:first Ne018856151c44de2b1ab2690d9284fe6
96 rdf:rest rdf:nil
97 Ne018856151c44de2b1ab2690d9284fe6 schema:affiliation grid-institutes:grid.4827.9
98 schema:familyName Wang
99 schema:givenName Xu
100 rdf:type schema:Person
101 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
102 schema:name Information and Computing Sciences
103 rdf:type schema:DefinedTerm
104 anzsrc-for:0801 schema:inDefinedTermSet anzsrc-for:
105 schema:name Artificial Intelligence and Image Processing
106 rdf:type schema:DefinedTerm
107 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
108 schema:name Computer Software
109 rdf:type schema:DefinedTerm
110 sg:person.010425236217.29 schema:affiliation grid-institutes:grid.4827.9
111 schema:familyName Moller
112 schema:givenName Faron
113 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010425236217.29
114 rdf:type schema:Person
115 sg:person.012345226005.23 schema:affiliation grid-institutes:grid.4827.9
116 schema:familyName James
117 schema:givenName Phillip
118 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012345226005.23
119 rdf:type schema:Person
120 sg:person.012731025010.44 schema:affiliation grid-institutes:grid.5475.3
121 schema:familyName Treharne
122 schema:givenName Helen
123 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012731025010.44
124 rdf:type schema:Person
125 sg:person.014355405221.01 schema:affiliation grid-institutes:grid.8096.7
126 schema:familyName Nguyen
127 schema:givenName Hoang Nga
128 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014355405221.01
129 rdf:type schema:Person
130 sg:person.014634147051.77 schema:affiliation grid-institutes:grid.4827.9
131 schema:familyName Roggenbach
132 schema:givenName Markus
133 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014634147051.77
134 rdf:type schema:Person
135 grid-institutes:grid.4827.9 schema:alternateName Swansea University, Swansea, Wales
136 schema:name Swansea University, Swansea, Wales
137 rdf:type schema:Organization
138 grid-institutes:grid.5475.3 schema:alternateName University of Surrey, Guildford, England
139 schema:name University of Surrey, Guildford, England
140 rdf:type schema:Organization
141 grid-institutes:grid.8096.7 schema:alternateName University of Coventry, Coventry, England
142 schema:name University of Coventry, Coventry, England
143 rdf:type schema:Organization
 




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


...