SlideShare une entreprise Scribd logo
Processus	
  de	
  Configura/on	
  Flexible	
  pour	
  
Lignes	
  de	
  Produits	
  Logiciels	
  Complexes	
  
Simon	
  Urli	
  
	
  
simon@the6thscreen.fr	
  
Accompagné	
  et	
  hébergé	
  
par	
  l’incubateur	
  Paca-­‐Est	
  
Des	
  lignes	
  de	
  produits	
  logiciels…	
  
2	
  GDR-­‐GPL	
  Bordeaux	
  10/06/2015	
  	
  
…	
  pour	
  les	
  systèmes-­‐de-­‐systèmes.	
  
3	
  GDR-­‐GPL	
  Bordeaux	
  10/06/2015	
  	
  
Une	
  LPL	
  pour	
  l’affichage	
  dynamique	
  
4	
  GDR-­‐GPL	
  Bordeaux	
  10/06/2015	
  	
  
Variabilité	
  et	
  complexité	
  
26 493 480 configurations théoriques
pour une seule zone d’information
5	
  GDR-­‐GPL	
  Bordeaux	
  10/06/2015	
  	
  
96,819,322,765,921,830,000,000,000
configurations théoriques (9.1025)
pour 4 zones d’information
6	
  GDR-­‐GPL	
  Bordeaux	
  10/06/2015	
  	
  
Variabilité	
  et	
  complexité	
  
Définir	
  un	
  SmartBuilding	
  
7	
  GDR-­‐GPL	
  Bordeaux	
  10/06/2015	
  	
  
Définir	
  un	
  SmartBuilding	
  
8	
  GDR-­‐GPL	
  Bordeaux	
  10/06/2015	
  	
  
Vers	
  un	
  processus	
  flexible	
  de	
  
configura/on	
  pour	
  les	
  LPL	
  complexes	
  
•  Représenter	
  la	
  variabilité	
  par	
  concept	
  
•  Modéliser	
  des	
  contraintes	
  entre	
  les	
  différents	
  
concepts	
  
•  Créer	
  dynamiquement	
  des	
  sous-­‐configura/ons	
  
•  Créer	
  des	
  liens	
  entre	
  les	
  sous-­‐configura/ons	
  
•  S’assurer	
  en	
  permanence	
  de	
  la	
  cohérence	
  des	
  
choix	
  réalisés	
  sans	
  imposer	
  de	
  workflow	
  de	
  
configura/on	
  
9	
  GDR-­‐GPL	
  Bordeaux	
  10/06/2015	
  	
  
Modèle	
  du	
  domaine	
  
Appartement
Temperature Luminosite Securite
Ouverture
Capteurs Verrou
Piece
Capteurs Actionneurs
CTemperature
CLuminosite
CPresence AStore AThermostat ASecurite
Etat Ouverture
Type
Porte Fenetre
Store Vitre Teintee
Legende
feature
obligatoire
feature
optionnelle
XOR
OR
Ordinateur Central
Verrou Numerique
Chauffage
Type Centralise
ElectriqueGaz Fioul Plancher Radiateur
Temperature Centralise
Securite Fibre Optique
Radiateur
Alarme Verrou
CTemperature AThermostat or Radiateur
AThermostat CTemperature
CPresence ASecurite
CLuminosite AStore
Immeuble
Chauffage Central
Gaz Fioul
Fibre Optique Fibre Optique
Appartement Piece Ouverture1..* 1..*1..*
1 1..* 1..*1..*
1..*0..1
Immeuble1
1..*
1
10	
  GDR-­‐GPL	
  Bordeaux	
  10/06/2015	
  	
  
Modèle	
  du	
  domaine	
  
Appartement
Temperature Luminosite Securite
Ouverture
Capteurs Verrou
Piece
Capteurs Actionneurs
CTemperature
CLuminosite
CPresence AStore AThermostat ASecurite
Etat Ouverture
Type
Porte Fenetre
Store Vitre Teintee
Legende
feature
obligatoire
feature
optionnelle
XOR
OR
Ordinateur Central
Verrou Numerique
Chauffage
Type Centralise
ElectriqueGaz Fioul Plancher Radiateur
Temperature Centralise
Securite Fibre Optique
Radiateur
Alarme Verrou
CTemperature AThermostat or Radiateur
AThermostat CTemperature
CPresence ASecurite
CLuminosite AStore
Immeuble
Chauffage Central
Gaz Fioul
Fibre Optique Fibre Optique
Appartement Piece Ouverture1..* 1..*1..*
1 1..* 1..*1..*
1..*0..1
Immeuble1
1..*
1
Contraintes	
  entre	
  les	
  FM	
  «	
  état	
  implique	
  ac/on	
  »	
  
•  Etat	
  déterminé	
  par	
  les	
  features	
  sélec/onnées	
  ou	
  exclues	
  
•  Ac/on	
  :	
  sélec/on/exclusion	
  de	
  feature	
  ou	
  ajout	
  de	
  contrainte	
  
	
  
