Outils de ClearSy/Méthodes

ClearSy réalise des outils d'ingénierie et distribue notamment l'Atelier B, B4free, Brama et CompoSys. D'autres outils sont en cours de développement.

	CompoSys, version 1.6 CompoSys est un outil de modélisation de système. Sa nouvelle version, la version 1.6, est maintenant compatible avec les outils OPEN SOURCE Rodin, et présente les fonctionnalités suivantes : Editeurs machine et dictionnaire : Les éditeurs sont remplacés par des éditeurs à base de formulaires. Vues supplémentaires : Une vue pour la description longue. Une vue pour le graphe des liens entre composants. Nouvelles fonctionnalités : Les systèmes peuvent être prouvés directement sous Composys. L’animation des modèles est également disponible. Cette nouvelle version sera prochainement diffusée. Nous ne manquerons pas de vous en informer... Pour en savoir plus, rendez-vous sur le site CompoSys.fr.
	BART Le projet BART (B Automatic Refinement Tool) vise à développer un outil de raffinement automatique de machines B. Cet outil permettra de générer automatiquement une implémentation B0 pour une machine ou un raffinement B suffisamment détaillé. BART fonctionne sur une base de règles de raffinement. Des règles de raffinement supplémentaires peuvent être ajoutées afin de permettre la personnalisation du raffinement de certains composants. L'outil de raffinement automatique BART est développé dans le cadre du projet européen RIMEL, et sera intégré dans la prochaine version de l'Atelier B. La spécification est actuellement en cours de finalisation...
	Le traducteur ComenC Le traducteur ComenC est un nouveau traducteur pour le langage B. Il permet de traduire des implémentations B0 vers le langage C. Ce traducteur est issu de la convergence entre les traducteurs industriels, et des travaux de recherches tels que le projet RNTL BOM (B optimisé mémoire). Par rapport aux traducteurs précédents, le traducteur ComenC propose une traduction plus simple, permettant d'obtenir un code plus efficace et plus proche du B0 d'origine. Le traducteur C ComenC est maintenant fourni avec B4free, et sera prochainement distribué sous licence "open-source". Nous ne manquerons pas de vous informer des évolutions à venir de l'outil...

Nos Produits et Formations