This page contains the definitions of blocks in Zelus and SCADE/SCADE Hybrid associated to the submission "A Synchronous Look to the Simulink Standard Library" for EMSOFT'17.
  • Makefile
  • arrays.zls.html (raw file: arrays.zls)
  • cint.zls.html (raw file: cint.zls)
  • count.zls.html (raw file: count.zls)
  • cpid.zls.html (raw file: cpid.zls)
  • cstate_space.zls.html (raw file: cstate_space.zls)
  • ddiscontinuous.zls.html (raw file: ddiscontinuous.zls)
  • delays.zls.html (raw file: delays.zls)
  • dint.zls.html (raw file: dint.zls)
  • discontinuous.zls.html (raw file: discontinuous.zls)
  • double_int.zls.html (raw file: double_int.zls)
  • dpid.zls.html (raw file: dpid.zls)
  • edge_front_detectors.zls.html (raw file: edge_front_detectors.zls)
  • filters.zls.html (raw file: filters.zls)
  • state_space.zls.html (raw file: state_space.zls)
  • tapped_delays.zls.html (raw file: tapped_delays.zls)
  • lookup.zli.html (raw file: lookup.zli)
  • pervasives.zli.html (raw file: pervasives.zli)
  • transfer.zli.html (raw file: transfer.zli)
  • The definitions below are the SCADE/SCADE Hybrid versions. From the user point-of-view, the only difference of a SCADE Hybrid file w.r.t a SCADE one is the presence of three new keywords: (1) "hybrid" defines a continuous-time function; (2) "der" define the instantaneous derivative of a signal; (3) "up" detects a zero-crossing during integration.
  • cint.scade
  • cpid.scade
  • cstate_space.scade
  • discontinuities.scade
  • discontinuous.scade
  • discrete.scade
  • discrete_integrators.scade
  • double_int.scade
  • logical.scade
  • lut.scade
  • matrix.scade
  • numeric.scade