CLEARSY dispense désormais des cours relatifs aux méthodes formelles à l’ENSI de Bourges : Spécification du logiciel Conception et programmation […]

CLEARSY dispensera des cours relatifs aux méthodes formelles à l’École des Mines de Gardanne, durant le mois de janvier 2010. […]

Dans le cadre d’un système IEE (Informatique/électrique/électronique), l’analyse de sûreté de fonctionnement d’un système doit s’intégrer dans une démarche de […]

Définition de la Fiabilité La définition de la fiabilité la plus courante est, l’aptitude d’une entité à accomplir une fonction […]

« Contrôle commande et Signalisation » pour la spécialité Sûreté de fonctionnement du logiciel « Contrôle commande et Signalisation » pour la spécialité Electronique […]

Le terme « système SIL » est un terme très souvent employé qui mène souvent à confusion. En effet, si […]

Nous avons le plaisir de vous annoncer la sortie de l’Atelier B 4.0. Celle-ci s’accompagne d’un tout nouveau mode de […]

Les méthodes formelles : permettent de définir mathématiquement et rigoureusement les propriétés de fonctionnement d’un système. Les méthodes formelles peuvent […]