Roy DowsingPeter SawardElsevier B.V.Microprocessors & MicrosystemsR. Dowsing, P. Saward, "Computer-controlled model railway for use in teaching real-time programming", Micro- process & Microsystem, Vol. 6, No. 10 pp. 529-533, 1982.
The model is fully automated using computer control software and operates on DCC, all models are fitted with sound and lighting. Please feel free to have a browse around the site, we've created a number of Galleries covering rolling stock, road vehicles and buildings and scenery as well as ...
RailwayEssentials is renamed to RailEssentials. RailEssentials is a modern and intuitive software for creating and controling model railways. Currently, the only supported control unit is ESU's ECoS 50210/50200. The software is based on a client-server architecture, i.e the server is the brain...
Wire your railway track with the latest technologies of model railway track wiring suggested by Building your model railroad for a safe and secure connection.
- 《Science of Computer Programming》 被引量: 85发表: 2000年 Assessment of Safety-Critical Specifications the British government regulations for storing explosives [MS93], a railway interlocking system [Han94], and a water-level monitoring system similar to ... LG Williams - 《IEEE Software》 ...
The development standard for railway control software requires several design and verification methods. To support these methods we elaborated a coherent set of tools based on UML state diagrams. To avoid the problems of the ambiguous UML semantics, we propose a subset of UML state machines that ...
The name is interesting. The URL is "Sui" "Tetsu" (water railway), the name on the main station building at Kaizuka Station is "Suitetu", which I can't fault, bu the standard for "tsu" is "tsu", not "to". Finally, the ACTUAL railway company name is Mizuma Tetsudou. So, not ...
QtuTrains.com Search this site with Google: Web SearchSite Search
Fasteners are critical railway components that maintain the rails in a fixed position. The state of fasteners needs to be periodically checked in order to ensure safe transportation. Several computer vision methods have been proposed in the literature for fastener classification. However, these methods...
摘要: Formal verification of railway control software has been identified to be one of the "grand challenges"[Jac04] of Computer Science. In this thesis, we demonstrate the successful application of various SAT-based model checking techniques to verify train...