| Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/VDM/VDMSL/dwarfSL/ (Wiener Entwicklungsmethode ©) Datei vom 13.4.2020 mit Größe 594 B |
|
Quelle README.txt Sprache: Text |
|||||||||
|
Author: Peter Gorm Larsen
This is a VDM-SL Specification of the Dwarf Signal Controller. The VDM model made in this document is inspired by the Dwarf Signal control system described by Marcus Montigel, Alcatel Austria AG. The model is not complete in the sense that it does only model the handing of error situations for lamp L2. This have been presented at a FM Railway workshop by Peter Gorm Larsen and it has in the past been connected to a GUI using the VDMTools CORBA based API. Thus it is a fully executable specification. Language Version: vdm10 Entry point : DEFAULT`SeqTest() ¤ Dauer der Verarbeitung: 0.1 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28