11	
  GDR-­‐GPL	
  Bordeaux	
  10/06/2015	
  	
  
Configura/on	
  Composite	
  
T2 : Appartement
{Appartement, Chauffage,
Type, Gaz, Fibre Optique}
SejourT2 : Piece
{Piece, Capteur,
CPresence, Actuateurs,
ASecurite, Verrou,
Radiateur}
ChambreT2 : Piece
{Piece, Capteur,
CLuminosite, Actuateurs,
AStore, Radiateur}
porteEntreeT2 : Ouverture
{Ouverture, Type, Porte,
Verrou}
porteCouloirT2 : Ouverture
{Ouverture, Type, Porte,
Verrou}
fenetreT2 : Ouverture
{Ouverture, Type, Fenetre,
Store}
T1 : Appartement
{Appartement, Chauffage,
Type, Electrique, Fibre
Optique}
porteEntreeT1 : Ouverture
{Ouverture,Type,Porte,
Verrou}
SejourT1 : Piece
{Piece}
MediumBuilding : Immeuble
{Immeuble, Fibre Optique}
fenetreT1 : Ouverture
{Ouverture, Type, Fenetre,
Store}
12	
  GDR-­‐GPL	
  Bordeaux	
  10/06/2015	
  	
  
Configura/on	
  Composite	
  
T2 : Appartement
{Appartement, Chauffage,
Type, Gaz, Fibre Optique}
SejourT2 : Piece
{Piece, Capteur,
CPresence, Actuateurs,
ASecurite, Verrou,
Radiateur}
ChambreT2 : Piece
{Piece, Capteur,
CLuminosite, Actuateurs,
AStore, Radiateur}
porteEntreeT2 : Ouverture
{Ouverture, Type, Porte,
Verrou}
porteCouloirT2 : Ouverture
{Ouverture, Type, Porte,
Verrou}
fenetreT2 : Ouverture
{Ouverture, Type, Fenetre,
Store}
T1 : Appartement
{Appartement, Chauffage,
Type, Electrique, Fibre
Optique}
porteEntreeT1 : Ouverture
{Ouverture,Type,Porte,
Verrou}
SejourT1 : Piece
{Piece}
MediumBuilding : Immeuble
{Immeuble, Fibre Optique}
fenetreT1 : Ouverture
{Ouverture, Type, Fenetre,
Store}
Appartement Piece Ouverture1..* 1..*1..*
1 1..* 1..*1..*
1..*0..1
Immeuble1
1..*
1
Appartement
Temperature Luminosite Securite
Ordinateur Central Chauffage
Type Centralise
ElectriqueGaz Fioul Plancher Radiateur
Temperature Centralise
Securite Fibre Optique
Fibre Optique
✓	
  
✓	
  
✓	
  
✓	
  
✓	
  
13	
  GDR-­‐GPL	
  Bordeaux	
  10/06/2015	
  	
  
Un	
  processus	
  de	
  configura/on	
  
dynamique	
  et	
  réversible	
  
•  Ac/ons	
  U6lisateurs	
  et	
  Ac/ons	
  Systèmes	
  	
  
•  Historique	
  des	
  ac/ons	
  u/lisateurs	
  
•  Annula/on	
  possible	
  de	
  n’importe	
  quelle	
  
ac/on	
  u/lisateur	
  en	
  garan/ssant	
  la	
  cohérence	
  
du	
  processus	
  	
  
Historique	
  d’ac/ons	
  
Ac/on	
  1	
  	
   Ac/on	
  9	
  	
  
14	
  GDR-­‐GPL	
  Bordeaux	
  10/06/2015	
  	
  
Garan/r	
  la	
  flexibilité	
  et	
  la	
  cohérence	
  
du	
  processus	
  
	
  
Quel	
  que	
  soit	
  un	
  produit	
  par/ellement	
  configuré	
  
il	
  sera	
  toujours	
  possible	
  de	
  créer	
  n’importe	
  quel	
  
produit	
  réalisable	
  incluant	
  les	
  fonc/onnalités	
  du	
  
produit	
  par/el.	
  
15	
  GDR-­‐GPL	
  Bordeaux	
  10/06/2015	
  	
  
Processus	
  flexible	
  de	
  configura/on	
  
16	
  GDR-­‐GPL	
  Bordeaux	
  10/06/2015	
  	
  
No/on	
  de	
  contexte	
  
17	
  GDR-­‐GPL	
  Bordeaux	
  10/06/2015	
  	
  
Comment	
  garan/r	
  la	
  cohérence	
  des	
  choix	
  ?	
  
18	
  GDR-­‐GPL	
  Bordeaux	
  10/06/2015	
  	
  
Propager	
  les	
  choix	
  u/lisateurs	
  
19	
  GDR-­‐GPL	
  Bordeaux	
  10/06/2015	
  	
  
Garan/r	
  la	
  cohérence	
  de	
  la	
  LPL	
  
	
  
