English Version - Vous ne parvenez pas à lire correctement cette lettre...

	L'Edito   Clearsy a souhaité vous informer régulièrement des dernières nouveautés concernant la méthode B  et de l’offre de Clearsy dans ce domaine en créant une lettre d'informations. Le numéro 1 a été apprécié puisque nous avons recensé 868 abonnés. La rédaction vous remercie de votre confiance et vous souhaite bonne lecture !   Sommaire : 1. L'Actualité Clearsy 2. Nos Projets 3. Nos Outils et Méthodes 4. Nos Produits et Formations 5. Nous contacter
	L'Actualité de ClearSy...   Projet RIMEL: un nouveau projet de R&D en collaboration avec le LORIA de Nancy et le Labri de Bordeaux   Le projet RIMEL (Raffinement Incrémental de Modèles EvènementiELs) a été retenu par l'Agence Nationale de la Recherche, dans le cadre de l'édition 2006 du programme "Sécurité et Informatique"... (suite...)   Plus d'actualités... Projets Industriels Les projets de Clearsy se déroulent dans des contextes de Recherche, de Développement d'une part et Industriels d'autre part. Cette rubrique donne quelques informations sur des projets en cours dans Clearsy. Projet ST Microelectronics : Ce projet a pour but de formaliser l'API du micro-noyau L4 : un modèle B a été créé à partir du document de description de l'API, des propriétés issues de l'API ont été modélisées et prouvées. Dans une deuxième phase, le modèle sert d'oracle de test pour le code du micro-noyau permettant ainsi d'avoir une meilleure confiance dans la correspondance du code et du modèle. En savoir plus... Projet  véhicule SPRAT : Clearsy collabore avec la CNIM depuis 2005, en premier lieu sur la réalisation de la conception générale formelle (CGF) du système électronique du véhicule, puis maintenant sur l’intégration des différentes composantes du système. La CGF a été réalisée avec l'outil CompoSys pour intégrer les modèles système et produire le document. Ces modèles ont par la suite permis de définir la stratégie de tests et le plan de tests associé. La spécification d’un outil de génération de tests a été spécifiée par notre cellule R&D.  : Projet SPRAT.
	Outils de Clearsy/Méthodes Clearsy réalise des outils d'ingénierie et distribue notamment l'Atelier B et B4free (www.atelierb.eu, www.b4free.com). D'autres outils sont en cours de développement. Dans cette lettre, nous détaillons un peu plus l'outil CompoSys actuellement en Beta test.   CompoSys : Outil d'aide à la réalisation d’un modèle formel système documenté. Composys aide le modélisateur à décrire par un modèle et la documentation associée, les différentes composantes d'un système, automatise les vérifications des modèles et automatise la production des documents en Français associés. Dans les documents produits on retrouve, sous forme de dessins et d’explications homogènes, la description des composantes du système, de leurs fonctions et des entrées/sorties. CompoSys a été conçu pour décrire chaque sous-système au fur et à mesure que l'on en connait leurs caractéristiques. Ainsi, Composys vous permet par exemple une "intégration virtuelle"des composantes d’un système électronique à base de calculateurs. Chaque fois que le modélisateur saisit une nouvelle composante, CompoSys, en plus des vérifications syntaxiques et de typage, vérifie une cinquantaine de règles de cohérence, calcule et dessine les interactions entre les composantes et ceci même à partir d’un modèle incomplet. Ainsi CompoSys permet de valider et de tester plusieurs architectures fonctionnelles au fur et à mesure de leur description. Cette caractéristique constitue un atout lorsque le système est en cours de définition et que l’on souhaite connaître son niveau de cohérence à un instant donné. Une version est disponible en test. (www.composys.fr), une nouvelle version d'évaluation est annoncée pour janvier 2007. Rodin : projet Européen pour le développement d’un environnement de spécification système avec B. Une présentation et une formation à l’attention des futurs développeurs de plugins ont eu lieu à Düsseldorf du 19/11/06 au 21/11/06. Stages : ClearSy propose aux élèves ingénieurs des sujets de stages concernant la modélisation mathématique et le développement de logiciels. En savoir plus...
	Nos Produits et Formations
	Nous Contacter...   ClearSy Aix en Provence Parc de la Duranne 320, avenue Archimède Les Pléiades III - Bât A  13857 AIX EN PROVENCE CEDEX 3 - FRANCE ClearSy Paris 34, rue de Cléry 75002 PARIS   Tel : 04.42.37.12.70 Fax :04.42.37.12.71 Tel : 01.40.28.14.57 Fax :01.40.28.14.58 E-mail de la rédaction : newsletter@clearsy.com   Je souhaite m'abonner, ou me désabonner gratuitement à la lettre de ClearSy.com...     Par respect de la loi du 06-01-78 vous gardez un droit d'accès et de rectification aux données vous concernant.

Copyright © ClearSy