Bibliografías temáticas / Systèmes à base de composants concurrents / Tesis
Siga este enlace para ver otros tipos de publicaciones sobre el tema: Systèmes à base de composants concurrents.

Tesis sobre el tema "Systèmes à base de composants concurrents"

Autor: Grafiati
Publicado: 14 de diciembre de 2024

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte los 50 mejores tesis para su investigación sobre el tema "Systèmes à base de composants concurrents".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Explore tesis sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.

1

Farhat, Salman. "Safe Dynamic Reconfiguration of Applications with Features." Electronic Thesis or Diss., Université de Lille (2022-....), 2024. http://www.theses.fr/2024ULILB014.

Texto completo
Resumen
Les applications déployées sur des environnement de type Cloud ou sur des systèmes cyber-physiques nécessitent une reconfiguration fréquente pendant leur exécution pour s'adapter à l'évolution des besoins et des exigences, ce qui souligne l'importance des capacités de reconfiguration dynamique. En outre, ces environnements peuvent étendre et modifier leurs services en cours d'exécution, ce qui nécessite une approche compositionnelle pour permettre la modification des configurations. Pour gérer la variabilité de l'architecture des grands systèmes, les modèles de caractéristiques sont largement
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Nguyen, Thanh-Hung. "Vérification Constructive des Systèmes à base de Composants." Phd thesis, Grenoble, 2010. http://www.theses.fr/2010GRENM020.

Texto completo
Resumen
L'objectif de la thèse est de développer des méthodologies et des outils pour la vérification compositionnelle et incrémentale des systèmes à base de composants. Nous proposons une méthode compositionnelle pour vérifier des propriétés de sûreté. La méthode est basée sur l'utilisation des deux types d'invariants: invariants de composant qui expriment des aspects locaux des systèmes et invariants d'interaction qui caractérisent les contraintes globales induites par les synchronisations entre les composants. Nous offrons des méthodes efficaces pour calculer ces invariants. Nous proposons égalemen
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Nguyen, Thanh-Hung. "Vérification Constructive des Systèmes à base de Composants." Phd thesis, Grenoble, 2010. http://tel.archives-ouvertes.fr/tel-00485933.

Texto completo
Resumen
L'objectif de la thèse est de développer des méthodologies et des outils pour la vérification compositionnelle et incrémentale des systèmes à base de composants. Nous proposons une méthode compositionnelle pour vérifier des propriétés de sûreté. La méthode est basée sur l'utilisation des deux types d'invariants: invariants de composant qui expriment des aspects locaux des systèmes et invariants d'interaction qui caractérisent les contraintes globales induites par les synchronisations fortes entre les composants. Nous offrons des techniques efficaces pour calculer ces invariants. Nous proposons
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Ben, Hafaiedh Imane. "Systèmes à base de composants : du design à l'implémentation." Phd thesis, Université de Grenoble, 2011. http://tel.archives-ouvertes.fr/tel-00573291.

Texto completo
Resumen
Dans cette thèse, nous nous sommes intéressés aux design, vérification et implémentation des systèmes à base de composants. Nous proposons d'abord une méthodologie de design et de vérification compositionelle et incrémentale à base de contrats pour les systèmes de composants. Nous proposons ensuite une implémentation distribuée qui permet de préserver certaines properiétés globales de ces systèmes. La méthodologie de design proposée utilise les contrats comme un moyen de contraindre, raffiner et d'implémenter les systèmes. Elle est basée sur un formalisme de contracts générique, que nous insta
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Al, Masri Nada. "Modèle d'Administration des Systèmes Distribués à Base de Composants." Phd thesis, INSA de Lyon, 2005. http://tel.archives-ouvertes.fr/tel-00474407.

Texto completo
Resumen
Component-Oriented Systems are increasingly evolving and being adopted by both industrial and academic worlds. They have resulted from the advances achieved in both software engineering and distributed systems. Component models such as JavaBeans, COM, CORBA were presented as reusable components that can be composed together to get a complete software. At the same time, advances in distributed systems lead to another type of component models such as EJB, DCOM and CCM that treat the distribution as their main objective. Platforms conforming to these models support a number of middleware services
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Youssef, Lilia. "Construction de systèmes répartis sécurisés à base de composants." Phd thesis, Université de Grenoble, 2012. http://tel.archives-ouvertes.fr/tel-00721746.

Texto completo
Resumen
L'objectif de ce travail est de fournir des modèles et outils pour simplifier la construction des systèmes distribués à base de composants sécurisés, ainsi que la gestion des propriétés de sécurité, en utilisant des outils de haut niveau d'abstraction pour la configuration et la reconfiguration dynamique. En plus des propriétés d'accessibilité et de communications sécurisées classiques, nous focalisons notre travail sur une propriété des systèmes répartis plus générale : la non-interférence. Cette propriété atteste qu'il ne doit pas y avoir de flux d'information entre des parties publiques et
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Hamouche, Rédha. "Modélisation des systèmes embarqués à base de composants et d'aspects." Evry-Val d'Essonne, 2004. http://www.theses.fr/2004EVRY0015.

