24 | Communiqué de presse
Press release displayed 12118 times
L’ATELIER B Version 4.0.1 par CLearSy
Published on 28/01/2010 à 15:51
ClearSy, PME française spécialisée dans le développement de systèmes sécuritaires met à disposition de ses clients une nouvelle version de son application Atelier B.
L'Atelier B est depuis 15 ans l'outil industriel permettant de développer des logiciels et systèmes sécuritaires à l’aide de la méthode B, méthode formelle permettant de développer des logiciels prouvés mathématiquement et sans défauts.
Les méthodes formelles sont utilisées par les industriels pour garantir la sécurité de leur logiciel sécuritaire conformément aux normes les plus sévères dans les domaines de l’aéronautique et du ferroviaire. Elles permettent de diminuer considérablement l’effort de tests (élimination des tests unitaires remplacés par la preuve). Avec la méthode B, il est possible de démontrer mathématiquement l’ensemble d’une application de plus de 100 000 lignes de code embarqué.
La nouvelle version de l’Atelier B (4.0.1), est exclusivement réservée aux détenteurs d’un contrat de maintenance auprès de ClearSy. Celle-ci est disponible sous Linux, Windows, Mac et Solaris, et comporte plusieurs améliorations par rapport à la version 4.0.
Communiqué publié par SERVAT Thierry
Published on 28/01/2010 à 15:51 sur 24presse.com
SERVAT Thierry
ClearSy
www.atelierb.eu/
Contacter
Press release copyrights free 24presse.com
Derniers communiqués de presse de la catégorie "tech"
Predator et University Esports s'associent pour offrir l...Publié le 22/10/2024 à 13:51 Lancement officiel de la plateforme "Météo des Mobilit...Publié le 26/07/2024 à 18:56 IT Professionals Survey Launched Europe-wide...Publié le 22/05/2024 à 17:13 WAVE Protect d'Exosfer, pochette anti-ondes contre le pi...Publié le 26/03/2024 à 10:44 THE NEOSHIELDS et Olympe.Legal s'associent pour mettre l...Publié le 13/02/2024 à 13:24 TuneFab offre une remise jusqu’à 50% sur tous ses log...Publié le 15/12/2023 à 12:24 La Startup Cellulotech récompensée par l’industrie d...Publié le 28/11/2023 à 13:32 Missing : Une application innovante pour faciliter la re...Publié le 24/11/2023 à 11:53 Jeux video : Nexus, plateforme contre le marché gris d...Publié le 11/09/2023 à 10:12 SAYSE obtient la médaille de Bronze GREENLY, parmi 1500...Publié le 05/09/2023 à 16:04