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 à cet thématique
- 9ᵉ Conférence Internationale méthodes formelles ABZ à Nancy du 31 mai au 2 juin 2023
- CLEARSY est partenaire de l’UIC pour définir les méthodes de démonstration de sécurité des systèmes innovants
- Le nouvel Atelier B 4.7 est disponible.
- Assigning safe processing to meanings
- CLEARSY rejoint le groupe RoboStar
- Projet LCHIP et architecture double processeur: premier starter kit
- LCHIP project (Low Cost High Integrity Platform) will ease development of safety critical systems and software up to SIL4, the highest Safety Integrated Level.
- CLEARSY recevra les 18 et 19 novembre 2015 la première rencontre annuelle du projet européen H2020 INTO-CPS.
- Rodin Industry Day
- Projet RIMEL
- Collaboration avec Labsoc
- Vérification de la cohérence de modèles UML – ENST
- RODIN : un projet de 3 ans
Liés à cet thématique
Liés à cet thématique
