This example is defined in the directory: /home/lbesnard/Polychrony/V4.19/Linux/Examples/productionCell.
- doc: contains documentations about this example. You can read also the LNCS 891 "Formal development of reactive Systems, case study production cell".
- simul: contains the graphical context for the simulation.
- verif: contains SIGNAL specifications for proving properties on the production cell example.
- CONTROLLER : created by the Signal compiler.
- graphical version: CONTROLLER.gpk
- textual version: CONTROLLER.SIG
- parameters: CONTROLLER.PAR
signal -tra -c CONTROLLER.SIG -par=CONTROLLER.PAR
or with Clusters
signal -tra -c CONTROLLER.SIG -par=CONTROLLER.PAR -clu
Results of the compilation (in the sub-directory CONTROLLER):
- CONTROLLER_TRA.SIG: Decompilation after clock calculus.
- CONTROLLER*.c,CONTROLLER*.h: files of generated C code.
- Execute the command, in the sub-directory CONTROLLER to produce the binary code (named CONTROLLER). It is copied to the simulation directory. (make force can be used to rebuilt all object code)
- goto the directory "Simulation directory", and execute the command: The simulation uses wish, tcl and tk. See startsimu file for setting addresses.