Logo de la rubrique Comment améliorer significativement la qualité d’un logiciel embarqué en utilisant des outils à la portée des TPE/PME ?

Comment améliorer significativement la qualité d’un logiciel embarqué en utilisant des outils à la portée des TPE/PME ?

Mercredi 29 novembre 13:30-17:00 Cergy

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

Plus d’infos

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 :

PDF - 549.4 ko


Contact
Christophe BRICOUT : 06.43.59.74.97 - bricout@captronic.fr

Pour consulter les présentations de ce séminaire, cliquez sur le lien ci-dessous :

http://dl.free.fr/htjb6Y4vH