[SincStitch]Cruise Control System - Qiita

Concurrency Chapter 8:Model-Based Design より。 自動車のCruise Control Systemのモデル。 LTSAでは、 set DisableActions = {off,brake,accelerator}としたうえで、 モデル内でDisableActions -> INACTIVEとできる。 SyncStitchではどうやるんだろ。 とりあえず地道に展開した。 (define-event engineOn) (define-event engineOff) (define-event on) (define-event off) (define-event resume) (define-event brake) (define-event accelerator) (define-event speed) (define-event e

[kasumani]

Cruise Control System 自動車のCruise Control Systemのモデル。 LTSAでは、set DisableActions = {off,brake,accelerator}としたうえで、 モデル内でDisableActions -> INACTIVEとできる。 SyncStitchではどうやるんだろ。 とりあえず地道に展開した。 Tags: ift