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.
| Projet | Client | Description |
|---|---|---|
| Cercles | ANR | Certification compositionnelle des logiciels embarqués critiques et sûrs. |
| Communication train/sol | - | Système à communication magnétique train/sol. |
| Deploy | - | Déploiement industriel des méthodes d’ingénierie système, assurant fiabilité et productivité. |
| Forcoment | StMicroelectronics | B-événementiel pour du VHDL synthétisable. |
| OISAU | DGA | Ouverture et Interopérabilité pour Systèmes Autonomes. |
| QPSK | - | Transmission par modulation QPSK. |
| RIMEL | ANR | Raffinement incrémental de modèle événementiel. |
| Topcased | Atelier logiciel open source intégré à l’IDE Eclipse. |
Français
English 
