Support et Maintenance Atelier B
POLITIQUE DE DISTRIBUTION DE L’ATELIER B
L’Atelier B est disponible en 4 versions:
- L’Atelier B Community Edition est une version entièrement fonctionnelle de l’Atelier B mise à jour tous les 2 ans. Téléchargeable gratuitement depuis ce site, il est utilisable librement.
- L’Atelier B Professional Edition est régulièrement mis à jour et dispose de fonctionnalités exclusives comme un traducteur Ada, un contrôleur de cohérence de projet (Project Checker), et des outils de preuve de règles mathématiques. Il est utilisable dans un cadre industriel nécessitant un support étroit mais aussi dans un cadre académique. Il est accessible sur demande au travers d’un contrat de maintenance.
- L’Atelier B T2 Certified Edition, au travers de sa certification T2, permet de développer des logiciels critiques conformes à la norme EN 50128 et de valider des propriétés systèmes conformes à la norme EN 50129 pour des applications de niveau SIL4. Un outil de rejeu, le Certifier, permet de garantir la conformité aux normes des projets développés avec un Atelier B récent. Il est accessible sur demande dans un cadre industriel et dispose des mêmes exclusivités que l’Atelier B Professional Edition.
- L’Atelier B CSP Educational Version est une version particulière l’Atelier B Community Edition de qui permet de programmer un contrôleur sécuritaire (la CLEARSY Safety Platform) intégré à une carte électronique de démonstration. Il permet de s’initier à la programmation d’applications critiques de contrôle-commande.
PROFESSIONAL EDITION
Vous pouvez souscrire à un contrat de maintenance, vous permettant de posséder un Atelier B régulièrement mis à jour, et répondant ainsi à vos besoins les plus spécifiques.
Ce contrat de maintenance, d’une durée d’un an, s’étend sur la version courante (ou sur une version spécifique sur demande) de l’Atelier B et vous offre :
- support dématérialisé permettant un lien direct avec l’équipe de développement
- maintenance corrective et adaptative des éléments jouant un rôle dans la sécurité de l’AtelierB
- possibilité d’évolution spécifique (volume à définir)
- possibilité d’installeur pour OS spécifique
- possibilité de support long de versions spécifiques
- livraison d’une version majeure par an
- test de nouveaux outils
- participation aux bêta-tests
Les organismes de recherche ou d’enseignement bénéficient d’un tarif préférentiel.
Contactez-nous pour souscrire au contra de maintenance.
PACK DE SUPPORT DEMATERIALISE
Le support se fera au travers d’un serveur Redmin sécurisé.
Le support comprend :
- Aide méthodologique sur vos projets
- Aide technique pour la mise au point de vos modèles
- Assistance lors de la preuve des modèles
- Aide a l’utilisation de l’Atelier B dans votre environnement
- Aide a l’utilisation des différentes fonctionnalités de l’Atelier B
Le support débutera avec l’achat d’un volume horaire de support.
ANCIENNES VERSIONS DE L’ATELIER B
Les versions de l’Atelier B
4.6, 4.5, 4.4, 4.3, 4.2, 4.1, 4.0, 3.7, 3.6
ne sont plus commercialisées. Nous continuons toutefois de proposer des services de maintenance sur ces versions. Nous contacter si besoin de support.