Texto completo
Resumen
Cette thèse s'inscrit dans le cadre de la définition d'une approche de modélisation qui permet de faire face à la complexité des systèmes embarqués, réduire leur temps de conception et couvrir différents domaines d'applications (Modèles de Traitement). Cette approche, appelée ModelJ, est basée sur le paradigme de composant et le paradigme d'aspect. Elle explore le potentiel de ces nouveaux paradigmes logiciels, apparus récemment, dans le cadre de la modélisation des systèmes embarqués. L'approche propose d'une part, un métamodèle indépendant de tout langage de modélisation, qui permet de fourn
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Skiba, Karima. "Modélisation de systèmes intégrés à base de composants électroniques virtuels." Grenoble INPG, 2002. http://www.theses.fr/2002INPG0088.

Texto completo
Resumen
Cette thèse s'est interessée à un paradigme récent à savoir la conception collaborative, autour de l'intranet, des systèmes intégrés fondée sur l'utilisation d'IPs. Elle s'est intéressée en particulier à la gestion de données de conception d'IPs et de leur transfert autour de l'intranet. Il s'agit donc de proposer des méthodologies et des outils permettant de décrire, de modéliser, de valider, et d'échanger des fichiers de conception et de validation à différents niveaux d'abstraction. La première difficulté liée à l'utilisation des IPs est leur qualification. Une partie de cette thèse a été c
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Renaux, Emmanuel. "Définition d'une démarche de conception de systèmes à base de composants." Lille 1, 2004. https://ori-nuxeo.univ-lille1.fr/nuxeo/site/esupversions/9f245270-7f66-4a80-842b-e1a2e267e31b.

Texto completo
Resumen
Ce travail s'inscrit dans le domaine du génie logiciel et traite de la conception d'applications distribuées à base de composants. La plupart des industriels utilise des technologies à base de composants telles que les environnements distribués Corba ou EJB. La notion de composants améliore la qualité du logiciel, c'est une unité de code robuste et éprouvée. Or, la conception d'applications grâce à des démarches de type Processus Unifié, ne garantit pas l'identification et donc la réutilisation de composants préfabriqués. En fait, l'identification, la réutilisation et la conception de composan
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Navas, Juan F. "Une infrastructure pour l'optimisation de systèmes embarqués évolutifs à base de composants logiciels." Brest, 2011. http://www.theses.fr/2011BRES2013.

Texto completo
Resumen
Concernant la partie logicielle des systèmes embarqués, on constate le besoin d’un modèle de la structuration du logiciel qui facilite le processus de développement, la capacité de faire évoluer le comportement du système lors de son exécution, afin de s’adapter aux changements de son environnement, et la prise en compte des limitations des ressources physiques des plates-formes d’exécution. L’utilisation de composants logiciels est une approche de conception qui, via l'abstraction des détails techniques, facilite la gestion de la complexité du logiciel. La question que nous nous posons est :
Los estilos APA, Harvard, Vancouver, ISO, etc.
11

Prada, Rojas Carlos Hernan. "Une approche à base de composants logiciels pour l'observation de systèmes embarqués." Phd thesis, Université de Grenoble, 2011. http://tel.archives-ouvertes.fr/tel-00621143.

Texto completo
Resumen
À l'heure actuelle, les dispositifs embarqués regroupent une grande variété d'applications, ayant des fonctionnalités complexes et demandant une puissance de calcul de plus en plus importante. Ils évoluent actuellement de systèmes multiprocesseur sur puce vers des architectures many-core et posent de nouveaux défis au développement de logiciel embarqué. En effet, Il a classiquement été guidé par les performances et donc par les besoins spécifiques des plates-formes. Or, cette approche s'avère trop couteuse avec les nouvelles architectures matérielles et leurs évolutions rapprochées. Actuelleme
Los estilos APA, Harvard, Vancouver, ISO, etc.
12

Basu, Ananda Shankar. "Modélisation à base de composants de systèmes temps réel hétérogènes en BIP." Grenoble 1, 2008. http://www.theses.fr/2008GRE10249.

Texto completo
Resumen
Nous présentons BIP, le formalisme orienté composant pour la construction par composants de systèmes temps-réel hétérogènes. BIP signifie en anglais : behavior, interaction and priority, ce qui se traduit par comportement, interaction et priorité. Ce sont les trois briques de base de ce formalisme. Il considère que les systèmes peuvent être obtenus par composition de composants organisés en trois niveaux ou le plus bas représente le comportement comme un ensemble de transitions étiquetées par des actions et des déclencheurs ; le niveau intermédiaire représente l’ensemble des interactions entre
Los estilos APA, Harvard, Vancouver, ISO, etc.
13

Navas, Juan. "Une infrastructure pour l'optimisation de systèmes embarqués évolutifs à base de composants logiciels." Phd thesis, Université de Bretagne occidentale - Brest, 2011. http://tel.archives-ouvertes.fr/tel-00624826.

