Service Logiciels Critiques

Conçus pour durer.

Nous avons créé le framework le plus efficace pour vous permettre de livrer votre logiciel certifiable à un rythme rapide.

Soyez conforme.

Construisez un processus conforme à vos normes d’une manière plus itérative. Faciliter les tâches de l’organisme de certification.

Plus rapidement sur le marché.

Quittez le cycle en V et soyez agile tout en gardant un processus strict. La certification continue vous permet d’avoir deux longueurs d’avance sur vos concurrents.

Accroître l'efficacité.

Intégrer un ensemble d’outils spécifiquement conçus pour apporter efficacité et agilité aux développements d’applications et faciliter l’appropriation des processus par votre équipe.

Diminuer les coûts

Identifier les incohérences et les erreurs à un stade très précoce. Réduisez significativement vos coûts de développement tout en augmentant la qualité globale.

Des délais de mise sur le marché plus courts, une qualité supérieure pour vos applications critiques.

• De A à Z => Du processus de certification et plans jusqu’à la livraison du logiciel.

• Vous aider à définir vos besoins (bas et haut niveau).

• Formez votre équipe avec les meilleures pratiques d’ingénierie.

• Stratégie de tests.

• Développement progressif.

• Livraison continue.

Nous créons nos propres outils.

Nous avons créé les meilleurs outils pour rendre les logiciels conformes aux normes agiles.

IReflex est un atelier de conception d’applications de contrôle-commande industriel capable de générer des programmes sur toute cible (automate industriel, ordinateur embarqué) comprenant des fonctionnalités de simulation et de virtualisation.

Gérer la traçabilité des exigences avec un outil puissant mais léger dédié à la conformité agile des certifications. Cessez d’être submergé par des outils lourds et encombrants comme Doors et autres.

XReq est un générateur automatisé de Langage Naturel aux Tests Automatisés, spécialement conçu pour les projets critiques conformes aux normes les plus exigeantes. XReq s’est inspiré des outils BDD de la communauté Web Agile en gardant à l’esprit la fiabilité, la qualité et les contraintes critiques de sécurité.

Discutons ensemble de votre projet !

Nous faisons de la conformité aux normes pour les logiciels un non-événement.

Qu’il s’agisse d’un problème critique pour votre activité logicielle (une panne peut entraîner une perte importante d’activité et d’argent) ou critique pour la sécurité (une panne peut entraîner la mort). Notre équipe expérimentée est là pour vous aider à mettre en place les règles de développement du cycle de vie les plus pertinentes pour respecter les fortes contraintes de certification et donner à votre équipe la possibilité de suivre un processus strict mais efficace, et ce, peu importe le standard de certification auquel vous devez satisfaire, et même si vous ne voulez pas respecter un seul de vos critères de sécurité, Sogilis vous permettra de concevoir le meilleur processus strict et agile, et de réduire vos frais de maintenance.

Nous faisons de la conformité aux normes pour les logiciels un non-événement.

Voici quelques exemples de normes avec lesquelles nous pouvons vous aider à accélérer vos délais de mise sur le marché et votre efficacité.

DO-178C

(Aéronautique)

EN50128

(Voie ferrée)

IEC 61508

(Sécurité fonctionnelle des systèmes électriques/Electronique/Systèmes électroniques programmables relatifs à la sécurité)

(Electronique)

IEC 62304

(Médicale)

ISO 26262

(Automobile)

IEC 60880

(Nucleaire)

Règles Personnalisées

Une équipe fiable et d'excellentes
références clients.

Projet Aéronautique DO-178C DAL A.

Sogilis a travaillé sur un composant critique, embarqué dans un gros avion de ligne européen récent. Le projet a appliqué avec succès un processus itératif (livraison et retour d’information des ingénieurs aéronautiques toutes les deux semaines) et a été l’un des premiers projets aéronautique DAL A et complétement agile.

Sogilis est le co-fondateur de Hionos.

Hionos est une entreprise qui construit le pilote automatique pour drones le plus exigeant, conforme à la norme DO-178C à son plus haut niveau (DAL A) combinant à la fois DO-331 (Élaboration et vérification fondées sur des modèles), DO-332 (Technologie orientée objet et techniques connexes), et DO-333 (Méthodes formelles).

Sogilis a également participé à des projets tels que des logiciels médicaux, des logiciels bancaires, de supervision nucléaire, de contrôle de processus ou des projets non soumis à des normes mais dont la fiabilité était critique pour l’entreprise.