A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
The formal method, namely the B method, has been heavily used in the railways industry for decades. ... Using its IDE, Atelier B, to program the CLEARSY Safety Platform ensures a higherlevel of confidence on the software generated. ... In order to run the program derived from the B model, we need to provide a source-to-source translator from B0 to OCaml, as it is shown in figure 3 . ...arXiv:2005.07191v1 fatcat:g47xghtdofgghmgylyfeccsxfi
Concurrent Programming of Microcon-trollers, a Virtual Machine Approach. 8th European Congress on Embedded Real Time Software and Systems
We then propose OCaLustre, the prototype of a synchronous extension to OCaml suitable for concurrent programming on microcontrollers. ... In this paper, we study different models of concurrency for programming microcontrollers using a virtual machine approach for safety as well as a higher-level model of programming. ... OCaPIC: running OCaml bytecode on PIC microcontrollers The OCaPIC project  is a virtual machine approach directed towards running bytecode of the OCaml programming language on the very limited hardware ...fatcat:ytzhx4xgwnhrph4uwdkkbcfa2y