SOGILIS, société d’ingénierie logicielle spécialisée en qualité logicielle et dans l’écriture de code robuste, vient de lancer un centre de développement logiciel spécialiste du langage Ada 2005 visant l’industrie du logiciel critique. Implanté initialement à Grenoble, l’objectif du centre est de répondre à une forte demande d’expertise en Europe concernant le langage Ada (Ada 95, Ada 2005), notamment concernant l’approche sûre de la programmation orientée objet (POO) apportée par Ada 2005, supportée par le compilateur GNAT Pro d’AdaCore. SOGILIS propose également de l’expertise autour de la technologie SPARK qui intègre une approche formelle pour les applications ayant de grosses contraintes de criticité.
Le centre de développement Ada de SOGILIS, disposant du statut de JEI (Jeune Entreprise Innovante), bénéficie de l’expérience de ses ingénieurs de recherche qui travaillent sur des projets de recherche internes innovants, notamment concernant les domaines des spécifications exécutables pour le monde du logiciel critique, l’amélioration de la testabilité, la conception d’applications web critiques M2M intégrant une approche formelle.
Par ailleurs, SOGILIS, experte des méthodes de développement agiles, accompagne ses clients dans l’adoption des ces nouvelles pratiques de développement dans le domaine du logiciel critique, permettant d’accroitre significativement la qualité du code, de réduire le coût du changement et de détecter les problèmes le plus tôt possible.
Quelques références de SOGILIS :