Quels	
  que	
  soient	
  les	
  choix	
  de	
  configura/on	
  
réalisés,	
  il	
  existe	
  nécessairement	
  un	
  produit	
  
réalisable	
  incluant	
  ces	
  choix.	
  
	
  
20	
  GDR-­‐GPL	
  Bordeaux	
  10/06/2015	
  	
  
Vérifica/on	
  de	
  la	
  «	
  réalisabilité	
  »	
  
•  S’assurer	
  que	
  chaque	
  sous-­‐configura6on	
  peut	
  
être	
  incluse	
  dans	
  une	
  configura/on	
  composite	
  
valide	
  
–  Considérer	
  la	
  topologie	
  du	
  modèle	
  du	
  domaine	
  et	
  les	
  
composantes	
  biconnexes.	
  	
  
–  U/liser	
  l’informa/on	
  agrégée	
  lors	
  de	
  chaque	
  test	
  pour	
  
op/miser	
  les	
  calculs.	
  
	
  
Appartement Piece Ouverture1..* 1..*1..*
1 1..* 1..*1..*
1..*0..1
Immeuble1
1..*
1
21	
  GDR-­‐GPL	
  Bordeaux	
  10/06/2015	
  	
  
22	
  GDR-­‐GPL	
  Bordeaux	
  10/06/2015	
  	
  
Variabilité	
  
Concept	
   #	
  Features	
   #	
  Contraintes	
   #	
  Configura6on	
  
Source	
   81	
   154	
   68	
  
Renderer	
   76	
   347	
   74	
  
Transi6on	
   33	
   45	
   15	
  
Zone	
   49	
   160	
   27	
  
Layout	
   51	
   59	
   13	
  
Moyenne	
   58	
   149	
   39	
  
23	
  GDR-­‐GPL	
  Bordeaux	
  10/06/2015	
  	
  
Complexité	
  des	
  configura/ons	
  et	
  
automa/sa/on	
  des	
  ac/ons	
  
Minimum	
   Maximum	
   Ecart	
  Type	
   Moyenne	
  
Sous-­‐
Configura6ons	
  
7	
   61	
   16	
   22	
  
Liens	
   6	
   60	
   16	
   21	
  
Ac6ons	
  
U6lisateur	
  
51	
   348	
   91	
   158	
  
Ac6ons	
  
Systèmes	
  
849	
   7218	
   1916	
   2535	
  
Temps	
  de	
  
propaga6on	
  
1	
  ms	
   4206	
  ms	
   708	
   327	
  ms	
  
Résultats	
  basés	
  sur	
  10	
  configura/ons	
  composites.	
  
24	
  GDR-­‐GPL	
  Bordeaux	
  10/06/2015	
  	
  
Complexité	
  des	
  configura/ons	
  et	
  
automa/sa/on	
  des	
  ac/ons	
  
Minimum	
   Maximum	
   Ecart	
  Type	
   Moyenne	
  
Sous-­‐
Configura6ons	
  
7	
   61	
   16	
   22	
  
Liens	
   6	
   60	
   16	
   21	
  
Ac6ons	
  
U6lisateur	
  
51	
   348	
   91	
   158	
  
Ac6ons	
  
Systèmes	
  
849	
   7218	
   1916	
   2535	
  
Temps	
  de	
  
propaga6on	
  
1	
  ms	
   4206	
  ms	
   708	
   327	
  ms	
  
Résultats	
  basés	
  sur	
  10	
  configura/ons	
  composites.	
  
5,87	
  
94,13	
  
Ac6ons	
  
U/lisateurs	
  
Automa/sées	
  
25	
  GDR-­‐GPL	
  Bordeaux	
  10/06/2015	
  	
  
Les	
  débuts	
  d’une	
  startup…	
  
•  Mé/er	
  centré	
  sur	
  l’affichage	
  dynamique	
  
•  La	
  LPL	
  facteur	
  de	
  rapidité	
  de	
  produc/on	
  :	
  quid	
  de	
  
l’évolu/on	
  ?	
  
•  La	
  LPL	
  facteur	
  de	
  personnalisa/on	
  pour	
  le	
  client	
  ?	
  
–  Comment	
  présenter	
  la	
  LPL	
  à	
  un	
  u/lisateur	
  ?	
  	
  
–  Quel	
  est	
  le	
  niveau	
  de	
  feature	
  souhaité	
  ?	
  
•  Retour	
  sur	
  la	
  startup	
  lors	
  de	
  la	
  journée	
  du	
  Club	
  
Industriel	
  du	
  GDR	
  GPL	
  à	
  Toulouse	
  le	
  25	
  Juin.	
  
26	
  GDR-­‐GPL	
  Bordeaux	
  10/06/2015	
  	
  
Merci	
  !	
  
Simon	
  Urli	
  
	
  
simon@the6thscreen.fr	
  
hVp://www.the6thscreen.fr	
  
Accompagné	
  et	
  hébergé	
  
