.. .. Objectifs,

. .. Le-véhicule-comme-un-système-À-composants, , p.29

. , 32 2.2.3 Les besoins énergétiques d'un mode opératoire, p.35

.. .. La-prise-de-décision, , p.43

. .. La-configuration-du-gestionnaire-d'énergie-À-la-conception, 44 2.4.1 Réduction de l'espace de solution par le partitionnement des coefficients de vitesse

. , Simplification de l'évaluation des stratégies de conduite par l'approximation

. .. , Composition des deux approches d'optimisation, p.50

L. .. Du-système-de-gestion-d'énergie, 51 2.5.1 Le gestionnaire d'énergie

. , Application des optimisations de la configuration du gestionnaire d'énergie

. .. Conclusion,

, Annexe A Résultats de la composition des approches d'optimisation

, Cette annexe présente les résultats de la composition des deux approches d'optimisation pour les deux véhicules exemples. L'approche d'approximation est premièrement appliquée puis suivie de l'approche par partitionnement (cf. chapitre 4, page 87). Le tableau A.1 résume les résultats de cette application pour le véhicule urbain

, Sébastien Saudrais et Jean-Philippe Babau : Integration of physical models in the ORQA framework for electric vehicle energy management, Publications Les travaux présentés dans cette thèse ont donnés lieu aux publications suivantes :-Borjan Tchakaloff, Sébastien Saudrais et Jean-Philippe Babau : Modèles et transformations de modèles pour l'introduction de la consommation énergétique dans le standard AUTOSAR, pp.7-12, 2012.

. Bibliographie,

A. Tarek, B. Alenawy-et-hakan-aydin-;-audi, H. Daimler, . Et-microchip, and . Technology, Energy-aware task allocation for rate monotonic scheduling, Proceedings of the 11th IEEE Real Time and Embedded Technology and Applications Symposium (RTAS2005), 1998.

F. K. Aldrich, Smart Homes : Past, Present and Future, Richard Harper, éditeur : Inside the Smart Home, pp.17-39, 2003.

, AUTOSAR : AUTomotive Open System ARchitecture (AUTOSAR)

, AUTOSAR : AUTomotive Open System ARchitecture (AUTOSAR). Specification, AUTOSAR Partnership, 2003.

