Comment améliorer significativement la qualité d’un logiciel embarqué en utilisant des outils à la portée des TPE/PME ?
La qualité du logiciel embarqué : quels outils open-source ?
Le développement de systèmes complexes impose aux développeurs, chefs de projet et responsables d’entreprises d’adopter des méthodologies de conception permettant de concilier, d’un coté, rapidité d’exécution et de déploiement et, de l’autre, maitrise de la qualité du service rendu par de tels systèmes.
Au cours de cette série de présentations organisée par l’option Informatique Embarquée de l’EISTI et CAP’TRONIC avec le soutien du journal L’embarqué, les intervenants évoqueront l’apport général de la mouvance "open-source" au secteur des TPE/PME informatiques, avant d’évoquer le cas particulier des outils libres liés aux méthodes de preuve formelle de correction des programmes, de leurs perspectives et de leur mise en œuvre pratique.
En fin de conférence, une visite de l’Innovation Lab sera organisée.
13h45-14h00 : Accueil
14h00 -14h10 : Introduction : le coût de non-qualité.
Nga Nguyen - EISTI
14h10-14h40 : Des outils open source pour l’usine logicielle.
Vincent Jourdon - Smile
"Une usine logicielle est un ensemble d’outils et de méthodes permettant aux développeurs et architectes logiciels d’améliorer significativement la qualité des projets en réduisant les coûts de non qualité et en mettant l’accent sur la fiabilité, la maintenabilité (dette technique) et la sécurité des logiciels. Cela passe notamment par l’intégration continue à travers des exemples concrets d’utilisation d’outils "open source" ou libres tels que Git (gestion de configuration), Jenkins (intégration continue), ou SonarQube (mesure de la qualité du code)."
14h40-15h10 : Frama-C, un analyseur statique de code source : concepts et
exemples d’utilisation.
Nikolai Kosmatov - CEA
15h10-15h40 : Quelle place pour des outils de preuves formelles dans la
conception d’un logiciel embarqué.
Olivier Hermant, - MINES ParisTech
15h40-16h00 : Pause café
16h00-16h30 : Table ronde : quelles perspectives ?
Quels sont les coûts de mise en œuvre de ces outils ?
Les approches formelles peuvent-elles répondre aussi aux problématiques de sécurité ?
Quel impact de l’Intelligence Artificielle pour la qualité d’un système embarqué ?
16h30-16h45 : Conclusions
16h45-17h00 : Visite de l’Innovation Lab, EISTI
Lieu de l’évènement
salle FT210, bâtiment Fermat, Chemin des Paradis, 95000 Cergy (la carte Google Maps jointe)
GPS : 49.032419, 2.067016
Parking : au fond de la rue Chemin des Paradis
Accès au bâtiment :
Contact
Christophe BRICOUT : 06.43.59.74.97 - bricout@captronic.fr