par	
  l’incubateur	
  Paca-­‐Est	
  

Contenu connexe

Similaire à GDR GPL 2015 - Processus de Configuration Flexible pour Lignes de Produits Logiciels Complexes

Présentation IMF - PAD fichier juin2013
Présentation IMF - PAD fichier juin2013Présentation IMF - PAD fichier juin2013
Présentation IMF - PAD fichier juin2013
Mesclado
 
Présentation acb morin final 180912
Présentation acb morin final 180912Présentation acb morin final 180912
Présentation acb morin final 180912Hautdidier Florence
 
Pourquoi faire du Lean engineering par Fabien Leroy
Pourquoi faire du Lean engineering par Fabien LeroyPourquoi faire du Lean engineering par Fabien Leroy
Pourquoi faire du Lean engineering par Fabien Leroy
Institut Lean France
 
Initiation au Lean Engineering, Fabien Leroy
Initiation au Lean Engineering, Fabien LeroyInitiation au Lean Engineering, Fabien Leroy
Initiation au Lean Engineering, Fabien Leroy
LEAN SENSEI PARTNERS
 
DUT-E Fuel Level Sensor (FRA)
DUT-E Fuel Level Sensor (FRA)DUT-E Fuel Level Sensor (FRA)
DUT-E Fuel Level Sensor (FRA)
Technoton
 
Connected Car Platform (CC-p)
Connected Car Platform (CC-p) Connected Car Platform (CC-p)
Connected Car Platform (CC-p)
Bellaj Badr
 
Industrie 4.0-flyer
Industrie 4.0-flyerIndustrie 4.0-flyer
Industrie 4.0-flyer
morov1
 
Stratégie OpenJDK
Stratégie OpenJDKStratégie OpenJDK
Stratégie OpenJDK
Michel-Marie Maudet
 
Systeme embarque
Systeme embarqueSysteme embarque
Systeme embarque
Mohammed TIGHREMT
 
Ensemble complet-eon
Ensemble complet-eonEnsemble complet-eon
Ensemble complet-eon
hayet nasri
 
ChiMérique Use Case Library
ChiMérique Use Case LibraryChiMérique Use Case Library
ChiMérique Use Case Library
Infopole1
 
Cisco connect montreal 2018 iot demo kinetic fr
Cisco connect montreal 2018   iot demo kinetic frCisco connect montreal 2018   iot demo kinetic fr
Cisco connect montreal 2018 iot demo kinetic fr
Cisco Canada
 
ROM Android Customs
ROM Android Customs ROM Android Customs
ROM Android Customs
Smile I.T is open
 
PIMid-X - Carte d’identité et de conformités des produits industriels pendant...
PIMid-X - Carte d’identité et de conformités des produits industriels pendant...PIMid-X - Carte d’identité et de conformités des produits industriels pendant...
PIMid-X - Carte d’identité et de conformités des produits industriels pendant...
Bertier Luyt
 
Key green indicators environmental performance 2012
Key green indicators environmental performance  2012Key green indicators environmental performance  2012
Key green indicators environmental performance 2012
Philippe FIXEL
 
Contrôle fiscal des comptabilités informatisées et FEC: sujet d’actualité ou ...
Contrôle fiscal des comptabilités informatisées et FEC: sujet d’actualité ou ...Contrôle fiscal des comptabilités informatisées et FEC: sujet d’actualité ou ...
Contrôle fiscal des comptabilités informatisées et FEC: sujet d’actualité ou ...
David Leclercq
 
VoxxedDays 2024 - C'est l'heure du Check-Up de vos pipelines CI_CD !.pdf
VoxxedDays 2024 - C'est l'heure du Check-Up de vos pipelines CI_CD !.pdfVoxxedDays 2024 - C'est l'heure du Check-Up de vos pipelines CI_CD !.pdf
VoxxedDays 2024 - C'est l'heure du Check-Up de vos pipelines CI_CD !.pdf
Aurélien Coget
 
Webinaire du Club MOA le 09/02
Webinaire du Club MOA le 09/02Webinaire du Club MOA le 09/02
Webinaire du Club MOA le 09/02
CRAMIF
 

Similaire à GDR GPL 2015 - Processus de Configuration Flexible pour Lignes de Produits Logiciels Complexes (20)

Présentation IMF - PAD fichier juin2013
Présentation IMF - PAD fichier juin2013Présentation IMF - PAD fichier juin2013
Présentation IMF - PAD fichier juin2013
 
Présentation acb morin final 180912
Présentation acb morin final 180912Présentation acb morin final 180912
Présentation acb morin final 180912
 
Pourquoi faire du Lean engineering par Fabien Leroy
Pourquoi faire du Lean engineering par Fabien LeroyPourquoi faire du Lean engineering par Fabien Leroy
Pourquoi faire du Lean engineering par Fabien Leroy
 
Initiation au Lean Engineering, Fabien Leroy
Initiation au Lean Engineering, Fabien LeroyInitiation au Lean Engineering, Fabien Leroy
Initiation au Lean Engineering, Fabien Leroy
 
DUT-E Fuel Level Sensor (FRA)
DUT-E Fuel Level Sensor (FRA)DUT-E Fuel Level Sensor (FRA)
DUT-E Fuel Level Sensor (FRA)
 
Connected Car Platform (CC-p)
Connected Car Platform (CC-p) Connected Car Platform (CC-p)
Connected Car Platform (CC-p)
 
Industrie 4.0-flyer
Industrie 4.0-flyerIndustrie 4.0-flyer
Industrie 4.0-flyer
 
Stratégie OpenJDK
Stratégie OpenJDKStratégie OpenJDK
Stratégie OpenJDK
 
Presentation HE4
Presentation HE4Presentation HE4
Presentation HE4
 
Systeme embarque
Systeme embarqueSysteme embarque
Systeme embarque
 
Verreault benoit 2
Verreault benoit 2Verreault benoit 2
Verreault benoit 2
 
Ensemble complet-eon
Ensemble complet-eonEnsemble complet-eon
Ensemble complet-eon
 
ChiMérique Use Case Library
ChiMérique Use Case LibraryChiMérique Use Case Library
ChiMérique Use Case Library
 
Cisco connect montreal 2018 iot demo kinetic fr
Cisco connect montreal 2018   iot demo kinetic frCisco connect montreal 2018   iot demo kinetic fr
Cisco connect montreal 2018 iot demo kinetic fr
 
ROM Android Customs
ROM Android Customs ROM Android Customs
ROM Android Customs
 
PIMid-X - Carte d’identité et de conformités des produits industriels pendant...
PIMid-X - Carte d’identité et de conformités des produits industriels pendant...PIMid-X - Carte d’identité et de conformités des produits industriels pendant...
PIMid-X - Carte d’identité et de conformités des produits industriels pendant...
 
Key green indicators environmental performance 2012
Key green indicators environmental performance  2012Key green indicators environmental performance  2012
Key green indicators environmental performance 2012
 
Contrôle fiscal des comptabilités informatisées et FEC: sujet d’actualité ou ...
Contrôle fiscal des comptabilités informatisées et FEC: sujet d’actualité ou ...Contrôle fiscal des comptabilités informatisées et FEC: sujet d’actualité ou ...
Contrôle fiscal des comptabilités informatisées et FEC: sujet d’actualité ou ...
 
VoxxedDays 2024 - C'est l'heure du Check-Up de vos pipelines CI_CD !.pdf
VoxxedDays 2024 - C'est l'heure du Check-Up de vos pipelines CI_CD !.pdfVoxxedDays 2024 - C'est l'heure du Check-Up de vos pipelines CI_CD !.pdf
VoxxedDays 2024 - C'est l'heure du Check-Up de vos pipelines CI_CD !.pdf
 
Webinaire du Club MOA le 09/02
Webinaire du Club MOA le 09/02Webinaire du Club MOA le 09/02
Webinaire du Club MOA le 09/02
 

Plus de Simon Urli

Spoon: Open Source Library to analyze, rewrite, transform, transpile Java Sou...
Spoon: Open Source Library to analyze, rewrite, transform, transpile Java Sou...Spoon: Open Source Library to analyze, rewrite, transform, transpile Java Sou...
Spoon: Open Source Library to analyze, rewrite, transform, transpile Java Sou...
Simon Urli
 
How to Design a Program Repair Bot? Insights from the Repairnator Project
How to Design a Program Repair Bot? Insights from the Repairnator ProjectHow to Design a Program Repair Bot? Insights from the Repairnator Project
How to Design a Program Repair Bot? Insights from the Repairnator Project
Simon Urli
 
How to Design a Program Repair Bot? Insights from the Repairnator Project
How to Design a Program Repair Bot? Insights from the Repairnator ProjectHow to Design a Program Repair Bot? Insights from the Repairnator Project
How to Design a Program Repair Bot? Insights from the Repairnator Project
Simon Urli
 
A Visual Support for Decomposing Complex Feature Models
A Visual Support for Decomposing Complex Feature ModelsA Visual Support for Decomposing Complex Feature Models
A Visual Support for Decomposing Complex Feature Models
Simon Urli
 
Handling Complex Configurations in Software Product Lines: a Tooled Approach
Handling Complex Configurations in Software Product Lines: a Tooled ApproachHandling Complex Configurations in Software Product Lines: a Tooled Approach
Handling Complex Configurations in Software Product Lines: a Tooled Approach
Simon Urli
 
Managing a Software Ecosystem Using a Multiple Software Product Line: a Case ...
Managing a Software Ecosystem Using a Multiple Software Product Line: a Case ...Managing a Software Ecosystem Using a Multiple Software Product Line: a Case ...
Managing a Software Ecosystem Using a Multiple Software Product Line: a Case ...
Simon Urli
 