Texto completo
Resumen
Concernant la partie logicielle des systèmes embarqués, on constate le besoin d'un modèle de la structuration du logiciel qui facilite le processus de développement, la capacité de faire évoluer le comportement du système lors de son exécution, afin de s'adapter aux changements de son environnement, et la prise en compte des limitations des ressources physiques des plates-formes d'exécution. L'utilisation de composants logiciels est une approche de conception qui, via l'abstraction des détails techniques, facilite la gestion de la complexité du logiciel. La question que nous nous posons est: c
Los estilos APA, Harvard, Vancouver, ISO, etc.
14

Couturier, Vincent. "L'ingénierie des systèmes d'information coopératifs par réutilisation : une approche à base de patterns." Lyon 3, 2004. https://scd-resnum.univ-lyon3.fr/out/theses/2004_out_couturier_v.pdf.

Texto completo
Resumen
L'objectif de ce travail de recherche est de faciliter l'ingénierie des systèmes d'information coopératifs (SIC) par la spécification de patterns logiciels réutilisables. Les patterns que nous proposons sont tout d'abord des patterns de domaine, réutilisables lors des phases d'analyse et de conception du processus d'ingénierie des SIC. S'ajoutent à ces patterns des patterns de support technique génériques constituant des structures réutilisables dédiées à l'implantation des entités spécifiées dans les patterns de conception de coopération et décrivant comment construire une application. En out
Los estilos APA, Harvard, Vancouver, ISO, etc.
15

Özcan, Ali Erdem. "Conception et implantation d’un environnement de développement de logiciels à base de composants, applications aux systèmes multiprocesseurs sur puce." Grenoble INPG, 2007. http://www.theses.fr/2007INPG0080.

Texto completo
Resumen
Ces travaux de thèse définissent un environnement de développement ouvert et extensible pour la conception de logiciels à base de composants. L'environnement se présente comme une chaîne de compilation d'architectures logicielles, acceptant des architectures écrites dans des langages différents et fournissant des fonctionnalités comme la génération de code ou le déploiement. L'extensibilité de l'outil est assurée par une architecture à base de composants implantant des patrons de programmation extensibles et supportant un mécanisme de plug-in pour intégrer des extensions de tierces parties. L'
Los estilos APA, Harvard, Vancouver, ISO, etc.
16

Kanso, Bilal. "Modélisation et validation des systèmes à base d'états." Phd thesis, Ecole Centrale Paris, 2011. http://tel.archives-ouvertes.fr/tel-00659305.

Texto completo
Resumen
La thèse s'inscrit dans le domaine de la modélisation et de la validation des systèmes modernes complexes. Les systèmes actuels sont en fait d'une complexité sans cesse croissante et formés de plus en plus de composants de natures différentes. Ceci rend leur processus de conception et de validation coûteux et difficile. Il semble être la simple façon permettant de faire face à cette hétérogénéité et à cette complexité est l'approche orientée composant. Suivant cette approche, le système est une entité formée par un ensemble des composants interconnectés. Les composants définissent une interfac
Los estilos APA, Harvard, Vancouver, ISO, etc.
17

Messaadia, Karima. "Un méta modèle pour la réutilisation de composants dans les systèmes à base de connaissances." Nantes, 2002. http://www.theses.fr/2002NANT2097.

Texto completo
Resumen
Notre étude de la modélisation des Systèmes à Base de Connaissances (SBC) d'un point de vue réutilisation nous a amené à décrire un méta modèle appelé le méta modèle en Y (MY). Le méta modèle en Y permet de décrire un SBC au "niveau connaissances" selon trois axes : l'objet de la réutilisation, les niveaux de description et le processus de réutilisation. Selon le premier axe, trois composants sont utilisés pour décrire un SBC qui sont : la tâche décrivant le problème à résoudre, le PSM (Problem Solving Method) décrivant une méthode de résolution de problème et le domaine décrivant les connaiss
Los estilos APA, Harvard, Vancouver, ISO, etc.
18

Jayaprakash, Nagapraveen. "Infrastructure à base de règles actives pour la décision dans des systèmes autonomes à composants." Grenoble INPG, 2008. http://www.theses.fr/2008INPG0050.

Texto completo
Resumen
Les systèmes autonomiques possèdent la capacité d'effectuer automatiquement des opérations lors d'occurrences de faits significatifs sans intervention humaine. Pour fournir cette capacité, nous proposons d'utiliser un mécanisme à base de règles actives, ou règle Evénement-Condition-Action (ECA). De nombreuses questions se posent sur leurs exécutions. Nous proposons un modèle d'exécution adapté aux systèmes à composants. Une deuxième contribution est la proposition d'une infrastructure autonomique dans laquelle les règles ainsi que leur sémantiques sont représentées par des composan qui permet:
Los estilos APA, Harvard, Vancouver, ISO, etc.
19

Peschanski, Frédéric. "Composition et adaptation dynamiques de systèmes distribués : une approche à base de composants asynchrones typés." Paris 6, 2002. http://www.theses.fr/2002PA066293.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
20

Bénazéra, Emmanuel. "Diagnostic et reconfiguration basés sur des modèles hybrides concurrents : application aux satellites autonomes." Toulouse 3, 2003. http://www.theses.fr/2003TOU30105.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
21

Stoicescu, Miruna. "Conception et implémentation de systèmes résilients par une approche à composants." Phd thesis, Institut National Polytechnique de Toulouse - INPT, 2013. http://tel.archives-ouvertes.fr/tel-01018621.

