Bienvenue sur le site de SURLOG
SURLOG, filiale de SERMA TECHNOLOGIES, propose aux organismes certificateurs, aux Maîtres d'Ouvrages et aux Maîtres d'Oeuvre : compétences, méthodes et outils pour analyser, évaluer et contrôler la Sécurité Fonctionnelle des systèmes automatisées informatisés.
VOCATION 
La vocation de SURLOG, a pour origine le constat que la Fiabilité, la Maintenabilité, la Disponibilité et la Sécurité (FMDS) des systèmes automatisés (métros, trains, avions, centrales nucléaires, automobiles, ...) sont dépendantes de la SURETÉ des logiciels qui entrent dans leur conception.
Il est donc nécessaire que la qualité, la Sûreté de Fonctionnement et la Sécurité des Systèmes d'informations soient précisément maîtrisées.
ENGAGEMENT QUALITE
SURLOG a mis en place des méthodes de travail spécialisées s’appuyant sur une forte exigence en matière de qualité, de formation et de veille technologique de l’équipe. La Direction Technique développe une politique volontariste de Recherche et Développement pour ses outils d’évaluation de la Sûreté et de la Sécurité des Systèmes Programmables.
Dans le cadre de sa démarche qualité SURLOG s'engage à :
- Constituer une équipe adaptée aux besoins de la prestation,
- Démontrer par la traçabilité les résultats de ses essais,
- Accompagner ses clients dans leur démarche de justification et de certification,
- Optimiser ses coûts et délais par le développement de méthodes et d'outils,
- Actualiser son savoir-faire et la compétence de ses collaborateurs.
COMPETENCES
L’équipe technique de SURLOG est constituée d’ingénieurs issus de grandes écoles, encadrés par une direction technique ayant une forte expérience en développement de logiciels de systèmes automatisés.
Cette équipe dispose d’une expérience de plusieurs années dans les domaines des Tests, de la Vérification, de la Validation et de l’Évaluation de la Sûreté et la Sécurité des Logiciels.
Elle s’appuie sur la connaissance des différentes normes en vigueur en matière de qualité et de sûreté du logiciel (CEI 61508, CEI 880, DO178B, CENELEC 50128, GAMT17, ...) et sur la connaissance des techniques innovantes de conception du logiciel (spécifications et preuves formelles, analyses fonctionnelles, méthodes objets…)
EXPERIENCE
Depuis plusieurs années avec une équipe d'ingénieurs des Grandes Ecoles, la Direction Technique a mis en place des méthodes de travail spécialisées en s'appuyant sur une forte exigence de qualité, de formation et de veille technologique.
SURLOG développe ses propres outils :
- APRLS® : Analyse Préliminaire des logiciels de Sûreté
- AGFL® : Analyse par Graphe Fonctionnel du Logiciel
- RCEL® : Recherche des Classes d'Equivalences du Logiciel
- TUTI® : Mise en œuvre des Tests Unitaires et d'Intégration
- Audit_SdF® : Audit de conformité aux normes de Sûreté de Fonctionnement
RECHERCHE et DEVELOPPEMENT
Dans le cadre de ses activités de R & D, SURLOG a développé ses propres outils afin d'optimiser ses missions d'évaluation : APRLS® - AGFL® - RCEL® - TUTI® - Audit_SdF®
ENJEUX
La protection des personnes et de l'environnement, dans l'utilisation de systèmes automatisés, est une priorité absolue. La disponibilité et la maintenabilité de ces systèmes complexes sont économiquement prioritaires.
PARTENAIRES
Dans le cadre de ses activités de R&D, SURLOG, en liaison avec les Laboratoires et Institutions officielles, innove en permanence, dans le respect des normes les plus exigeantes.
- INRETS (Institut National de Recherche sur les Transports et leur Sécurité)
- IRSN (Institut de Radioprotection et de Sûreté Nucléaire)
- CNPP ( Centre National de Prévention et de Protection)
