Relevant bibliographies by topics / Systèmes à base de composants concurrents / Dissertations / Theses
To see the other types of publications on this topic, follow the link: Systèmes à base de composants concurrents.

Dissertations / Theses on the topic 'Systèmes à base de composants concurrents'

Author: Grafiati
Published: 14 December 2024

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Systèmes à base de composants concurrents.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
2

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
3

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
8

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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 :
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
À 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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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'
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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:
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
24

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
26

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
30

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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é
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography