Hi,
In the lecture 2 (2'45), you mentionned an HEX code generator. Is it available right now with Atelier B ? How to use it ?
The HEX code generator is for PIC32 programs (binary format). It is embedded in the Atelier CLEARSY Safety Platform in one of the two chains providing binaries (https://www.clearsy.com/en/our-tools/clearsy-safety-platform/).
(https://i.ibb.co/vsY1CJD/LCHIP.jpg) (https://ibb.co/rbskKZv)
This code generator is not (yet) part of the Atelier B.
To be more precise, HEX code generator supports a subset of the B0 language / with additional constraints. For example:
- types limited to INTEGER types limited to uint8_, uint16_ and uint32_
- single condition for IF THEN ELSE (meaning tests have to be nested), with testing operators in =, <, <=
- local variables (clause VAR IN) have to be typed before used with the var: (var: type) substitution
- no computation in operation call and test: computation has to be performed before the operation call / test
- no operation call in initialisation
- digital inputs/outputs take values in {IO_OFF, IO_ON}
but also provides some extensions with predifined operators (bitwise and arithmetic).
(https://i.ibb.co/dMqp4Nz/CSSP-arith-ops.jpg) (https://ibb.co/B3x62hS)