jdeantoni Goto Github PK

arduinoml-kernel

Zoo of implementations associated to the ArduinoML kernel

ccsl_cpp_codegenerator

a generation of pure CPP code from CCSL (without BDD)

concurrencyanalysisexampleingemoc

cosimulationofcpuheatmanagement

This is an example of co-simulation using a new API, extension of the FMI standard for correct co-simulation

dotgraphmanipulation

a simple script to higlight some schedule on dot files representation scheduling state spaces (like the one generated from TimeSquare or Gemoc)

drinkingfactory

simple UI in Java Swing for a simple drinking machine used for teaching

east-adl-designer

The EAST/ADL Designer is a tool to model the structural aspects of automotive elements and describe the dependendencies between them with the EAST/ADL standard.

erts2020_artifacts

This is the experiments results and artifacts decribed in the ERTS2020 paper

executableeastadl

an operational semantics of east-adl realized in the gemoc studio

franca

A framework for defining and transforming interfaces

gemoc-studio

gemoc-studio

gemoc-studio-execution-ale-eclipsefork

Gemoc studio execution ale

gemoc-studio-execution-moccml

gemoc-studio-execution-moccml

gemoc.github.io

Website of the GEMOC initiative

gemoc_concurrent_realtimetasks

an example of use of GEMOC to specify a xDSML for real time task scheduling

gemocatmodels

code for the tutorial in models 2017

gemoctoylanguage

an overly simple and small language realized interactively with the student @ Polytech'Nice

intro_info_web_lab1

simple jupylite server for the introductive course to computer science in University Cote d'Azur

intro_info_web_lab2

intro_info_web_lab3

intro_info_web_lab4

intro_info_web_sandbox

jupyterlite instance to tests freely anything

k3

action language providing open class mechanism to xtend/java

kilnregulator3.0

The objective is to provide a cheap and up to date kiln regulator based on a micro controller and a smart phone app

lingua-franca

A coordination language for defining and composing reactors. See the Wiki for documentation.

linguafrancaingemoc

minitutogemockairos

a small language done interactively with members of the Kairos team

pedagogicalwebserver

polybot

a vrep simulation scene together with a java abstraction layer on top of the vrep remote API

polycar

a V-REP scene together with a java abstraction layer on top of the vrep remote api