| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/VDM/VDMRT/oldcarradioRT/ (Wiener Entwicklungsmethode ©) Datei vom 13.4.2020 mit Größe 957 B |
|
Quelle TransmitTMC.vdmrt Sprache: VDM |
|||||||||
|
\begin{vdm_al}
class TransmitTMC is subclass of EnvironmentTask operations public TransmitTMC: EventDispatcher * nat ==> TransmitTMC TransmitTMC (ped, pno) == EnvironmentTask("TransmitTMC", ped, pno); -- handleEvent receives the responses from the system -- and checks whether the response time for the matching -- stimulus was less than or equal to 10000 time units protected handleEvent: Event ==> () handleEvent (pev) == duration (0) logSysToEnv(pev.getEvent()) post checkResponseTimes(e2s,s2e,10000); -- createSignal generates the stimuli for the system createSignal: () ==> () createSignal () == duration (0) if (card dom e2s < max_stimuli) then ( dcl num : nat := getNum(); logEnvToSys(num); raiseInterrupt("HandleTMC", num) ); -- start the thread of the task public Run: () ==> () Run () == start(self) thread periodic (1000,0,0,0) (createSignal) end TransmitTMC \end{vdm_al} ¤ Dauer der Verarbeitung: 0.10 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28