Programming Microcontrollers in OCaml: The OCaPIC Project

Vaugon, Benoît; Wang, Philippe; Chailloux, Emmanuel

doi:10.1007/978-3-319-19686-2_10

Cited by 4 publications

(2 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The research community has worked to bring higher level languages to microcontrollers [14,25,28]. Rather than running a full-featured VM, others enable higher level languages to run efficiently by stripping out advanced language features, in favor of efficient, native execution [27].…”

Section: Virtual Machine-based Languagesmentioning

confidence: 99%

MakeCode and CODAL: intuitive and efficient embedded systems programming for education

et al. 2018

View full text Add to dashboard Cite

Across the globe, it is now commonplace for educators to engage in the making (design and development) of embedded systems in the classroom to motivate and excite their students. This new domain brings its own set of unique requirements. Historically, embedded systems development requires knowledge of low-level programming languages, local installation of compilation toolchains, device drivers, and applications. For students and educators, these requirements can introduce insurmountable barriers. We present the motivation, requirements, implementation, and evaluation of a new programming platform that enables novice users to create software for embedded systems. The platform has two major components: 1) Microsoft MakeCode ( www.makecode.com ), a web app that encapsulates an entire beginner IDE for microcontrollers; and 2) CODAL, an efficient component-oriented C++ runtime for microcontrollers. We show how MakeCode and CODAL provide an accessible, cross-platform, installation-free programming experience for the BBC micro:bit and other embedded devices.

show abstract

Section: Virtual Machine-based Languagesmentioning

confidence: 99%

MakeCode and CODAL: intuitive and efficient embedded systems programming for education

et al. 2018

View full text Add to dashboard Cite

show abstract

Section: Virtual Machine-based Languagesmentioning

confidence: 99%

MakeCode and CODAL: intuitive and efficient embedded systems programming for education

Devine

Finney

Halleux

et al. 2018

Proceedings of the 19th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems

View full text Add to dashboard Cite

Across the globe, it is now commonplace for educators to engage in the making (design and development) of embedded systems in the classroom to motivate and excite their students. This new domain brings its own set of unique requirements. Historically, embedded systems development requires knowledge of low-level programming languages, local installation of compilation toolchains, device drivers, and applications. For students and educators, these requirements can introduce insurmountable barriers. We present the motivation, requirements, implementation, and evaluation of a new programming platform that enables novice users to create software for embedded systems. The platform has two major components: 1) Microsoft MakeCode (www.makecode.com), a web app that encapsulates an entire beginner IDE for microcontrollers; and 2) CODAL, an efficient component-oriented C++ runtime for microcontrollers. We show how MakeCode and CODAL provide an accessible, cross-platform, installation-free programming experience for the BBC micro:bit and other embedded devices. CCS Concepts • Software and its engineering → Embedded software; Runtime environments; Integrated and visual development environments;

show abstract

Pushing blocks all the way to C++

Protzenko

2015

2015 IEEE Blocks and Beyond Workshop (Blocks and Beyond)

View full text Add to dashboard Cite

Programming Microcontrollers in OCaml: The OCaPIC Project

Cited by 4 publications

References 5 publications

MakeCode and CODAL: intuitive and efficient embedded systems programming for education

MakeCode and CODAL: intuitive and efficient embedded systems programming for education

MakeCode and CODAL: intuitive and efficient embedded systems programming for education

Pushing blocks all the way to C++

Contact Info

Product

Resources

About