Vers des interfaces graphiques flexibles de configurations
Vers des interfaces graphiques flexibles de configurationsVers des interfaces graphiques flexibles de configurations
Vers des interfaces graphiques flexibles de configurationsSimon Urli
 
Using Composite Feature Models to Support Agile Software Product Line Evoluti...
Using Composite Feature Models to Support Agile Software Product Line Evoluti...Using Composite Feature Models to Support Agile Software Product Line Evoluti...
Using Composite Feature Models to Support Agile Software Product Line Evoluti...
Simon Urli
 

Plus de Simon Urli (8)

Spoon: Open Source Library to analyze, rewrite, transform, transpile Java Sou...
Spoon: Open Source Library to analyze, rewrite, transform, transpile Java Sou...Spoon: Open Source Library to analyze, rewrite, transform, transpile Java Sou...
Spoon: Open Source Library to analyze, rewrite, transform, transpile Java Sou...
 
How to Design a Program Repair Bot? Insights from the Repairnator Project
How to Design a Program Repair Bot? Insights from the Repairnator ProjectHow to Design a Program Repair Bot? Insights from the Repairnator Project
How to Design a Program Repair Bot? Insights from the Repairnator Project
 
How to Design a Program Repair Bot? Insights from the Repairnator Project
How to Design a Program Repair Bot? Insights from the Repairnator ProjectHow to Design a Program Repair Bot? Insights from the Repairnator Project
How to Design a Program Repair Bot? Insights from the Repairnator Project
 
A Visual Support for Decomposing Complex Feature Models
A Visual Support for Decomposing Complex Feature ModelsA Visual Support for Decomposing Complex Feature Models
A Visual Support for Decomposing Complex Feature Models
 
Handling Complex Configurations in Software Product Lines: a Tooled Approach
Handling Complex Configurations in Software Product Lines: a Tooled ApproachHandling Complex Configurations in Software Product Lines: a Tooled Approach
Handling Complex Configurations in Software Product Lines: a Tooled Approach
 
Managing a Software Ecosystem Using a Multiple Software Product Line: a Case ...
Managing a Software Ecosystem Using a Multiple Software Product Line: a Case ...Managing a Software Ecosystem Using a Multiple Software Product Line: a Case ...
Managing a Software Ecosystem Using a Multiple Software Product Line: a Case ...
 
Vers des interfaces graphiques flexibles de configurations
Vers des interfaces graphiques flexibles de configurationsVers des interfaces graphiques flexibles de configurations
Vers des interfaces graphiques flexibles de configurations
 
Using Composite Feature Models to Support Agile Software Product Line Evoluti...
Using Composite Feature Models to Support Agile Software Product Line Evoluti...Using Composite Feature Models to Support Agile Software Product Line Evoluti...
Using Composite Feature Models to Support Agile Software Product Line Evoluti...
 

