Know-how

Research and development


ClearSy invests heavily in Research and Development to develop new tools and validate new modeling techniques.

Research and development


ClearSy invests heavily in Research and Development to develop new tools and validate new modeling techniques.

ClearSy conducts many Research and Development projects in partnership with industry to provide its clients with innovations in terms of system engineering tools and methods.

To this end, ClearSy participates in a wide range of networks of excellence and projects financed by France and the European Union.

In addition, ClearSy is an active member of the “Association Française d’Ingénierie Système”, the “Formal Methods Europe” network and the “Institut pour la Maîtrise des Risques et la Sûreté de Fonctionnement”.

TOPICS RECENTLY DISCUSSED INCLUDE :
> The joint use of B and UML
> The realization of proven VHDL components
> The realization of a code generator for chip cards
> A methodological approach for decision engineering
> Use of the B Method for the specification and proof of systems

European project in progress : rodin


The RODIN project (development of an open platform to design systems that tolerate errors) has begun. The objective of this three year project is to develop the future B specifications and development environment. The industrial partners are: Nokia (Finland), VT Engine Control (UK) and Praxis (UK). The academic partners are: University of Newcastle (UK), University of Southampton (UK), Aobo (Finland) and ETH Zurich (Switzerland).

MORE INFORMATIONS
picto-link

Conferences


> ZB’2003 (Turku – Juin 2003)
> QSL “L’ingénierie formelle des systèmes” (Nancy – Avril 2003)
> QSL “La méthode B” (Nancy – Février 2002)

R&D Projects


Compositional certification of critical and safe embedded software.

Train/ground magnetic communication system

DEPLOY

Industrial deployment of system engineering methods providing high dependability and productivity

FORCOMENT

Event-b for the synthesizable VHDL

Opening and interoperability for Autonomous systems

Transmission par modulation QPSK

Incremental refinement of event models

Open Source software toolkit project integrated into Eclipse’s IDE.

COMPOSYS

À définir