Pages tagged [lustre]

The Synchrone Reactive Toolbox

This Toolbox gathers currently maiontainde tool around Lustre and the synchronous approach, in particular the The Lustre V6 compler and the Lutin/Lurette testing tool. It is available on the Verimag website.

Reglo

Reglo compile regular expressions into logical circuits (in Lustre). User manual

2021-2022, MOSIG2 - EMBEDDED SYSTEMS

Support for the course/pratical work on EMBEDDED SYSTEMS IMPLEMENTATION is available at Ensimag gitlab: gitlab.ensimag.fr/raymondp/esimp Morevover, the same content is installed on the ensimag PC’s, see README.md in the folder: /matieres/WMM9MO67/esimp

EMBEDDED SYSTEMS: Synchronous Approach

This course was given at MOSIG (Master of Science in Informatics at Grenoble) from 2013 to 2017. Goal The objective of the course is to present a general approach for the realization of safe embedded (critical) systems. This approach, called synchronous, aims at reconciling concurrent programming with determinism. The key idea is to separate the design level where time is a purely logical notion, and the implementation where time means real quantitative time.

Simulink 2 Lustre 2 nxtOSEK

dernière modif le 11/10/2017 Introduction Ce document détaille les aspects techniques, pour des informations plus générales, voir les notes de cours : Cours 1, Implantation sûre de systèmes contrôle/commande temps-réel Cours 2, Mdl vers Lustre vers Osek Environnement de travail Développement Tout les outils nécessaires sont disponibles sur les PC/linux, dans /user/5/raymondp/mdl2lus2osek et /user/5/raymondp/lustre Pour accéder simplement aux outils, ajouter la ligne suivante à votre .

Lustre Syntax Highlight

VIM Copy this lus.vim file in your .vim/syntax folder: lus.vim To auto-load the syntax file, you can add these line to your .vimrc file: syntax enable augroup filetypedetect au BufWinEnter,BufRead,BufNewFile *.lus,*.ec set filetype=lus augroup END EMACS A syntax file by Olivier Chevallier, patched by Nicolas Berthier, is available: lustre.el GEDIT There’s a Gtksourceview by Arxwel on github: github.com/Arxwel/LustreLang/blob/master/lustre.lang Here is a local copy of lustre.lang You can install this file locally (no root privilege needed):