https://alvis.kis.agh.edu.pl/wiki/ 2026-05-03T01:57:31+00:00 https://alvis.kis.agh.edu.pl/wiki/ https://alvis.kis.agh.edu.pl/wiki/lib/tpl/scanlines/images/favicon.ico text/html 2021-09-23T08:51:37+00:00 Anonymous (anonymous@undisclosed.example.com) https://alvis.kis.agh.edu.pl/wiki/alvis:cases:ats?rev=1632387097&do=diff Automatic Train Stop system - version 1 Automatic Train Stop system (ATS system) is a kind of an Automatic Train Protection system used to guarantee a train safety even if the driver is not capable of controlling the train. ATS system turns on a light signal every 60 seconds to check whether the driver controls the train. If the driver fails to acknowledge the signal within 6 seconds, a sound signal is turned on. Then, if the driver does not disactivate the signals within 3 seconds, using the … text/html 2021-09-23T08:51:37+00:00 Anonymous (anonymous@undisclosed.example.com) https://alvis.kis.agh.edu.pl/wiki/alvis:cases:sbr?rev=1632387097&do=diff Sender-Buffer-Receiver system Communication diagram Code layer agent S { i :: Int = 1; loop { i = 1; out push i; }} agent R { i :: Int = 0; loop { in pop i; i = 0; }} agent B { i :: Int = 0; proc (i /= 0) pop { out pop i; i = 0; } proc (i == 0) push { in push i; }}