Show simple item record

Depositordc.contributorReijsbergen, Daniel
Funderdc.contributor.otherEuropean Commissionen_UK
Spatial Coveragedc.coverage.spatialUKen
Spatial Coveragedc.coverage.spatialUNITED KINGDOMen
Data Creatordc.creatorReijsbergen, Daniel
Data Creatordc.creatorGao, Wulinjian
Date Accessioneddc.date.accessioned2016-09-01T12:04:48Z
Date Availabledc.date.available2016-09-01T12:04:48Z
Citationdc.identifier.citationReijsbergen, Daniel; Gao, Wulinjian. (2016). Analysis Software for Model Checking Edinburgh Buses, [software]. University of Edinburgh. School of Informatics. http://dx.doi.org/10.7488/ds/1472.en
Persistent Identifierdc.identifier.urihttp://hdl.handle.net/10283/2094
Persistent Identifierdc.identifier.urihttp://dx.doi.org/10.7488/ds/1472
Dataset Description (abstract)dc.description.abstractThis software is supplementary material for the paper 'An automated methodology for analysing urban transportation systems using model checking' by Daniël Reijsbergen and Stephen Gilmore. It was used to construct the figures and tables of the paper. In general, its main purpose is to use a dataset of GPS traces of urban transportation vehicles to 1) obtain a route map in the form of an image file and a more abstract graph representation, 2) automatically obtain a patch structure representing stages of the route, and 3) use the patch structure to build a simulation model that can be used to evaluate the punctuality of the underlying transportation service. In particular, it makes use of the dataset available at http://dx.doi.org/10.7488/ds/1470.en_UK
Languagedc.language.isoengen_UK
Publisherdc.publisherUniversity of Edinburgh. School of Informaticsen_UK
Subjectdc.subjectTransportation modellingen_UK
Subjectdc.subjectmodel checkingen_UK
Subjectdc.subjectpunctualityen_UK
Subjectdc.subjectGPS trace processingen_UK
Subject Classificationdc.subject.classificationTechnologies::Transport Logisticsen_UK
Titledc.titleAnalysis Software for Model Checking Edinburgh Busesen_UK
Typedc.typesoftwareen_UK

Download All
zip file MD5 Checksum: 8c5a93c2d316b9ad29066f593e6fee80

Files in this item

Thumbnail
Thumbnail
Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record