动态安全和可靠应用管理

动态安全和可靠应用管理托马斯·卡尔霍恩引用此版本：托马斯·卡尔霍恩。动态应用安全和可靠计算paral- lèle，distribué et partagé [cs.DC]。格勒诺布尔-阿尔卑斯大学，2015年。法语NNT：2015GREAM027。电话：01254286HAL Id：tel-01254286https://theses.hal.science/tel-012542862016年1月12日提交HAL是一个多学科的开放获取档案馆，用于存放和传播科学研究文件，无论它们是否已这些文件可能来自法国或国外的教学和研究机构，或来自公共或私人研究中心。L’archive ouverte pluridisciplinaireTHAPOSE为了获得等级格勒诺布尔大学博士专业：信息逮捕日期：2006年Présentée par托马斯·卡尔霍恩这是M说的。Didier DonsezGrenoble信息学院的筹备工作数学、科学和技术博士学校动态安全和可靠应用的自主管理Thèse soutenue publiquement le19 November2015，devant le jury composé de：M.维维安·奎马Grenoble INP，主席M.莱昂内尔·塞因蒂里耶里尔大学讲师M.盖尔·托马斯南巴黎电信公司顾问，特别报告员Sonia Ben MokhtarChargée de Recherche au CNRS，LIRIS Lyon，ExaminatriceM.瓦尔特·鲁达梅特金Lille第一大学M. Didier Donsez约瑟夫·傅立叶大学教授M.奥利维耶·加塔兹Architecte Logiciel chez isandlaTech，Co-Encadrant de thèseIIVII推荐产品这不是我们的朋友的帮助，我们的朋友帮助我们信任我们。这是助手。“产品介绍我首先向Didier Donsez和Olivier Gattaz表示感谢，希望我能在这三年里继续努力我非常感谢Vivien Quéma，因为我很荣幸他能在我的实验室工作期间为我们的研究提供支持我认为莱昂内尔·塞因图里埃和盖尔·托马斯接受了这两名报告员的建议，并作出了建设性的判决。 我对索尼娅·本·莫克塔的了解是为了让陪审团接受我的参与，也为了让我的工作更有意义。我并不感谢我非常感谢ERODS的所有成员，让我们在咖啡馆里进行讨论 我特别感谢诺埃尔，因为我希望我能回到我的工作岗位上，但同时也为了我们所有人的口味。如果没有我的朋友于连、纪尧姆、塞德里克、阿希尼、克利斯朵夫、尼古拉、辛迪、弗朗索瓦-卡里姆、巴西姆、艾哈迈德、沙迪、阿桑以及那些分享我的欢乐的人：谢谢你们！Je remercie également ceux de我很感谢我的家人支持我，尤其是我的父母，因为他们一直鼓励和允许我学习这方面的知识非常感谢你们！“ivvRÉSUMMER面向服务的体系结构（SOA）不应被认为是实现模块化和灵活性应用程序的快速集成的最佳在该领域，面向开发人员和逻辑产品架构师的SOA平台是多方面的; SCA 1和OSGi 2之间有两个以上的版本。在这些板形上的一个应用程序可以在实现这些tâches的最低必要成分的情况下进行组装，然后再消耗资源和增加可维护性。此外，这些板形式的自主权Elles permettent ainsi de mettre à jour，Cescapacités sont notamment utilisées dans le cadre du paradigme DevOps et ， plusgénéralement，pour mettre en Üuvre le déploiement continuu d'artefacts.然而，通过这些印版提供的可扩展性可能会降低系统的整体稳定性：一种加强产品开发的趋势是第三方组件的这些成分的质量可能会让人怀疑在发生错误、性能下降等情况下很难诊断犯罪成分或犯罪成分的组合。Il devient necessary pour le producteurCette thèse a pour objectif de fournir une plate-form，Cohorte，permettant de concevoiret这些产品的组成部分在不同语言的编程和部署（例如，在一天内和在一天内）中持续不断地提 供 服 务 。 Notre proposition adopte pour principed'isoler les composants considerés commeinstablesorpeusoughts. Le choix des composants à isoler peut être décriminé par l'équipe dedéve- loppement et l'équipe opérationnelle，à partir de expertise，ou bien déterminé à partird'une combinaison d'indicateurs. 这 是 为 了 提 高 成 分 的 稳 定 性 。 因 此 ， 在 一 个 période depéritaine之后，这些成分可能被认为是可靠的;一个périodeà jour可能会导致稳定性的下降，等等。因此，在第一种情况下，为了限制成分间的交流，在第二种情况下，为了保持产品的可靠性，在成分分离中进行初始选择是必不可少的。1. http://www.oasis-opencsa.org/sca2. http://www.osgi.orgvivii摘要面向服务的体系结构（SOA）被认为是开发和集成模块化和灵活应用程序的最先进方法。有许多SOA平台可供软件开发人员和架构师使用;其中最先进的是SCA 1和OSGi 2。基于这些平台之一的应用程序可以仅使用执行其任务所需的组件进行组装，这有助于减少其资源消耗并提高其可维护性。此外，这些平台允许在运行时添加插件，即使它们在应用程序开发的早期阶段是因此，它们允许更新、扩展和调整基本产品或其执行所需的技术服务的特征，连续且不中断。这些功能应用于DevOps pa-radigm中，更一般地，用于实现工件的持续部署。然而，这些平台提供的可扩展性可能会降低系统的整体可靠性：软件开发的一个强烈趋势是第三方组件的组装。这些组件可能是未知的，甚至是有问题的质量。如果出现错误、性能下降，. . 很难识别所涉及的组件或组件的组合 软件生产商必须确定故障中涉及的各个组件的责任。本论文的目的是提供一个平台，Cohorte，设计和实现可伸缩的软件产品，弹性故障的不合格的扩展。这些产品的组件可以用各种编程语言开发，并且可以连续部署（添加、更新和撤回），而不会中断服务。我们的建议采用了隔离被认为不稳定或不安全的组件的原则待隔离组件的选择可由开发团队和运营团队根据其经验决定，或根据指标组合确定。后者随着时间的推移而演变，以反映组件的可靠性。例如，组件在隔离期后可以被认为是可靠的;更新可能会导致稳定性下降。. . 因此，有必要质疑隔离组件的初始选择，在第一种情况下，限制组件之间的通信范围，在第二种情况下，保持产品关键核心的可靠性。1. http://www.oasis-opencsa.org/sca2. http://www.osgi.orgviiiix材料表简历摘要1引言三、五、七11.1背景。. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .11.2 Problématique. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .41.3目标. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .51.4捐款 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .61.5组织。. . . . . . . . . . . . . . . . . . . . . . . . . . . .72 État de92.1导言。 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .102.2 ApprocheOrientée Composant.. . . . . . . . . . . . . . . . . . . . . . . . . .102.2.1定义。. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .102.2.2实施。 . . . . . . . . . . . . . . . . . . . . . . . . . . . . .112.3 ApprocheOrientée Service.. . . . . . . . . . . . . . . . . . . . . . . . . . . .132.3.1定义。. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .132.3.2实施。 . . . . . . . . . . . . . . . . . . . . . . . . . . . . .152.4 Approcheà Composant Orienté Service.. . . . . . . . . . . . . . . . . . . . .182.4.1定义。. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .182.4.2实施。 . . . . . . . . . . . . . . . . . . . . . . . . . . . . .182.5服务。. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .202.5.1 Eclipse通信框架. . . . . . . . . . . . . . . . . .21x2.5.2ETHZ R-OSGi. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .212.5.3Apache CXF DOSGi.. . . . . . . . . . . . . . . . . . . . . . . . . . .222.5.4 OW2玫瑰色和紫红色 . . . . . . . . . . . . . . . . . . . . . . . . . . .222.5.5简历. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .23材料表x2.6Isolationde compoants232.6.1隔离par processsus242.6.2Isolationpar Per272.6.3Isolation par machinevirtuelle système282.7Canevas de distributionde composants332.7.1SCA332.7.2HighFrame362.7.3AIOLOS382.8结论393贡献1：iPOPO413.1导言. 423.2PADE：ArchitectureOrientée Service433.2.1Unitéde déploiement433.2.2服务业453.3iPOPO：ComposantsOrientés Service463.3.1Métamodèle梅塔莫德尔463.3.2Fabriquesde composants473.3.3Conteneuret handler3.3.4实例的生命周期503.3.5各组成部分之间的联系523.4服务距离3.4.1建筑学533.4.2Protocolessupports553.5Servicesutilitaires553.5.1贝壳563.5.2服务HTTP573.5.3活动管理员573.5.4配置管理员583.6Comparaison avec lesmodèles existants593.6.1Cycle de dédépement3.6.2Liaisonsentre compoants603.6.3Propriétésextra-fonctionnelles633.7结论644贡献2：Cohorte Herald674.1一、导言. 67xi4.2Modèle68材料表4.2.1Concepts概念684.2.2信息格式694.2.3结构704.3Découvertede pairs714.4Emissionde messages724.4.1Modesde transmission724.4.2Implementation实施744.5服务距离4.5.1Découvertede services754.5.2Messages4.6壳牌远程784.7结论785贡献3：队列815.1一、导言. 815.2Modèle825.3Fichier de configuration5.4Architecture建筑845.5Cycle de vie5.5.1从bootstrap 86取出一个隔离器5.5.2Démarrage5.5.3Disparition5.5.4Arrêt dela plate-former895.6结论.906贡献4：Cohorte作曲家936.1导言. 936.2Architecture建筑946.3Modèlede composition966.3.1组合物966.3.2合成物976.3.3Comparatif986.4Implementation实施996.4.1Surveillance et notationdes constants996.4.2按100票分配6.4.3Instanciationdes composants实例化103材料表xii6.5Gestion Questique dela composition1056.5.1定义1056.5.2Comparaison avecCohorte Composer1076.6结论1087Expérimentationset validations1117.1导言. 1117.2敏捷NG1127.3PrédisMHI1147.4机器人Naoet OpenHab1157.5业绩评估1167.5.1iPOPO1167.5.2服务距离1207.5.3Cohorte1267.6结论1298结论和展望1318.1合成器1318.1.1Rappel dela problématique1318.1.2Approcheet exigences1328.1.3捐款1338.2前景1368.2.1Travauxen cours1368.2.2Travauxenvisagés138Bibliographie书目141材料表xiii1.1 Cycle de vie. . . . . . . . . . . . . . . .32.1Représentation2.2SOA14模型中的相互作用2.3Lesdifférentes éd'isolation2.4组合物SCA332.5复合材料SCA342.6Modèlede composant Fraclet362.7AIOLOS38印版的全球视野3.1Cycle de vie3.2MétamodèleiPOPO473.3Cycle de vie3.4远程服务架构533.5Diagramme de séquence：export et import4.1Visionglobale des composants de Herald704.2Synchronisation des annuaires Herald724.3Herald73的信息传递4.4Échangede services entre pairs5.1 Vueglobale de Cohorte856.1Concorte的全球之声作曲946.2Représentation7.1Vue globale7.2表中的代表7.11187.3Temps8.1隧道先驱1378.2Routagede messages Herald138没能 DES图xiv表格列表xv3.1Extrait de propriétés specifiéespar OSGi463.2Classification selon le cycle de viedes composants593.3结构分类-接口规范613.4分类selon la construction - Liaisonset interaction623.5Classificationselon le treitement des Propriétés Extra-Fonctionnelles633.6Lignes decode4.1Messagesde découvertes754.2Lignes de code deCohorte Herald795.1 Lignes de code deCohorte19916.1Cohorte、Fraclet和SCA98成分描述的比较6.2Niveaux NiveauxNiveques1076.3Comparaison avec les canevas de distributionde composants1096.4Lignes de codede Cohorte作曲家1107.1Temps7.2B和C 118织物的合成时间7.3Durées moyennes des appels distants à laméthodedummy1217.4Duréesmoyennes des appels distants à la méthodesingle_arg1227.5Tailleen octets du corps des requêtes7.6Durées moyennes des appels distants à laméthodevar_args1247.7Duréesmoyennes par appel lors7.8126.隔离物的发展时间7.9Tempsde démarrage7.10 Tempsde redémarrage8.1 Lignes de code desdifférentes contributionsL ISTE DES TABLEAUXxvixvii第一章介绍“从头开始，”国王严肃地结束;然后停止。“刘易斯·C·阿罗尔，《爱丽丝索迈尔1.1背景11.2问题41.3目标51.4捐款61.5Organisation du Punct.............................................................................................. 71.1Contexte在第四年，Génie Logiciel在参与各方（利益相关者）之间的互动和相互之间的效力中，通过 了 一 种 模 式 ， 该 模 式 被 用 于 l 'industrie lourde - aux modèles agiles [BBVB + 01] 。 Lesutilisação，e.g. ceux qui utiliseront le produit，les clients，e.g. 因为生产出来的东西， ceuxqui le conçoivent，et enfin le fournisseur，i.e. l'organisation whi gère le déprépement du produit，consti-tuentlespartiesprépréd'unprojet.该模型的工业是一个été initialement préféré du fait de sacompatibilité avec le fonctionnement interne des grandes entreprises，实际上，在[Som11]中，客户端和第四个客户端初始化了产品的规格，而在最终产品之前，没有对产品进行任何修改在这种项目方法中，原型可以在客户面前简单地运行，因为客户必须遵守规范和要求。所使用的加速度周期为级联周期，项目的速度带不应具有连续性，因为可能会对速度带进行重新调整;V周期，产品验证的检查结果应满足特定的定义;而迭代周期，则应确定一个完整的周期。Cesmethodes ont“