24 | Communiqué de presse

Communiqué affiché 10091 fois sur le site à ce jour

tech

ClearSy sort la version 4.2.0 de l'Atelier B, atelier de génie logiciel

Publié le 02/02/2015 à 15:08

ClearSy met à disposition une nouvelle version publique de l'Atelier B, permettant de concevoir des logiciels. Logiciel d'ingénierie dirigée par les modèle, l'Atelier B permet à l'utilisateur d'élaborer les plans généraux du logiciel voulu, d'en affiner le modèle et de générer son code source.

 

image atelier b

 


Logiciel d'ingénierie dirigée par les modèles, l'Atelier B permet à l'utilisateur de définir les plans généraux du logiciel voulu, et ainsi de décrire ce qu'il en attend. Il permet ensuite de raffiner ce plan, que l'on appelle un modèle du logiciel, pour décrire comment le logiciel doit réaliser ses tâches. Une fois le modèle complet, l'Atelier B permet de générer la description complète du logiciel : son code source.


Basé sur la "méthode B"

La grande force de l'Atelier B est qu'il permet de faire cela en décrivant mathématiquement le modèle et de démontrer rigoureusement (mathématiquement) que le comportement prévu sera celui attendu. C'est ce qu'on appelle une méthode formelle et dans le cas précis, il s'agit de la "méthode B", ainsi nommée en hommage à Nicolas Bourbaki, le pseudonyme d'un groupe de mathématiciens français.


Support des systèmes d'expoitation 64 bits et support des grappes d'ordinateurs serveurs

Les améliorations techniques de cette nouvelle version sont le support des systèmes d'exploitation 64 bits et l'arrivée du support des grappes d'ordinateurs serveurs. Ces serveurs permettent de distribuer la somme de calcul qui est nécessaire pour démontrer les modèles, ce qui permet aux utilisateurs d'avoir un retour rapidement, même pour les modèles complexes. Le support du 64 bits permet quant à lui d'installer plus aisément l'Atelier B sur des ordinateurs modernes qui fonctionnent en manipulant des données de 64 bits de taille.


Générateur novateur d'obligations de preuve

Côté fonctionnalité, la grande nouveauté est l'arrivée d'un générateur novateur d'obligations de preuve. Les obligations sont en fait les critères de vérification d'un modèle. Ce sont elles qui seront démontrées mathématiquement. Le nouveau générateur apporte une traçabilité complète entre le modèle et les obligations, cela permet de relier une obligation avec la partie du modèle qu'elle concerne. Cette information est cruciale pour analyser rapidement un problème de conception. ClearSy fournit également une capacité pour l'utilisateur à ajouter de nouveaux critères de vérification que le générateur appliquera.


Amélioration du moteur de raffinement automatisé

Par ailleurs, le moteur de raffinement automatisé, nommé Bart, permet d'obtenir automatiquement les plans détaillés à partir d'un plan général et d'un ensemble de règles qui peuvent être enrichies par l'utilisateur. Cela permet de capitaliser sur l'activité de conception détaillée, ce qui augmente la productivité des utilisateurs. L'amélioration de cette nouvelle version supprime un blocage qui devait auparavant être résolu manuellement. Nous avons ajouté une nouvelle notion supplémentaire dans la façon de définir les règles qui supprime complètement l’apparition des blocages.

Enfin, les capacités d’expression sur les nombres non entiers (et leurs équivalents informatiques concrets), ont été également améliorées, en unifiant leurs expressions avec celles des nombres entiers, apportant une meilleure lisibilité des modèles.


L’Atelier B est utilisé par de grands industriels pour réaliser des logiciels sécuritaires, dans le cadre de la réalisation de systèmes répondant aux normes les plus strictes en terme de sûreté de fonctionnement.


A propos : ClearSy, une PME française d’excellence


Très présente dans le domaine ferroviaire grâce à sa gamme de produits et de solutions clés en main, ClearSy est une PME française qui se distingue grâce à l’utilisation de la méthode B, une méthode formelle complexe qui permet d’assurer un haut niveau de sécurité (SIL3-SIL4). Depuis sa création en 2001, l’entreprise a su s’associer à des grands groupes tels qu’Alstom, Bombardier, GE transportation, Siemens, Thales, ainsi que la RATP. Dotée d’ingénieurs qualifiés en matière de sûreté de fonctionnement, ClearSy a su s’imposer en tant qu’entreprise française d’excellence.



Plus d'informations : www.clearsy.com

 

 

Communiqué libre de tous droits de diffusion. Citer source ou lien : 24presse.com

Communiqué publié par SERVAT Thierry
le 02/02/2015 à 15:08 sur 24presse.com
SERVAT Thierry
ClearSy

www.clearsy.com
Contacter

Envoyez un email à
SERVAT Thierry

Société : ClearSy