Matches in SemOpenAlex for { <https://semopenalex.org/work/W19770492> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W19770492 abstract "Interlocking systems control all wayside elements in a railway yard. These systemsare responsible for safe train operations and must prevent collisions andderailments from happening. It is absolutely essential that interlocking systemsoperate awlessly, and as a result a lot of e�ort is put in their veri�cation.ProRail (the Dutch railway infrastructure manager) is developing a newtype of interlocking system based on o�-the-shelf PLC hardware, the PLC-Interlocking.This report introduces a conformance testing methodology for PLC-Interlockingsystems that is based around the JTorX test tool. The test method has beenapplied to the �rst instance of a PLC-Interlocking system, which is installed atthe Santpoort Noord station.To get an SUT that can be tested, the interlocking logic is integrated ina program that adds interfacing code and is then recompiled for a regular PCsystem. As a result, testing does not require access to the PLC hardware.A number of test purpose models have been created to direct test case generation.These test purpose models were implemented in Java, using a customframework that creates an LTS representation of inputs and outputs and handlescommunication with JTorX.A partial speci�cation model has been implemented in mCRL2. Because ofthe complexity of the requirements and the limited available time, it was notpossible to create a complete model. In fact, the complexity of the requirementshas led to faults in the partial model that was implemented.The created test setup allows automated testing of the interlocking logic ofPLC-Interlocking systems. The entire test setup can be run on a regular PCsystem, but is not very memory e�cient. Of 73 automated test runs that wereconducted, 36 ended with the observation of a failure. Four of these failuresmust be further investigated, but it seems likely that all failures were caused byfaults in the model.The quality of the model is poor, as shown by the many failures that resultedfrom faults in the model. As a result, the quality of the whole test setup is notat a level where" @default.
- W19770492 created "2016-06-24" @default.
- W19770492 creator A5048578070 @default.
- W19770492 date "2012-01-01" @default.
- W19770492 modified "2023-09-27" @default.
- W19770492 title "Model based testing of a PLC based interlocking system" @default.
- W19770492 cites W1498542756 @default.
- W19770492 cites W1522465028 @default.
- W19770492 cites W1530147404 @default.
- W19770492 cites W1769954818 @default.
- W19770492 cites W2065916918 @default.
- W19770492 cites W2123441109 @default.
- W19770492 cites W2127305744 @default.
- W19770492 cites W2139099781 @default.
- W19770492 cites W2147255149 @default.
- W19770492 cites W2148635958 @default.
- W19770492 cites W2187922113 @default.
- W19770492 cites W2226576976 @default.
- W19770492 hasPublicationYear "2012" @default.
- W19770492 type Work @default.
- W19770492 sameAs 19770492 @default.
- W19770492 citedByCount "0" @default.
- W19770492 crossrefType "journal-article" @default.
- W19770492 hasAuthorship W19770492A5048578070 @default.
- W19770492 hasConcept C119599485 @default.
- W19770492 hasConcept C127413603 @default.
- W19770492 hasConcept C149635348 @default.
- W19770492 hasConcept C151730666 @default.
- W19770492 hasConcept C200601418 @default.
- W19770492 hasConcept C2776303644 @default.
- W19770492 hasConcept C2777267654 @default.
- W19770492 hasConcept C2778844933 @default.
- W19770492 hasConcept C41008148 @default.
- W19770492 hasConcept C42259789 @default.
- W19770492 hasConcept C86803240 @default.
- W19770492 hasConcept C9390403 @default.
- W19770492 hasConcept C99535591 @default.
- W19770492 hasConceptScore W19770492C119599485 @default.
- W19770492 hasConceptScore W19770492C127413603 @default.
- W19770492 hasConceptScore W19770492C149635348 @default.
- W19770492 hasConceptScore W19770492C151730666 @default.
- W19770492 hasConceptScore W19770492C200601418 @default.
- W19770492 hasConceptScore W19770492C2776303644 @default.
- W19770492 hasConceptScore W19770492C2777267654 @default.
- W19770492 hasConceptScore W19770492C2778844933 @default.
- W19770492 hasConceptScore W19770492C41008148 @default.
- W19770492 hasConceptScore W19770492C42259789 @default.
- W19770492 hasConceptScore W19770492C86803240 @default.
- W19770492 hasConceptScore W19770492C9390403 @default.
- W19770492 hasConceptScore W19770492C99535591 @default.
- W19770492 hasLocation W197704921 @default.
- W19770492 hasOpenAccess W19770492 @default.
- W19770492 hasPrimaryLocation W197704921 @default.
- W19770492 hasRelatedWork W1160723306 @default.
- W19770492 hasRelatedWork W1435405245 @default.
- W19770492 hasRelatedWork W1485997719 @default.
- W19770492 hasRelatedWork W2013663413 @default.
- W19770492 hasRelatedWork W2031194004 @default.
- W19770492 hasRelatedWork W2033513089 @default.
- W19770492 hasRelatedWork W2147299386 @default.
- W19770492 hasRelatedWork W2183878490 @default.
- W19770492 hasRelatedWork W2291872533 @default.
- W19770492 hasRelatedWork W2491588304 @default.
- W19770492 hasRelatedWork W2494821012 @default.
- W19770492 hasRelatedWork W2545442351 @default.
- W19770492 hasRelatedWork W2626397788 @default.
- W19770492 hasRelatedWork W2990772085 @default.
- W19770492 hasRelatedWork W2999140933 @default.
- W19770492 hasRelatedWork W3113903733 @default.
- W19770492 hasRelatedWork W3141029589 @default.
- W19770492 hasRelatedWork W3165225745 @default.
- W19770492 hasRelatedWork W595512016 @default.
- W19770492 hasRelatedWork W85977378 @default.
- W19770492 isParatext "false" @default.
- W19770492 isRetracted "false" @default.
- W19770492 magId "19770492" @default.
- W19770492 workType "article" @default.