Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
This paper details the development of Learn-Heptagon, an online application designed to enhance the teaching of the Lustre synchronous dataflow language to engineering students. By integrating program writing, simulation, and property proving into a single platform, the application aims to streamline the learning process and mitigate technical challenges. The course's implementation and the positive feedback from students underscore the effectiveness of Learn-Heptagon in facilitating a deeper understanding of safety-critical embedded software development.
An innovative online tool transforms the teaching of Lustre, making complex concepts in synchronous dataflow modeling accessible and engaging for engineering students.
Lustre is a synchronous dataflow language designed to implement safety-critical embedded software. In addition to writing executable programs, the language doubles as a program logic, used for writing specification as synchronous observers or assume-guarantee contracts that specify properties of these programs. These specifications may be used during testing or proved exhaustively using model-checking tools. We taught a course on Lustre to last year engineering students. To streamline the learning experience and avoid technical issues, we developped an online application, Learn-Heptagon, which allows for writing, simulating, and proving properties of Lustre programs. This paper presents the application and the associated lesson plan.