GDR GPL 2015 - Processus de Configuration Flexible pour Lignes de Produits Logiciels Complexes

  • 1. Processus  de  Configura/on  Flexible  pour   Lignes  de  Produits  Logiciels  Complexes   Simon  Urli     simon@the6thscreen.fr   Accompagné  et  hébergé   par  l’incubateur  Paca-­‐Est  
  • 2. Des  lignes  de  produits  logiciels…   2  GDR-­‐GPL  Bordeaux  10/06/2015    
  • 3. …  pour  les  systèmes-­‐de-­‐systèmes.   3  GDR-­‐GPL  Bordeaux  10/06/2015    
  • 4. Une  LPL  pour  l’affichage  dynamique   4  GDR-­‐GPL  Bordeaux  10/06/2015    
  • 5. Variabilité  et  complexité   26 493 480 configurations théoriques pour une seule zone d’information 5  GDR-­‐GPL  Bordeaux  10/06/2015    
  • 6. 96,819,322,765,921,830,000,000,000 configurations théoriques (9.1025) pour 4 zones d’information 6  GDR-­‐GPL  Bordeaux  10/06/2015     Variabilité  et  complexité  
  • 7. Définir  un  SmartBuilding   7  GDR-­‐GPL  Bordeaux  10/06/2015    
  • 8. Définir  un  SmartBuilding   8  GDR-­‐GPL  Bordeaux  10/06/2015    
  • 9. Vers  un  processus  flexible  de   configura/on  pour  les  LPL  complexes   •  Représenter  la  variabilité  par  concept   •  Modéliser  des  contraintes  entre  les  différents   concepts   •  Créer  dynamiquement  des  sous-­‐configura/ons   •  Créer  des  liens  entre  les  sous-­‐configura/ons   •  S’assurer  en  permanence  de  la  cohérence  des   choix  réalisés  sans  imposer  de  workflow  de   configura/on   9  GDR-­‐GPL  Bordeaux  10/06/2015    
  • 10. Modèle  du  domaine   Appartement Temperature Luminosite Securite Ouverture Capteurs Verrou Piece Capteurs Actionneurs CTemperature CLuminosite CPresence AStore AThermostat ASecurite Etat Ouverture Type Porte Fenetre Store Vitre Teintee Legende feature obligatoire feature optionnelle XOR OR Ordinateur Central Verrou Numerique Chauffage Type Centralise ElectriqueGaz Fioul Plancher Radiateur Temperature Centralise Securite Fibre Optique Radiateur Alarme Verrou CTemperature AThermostat or Radiateur AThermostat CTemperature CPresence ASecurite CLuminosite AStore Immeuble Chauffage Central Gaz Fioul Fibre Optique Fibre Optique Appartement Piece Ouverture1..* 1..*1..* 1 1..* 1..*1..* 1..*0..1 Immeuble1 1..* 1 10  GDR-­‐GPL  Bordeaux  10/06/2015    
  • 11. Modèle  du  domaine   Appartement Temperature Luminosite Securite Ouverture Capteurs Verrou Piece Capteurs Actionneurs CTemperature CLuminosite CPresence AStore AThermostat ASecurite Etat Ouverture Type Porte Fenetre Store Vitre Teintee Legende feature obligatoire feature optionnelle XOR OR Ordinateur Central Verrou Numerique Chauffage Type Centralise ElectriqueGaz Fioul Plancher Radiateur Temperature Centralise Securite Fibre Optique Radiateur Alarme Verrou CTemperature AThermostat or Radiateur AThermostat CTemperature CPresence ASecurite CLuminosite AStore Immeuble Chauffage Central Gaz Fioul Fibre Optique Fibre Optique Appartement Piece Ouverture1..* 1..*1..* 1 1..* 1..*1..* 1..*0..1 Immeuble1 1..* 1 Contraintes  entre  les  FM  «  état  implique  ac/on  »   •  Etat  déterminé  par  les  features  sélec/onnées  ou  exclues   •  Ac/on  :  sélec/on/exclusion  de  feature  ou  ajout  de  contrainte     11  GDR-­‐GPL  Bordeaux  10/06/2015    
  • 12. Configura/on  Composite   T2 : Appartement {Appartement, Chauffage, Type, Gaz, Fibre Optique} SejourT2 : Piece {Piece, Capteur, CPresence, Actuateurs, ASecurite, Verrou, Radiateur} ChambreT2 : Piece {Piece, Capteur, CLuminosite, Actuateurs, AStore, Radiateur} porteEntreeT2 : Ouverture {Ouverture, Type, Porte, Verrou} porteCouloirT2 : Ouverture {Ouverture, Type, Porte, Verrou} fenetreT2 : Ouverture {Ouverture, Type, Fenetre, Store} T1 : Appartement {Appartement, Chauffage, Type, Electrique, Fibre Optique} porteEntreeT1 : Ouverture {Ouverture,Type,Porte, Verrou} SejourT1 : Piece {Piece} MediumBuilding : Immeuble {Immeuble, Fibre Optique} fenetreT1 : Ouverture {Ouverture, Type, Fenetre, Store} 12  GDR-­‐GPL  Bordeaux  10/06/2015    
  • 13. Configura/on  Composite   T2 : Appartement {Appartement, Chauffage, Type, Gaz, Fibre Optique} SejourT2 : Piece {Piece, Capteur, CPresence, Actuateurs, ASecurite, Verrou, Radiateur} ChambreT2 : Piece {Piece, Capteur, CLuminosite, Actuateurs, AStore, Radiateur} porteEntreeT2 : Ouverture {Ouverture, Type, Porte, Verrou} porteCouloirT2 : Ouverture {Ouverture, Type, Porte, Verrou} fenetreT2 : Ouverture {Ouverture, Type, Fenetre, Store} T1 : Appartement {Appartement, Chauffage, Type, Electrique, Fibre Optique} porteEntreeT1 : Ouverture {Ouverture,Type,Porte, Verrou} SejourT1 : Piece {Piece} MediumBuilding : Immeuble {Immeuble, Fibre Optique} fenetreT1 : Ouverture {Ouverture, Type, Fenetre, Store} Appartement Piece Ouverture1..* 1..*1..* 1 1..* 1..*1..* 1..*0..1 Immeuble1 1..* 1 Appartement Temperature Luminosite Securite Ordinateur Central Chauffage Type Centralise ElectriqueGaz Fioul Plancher Radiateur Temperature Centralise Securite Fibre Optique Fibre Optique ✓   ✓   ✓   ✓   ✓   13  GDR-­‐GPL  Bordeaux  10/06/2015    
  • 14. Un  processus  de  configura/on   dynamique  et  réversible   •  Ac/ons  U6lisateurs  et  Ac/ons  Systèmes     •  Historique  des  ac/ons  u/lisateurs   •  Annula/on  possible  de  n’importe  quelle   ac/on  u/lisateur  en  garan/ssant  la  cohérence   du  processus     Historique  d’ac/ons   Ac/on  1     Ac/on  9     14  GDR-­‐GPL  Bordeaux  10/06/2015    
  • 15. Garan/r  la  flexibilité  et  la  cohérence   du  processus     Quel  que  soit  un  produit  par/ellement  configuré   il  sera  toujours  possible  de  créer  n’importe  quel   produit  réalisable  incluant  les  fonc/onnalités  du   produit  par/el.   15  GDR-­‐GPL  Bordeaux  10/06/2015    
  • 16. Processus  flexible  de  configura/on   16  GDR-­‐GPL  Bordeaux  10/06/2015    
  • 17. No/on  de  contexte   17  GDR-­‐GPL  Bordeaux  10/06/2015    
  • 18. Comment  garan/r  la  cohérence  des  choix  ?   18  GDR-­‐GPL  Bordeaux  10/06/2015    
  • 19. Propager  les  choix  u/lisateurs   19  GDR-­‐GPL  Bordeaux  10/06/2015    
  • 20. Garan/r  la  cohérence  de  la  LPL     Quels  que  soient  les  choix  de  configura/on   réalisés,  il  existe  nécessairement  un  produit   réalisable  incluant  ces  choix.     20  GDR-­‐GPL  Bordeaux  10/06/2015    
  • 21. Vérifica/on  de  la  «  réalisabilité  »   •  S’assurer  que  chaque  sous-­‐configura6on  peut   être  incluse  dans  une  configura/on  composite   valide   –  Considérer  la  topologie  du  modèle  du  domaine  et  les   composantes  biconnexes.     –  U/liser  l’informa/on  agrégée  lors  de  chaque  test  pour   op/miser  les  calculs.     Appartement Piece Ouverture1..* 1..*1..* 1 1..* 1..*1..* 1..*0..1 Immeuble1 1..* 1 21  GDR-­‐GPL  Bordeaux  10/06/2015    
  • 22. 22  GDR-­‐GPL  Bordeaux  10/06/2015    
  • 23. Variabilité   Concept   #  Features   #  Contraintes   #  Configura6on   Source   81   154   68   Renderer   76   347   74   Transi6on   33   45   15   Zone   49   160   27   Layout   51   59   13   Moyenne   58   149   39   23  GDR-­‐GPL  Bordeaux  10/06/2015    
  • 24. Complexité  des  configura/ons  et   automa/sa/on  des  ac/ons   Minimum   Maximum   Ecart  Type   Moyenne   Sous-­‐ Configura6ons   7   61   16   22   Liens   6   60   16   21   Ac6ons   U6lisateur   51   348   91   158   Ac6ons   Systèmes   849   7218   1916   2535   Temps  de   propaga6on   1  ms   4206  ms   708   327  ms   Résultats  basés  sur  10  configura/ons  composites.   24  GDR-­‐GPL  Bordeaux  10/06/2015    
  • 25. Complexité  des  configura/ons  et   automa/sa/on  des  ac/ons   Minimum   Maximum   Ecart  Type   Moyenne   Sous-­‐ Configura6ons   7   61   16   22   Liens   6   60   16   21   Ac6ons   U6lisateur   51   348   91   158   Ac6ons   Systèmes   849   7218   1916   2535   Temps  de   propaga6on   1  ms   4206  ms   708   327  ms   Résultats  basés  sur  10  configura/ons  composites.   5,87   94,13   Ac6ons   U/lisateurs   Automa/sées   25  GDR-­‐GPL  Bordeaux  10/06/2015    
  • 26. Les  débuts  d’une  startup…   •  Mé/er  centré  sur  l’affichage  dynamique   •  La  LPL  facteur  de  rapidité  de  produc/on  :  quid  de   l’évolu/on  ?   •  La  LPL  facteur  de  personnalisa/on  pour  le  client  ?   –  Comment  présenter  la  LPL  à  un  u/lisateur  ?     –  Quel  est  le  niveau  de  feature  souhaité  ?   •  Retour  sur  la  startup  lors  de  la  journée  du  Club   Industriel  du  GDR  GPL  à  Toulouse  le  25  Juin.   26  GDR-­‐GPL  Bordeaux  10/06/2015    
  • 27. Merci  !   Simon  Urli     simon@the6thscreen.fr   hVp://www.the6thscreen.fr   Accompagné  et  hébergé   par  l’incubateur  Paca-­‐Est  

Notes de l'éditeur

  1. « Nous souhaitons préciser la notion de LPL »
  2. Objectif : permettre la construction de LPL de système de système
  3. S’apparente à un modèle de classe simplifié
  4. Ajouter les tick de sélection sur le FM
  5. Actions systèmes = actions automatisées !
  6. Prof formalisée informellement discutée
  7. Interdire les choix incompatibles
  8. Prop formalisée présentée informellement
  9. Point d’articulation -> exemple avec immeuble appartement et reprendre sur les composantes biconnexes On a démontré qu’on pouvait prouver la réalisabilité de la LPL à partir des composantes biconnexes.
  10. Dire qu’on a pas calculé les config valides
  11. 266 features sélectionnées