AFADL 2014 : Les 11 et 12 juin 2014

ClearSy sponsorise AFADL 2014 qui aura lieu au CNAM (Paris, France) simultanément avec les conférences CAL et CIEL, ainsi que les journées du GDR GPL. L’atelier  AFADL rassemble de nombreux acteurs académiques et industriels intéressés par la mise en œuvre des techniques formelles aux divers stades du développement des logiciels et/ou des systèmes. Venez nous […]

Le 28 avril 2014 à l’institut Henri Poincaré : Méthodes formelles et langages pour le développement de logiciels fiables dans l’industrie

Lors de cet après-midi industriel dont la thématique est  “Semantics of proofs and certified mathematics”,  ClearSy présentera l’utilisation du B système dans l’industrie appliquée au cas du CBTC Flushing de New York. https://ihp2014.pps.univ-paris-diderot.fr/doku.php?id=industry  

3 juin 2014 – NEPTUNE – TELECOM ParisTech

L’ingénierie dirigée par les modèles (IDM) est au centre des préoccupations des Journées Neptune.  A l’occasion de la journée Neptune du 3 juin 2014 organisé par Telecom ParisTech, Joris Rhem expert de la société ClearSy, leader dans la distribution des outils supports de la méthode B (Atelier B) vous présentera une modélisation B appliquée au […]

ABZ 2014 – Toulouse du 2 au 5 juin

La conférence ABZ confronte les meilleurs experts dans le domaine des méthodes formelles avec preuves provenant des milieux universitaires et industriels. Les enjeux ?            Concevoir des systèmes matériels et logiciels sûr et sans bug.  Elle se déroulera du 2 au 6 juin 2014 à Toulouse ClearSy sera présent pour vous présenter en avant-première la version […]

ERTS 2014

ClearSy a participé à la conférence “Embedded Real Time Software and Systems” (ERTS 2014) qui a eu lieu du 5 au 7 Février à Toulouse. A cette occasion, les résultats du projet de R&D Cercles-2, financé par l’Agence Nationale de la Recherche, ont été présentés en relation avec l’article “Compositional certification: the Cercles 2 project“. L’objectif […]

Séminaire INRIA “Ingénierie des Modèles”

A l’occasion de la journée d’action IDM “Les challenges de la qualification d’outils pour l’IDM”, organisée conjointement par le LORIA, l’IRIT et Thalès R&T les 10 et 11 Octobre 2013 à Jussieu, ClearSy présente besoins industriels et retours d’expérience concernant les enjeux de la qualification d’outils pour le transport ferroviaire.

Séminaire DGA “Ingénierie des Systèmes Complexes”

Dans le cadre du séminaire “Méthodologies et Technologies innovantes pour les systèmes embarqués” organisé par la DGA à Toulouse, les 5 et 6 Novembre 2013, ClearSy intervient lors de la session Génération de code par les modèles – preuve formelle au travers d’un exposé, “Génération de code formellement prouvé pour des applications embarquées redondantes”, au cours duquel […]

Séminaire technique à l’Université de Newcastle

ClearSy intervient à l’occasion d’un séminaire technique organisé par l’Université de Newcastle le 24 Octobre 2013. Un exposé d’une heure, intitulé « Are Formal Methods Sufficient to Ensure Safety in the Railways ? », permettra de faire un tour d’horizon des pratiques industrielles en matière de méthodes formelles

Conférence CAI 2013

ClearSy a participé à la conférence CAI 2013 (International Conference on Algebraic Informatics) organisée à Porquerolles (France) du 03 au 06 Septembre 2013, au travers d’une présentation intitulée “Railways formal data validation“, donnée lors de la session industrielle.