
CLEARSY investit significativement en R&D dans le domaine de l’ingénierie sécurité, afin de développer de nouveaux outils et valider de nouvelles techniques de modélisations.
CLEARSY mène de nombreuses actions de recherche et développement en partenariat avec des industriels, qui lui permettent d’apporter à ses clients des innovations en termes d’outils sécuritaires et de méthode d’ingénierie Système.
À ce titre, CLEARSY participe à un certain nombre de réseaux d’excellence et de projets d’ingénierie sécuritaire financés par la France et par l’Union Européenne.
En outre, CLEARSY est membre actif de l’Association Française d’Ingénierie Système du réseau Formal Method Europe et de l’Institut pour la Maîtrise des Risques et la Sûreté de Fonctionnement.
Thèmes récemment explorés
- L’utilisation conjointe de B et UML
- La réalisation de composants VHDL prouvés
- La réalisation d’un générateur de code pour carte à puce
- Une approche méthodologique de l’ingénierie de la décision
- L’utilisation de la méthode B, pour la spécification et la preuve de systèmes.
Conférences
Participation aux conférences méthodes formelles.
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.
Liés à cette thématique
- CLEARSY rejoint le groupe RoboStar
- Collaboration avec Labsoc
- LCHIP project (Low Cost High Integrity Platform) will ease development of safety critical systems and software up to SIL4, the highest Safety Integrated Level.
- Projet LCHIP et architecture double processeur: premier starter kit
- Projet RIMEL
- RODIN : un projet de 3 ans
- Rodin Industry Day
- CLEARSY recevra les 18 et 19 novembre 2015 la première rencontre annuelle du projet européen H2020 INTO-CPS.
- Vérification de la cohérence de modèles UML – ENST
- Assigning safe processing to meanings
- Le nouvel Atelier B 4.7 est disponible.
Liés à cette thématique
Liés à cette thématique