2 Hits in 1.8 sec

Low Cost High Integrity Platform [article]

Thierry Lecomte, David Deharbe, Denis Sabatier, Etienne Prun, Patrick Péronne, Emmanuel Chailloux, Steven Varoumas, Adilla Susungi, Sylvain Conchon
2020 arXiv   pre-print
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

Steven Varoumas, Benoît Vaugon, Emmanuel Chailloux, Steven Varoumas, Benoît Vaugon, Emmanuel, Steven Varoumas, Benoˆıt Vaugon, Emmanuel Chailloux
2016 Concurrent Programming of Microcon-trollers, a Virtual Machine Approach. 8th European Congress on Embedded Real Time Software and Systems   unpublished
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  ...