uu.seUppsala University Publications
Change search
ReferencesLink to record
Permanent link

Direct link
Improving formal analysis of computerised rail traffic control systems using domain models
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology.
2016 (English)Independent thesis Basic level (degree of Bachelor), 10 credits / 15 HE creditsStudent thesis
Abstract [en]

During the formal analysis of a computerized railway control system, it may be difficult to understand if a found counterexample to a requirement is a scenario which can happen in the real world or not. By putting sensible constraints on the inputs to the system, i.e. by defining a domain model for the system, some impossible scenarios are excluded from the formal analysis, which means that the formal analysis is simplified. This thesis presents a domain model for railway control systems, expressing constraints on how trains can behave in a railway network. The railway network is abstracted into a simple graph structure and the model is described in a temporal predicate logic using operators for the initial (I) and the next (X) value. The model is carefully defined in order not to introduce any unrealistic behavior.

Place, publisher, year, edition, pages
2016. , 37 p.
IT, 16014
National Category
Engineering and Technology
URN: urn:nbn:se:uu:diva-283398OAI: oai:DiVA.org:uu-283398DiVA: diva2:919000
Educational program
Bachelor Programme in Computer Science
Available from: 2016-04-12 Created: 2016-04-12 Last updated: 2016-04-12Bibliographically approved

Open Access in DiVA

fulltext(19804 kB)22 downloads
File information
File name FULLTEXT01.pdfFile size 19804 kBChecksum SHA-512
Type fulltextMimetype application/pdf

By organisation
Department of Information Technology
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar
Total: 22 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 73 hits
ReferencesLink to record
Permanent link

Direct link