0
0 notes
Logiciel Brama
Édité par la société
CLEARSY
Toutes les captures d'écran
Communauté / région
Cible
PME/PMI (De 10 à 249 pers.) /
ETI (250 à 4999 pers.) /
Grands Comptes (> 5000 pers.)
Secteurs d'activité
Aéronautique et aérospatiale
Automobile
Industrie Manufacturière et Biens d'équipement
Mécanique - Automatisme industriel - Robotique-Décolletage
Aéronautique et aérospatiale
Automobile
Industrie Manufacturière et Biens d'équipement
Mécanique - Automatisme industriel - Robotique-Décolletage
Description
Outil d'aide à l'animation graphique de modèles B.
Le modélisateur réalise ses modèles B avec l’Atelier B, CompoSys ou la plateforme Rodin, puis ensuite exploite l’outil d’animation Brama, qui exploite ces modèles. Brama a été conçu pour communiquer avec les outils Flash que l’on configure avec une extension de communication livré avec Brama. Le travail du modélisateur consiste à représenter son système avec les outils Flash et à configurer les scripts permettant de dialoguer avec le moteur d’animation Brama. Quand l’utilisateur est satisfait, Brama lui permet d’exporter l’animation réalisée sous formes de fichiers, qui une fois gravés sur un CD permet de lancer l’animation graphique sans installation préalable et sur n’importe quel PC sous Windows ou Linux.
La méthode B est très utilisée en milieu industriel pour réaliser des logiciels sécuritaires prouvés, dans des contextes de certification à un niveau SIL4 selon la norme EN61508.
Outil d'aide à l'animation graphique de modèles B.
Le modélisateur réalise ses modèles B avec l’Atelier B, CompoSys ou la plateforme Rodin, puis ensuite exploite l’outil d’animation Brama, qui exploite ces modèles. Brama a été conçu pour communiquer avec les outils Flash que l’on configure avec une extension de communication livré avec Brama. Le travail du modélisateur consiste à représenter son système avec les outils Flash et à configurer les scripts permettant de dialoguer avec le moteur d’animation Brama. Quand l’utilisateur est satisfait, Brama lui permet d’exporter l’animation réalisée sous formes de fichiers, qui une fois gravés sur un CD permet de lancer l’animation graphique sans installation préalable et sur n’importe quel PC sous Windows ou Linux.
La méthode B est très utilisée en milieu industriel pour réaliser des logiciels sécuritaires prouvés, dans des contextes de certification à un niveau SIL4 selon la norme EN61508.
Fonctionnalités principales
Cet outil peut être utilisé par le modélisateur au fur et à mesure de son travail de modélisation. Les fonctions d'animation lui permettent en effet de « mettre en oeuvre » les différents évènements, gardes et propriétés du modèles ; il « teste » le modèle.
Brama se présente comme une suite de plugin Eclipse et d'une extension Flash, utilisables sous Windows et Linux. Brama contient les modules principaux suivant : BtoRodin : un moteur d'animation (solveur de prédicat), des outils de visualisation des évènements et variables B, module de gestion de l'enchaînement automatique des évènements, module de gestion des variables, prédicats et expressions observées, et module de communication avec Flash.
Cet outil peut être utilisé par le modélisateur au fur et à mesure de son travail de modélisation. Les fonctions d'animation lui permettent en effet de « mettre en oeuvre » les différents évènements, gardes et propriétés du modèles ; il « teste » le modèle.
Brama se présente comme une suite de plugin Eclipse et d'une extension Flash, utilisables sous Windows et Linux. Brama contient les modules principaux suivant : BtoRodin : un moteur d'animation (solveur de prédicat), des outils de visualisation des évènements et variables B, module de gestion de l'enchaînement automatique des évènements, module de gestion des variables, prédicats et expressions observées, et module de communication avec Flash.
Informations
Langues disponibles
Anglais /
Français
Modes d'acquisition
Licence / On Premise
Eléments d'estimation de coût
Prix non communiqué
/
Coût d'intégration non communiqué.
Environnement
Windows 7 ou supérieur
Langues disponibles
Anglais /
Français
Modes d'acquisition
Licence / On Premise
Eléments d'estimation de coût
Prix non communiqué
/
Coût d'intégration non communiqué.
Environnement
Windows 7 ou supérieur