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 application/pdf.
Filters
Low Cost High Integrity Platform
[article]
2020
arXiv
pre-print
Preserved Fulltext
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 Microcontrollers, a Virtual Machine Approach Concurrent Programming of Microcontrollers, a Virtual Machine Approach
2016
Concurrent Programming of Microcon-trollers, a Virtual Machine Approach. 8th European Congress on Embedded Real Time Software and Systems
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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 [11] is a virtual machine approach directed towards running bytecode of the OCaml programming language on the very limited hardware ...
fatcat:ytzhx4xgwnhrph4uwdkkbcfa2y