Texto completo
Resumen
L'évolution des systèmes pendant leur vie opérationnelle est incontournable. Les systèmes sûrs de fonctionnement doivent évoluer pour s'adapter à des changements comme la confrontation à de nouveaux types de fautes ou la perte de ressources. L'ajout de cette dimension évolutive à la fiabilité conduit à la notion de résilience informatique. Parmi les différents aspects de la résilience, nous nous concentrons sur l'adaptativité. La sûreté de fonctionnement informatique est basée sur plusieurs moyens, dont la tolérance aux fautes à l'exécution, où l'on attache des mécanismes spécifiques (Fault To
Los estilos APA, Harvard, Vancouver, ISO, etc.
22

Charaf, Eddin Mohammad. "Contribution to dynamic reconfiguration in component-based systems : consistency and non-functional properties specification." Thesis, Toulouse 3, 2015. http://www.theses.fr/2015TOU30045/document.

Texto completo
Resumen
Le travail réalisé dans le cadre de cette thèse a deux objectifs principaux. Le premier est de contribuer `à la spécification de la reconfiguration dynamique des systèmes à base de composants. Le deuxième objectif est de s´sélectionner la configuration optimale parmi un ensemble de configurations qui fournissent des fonctionnalités identiques ou similaires. Le processus de sélection dépend des propriétés non-fonctionnelles du système. La propriété de reconfigurabilité est essentielle pour de nombreux systèmes à base de composants contemporains. En effet, cette propriété améliore la disponibili
Los estilos APA, Harvard, Vancouver, ISO, etc.
23

Bigot, Céline. "Une proposition de formalisme orienté composant : application de méthodes d'exécution symbolique pour la validation de systèmes à base de composants." Paris, CNAM, 2005. http://www.theses.fr/2005CNAM0497.

Texto completo
Resumen
De plus en plus, les logiciels sont considérés comme des assemblages de composants, chaque composant étant lui-même considéré comme un logiciel indépendant. Ce type d'approche permet de simplifier les étapes de conception, de développement et de maintenance des logiciels tout en garantissant de manière plus aisée leur qualité, leur fiabilité et leur sûreté. Dans ce contexte, nous proposons un cadre formel pour la définition de composants et de systèmes de composants avec une syntaxe orientée UML et une sémantique opérationnelle puis dénotationnelle. La sémantique opérationnelle nous permet de
Los estilos APA, Harvard, Vancouver, ISO, etc.
24

Al, Shara Zakarea. "Migration des applications orientées-objet vers celles à base de composants." Thesis, Montpellier, 2016. http://www.theses.fr/2016MONTT254/document.

Texto completo
Resumen
Les applications orientées objet de tailles significatives ont des dépendances complexes et nombreuses, et généralement ne disposent pas d'architectures logicielles explicites. Par conséquent, elles sont difficiles à maintenir, et certaines parties de ces applications sont difficiles à réutiliser. Le paradigme de développement à base de composants est né pour améliorer ces aspects et pour soutenir la maintenabilité et la réutilisation efficaces. Il offre une meilleure compréhensibilité à travers une vue d'architecture de haut niveau. Ainsi, la migration des applications orientées objet à celle
Los estilos APA, Harvard, Vancouver, ISO, etc.
25

Grondin, Guillaume. "MaDcAr-Agent : un modèle d'agents auto-adaptables à base de composants." Phd thesis, Ecole Nationale Supérieure des Mines de Saint-Etienne, 2008. http://tel.archives-ouvertes.fr/tel-00775866.

Texto completo
Resumen
Dans le cadre de l'informatique ubiquiste, l'environnement d'exécution d'une application est constitué de machines hétérogènes en ressources matérielles et appartenant à des utilisateurs différents (PC, PDA, téléphone mobile, etc.). Ces caractéristiques imposent de structurer l'application en une organisation d'unités logicielles relativement indépendantes qui coopèrent et interagissent. Dans cette thèse, nous proposons MaDcAr- Agent, un modèle d'agents auto-adaptables à base de composants et muni d'une infrastructure dédiée à l'adaptation. Ce modèle se caractérise par la présence d'un niveau
Los estilos APA, Harvard, Vancouver, ISO, etc.
26

Ben, Salah Ramzi. "Sur l'analyse temporisée de systèmes de grande taille." Grenoble INPG, 2007. http://www.theses.fr/2007INPG0107.

Texto completo
Resumen
Cette thèse s'inscrit dans le cadre de la vérification et la modélisation algorithmique des système temps réels dures. Ce travail présente deux principales contributions. La première est une observation qui a permis la mise en place d'un algorithme de calcule d'atteignabilité. Ce dernier est beaucoup plus performant que celui implémenté actuellement dans la plupart des outils de vérification des systèmes temporisés. La deuxième contribution, est la mise en œuvre de tout un processus de modélisation compositionnelle. Ce processus profite de la modularité de la majorité des systèmes complexes po
Los estilos APA, Harvard, Vancouver, ISO, etc.
27

Pontisso, Nadège. "Association cohérente de données dans les systèmes temps réel à base de composants - Application aux logiciels spatiaux." Phd thesis, Institut National Polytechnique de Toulouse - INPT, 2009. http://tel.archives-ouvertes.fr/tel-00459071.

Texto completo
Resumen
Les architectures distribuées des systèmes embarqués sont souvent décrites sous la forme de composants concurrents communiquant entre eux. De tels systèmes sont à la fois orientés flot de données pour leur description, et dirigés par le temps pour leur exécution. Cette thèse s'inscrit dans cette problématique et se concentre sur le contrôle de la compatibilité temporelle d'un ensemble de données interdépendantes utilisées par les composants du système. L'architecture d'un système modélisé par composants forme un graphe où plusieurs chemins peuvent relier deux composants, avec des caractéristiq
Los estilos APA, Harvard, Vancouver, ISO, etc.
28

Guesmi, Hela. "Des systèmes à base de composants aux implémentations cadencées par le temps : une approche correcte par conception." Thesis, Université Grenoble Alpes (ComUE), 2017. http://www.theses.fr/2017GREAM061/document.

Texto completo
Resumen
Dans le domaine des systèmes temps-réel embarqués critiques, les méthodes de conception et de spécification et leurs outils associés doivent permettre le développement de systèmes au comportement temporel déterministe et, par conséquent, reproductible afin de garantir leur sûreté de fonctionnement. Pour atteindre cet objectif, on s’intéresse aux méthodologies de développement basées sur le paradigme Time-Triggered (TT). Dans ce contexte, nombre de propriétés et, en particulier, les contraintes temps-réel de-bout-en-bout, se voient satisfaites par construction. Toutefois, garantir la sûreté de
Los estilos APA, Harvard, Vancouver, ISO, etc.
29

Khalgui, Mohamed. "Validation temporelle et déploiement d'une application de contrôle industrielle à base de composants." Thesis, Vandoeuvre-les-Nancy, INPL, 2007. http://www.theses.fr/2007INPL009N/document.

Texto completo
Resumen
Dans cette thèse, nous nous intéressons à la validation temporelle ainsi qu'au déploiement d'applications de contrôle industriel à base de composants. La technologie des composants retenue est celle des Blocs Fonctionnels définie dans la norme industrielle IEC 61499. Un Bloc Fonctionnel est défini comme un composant réactif supportant des fonctionnalités d'une application. L'avantage de cette norme, connue dans l'industrie, est la description statique de l'application ainsi que de son support d'exécution. Une première contribution de la thèse est l'interprétation des différents concepts défini
Los estilos APA, Harvard, Vancouver, ISO, etc.
30

Bobeff, Gustavo. "Spécialisation de composants." Phd thesis, Université de Nantes, 2006. http://tel.archives-ouvertes.fr/tel-00484948.

Texto completo
Resumen
La programmation à base de composants facilite l'encapsulation de logiciel générique qui peut ainsi être réutilisé dans différents contextes d'utilisation. Un composant est spécifié à partir d'une implémentation et d'une interface. Cette interface, utilisée pour la composition, peut être adaptée par le consommateur du composant. Les modèles existants ne permettent que l'adaptation au niveau de l'interface alors que leur implémentation reste inchangée (boîte noire), les applications résultantes conservent le degré de généralité des composants constituants. Pour aller au-delà de ces modèles, nou
Los estilos APA, Harvard, Vancouver, ISO, etc.
31

Khalgui, Mohamed. "Validation temporelle et déploiement d'une application de contrôle industrielle à base de composants." Electronic Thesis or Diss., Vandoeuvre-les-Nancy, INPL, 2007. http://www.theses.fr/2007INPL009N.

Texto completo
Resumen
Dans cette thèse, nous nous intéressons à la validation temporelle ainsi qu'au déploiement d'applications de contrôle industriel à base de composants. La technologie des composants retenue est celle des Blocs Fonctionnels définie dans la norme industrielle IEC 61499. Un Bloc Fonctionnel est défini comme un composant réactif supportant des fonctionnalités d'une application. L'avantage de cette norme, connue dans l'industrie, est la description statique de l'application ainsi que de son support d'exécution. Une première contribution de la thèse est l'interprétation des différents concepts défini
Los estilos APA, Harvard, Vancouver, ISO, etc.
32

Zhang, Tiantian. "Injection de spin dans des systèmes à base de semiconducteurs III-V en vue de nouveaux composants spintroniques." Thesis, Toulouse, INSA, 2014. http://www.theses.fr/2014ISAT0005/document.

Texto completo
Resumen
La spintronique dans les semiconducteurs vise à utiliser le spin de l’électron comme degré de liberté supplémentaire (en plus de la charge électrique) afin de véhiculer l’information, ce qui permettrait la mise au point de composants intégrant de nouvelles fonctionnalités. Ce travail de thèse porte sur deux étapes importantes qui doivent être maîtrisées : l’injection électrique de porteurs polarisés en spin dans les semiconducteurs III-V, et la manipulation du spin de l’électron (par champ magnétique) dans ces matériaux optimisés. Dans un premier temps, la grande efficacité des injecteurs de s
Los estilos APA, Harvard, Vancouver, ISO, etc.
33

Tournier, Jean-Charles. "Qinna : une architecture à base de composants pour la gestion de la qualité de service dans les systèmes embarqués mobiles." Phd thesis, INSA de Lyon, 2005. http://tel.archives-ouvertes.fr/tel-00009704.

Texto completo
Resumen
Les systèmes embarqués communicants sont de plus en plus présents dans notre environnement quotidien sous formes de PDA, téléphones portables, etc. Ces sytèmes se doivent d'être ouverts afin de pouvoir accueillir de nouvelles applications tout au long de leur cycle de vie. Ils possèdent alors des contraintes fortes de types qualité de service, sécurité, tolérance aux fautes, etc. La programmation à base de composants apparaît comme une solution prometteuse pour le développement de tels systèmes. Cependant, un des frein à l'adoption de ce type de programmation est que les modèles à composants n
Los estilos APA, Harvard, Vancouver, ISO, etc.
34

Quilbeuf, Jean. "Implantations distribuées de modèles à base de composants communicants par interactions multiparties avec priorités : application au langage BIP." Phd thesis, Université de Grenoble, 2013. http://tel.archives-ouvertes.fr/tel-00947636.

Texto completo
Resumen
Les nouveaux systèmes ont souvent recours à une implémentation distribuée du logiciel, pour des raisons d'efficacité et à cause de l'emplacement physique de certains capteurs et actuateurs. S'assurer de la correction d'un logiciel distribué est difficile car cela impose de considérer tous les enchevêtrements possibles des actions exécutées par des processus distincts. Cette thèse propose une méthode pour générer, à partir d'un modèle d'application haut niveau, une implémentation distribuée correcte et efficace. Le modèle de l'application comporte des composants communiquant au moyen d'interact
Los estilos APA, Harvard, Vancouver, ISO, etc.
35

Noël, Victor. "Architectures logicielles à base de composants et systèmes multi-agents : contributions mutuelles et complémentaires pour supporter le développement logiciel." Phd thesis, Université Paul Sabatier - Toulouse III, 2012. http://tel.archives-ouvertes.fr/tel-00865795.

Texto completo
Resumen
Dans cette thèse, nous explorons les diverses contributions que les systèmes multi-agents (SMA) et les architectures à base de composants (CBSA) peuvent mutuellement et complémentairement s'apporter l'un à l'autre. Dans un premier temps, nous définissons, illustrons, analysons et discutons une méthodologie du développement des SMA, un modèle de composants (SpeAD), un langage de description d'architecture (SpeADL) et une méthode de conception (SpEArAF) qui facilitent et guident la description et l'implémentation des SMA. Cette réponse complète au développement des SMA est assistée par un outil
Los estilos APA, Harvard, Vancouver, ISO, etc.
36

Guennoun, Mohammed Karim. "Architectures dynamiques dans le contexte des applications à base de composants et orientées services." Toulouse 3, 2006. http://www.theses.fr/2006TOU30236.

Texto completo
Resumen
L'adaptabilité des applications logicielles peut être séparée en deux catégories. La première concerne l'adaptation comportementale appelée aussi adaptation algorithmique. Cette adaptation traite la redéfinition du comportement de l'application et de ses composants et implique, par exemple, l'introduction d'une nouvelle méthode dans l'interface d'un composant ou le changement du protocole d'orchestration qui coordonne un ensemble de services. Nos travaux, que nous classons dans une deuxième catégorie, traitent l'adaptation structurelle et considèrent une reconfiguration au niveau architectural
Los estilos APA, Harvard, Vancouver, ISO, etc.
37

Jaber, Mohamad. "Implémentations Centralisée et Répartie de Systèmes Corrects par construction à base des Composants par Transformations Source-à-source dans BIP." Phd thesis, Grenoble, 2010. http://www.theses.fr/2010GRENM062.

Texto completo
Resumen
La thèse étudie la théorie et les méthodes qui permettent de générer automatiquement des implémentations efficaces tant centralisées que distribuées à partir d'une langage de description de haut niveau pour les applications logicielles embarquées. Ce langage (modèle) appelé BIP (un acronyme pour Behavior, Interaction, Priority) est un outil de développement logiciel fondé sur une théorie saine qui permet la composition incrémentale de composants hétérogènes, ainsi que la génération de code. Une coordination entre les composantes est réalisée en utilisant des interactions multiparties et des pr
Los estilos APA, Harvard, Vancouver, ISO, etc.
38

Jaber, Mohamad. "Implémentations Centralisée et Répartie de Systèmes Corrects par construction à base des Composants par Transformations Source-à-source dans BIP." Phd thesis, Grenoble, 2010. http://tel.archives-ouvertes.fr/tel-00531082.

Texto completo
Resumen
The thesis studies theory and methods for generating automatically centralized and distributed implementations from a high-level model of an application software in BIP. BIP (Behavior, Interaction, Priority) is a component framework with formal operational semantics. Coordination between components is achieved by using multiparty interactions and dynamic priorities for scheduling interactions. A key idea is to use a set of correct source-to-source transformations preserving the functional properties of a given application software. By application of these transformations we can generate a full
Los estilos APA, Harvard, Vancouver, ISO, etc.
39

Bouaziz, Rahma. "Processus IDM pour l’intégration des patrons de sécurité dans une application à base de composants." Thesis, Toulouse 2, 2013. http://www.theses.fr/2013TOU20101/document.

Texto completo
Resumen
La sécurité est devenue un enjeu important dans le développement des systèmes logiciels actuels. La majorité des concepteurs de ces systèmes manquent d’expertise dans le domaine de la sécurité. Il s’avère donc important de les guider tout au long des différentes phases de développement logiciel dans le but de produire des systèmes plus sécurisés. Cela permettra de réduire le temps ainsi que les coûts de développement. Pour atteindre cet objectif, nous proposons d’appliquer l’expertise en matière de sécurité sous forme de patrons de sécurité lors de la phase de conception de logiciels. Un patro
Los estilos APA, Harvard, Vancouver, ISO, etc.
40

Lepreux, Sophie. "Approche de développement centré décideur et à l'aide de patron de systèmes interactifs d'aide à la décision : Application à l'investissement dans le domaine ferroviaire." Valenciennes, 2005. http://ged.univ-valenciennes.fr/nuxeo/site/esupversions/007a05a5-88ef-48c2-bcaf-993bcac935dc.

Texto completo
Resumen
Les Systèmes Interactifs d'Aide à la Décision (SIAD) adaptés aux prises de décisions basées sur les connaissances sont au coeur de ces travaux. Un ensemble d'approches de développement (modèles, méthodes et architectures) provenant du génie logiciel, des IHM, des systèmes de connaissance, des systèmes à base de composants et des SIAD n'ont pas semblé correspondre au développement de ces SIAD. Une Approche de DEveloppement de Système Interactif d'Aide à la Décision (ADESIAD) a été proposée. Elle a pour particularité d'être centrée sur le décideur et d'utiliser des patrons pour formaliser et str
Los estilos APA, Harvard, Vancouver, ISO, etc.
41

Constant, Olivier. "Une approche dirigée par les modèles pour l'intégration de la simulation de performance dans la conception de systèmes à base de composants." Pau, 2006. http://www.theses.fr/2006PAUU3013.

Texto completo
Resumen
Pour être maîtrisée, la performance d'un système distribué doit être prise en compte tout au long du cycle de conception et développement du système, particulièrement si ce dernier est construit à base de composants réutilisés car il est alors plus difficilement prévisible. Mais l'évaluation de performance en conception nécessite des techniques spécifiques et des compétences peu courantes. Une solution consiste à étendre les langages de conception fonctionnelle de manière à transformer les modèles fonctionnels en modèles de performance du système. Cette thèse propose une approche rigoureuse, b
Los estilos APA, Harvard, Vancouver, ISO, etc.
42

Hamoui, Mohamad Fady. "Un système multi-agents à base de composants pour l’adaptation autonomique au contexte – Application à la domotique." Thesis, Montpellier 2, 2010. http://www.theses.fr/2010MON20088/document.

Texto completo
Resumen
Les environnements domotiques sont des environnements ubiquitaires dans lesquels des équipements domestiques, disséminés dans une habitation, fournissent des services utilisables à distance au travers d'un réseau. Des systèmes domotiques sont proposés pour permettre aux utilisateurs de contrôler les équipements en fonction de leurs besoins.Idéalement, ces systèmes orchestrent l'exécution des services fournis par les équipements pour réaliser des services complexes. Mieux encore, ces systèmes doivent s'adapter à la variété des environnements en termes d'équipements et des besoins des utilisateu
Los estilos APA, Harvard, Vancouver, ISO, etc.
43

Abdellatif, Tesnim. "Implémentation rigoureuse des systèmes temps-réels." Phd thesis, Université de Grenoble, 2012. http://tel.archives-ouvertes.fr/tel-00744508.

Texto completo
Resumen
Les systèmes temps-réels sont des systèmes qui sont soumis à "des contraintes de temps", comme par exemple le délais de réponse d'un système à un événement physique. Souvent les temps de réponse sont de l'ordre du milliseconde et parfois même du microseconde. Construire des systèmes temps-réels nécessite l'utilisation de méthodologies de conception et de mise en œuvre qui garantissent la propriété de respect des contraintes de temps, par exemple un système doit réagir dans les limites définies par l'utilisateur tels que les délais et la périodicité. Un délai non respecté dans systèmes temps-ré
Los estilos APA, Harvard, Vancouver, ISO, etc.
44

Amiour, Mahfoud. "Vers une fédération de composants interopérables pour les environnements centrés procédés logiciels." Université Joseph Fourier (Grenoble), 1999. http://www.theses.fr/1999GRE10078.

Texto completo
Resumen
On appelle procédé logiciel l'ensemble des activités, des équipes, des outils et des techniques dont le but est d'assurer le développement et la maintenance de systèmes logiciels. Les systèmes destinés à assister les procédés utilisent une approche monolithique et fermée qui tente de gérer, moyennant un système unique, les divers aspects du procédé. Nous proposons «une fédération de composants interopérables» visant à offrir un environnement distribué, hétérogène, ouvert et adaptable. L'environnement est bâti autour d'un ensemble de «composants» dédiés à la gestion d'un aspect particulier du p
Los estilos APA, Harvard, Vancouver, ISO, etc.
45

Bondé, Lossan. "Transformations de modèles et interopérabilité dans la conception de systèmes hétérogènes sur puce à base d'IP." Lille 1, 2006. https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/2006/50376-2006-Bonde.pdf.

Texto completo
Resumen
Un système sur puce (SoC, pour« System on Chip ») est un circuit intégré qui comporte un ensemble de composants matériels (microprocesseurs, DSP, entrées/sorties. . . ) connectés entre eux par des bus de communication et une couche logicielle (système d'exploitation temps réel et applicatif). La conception de tels systèmes repose de plus en plus sur la réutilisation de composants virtuels (IP, pour Intellectual property). Le concepteur utilise des IPs très souvent d'origines diverses ayant des modèles hétérogènes (différents niveaux d'abstraction : comportemental, RTL, etc. ). Cette approche a
Los estilos APA, Harvard, Vancouver, ISO, etc.
46

Nain, Grégory. "EnTiMid : Un modèle de composants pour intégrer des objets communicants dans des applications à base de services." Phd thesis, Université Rennes 1, 2011. http://tel.archives-ouvertes.fr/tel-00646664.

Texto completo
Resumen
Les systèmes logiciels tendent à se doter de facultés d'adaptation, d'évolution et d'ouverture. Ces capacités requièrent une grande flexibilité et dynamicité de l'environnement d'exécution, ainsi que de nouveaux outils d'assistance à la fabrication de ces systèmes. En électronique, des outils ont été déployés pour faire face à l'hétérogénéité et au nombre de composants, ainsi qu'aux besoins d'adaptation de produits existants à de nouvelles technologies. L'ouverture de la documentation et des spécifications a permis une grande richesse de solutions venant tant de bricoleurs que d'industriels. I
Los estilos APA, Harvard, Vancouver, ISO, etc.
47

Guedria, Soulaimane. "Une plateforme d'apprentissage profond à base de composants qui passe à l'échelle : une application aux réseaux de neurones convolutionnels pour la segmentation en imagerie médicale." Thesis, Université Grenoble Alpes, 2020. http://www.theses.fr/2020GRALM023.

Texto completo
Resumen
Les réseaux neuronaux profonds (DNNs), et plus particulièrement les réseaux neuronaux convolutifs (CNN) entraînés sur des grandes quantités de données, rencontrent un vif succès dans une multitude d'applications capitales, et particulièrement en imageries médicales. Cependant, l'entraînement de réseaux de neurones convolutifs (CNN) (1) est une tâche chronophage. De plus, (2) distribuer l'entraînement des CNNs est un défi ardu en pratique car il s'agit d'un processus fastidieux, répétitif et sujet aux erreurs. En outre, (3) il n'y a actuellement aucune étude approfondie sur la généralisation et
Los estilos APA, Harvard, Vancouver, ISO, etc.
48

Souchon, Frédéric. "SaGE, un système de gestion d'exceptions pour la programmation orientée message : le cas des systèmes multi-agents et des plates-formes à base de composants logiciels." Montpellier 2, 2005. http://www.theses.fr/2005MON20148.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
49

Nguyen, Dong-Ha. "Un langage d'aspects fondé sur les automates à pile visible : une approche pour la composition logicielle à l'aide de protocoles comportementaux non réguliers." Nantes, 2011. http://www.theses.fr/2011NANT2069.

Texto completo
Resumen
Actuellement, il n’existe que peu de systèmes qui exploitent des langages de coupes basés sur des protocoles afin d’offrir des définitions d’aspects déclaratifs et de permettre de raisonner sur des propriétés de programmes orientés aspect. Par ailleurs, la plupart des approches à l’évolution des logiciels basés sur des protocoles ne soutiennent que des protocoles réguliers dont l’expressivité est limitée. L’objectif de cette thèse est de développer un langage d’aspects qui est non seulement plus expressif, mais aussi favorable à l’analyse et la vérification des propriétés compositionnelles. No
Los estilos APA, Harvard, Vancouver, ISO, etc.
50

Faddoul, Rafic. "Optimisation de la maintenance des ouvrages de génie civil sur la base des critères de coût et de fiabilité." Nantes, 2010. http://www.theses.fr/2010NANT2108.

Texto completo
Resumen
Nous proposons dans cette thèse un processus de décisions Markovien partiellement observable généralisé (GPOMDP) permettant l’optimisation des séquences de décisions complexes destinées à être appliquées durant chaque étape de l’horizon de planification de l’Inspection, la Maintenance et la Réhabilitation (IM&R) des ouvrages de Génie Civil. Nous proposons ensuite une méthodologie utilisant la technique de relaxation Lagrangienne pour l’optimisation de l’IM&R d’un groupe de structures soumis à une limitation des budgets alloués, créant ainsi une interdépendance économique entre les déci
Los estilos APA, Harvard, Vancouver, ISO, etc.
Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!

Pasar a la bibliografía