Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
SynDEx v7 released
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Cécile_Stentzel <Cecile.Stentzel@i...>
Subject: SynDEx v7 released
Dear list,

We are happy to announce the release of the v7 version of SynDEx.

SynDEx is a system level CAD software written in OCaml for rapid prototyping and 
optimizing the implementation of distributed real-time embedded applications 
onto multicomponent architectures.

This release includes new features:
- multi-periodic applications,
- adequation based on multi-periodic distributed real-time scheduling analyses,
- verification of dependence cycle in the algorithm graph,
- a new Graphical User Interface for algorithm specifications,
   - a single window grouping all the definition operations,
   - abstract reference,
   - superblock,
   - undo.

SynDEx v7 can be downloaded from the SynDEx web site


Cécile Stentzel
Équipe-Projet AOSTE, INRIA, Domaine de Voluceau, Rocquencourt

      Institut National de Recherche en Informatique et Automatique
     National Institute for Research in Computer Science and Control