Espresso is a research team of IRISA. It proposes models, methods and tools for computer-aided design of embedded systems. The model considered by the project-team is polychrony. It is based on the paradigm of the synchronous hypothesis and allow for the specification of multi-clocked systems. The methods considered by the project-team put this model to work for the refinement-based (top-down) and component-based (bottom-up) design of embedded systems using correctness-preserving model transformations. The project-team makes a continuous effort to develop the Polychrony toolbox, freely available.
Last modified 03.12.2013 01:10 PM