Projets R&D

Les activités de recherche effectuées par Clearsy suivent deux axes complémentaires. D’un côté, l’amélioration des outils de travail (Atelier B, Brama, CompoSys…) et leur comptabilité avec d’autres outils ou langages existants et de l’autre, le développement de technologies adaptées aux spécifications des systèmes demandés.

Cercles

logo16

Certification compositionnelle des logiciels embarqués critiques et sûrs.
Communication train/sol

logo-neutre2

Système à communication magnétique train/sol.
Deploy

logo-neutre2

Déploiement industriel des méthodes d’ingénierie système, assurant fiabilité et productivité.
Forcoment

logo14

B-événementiel pour du VHDL synthétisable.
OISAU

logo20

Ouverture et Interopérabilité pour Systèmes Autonomes.
QPSK

logo-neutre2

Transmission par modulation QPSK.
RIMEL

logo16

Raffinement incrémental de modèle événementiel.
Topcased

logo-neutre2

Atelier logiciel open source intégré à l’IDE Eclipse.

 

Les commentaires sont fermés.