D. Arthur and . Sergei, Vassilvitskii : k-means++ : The advantages of careful seeding, Proceedings of the 18th annual ACM-SIAM symposium on Discrete algorithms (SODA'07), pp.1027-1035, 2007.

A. Beloglazov, J. Abawajy, and R. Buyya, Energyaware resource allocation heuristics for efficient management of data centers for Cloud computing, Future Generation Computer Systems, vol.28, issue.5, pp.755-768, 2012.

H. Banvait, S. Anwar, and Y. Chen, A rulebased energy management strategy for Plug-in Hybrid Electric Vehicle (PHEV), American Control Conference, pp.3938-3943, 2009.
DOI : 10.1109/acc.2009.5160242

T. Stéphane-barbusse-;-Éric-bruneton, M. Coupaye, V. Leclercq, J. Quéma, and . Stefani, The FRACTAL component model and its support in Java. Software-Practice and Experience, vol.60, pp.1257-1284, 2006.

. Bibliographie-;-basil, H. Becker, S. Giese, M. Neumann, A. Schenck et al., Model-Based Extension of AUTOSAR for Architectural Online Reconfiguration, éditeurs : Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB 2009), held as part of the 2009 International Conference on Model Driven Engineering Languages and Systems (MoDELS'09), vol.507, pp.123-137, 2009.

A. Beugnard and J. Jézéquel, Noël Plouzeau et Damien Watkins : Making components contract aware. Computer, vol.32, issue.7, pp.38-45, 1999.

T. Andrew, Campbell : A Quality of Service Architecture, 1996.

C. Andrew, T. Campbell, G. Coulson, F. Garcia, D. Hutchinson et al., Integrated quality of service for multimedia communications, IEEE INFOCOM'93 The Conference on Computer Communications, pp.732-739, 1993.

, Commission Européenne : Règlement (UE) n o 459/2012 de la Commission du 29 mai 2012 modifiant le règlement (CE) n o 715/2007 du Parlement européen et du Conseil ainsi que le règlement (CE) n o 692/2008 de la Commission en ce qui concerne les émissions des véhicules particuliers et utilitaires légers, pp.16-24

, Conseil d'État : Décret n o 2010-1269 du 26 octobre 2010 relatif aux caractéristiques thermiques et à la performance énergétique des constructions. Décret 2010-1269, 2010.

R. Druilhe, M. Anne, and J. Pulou, Laurence Duchien et Lionel Seinturier : Components mobility for energy efficiency of digital home, Proceedings of the 16th International ACM Sigsoft symposium on Component-Based Software Engineering (CBSE'13), p.153, 2013.
DOI : 10.1145/2465449.2465463
URL : https://hal.inria.fr/hal-00804832/file/cbse36s-druilhe.pdf

O. Defour, J. Jézéquel, and N. Plouzeau, Extrafunctional contract support in components, Proceedings of the 7th International Symposium on Component-Based Software Engineering (CBSE'04), 2004.
DOI : 10.1007/978-3-540-24774-6_20
URL : https://hal.archives-ouvertes.fr/hal-00795031

, Rémi Druilhe : L'Efficience Énergétique des Services dans les Systèmes Répartis Hétérogènes et Dynamiques : Application à la Maison Numérique, 2013.

, Eclipse Foundation : Eclipse Modeling Framework (EMF)

M. Ehsani, Y. Gao, and A. Emadi, Modern electric, hybrid electric, and fuel cell vehicles : fundamentals, theory, and design, p.2, 2009.
DOI : 10.1201/9781420054002

H. Farhangi, The path of the smart grid, IEEE Power and Energy Magazine, vol.8, pp.18-28, 2010.

X. Fan, C. E. , and A. Lebeck, Memory controller policies for DRAM power management, Proceedings of the 2001 international symposium on Low power electronics and design (ISLPED'01), pp.129-134, 2001.

H. Peter, . Feiler, P. David, and . Gluch, Model-Based Engineering with AADL : An Introduction to the SAE Architecture Analysis & Design Language, 2012.

J. Fassino, J. Stefani, J. Lawall, and G. Muller, THINK : A Software Framework for Component-based Operating System Kernels, USENIX Annual Technical Conference General Track, pp.73-86

Y. Gao, L. Chen, and M. Ehsani, Investigation of the Effectiveness of Regenerative Braking for EV and HEV. Rapport technique, 1999.

S. Gunther, S. Ulbrich, and W. Hofmann, Driving cycle-based design optimization of interior permanent magnet synchronous motor drives for electric vehicle application, Proceedings of the International Symposium on Power Electronics, Electrical Drives, Automation and Motion (SPEEDAM'14), pp.25-30, 2014.

T. George, . Heineman, and T. William, Councill : Component-based software engineering : putting the pieces together, 2001.

V. Hanumaiah, . Sarma, and . Vrudhula, Energy-Efficient Operation of Multicore Processors by DVFS, Task Migration, and Active Cooling, IEEE Transactions on Computers, vol.63, issue.2, pp.349-360, 2014.

. Bibliographie,

, IETF : Common Format and MIME Type for Comma-Separated Values (CSV) Files. RFC 4180, Internet Engineering Task Force, 1995.

, Microsoft Corporation et Toshiba Corporation : Advanced Configuration and Power Interface (ACPI) specification. Spécification, ACPI Promoters Corporation, 1996.

, ISO : Controller Area Network (CAN) for high-speed communication. ISO 11898 :1993, International Organization for Standardization, 1993.

, ISO : Quality of service : Framework. ISO/IEC 13236 :1998, International Organization for Standardization, 1998.

, ISO : Eiffel : Analysis, Design and Programming Language. ISO/IEC 25436, International Organization for Standardization, 2006.

, ISO : Communication on FlexRay. ISO 10681-1 :2010, International Organization for Standardization, 2010.

, ISO : Object Management Group Object Constraint Language (OCL)

. Iso/iec, International Organization for Standardization, 2012.

, ISO : Local Interconnect Network (LIN). ISO/DIS 17987-1 [under development], International Organization for Standardization, 2014.

I. , ITU-T Recommendation E.800, Telecommunication standardization sector of the International Telecommunication Union, 1988.

J. Kennedy and R. Eberhart, Particle swarm optimization, Proceedings of the International Conference on Neural Networks (ICNN'95), vol.4, pp.1942-1948, 1995.

S. Kachroudi, M. Grossard, and N. Abroug, Predictive Driving Guidance of Full Electric Vehicles Using Particle Swarm Optimization, IEEE Transactions on Vehicular Technology, vol.61, issue.9, pp.3909-3919, 2012.
DOI : 10.1109/tvt.2012.2212735

J. Larminie and J. Lowry, Electric Vehicle Technology Explained, 2012.
DOI : 10.1002/9781118361146
URL : https://onlinelibrary.wiley.com/doi/pdf/10.1002/9781118361146.fmatter

L. Luo, H. Liu, P. Li, and H. Wang, Model predictive control for adaptive cruise control with multi-objectives : comfort, fuel-economy, safety and car-following, Journal of Zhejiang University SCIENCE A (Applied Physics & Engineering), vol.11, issue.3, pp.191-201, 2010.

S. Liu, Q. Qiu, and Q. Wu, Energy Aware Dynamic Voltage and Frequency Selection for Real-Time Systems with Energy Harvesting, Design, Automation and Test in Europe (DATE'08), pp.236-241, 2008.

J. R. Lorch and A. J. Smith, Software strategies for portable computer energy management, IEEE Personal Communications, vol.5, issue.3, pp.60-73, 1998.

M. Louvel, J. Tous, J. Babau, and A. Plantec, Ensuring QoS of Multimedia Applications in Heterogeneous Home Networks : The CPU Use Case, Proceedings of the 9th International Conference on Embedded and Ubiquitous Computing (IFIP'11), pp.19-26, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00670384

, Jürgen Mössinger : Software in Automotive Systems. IEEE Software, vol.27, pp.92-94, 2010.

F. Maker, R. Amirtharajah, and V. Akella, MELOADES : Methodology for long-term online adaptation of embedded software for heterogeneous devices, Journal of Systems Architecture, vol.59, issue.8, pp.643-655, 2013.

M. Marzolla, Optimizing the energy consumption of large-scale applications, Proceedings of the 8th international ACM SIGSOFT conference on Quality of Software Architectures (QoSA'12), p.123, 2012.

T. Markel, A. Brooker, T. Hendricks, V. Johnson, K. Kelly et al., ADVISOR : A systems analysis tool for advanced vehicle modeling, In Journal of Power Sources, vol.110, pp.255-266, 2002.

M. D. Mcilroy and J. M. Buxton, Peter Naur et Brian Randell : Mass-produced software components, Proceedings of the 1st International Conference on Software Engineering (ICSE'68), pp.88-98, 1968.

B. Meyer, Object-Oriented Software Construction, p.2, 1997.

V. Matena and M. Hapner, Spécification, Enterprise JavaBeans (EJB), 1998.

P. Manghwani, J. Loyall, P. Sharma, M. Gillen, and J. Ye, End-to-End Quality of Service Management for Distributed Real-Time Embedded Applications, Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (WPDRTS'05), p.138, 2005.

T. Mesbahi, N. Rizoug, P. Bartholomeüs, and P. L. Moigne, A New Energy Management Strategy of a Battery/Supercapacitor Hybrid Energy Storage System for Electric Vehicular Bibliographie Applications, Proceedings of the 7th IET International Conference on Power Electronics, Machines and Drives, 2014.

F. Mensing, R. Trigui, and É. Bideaux, Vehicle trajectory optimization for application in ECO-driving, Proceedings of the IEEE Vehicle Power and Propulsion Conference (VPPC'11), pp.1-6, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00742587

K. Mets, T. Verschueren, and W. Haerick, Chris Develder et Filip De Turck : Optimizing smart energy control strategies for plug-in hybrid electric vehicle charging, Proceedings of the IEEE/IFIP Network Operations and Management Symposium Workshops (NOMSW'10), pp.293-299, 2010.

O. Nierstrasz, S. Gibbs, and D. Tsichritzis, Componentoriented software development, Communications of the ACM, vol.35, pp.160-165, 1992.

F. Ortiz, R. Buisset, and C. , Adès : VEDELIC : New Technologies for Electric Vehicles, Results of Tests and Demonstration, Proceedings of the 15th Electric Vehicle Symposium, 1998.

, OMG : Common Object Request Broker Architecture (CORBA). Spécification, 1991.

, OMG : Unified Modeling Language (UML). Spécification, Object Management Group, 1997.

, OMG : CORBA Component Model (CCM). Spécification, Object Management Group, 2002.

, OW2 : The Fractal Component Model. Spécification, ObjectWeb Consortium, 2002.

, Parlement européen et du Conseil du 19 mai 2010 concernant l'indication, par voie d'étiquetage et d'informations uniformes relatives aux produits, de la consommation en énergie et en autres ressources des produits liés à l'énergie. Directive 2010/30/EU, Conseil de l'Union européenne, pp.1-12, 2010.

L. Palopoli, T. Cucinotta, L. Marzario, and G. Lipari, AQuoSA-adaptive quality of service architecture. Software : Practice and Experience, vol.39, pp.1-31, 2009.

A. Pde-+-09]-panos-papadimitratos, K. De-la-fortelle, R. Evenssen, S. Brignolo, and . Cosenza, Vehicular communication Bibliographie 127 systems : Enabling technologies, applications, and future outlook on intelligent transportation, IEEE Communications Magazine, vol.47, issue.11, pp.84-95, 2009.

N. Petit and A. Sciarretta, Optimal Drive of Electric Vehicles Using an Inversion-Based Trajectory Generation Approach, Bittanti Sergio, Angelo Cenedese et Sandro Zampieri, éditeurs : Proceedings of the 18th IFAC World Congress (IFAC'11), pp.14519-14526, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00646523

R. Bosch and G. , , 2011.

A. Sander, Gara : A Uniform Quality of Service Architecture, Grid Resource Management, vol.64, pp.377-394

G. Rousseau, D. Sinoquet, and P. Rouchon, Constrained Optimization of Energy Management for a Mild-Hybrid Vehicle. Oil & Gas Science and Technology-Revue de l, IFP, vol.62, issue.4, pp.623-634, 2007.
URL : https://hal.archives-ouvertes.fr/hal-02005722

É. Senn, D. Chillet, O. Zendra, C. Belleudy, S. Bilavarn et al., Open-People : Open Power and Energy Optimization PLatform and Estimator, 2012 15th Euromicro Conference on Digital System Design, pp.668-675, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00650648

R. Sehab and G. Feld, An Online Estimation of Energy Recovery in an Electric Vehicle Using ARTEMIS Mission Profiles, Proceedings of the IEEE Vehicle Power and Propulsion Conference (VPPC'12), pp.333-338, 2012.

C. David, É. L. Snowdon, . Sueur, and M. Stefan, Petters et Gernot Heiser : Koala-A Platform for OS-Level Power Management, Proceedings of the 4th ACM european conference on Computer systems (EuroSys'09), p.289, 2009.

R. Soley, Model Driven Architecture. Rapport technique, 2000.

N. J. Schouten, A. Mutasim, . Salman, A. Naim, and . Kheir, Energy management strategies for parallel hybrid vehicles using fuzzy logic, Control Engineering Practice, vol.11, issue.2, pp.171-177, 2003.

C. Szyperski, Component Software : Beyond Object-Oriented Programming, 2002.

. Bibliographie,

J. Tournier, J. Babau, and V. Olive, Qinna, a component-based qos architecture, Proceedings of the International ACM Sigsoft symposium on Component-Based Software Engineering (CBSE'05), pp.1-16, 2005.
DOI : 10.1007/11424529_8

S. Teodoro, Andriele Busatto do Carmo et Luiz Gustavo Fernandes : Energy efficiency management in computational grids through energy-aware scheduling, Proceedings of the 28th Annual ACM Symposium on Applied Computing (SAC'13), p.1163, 2013.
DOI : 10.1145/2480362.2480581

, The OpenMath Society : The OpenMath Standard. Spécification, 2000.

, W3C : Mathematical Markup Language (MathML). W3C Recommendation REC-MathML-19980407, World Wide Web Consortium, 1998.

A. Wang and A. Chandrakasan, A 180-mV subthreshold FFT processor using a minimum energy design methodology, IEEE Journal of Solid-State Circuits, vol.40, issue.1, pp.310-319, 2005.

S. Williams and C. Kindel, The component object model (COM) : A technical overview. Rapport technique, 1994.

J. Warmer and A. Kleppe, The Object Constraint Language : Precise Modeling With UML, 1998.

. .. Énergie, 53 3.1 Règle d'extraction des composants consommateurs du modèle initial AUTOSAR

, Règle de création des interfaces des courtiers et de l'interface du gestionnaire d'énergie dans le modèle amélioré AUTOSAR, p.78

. , Règle d'instanciation des courtiers et du gestionnaire d'énergie dans le modèle amélioré AUTOSAR

. , Partitionnement autour des médoïdes, une implémentation des kmédoïdes

, Sélection des médoïdes initiaux avec la méthode k-means++, p.84

, Liste des tableaux

. , Comparaison des solutions étudiées portant sur l'énergie, la qualité de service et l'architecture logicielle

, Extrait des approximations de ratios de durée et de consommation, p.50

. , Puissances moyennes requises par la climatisation sur un cycle de conduite NEDC

C. .. , Correspondance de représentation d'un organe entre le modèle de caractérisation et l'encapsulation ANSI, p.80

. .. Caractéristiques-des-quatre-routes-exemples, , p.90

, Politiques de consommation utilisées pour l'évaluation, p.94

, Résultats de l'approche de partitionnement pour le véhicule urbain, p.98

.. .. Résultats-de-l'approche-de-partitionnement-pour-le-véhicule-polyvalent,

, Résultats de l'approche d'approximation pour le véhicule urbain, p.100

, Résultats de l'approche d'approximation pour le véhicule polyvalent, vol.100

. , Résultats de la composition des deux approches (partitionnement puis approximation) pour le véhicule urbain

, Résultats de la composition des deux approches (partitionnement puis approximation) pour le véhicule polyvalent, p.101

. .. Résultats-nominaux-du-véhicule-urbain, , p.103

. .. Résultats-nominaux-du-véhicule-polyvalent, , p.103

A. , Résultats de la composition des deux approches (approximation puis partitionnement) pour le véhicule urbain

. , Résultats de la composition des deux approches (approximation puis partitionnement) pour le véhicule polyvalent

B. , Résultats des stratégies de conduite proposées par ORQA pour le véhicule urbain, vol.117, p.131

, Liste des tableaux

. , Résultats des stratégies de conduite proposées par ORQA pour le véhicule polyvalent

. , Répartition moyenne des consommations d'un véhicule électrique

. Méthodologie and . .. Orqa, , p.29

. , Métamodèle de caractérisation des organes consommateurs d'un véhicule

, Exemple de modélisation de deux organes consommateurs, p.37

. , Fonctions de score promouvant la valeur minimale du domaine et la valeur maximale du domaine

, Évolution des ratios des résultats de durée et de consommation, vol.46

. , Exemple de partitionnement des ratios des résultats de durée et de

. , Exemple de simplification des ratios des résultats de durée et de consommation

, Architecture logicielle du système de gestion d'énergie, p.51

. , Vue graphique du métamodèle Ecore de la caractérisation des organes consommateurs d'un véhicule, p.61

, Cartographie de l'efficacité d'un moteur électrique de berline en fonction de la vitesse angulaire du moteur et du couple demandé, p.66

L. Sa and . .. De-laval-À-rennes, , p.93

. La-plate-forme-d,

. , Évolution des ratios des résultats de durée et de consommation du véhicule urbain

. , Évolution des ratios des résultats de durée et de consommation du véhicule polyvalent

. , Résultats des stratégies de conduite optimales du véhicule polyvalent pour le scénario Sa

. , Résultats des stratégies de conduite optimales du véhicule urbain pour le scénario Sb

B. , Résultats des stratégies de conduite optimales du véhicule urbain pour le scénario Sa

. , Résultats des stratégies de conduite optimales du véhicule polyvalent pour le scénario Sb

. , 67 3.3 Exemple d'utilisation du modèle générique de la chaîne de traction : myDrivechain.orqa, Définitions de base communes à tous les systèmes : Common.orqa

, Un modèle empirique de climatisation : ClimateControl.orqa, p.71

. , Exemple d'utilisation du modèle empirique du système de climatisation : myClimateControl.orqa

, Un modèle simplifié du système d'éclairage : Lighting.orqa, p.73

. , Exemple d'utilisation du modèle simplifié du système générique d'éclairage : myLighting.orqa

. , Modèle générique d'un système consommateur à puissance constante : StaticMiscellaneous.orqa

, Exemple d'utilisation du modèle générique d'un système consommateur à puissance constante : myStaticMiscellaneous.orqa, p.74

. , Définition de l'encapsulation d'un organe consommateur par une structure

. Modélisation-du-véhicule-urbain-:-urbanvehicle and . .. Orqa, , p.91

, Modélisation du véhicule polyvalent : PolyvalentVehicle.orqa, p.92