Modèle générique pour la vérification de modèles de lignes de produits

A generic approach for automated verification of product line models

• Auteur / Autrice : Raúl Mazo Peña
• Direction : Colette Rolland
• Type : Thèse de doctorat
• Discipline(s) : Informatique, systèmes d'information
• Date : Soutenance en 2011
• Etablissement(s) : Paris 1

Mots clés

Mots clés contrôlés

Production en série

Programmation par contraintes

Programmation linéaire

Ingénierie

Résumé

La production de masse n'est pas un phénomène nouveau : depuis le 12ème siècle à Venise, jusqu'à nos jours, les industries du navire, du coton et de la voiture utilisent ce concept pour accroître l'efficacité et réduire les pertes, deux facteurs clés pour améliorer les bénéfices. Cependant, le consumérisme de nos jours rend la production de masse insuffisante pour satisfaire les nouvelles exigences où la personnalisation est essentielle. Un nouveau paradigme de production était nécessaire pour soutenir ces nouvelles exigences, en gardant des coûts de production raisonnables, des besoins de main d'œuvre et des délais de commercialisation. Comme réponse à ce besoin, l'ingénierie des lignes de produits surgit comme un nouveau paradigme de développement conduit par la réutilisation qui permet la gestion de composants réutilisables. Dans cette thèse, une ligne de produits est définie comme un groupe d'applications similaires au sein d'un secteur de marché et qui partage un ensemble commun d’exigences, mais aussi présente une variabilité importante des exigences (Bosch 2000, Clements & Northrop 2001).