Relevant bibliographies by topics / Architecture Logicielle

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers

Academic literature on the topic 'Architecture Logicielle'

Author: Grafiati
Published: 4 June 2021
Last updated: 14 December 2024

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

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Architecture Logicielle.'

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.

Journal articles on the topic "Architecture Logicielle"

1

Barais, Olivier, and Laurence Duchien. "TranSAT : maîtriser l'évolution d'une architecture logicielle." L'objet 10, no. 2-3 (September 30, 2004): 103–16. http://dx.doi.org/10.3166/objet.10.2-3.103-116.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Didier, Jean-Yves, Samir Otmane, and Malik Mallem. "ARCS, une architecture logicielle reconfigurable pour la conception des applications de réalité augmentée." Techniques et sciences informatiques 28, no. 6-7 (September 30, 2009): 891–919. http://dx.doi.org/10.3166/tsi.28.891-919.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Barais, Olivier, Alexis Muller, and Nicolas Pessemier. "Vers une séparation entités/fonctions au sein d'une architecture logicielle à base de composants." L'objet 11, no. 4 (December 30, 2005): 115–40. http://dx.doi.org/10.3166/objet.11.4.115-140.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Doroftei, Daniela, Eric Colon, Yvan Baudoin, and Hichem Sahli. "Développement d'une architecture logicielle de contrôle basée sur les comportements appliquée à un robot de détection de mines." Journal Européen des Systèmes Automatisés 43, no. 3 (March 30, 2009): 295–314. http://dx.doi.org/10.3166/jesa.43.295-314.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Jovanovic, S., Y. Berviller, and S. Weber. "Conception et développement d’un processeur à jeu d’instruction réduit RV32I." J3eA 23 (2024): 1012. http://dx.doi.org/10.1051/j3ea/20241012.

Full text
Abstract:
Nous présentons un ensemble de travaux pratiques qui seront dispensés au sein du Master EEA - Électronique Embarquée à l’Université de Lorraine et Télécom Nancy - parcours Logiciel Embarqué, dans le cadre des modules Conception VLSI (Master EEA) et Conception et Développement d’un Système sur Puce (Télécom Nancy). Ces travaux pratiques portent sur la modélisation de systèmes et circuits en VHDL, et se focalisent en particulier sur le développement incrémental d’une architecture de processeur à jeu d’instructions réduit de type RISC-V (le jeu d’instructions RV32I) en utilisant des suites logicielles de Mentor Graphics (Modelsim pour la modélisation et simulation VHDL), et de Intel-Altera (Quartus Prime) pour la validation expérimentale.
APA, Harvard, Vancouver, ISO, and other styles
6

Tran, Hanh-Missi, Laurence Duchien, Philippe Bedu, Hai-Quan Nguyen, and Jean Perrin. "Figures de transformation pour des architectures logicielles." L'objet 11, no. 1-2 (June 30, 2005): 63–78. http://dx.doi.org/10.3166/objet.11.1-2.63-78.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Fillion, Odile. "Art et architecture réconciliés par les logiciels." Ligeia N°33-36, no. 1 (2000): 137. http://dx.doi.org/10.3917/lige.033.0137.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Breitkopf, Piotr, and Gilbert Touzot. "Architecture des logiciels et langages de modélisation." Revue Européenne des Éléments Finis 1, no. 3 (January 1992): 333–68. http://dx.doi.org/10.1080/12506559.1992.10511024.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Débordes, Olivier. "Calcul des structures et architectures de logiciels." Revue Européenne des Éléments Finis 9, no. 1-3 (January 2000): 29–48. http://dx.doi.org/10.1080/12506559.2000.10511428.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Chehida, Karim Ben, Michel Auguin, and Sébastien Raimbault. "Partitionnement logiciel matériel ciblant une architecture reconfigurable dynamiquement." Techniques et sciences informatiques 22, no. 6 (June 1, 2003): 737–57. http://dx.doi.org/10.3166/tsi.22.737-757.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Architecture Logicielle"

1

Bilodeau, Michel. "Architecture logicielle pour processeur de morphologie mathematique." Paris, ENMP, 1992. http://www.theses.fr/1992ENMP0300.

Full text
Abstract:
Cette these se propose d'etudier les differents aspects logiciels lies aux processeurs de morphologie mathematique. Elle presente une organisation logicielle par niveaux similaire a celle d'un systeme d'exploitation. Le plus bas niveau est charge de l'interface avec le processeur. Le niveau intermediaire collecte les requetes du niveau superieur et prend en compte les particularites des processeurs et de leur configuration, c'est en fait le niveau d'abstraction entre une application (niveau superieur) et la machine (niveau inferieur). Les deux niveaux inferieures permettent de considerer un processeur de morphologie mathematique comme un ordinateur avec un jeu d'instructions reduit qui travaille sur des images. C'est dans ce sens que sont introduites les notions d'images retenue et de masquage. Le niveau superieur comporte la librairie sur laquelle sont bases tous les outils de la morphologie mathematique. Un exemple de mise en uvre de cette organisation est presente dans le langage tim, logiciel integre de morphologie mathematique qui pilote un morpho pericolor. Ce langage permet d'interfacer aisement un processeur de morphologie mathematique et de construire une librairie extensible a laquelle on accede soit par un interpreteur soit par d'autres langages via une passerelle universelle. Les avantages de programmation de ce langage sont mis en evidence dans deux applications. Enfin sont etudies les liens existant entre les architectures materielles de systeme de traitement d'images et l'implantation des algorithmes. Une comparaison d'implantation de quatre algorithmes sur trois types de machines qui different sensiblement permet d'evaluer les problemes poses
APA, Harvard, Vancouver, ISO, and other styles
2

Chardigny, Sylvain. "Extraction d'une architecture logicielle à base de composants depuis un système orienté objet : une approche par exploration." Nantes, 2009. http://www.theses.fr/2009NANT2115.

Full text
Abstract:
La modélisation et la représentation des architectures logicielles sont devenues une des phases principales du processus de développement de systèmes complexes. En effet, la représentation de l'architecture fournit de nombreux avantages pendant tout le cycle de vie du logiciel. Cependant, pour beaucoup de systèmes existants, aucune représentation fiable de leurs architectures n'est disponible. Afin de pallier cette absence, source de nombreuses difficultés principalement lors des phases de maintenance et d'évolution, nous proposons, dans cette thèse, une approche, appelée ROMANTIC, visant à extraire une architecture à base de composants à partir d'un système orienté objet existant. L'idée première de cette approche est de proposer un processus quasi automatique d'identification d'architecture en formulant le problème comme un problème d'optimisation et en le résolvant au moyen de méta-heuristiques. Ces dernières explorent l'espace composé des architectures pouvant être abstraites du système en utilisant la sémantique et la qualité architecturale pour sélectionner les meilleures solutions. Le processus s'appuie également sur l'architecture intentionnelle du système, à travers l'utilisation de la documentation et des recommandations de l'architecte
Software architecture modeling and representation are a main phase of the development process of complex systems. In fact, software architecture representation provides many advantages during all phases of software life cycle. Nevertheless, for many systems, like legacy or eroded ones, there is no available representation of their architectures. In order to benefit from this representation, we propose, in this thesis, an approach called ROMANTIC which focuses on extracting a component-based architecture of an existing object-oriented system. This extraction is a balancing problem of competing constraints which aims at obtaining the best architecture that can be abstracted from a system. Consequently, the main idea of this approach is to propose a quasi-automatic process of architecture identification by formulating it as a search-based problem. The latter acts on the space composed of all possible architectures abstracting the object-oriented system and use the architectural semantic and quality to choose the best solution. The process uses the intentional system architecture by means of the documentation and the architect's recommendations
APA, Harvard, Vancouver, ISO, and other styles
3

Sanlaville, Rémy. "Architecture logicielle : une expérimentation industrielle avec Dassault Systèmes." Phd thesis, Université Joseph Fourier (Grenoble), 2002. http://tel.archives-ouvertes.fr/tel-00004589.

Full text
Abstract:
L'architecture logicielle est un domaine récent du génie logiciel qui a reçu une attention particulière ces dix dernières années. Les éditeurs de logiciels ont pris conscience qu'une architecture est un facteur critique dans la réussite du développement et facilite la maintenance et l'évolution du logiciel. Elle contribue à la maîtrise des grands logiciels. L'architecture logicielle permet d'améliorer ces aspects grâce à l'étude des structures de haut niveau du logiciel. De nombreuses avancées ont été proposées au niveau de la formalisation par des Langages de Description d'Architecture (ADLs: Architecture Description Languages), du raisonnement et de l'analyse au niveau architectural. Bien que la communauté scientifique ait réalisé des progrès significatifs, les résultats restent essentiellement académiques. Les retombées de ces recherches ont du mal à pénétrer le milieu industriel. Ce rapport de thèse relate notre expérience avec Dassault Systèmes : répondre aux besoins de Dassault Systèmes pour le développement de ses logiciels en utilisant une approche basée sur l'architecture logicielle. Dassault Systèmes est le leader mondial de la Conception Assistée par Ordinateur (CAO) avec son logiciel phare CATIA V5 (~5 MLoc). Pour atteindre cet objectif, nous avons parcouru les principales approches pour la description d'une architecture logicielle et tenté de les appliquer dans notre contexte industriel. Nous expliquerons les difficultés que nous avons rencontrées pour les utiliser et montrerons pourquoi ces approches ne sont pas adaptées pour la maintenance et l'évolution d'un logiciel tel que CATIA V5. Nous décrirons notre démarche basée sur l'analyse des besoins architecturaux des différents acteurs de Dassault Systèmes qui a permis de fournir des solutions concrètes et exploitables. Enfin, nous expliciterons ces besoins architecturaux et présenterons les divers prototypes que nous avons développés pour y répondre.
APA, Harvard, Vancouver, ISO, and other styles
4

Chamont, David. "Architecture logicielle pour la simulation des transferts radiatifs." Nancy 1, 1997. http://docnum.univ-lorraine.fr/public/SCD_T_1997_0254_CHAMONT.pdf.

Full text
Abstract:
La synthèse d'images est fondée depuis quelques années sur des bases physiques et mathématiques plus rigoureuses, notamment la modélisation des propriétés radiatives des surfaces et la simulation par éléments finis des transferts radiatifs entre ces surfaces. Une telle évolution permet d'envisager de nouvelles applications industrielles, en particulier en ingénierie de l'éclairage. Ce mémoire présente une architecture logicielle à base d'objets, conçue pour soutenir la recherche dans les disciplines évoquées ci-dessus et faciliter le développement de prototypes industriels. Elle repose d'une part sur une bibliothèque de classes abstraites tirées de l'équation de transfert, d'autre part sur un système de fichiers et de programmes calqués sur les étapes et les taches d'une simulation. A travers différents projets de recherche et plusieurs applications, nous montrons comment notre architecture a été mise en œuvre avec succès, en particulier pour évaluer de nouveaux modèles d'émission ou de réflexion de la lumière. Nous discutons également ses lacunes dans la représentation des algorithmes et la mise en œuvre du paradigme objet.
APA, Harvard, Vancouver, ISO, and other styles
5

Polakovic, Juraj. "Architecture logicielle et outils pour systèmes d'exploitation reconfigurables." Grenoble INPG, 2008. http://www.theses.fr/2008INPG0051.

Full text
Abstract:
La reconfiguration dynamique est la capacité d'un système logiciel à permettre sa modification pendant son exécution et peut être utilisée pour mettre-à-jour une partie fautive du système, introduire des algorithmes spécialisés, autoriser des extensions faites par des tiers, adapter le système à un nouvel environment et ajouter des sondes de monitoring ou debugging, etc. Les systèmes d'exploitation existants offrent des mécanismes de reconfiguration dynamique, néanmoins ceux-ci sont figés par l'implémentation du système. Par conséquent le compromis entre la flexibilité et l'efficacité du système reconfigurable est fixe et il n'est pas possible de réutiliser le système dans d'autres contextes opérationnels (avec des mécanismes de reconfiguration différents). Nous présentons une approche architecturale pour la construction de systèmes reconfigurables à la carte et la programmation de leurs reconfigurations. Notre modèle de programmation est basé sur le modèle à composants Fractal et son implémentation en C, appelée Think. Le canevas associé au modèle comprend un compilateur d'architecture qui permet de construire des systèmes reconfigurables et un compilateur de reconfigurations. Pour illustrer notre approche, nous avons réalisé plusieurs prototypes de systèmes reconfigurables qui ont permis de montrer la flexibilité de notre approche ainsi qu’une évaluation quantitative et l’impact des différentes implémentations de reconfiguration dynamique sur l’efficacité d’un système concret
Dynamic reconfiguration allows modifying a system during its execution. Dynamic reconfiguration is important in embedded systems, where one does not necessarily have the luxury to stop a running system. While some operating systems do offer mechanisms for dynamic reconfiguration, the proposed mechanisms are essentially hardwired in the system. This results in a fixed trade-off between flexibility of reconfigurations and the system's efficiency which may be far from optical in certain operational contexts, thus limiting the system reuse. We present an architecture-based programming model allowing both construction of customized reconfigurable system kernels and programming of their reconfigurations. This model is based on the Fractal component model and its C implementation, called Think. The framework supporting our approach encompasses an architecture compiler for building customized system kernels and a reconfiguration compiler
APA, Harvard, Vancouver, ISO, and other styles
6

Waignier, Guillaume. "Canevas de développement agile pour l’évolution fiable de systèmes logiciels à composants et orientés services." Thesis, Lille 1, 2010. http://www.theses.fr/2010LIL10007/document.

Full text
Abstract:
Les logiciels se caractérisent par un besoin d'évolutions perpétuelles et rapides. Pour faciliter l'évolution rapide de systèmes, des approches de génie logiciel ont été proposées, telles que les architectures logicielles et la méthode de conception agile. Néanmoins, les solutions actuelles offrent peu de support pour permettre l'évolution fiable d'un système, c'est-à-dire permettre sa modification tout en garantissant le respect de ses exigences de qualités de service (QdS) et de bon fonctionnement global. La contribution de cette thèse est CALICO, un canevas de développement agile et multi plates-formes pour la conception et l'évolution fiable de systèmes logiciels à composants/services. Le développement agile repose sur un cycle itératif et incrémental qui permet à l'architecte d'itérer entre les étapes de conception de l'architecture et de débogage du logiciel dans son environnement d'exécution. Ainsi, lors de la conception, l'architecte dispose de métamodèles pour spécifier la structure de l'architecture et ses diverses exigences de QdS. Lors du déploiement, CALICO utilise les modèles spécifiés pour instancier le système sur la plate-forme d'exécution et les garde synchronisés avec le logiciel lors de son exécution. L'architecte dispose toujours d'une vue conceptuelle qui lui permet de raisonner sur les propriétés de son logiciel lors d'une évolution. Pour fiabiliser ces évolutions, CALICO offre un cadre fédérateur qui autorise la réutilisation de nombreux outils d'analyse statique et de débogage dynamique qui étaient jusqu'alors dispersés dans différentes plates-formes. CALICO permet donc de fiabiliser les évolutions même si les plates-formes ne le proposent pas
Software is characterized by a need for constant and rapid evolution. To facilitate the rapid evolution of systems, software engineering approaches have been proposed, such as software architecture and agile method. However, current solutions offer poor support to enable the development of a reliable system, i.e., allow its modification while ensuring compliance with the quality of service requirements (QoS) and its good overall safety. The contribution of this thesis is CALICO, an agile and multi platforms development framework for the design and evolution of reliable component-based and service-oriented software. The agile development relies on an iterative and incremental cycle that allows the architect to iterate between the design of architecture and the debug of software in its execution context. Thus, at design, the architect can use the CALICO's metamodels to specify the structure of the architecture and the various QoS properties. At deployment, CALICO instantiates the system on the runtime platform from the specified models and keeps them synchronized with the software during its execution. By this way, the architect has a conceptual view which allows him to reason on the software properties during its evolution. In order to check these evolutions, CALICO provides a unifying framework which allows reuse of many static analysis tools and dynamic debugging tools that were previously scattered in different platforms. Globally, CALICO enables reliable evolutions even if the platforms do not provide this support
APA, Harvard, Vancouver, ISO, and other styles
7

Tchidjo, Moyo Noël. "Architecture logicielle et méthodologie de conception embarquée sous contraintes temps réel pour la radio logicielle." Phd thesis, Université Rennes 1, 2011. http://tel.archives-ouvertes.fr/tel-00603708.

Full text
Abstract:
Cette étude répond au problème d'ordonnancement temps réel de composants logiciels s'exécutant sur un processeur de traitement du signal dans un contexte de radio logicielle. Elle vise ainsi à compléter l'offre en termes d'outillage de conception radio logicielle. Dans la pratique actuelle, l'ordonnancement temps réel des applications de traitement du signal flexibles s'exécutant sur un processeur donné, est effectué de manière manuelle, en utilisant des méthodes empiriques, et en prenant des marges non négligeables. Etant donnée l'augmentation pressentie du nombre de composants logiciels de la couche physique s'exécutant simultanément sur un même processeur dans les futures radios logicielles, ces méthodes seront sujettes à erreur, feront perdre beaucoup de temps et ne trouveront pas nécessairement de solutions d'ordonnancement valides même lorsqu'il en existera une. Pour cela, cette thèse définit un nouveau modèle de tâche représentant plus précisément le comportement des tâches dans certains contextes de radio logicielle : le modèle GMF (Generalized Multi-Frame) non cyclique. Pour ce modèle, nous présentons une formulation du calcul du temps de réponse des tâches, ainsi qu'un nouveau test de faisabilité suffisant pour des tâches s'exécutant sur un processeur avec la politique d'ordonnancement " Earliest Deadline First " (EDF). Nous fournissons aussi pour ce modèle de tâche un algorithme efficace, permettant la détermination exacte de la faisabilité temps réel. Nous présentons dans cette thèse un nouveau flot de conception IDM (Ingénierie Dirigée par les Modèles), permettant de spécifier les paramètres rendant possibles une analyse d'ordonnançabilité temps réel des composants logiciels s'exécutant sur un processeur dans une radio logicielle. Cette thèse propose des méthodes pour calculer les contraintes temporelles dans une radio logicielle. Elle présente les éléments du standard MARTE à utiliser pour renseigner les contraintes dans le modèle ainsi que les règles de transformations de modèles qui permettent d'obtenir un modèle exploitable par un outil d'analyse d'ordonnançabilité temps réel. Cette thèse présente une approche, implantée sous forme d'un outil de simulation, effectuant l'analyse d'ordonnancement temps réel des tâches de traitement du signal flexibles s'exécutant sur un processeur suivant une politique d'ordonnancement hybride. Cet outil est intégré au flot IDM proposé.
APA, Harvard, Vancouver, ISO, and other styles
8

Tchidjo, Moyo Noël Bertrand. "Architecture logicielle et méthodologie de conception embarquée sous contraintes temps réel pour la radio logicielle." Rennes 1, 2011. https://tel.archives-ouvertes.fr/tel-00603708.

Full text
Abstract:
Cette étude répond au problème d’ordonnancement temps réel de composants logiciels s’exécutant sur un processeur de traitement du signal dans un contexte de radio logicielle. Elle vise ainsi à compléter l’offre en termes d’outillage de conception radio logicielle. Dans la pratique actuelle, l’ordonnancement temps réel des applications de traitement du signal flexibles s’exécutant sur un processeur donné, est effectué de manière manuelle, en utilisant des méthodes empiriques, et en prenant des marges non négligeables. Etant donnée l’augmentation pressentie du nombre de composants logiciels de la couche physique s’exécutant simultanément sur un même processeur dans les futures radios logicielles, ces méthodes seront sujettes à erreur, feront perdre beaucoup de temps et ne trouveront pas nécessairement de solutions d’ordonnancement valides même lorsqu’il en existera une. Pour cela, cette thèse définit un nouveau modèle de tâche représentant plus précisément le comportement des tâches dans certains contextes de radio logicielle : le modèle GMF (Generalized Multi-Frame) non cyclique. Pour ce modèle, nous présentons une formulation du calcul du temps de réponse des tâches, ainsi qu’un nouveau test de faisabilité suffisant pour des tâches s’exécutant sur un processeur avec la politique d’ordonnancement « Earliest Deadline First » (EDF). Nous fournissons aussi pour ce modèle de tâche un algorithme efficace, permettant la détermination exacte de la faisabilité temps réel. Nous présentons dans cette thèse un nouveau flot de conception IDM (Ingénierie Dirigée par les Modèles), permettant de spécifier les paramètres rendant possibles une analyse d’ordonnançabilité temps réel des composants logiciels s’exécutant sur un processeur dans une radio logicielle. Cette thèse propose des méthodes pour calculer les contraintes temporelles dans une radio logicielle. Elle présente les éléments du standard MARTE à utiliser pour renseigner les contraintes dans le modèle ainsi que les règles de transformations de modèles qui permettent d’obtenir un modèle exploitable par un outil d’analyse d’ordonnançabilité temps réel. Cette thèse présente une approche, implantée sous forme d’un outil de simulation, effectuant l’analyse d’ordonnancement temps réel des tâches de traitement du signal flexibles s’exécutant sur un processeur suivant une politique d’ordonnancement hybride. Cet outil est intégré au flot IDM proposé
This study addresses the problem of real-time scheduling of software components executing in a digital signal processor in a software radio context. It aims at providing new tooling for software radio design. Real-time scheduling analysis of flexible signal processing applications executing in a processor is currently done manually, using ad hoc methods, and taking significant margins. Given the foreseen increase of software components of the physical layer executing simultaneously on a processor in future software radios, these methods for scheduling analysis will be error-prone, time consuming and will often fail to find a feasible schedule even when one exists. For that purpose, this thesis defines a new task model which represents more precisely the behaviour of the tasks in certain software radio context: the non-cylic GMF (Generalized Multi-Frame) model. For this model, we present a formula to compute response time of tasks, as well as a new sufficient feasibility test for tasks executing in a processor according to the “Earliest Deadline First” scheduling policy. We also provide for this task model an efficient algorithm, for exact feasibility determination. We present in this thesis a new MDE (Model Driven Engineering) design methodology, to specify the parameters which make possible a real-time scheduling analysis of software components executing in a processor. This thesis proposes methods to compute real-time constraints in a software radio. It presents the elements of the MARTE standard to be used, to note the constraints in the model as well as model transformation rules to obtain a suitable model for real-time scheduling analysis. This thesis presents an approach, implemented as a simulation tool, to realize real-time scheduling analysis of tasks implementing flexible signal processing algorithms in a processor and scheduled according to a hybrid scheduling policy. This tool is integrated into the proposed MDE design methodology
APA, Harvard, Vancouver, ISO, and other styles
9

Revillard, Jérôme. "Approche centrée architecture pour la conception logicielle des instruments intelligents." Chambéry, 2005. http://www.theses.fr/2005CHAMS057.

Full text
Abstract:
La conception d'instruments intelligents est un problème complexe. En effet, des compétences en physique, en mécanique et en électronique sont nécessaires pour la conception de la partie matérielle tandis que des compétences pointues en informatique sont nécessaires pour concevoir la partie logicielle. De plus, les instruments intelligents sont fréquemment utilisés dans des environnements critiques. Le logiciel conçu doit alors répondre à de nombreuses contraintes de sûreté. Afin de rendre efficace la conception et la réalisation de tels instruments, il faut créer un environnement logiciel dédié qui permet à l'ingénieur, souvent non informaticien, de développer la partie logicielle de façon sûre. Un tel environnement doit : - supporter un modèle de conception qui soit générique afin de pouvoir concevoir n'importe quel instrument intelligent et permettre au concepteur de travailler à un haut niveau d'abstraction, - faire travailler le concepteur d'instruments avec une terminologie qui lui est familière, - le guider et le contraindre de façon à ce que le logiciel conçu, puis implémenté, respecte les propriétés identifiées, intrinsèques au modèle. Cette thèse adresse le problème de la construction d'un tel environnement en l'abordant d'un point de vue nouveau : la construction d'un environnement logiciel centré sur des modèles architecturaux. L'architecture logicielle est ainsi représentée par des modèles formels à plusieurs niveaux d'abstraction. A chaque niveau, des propriétés peuvent être vérifiées. Dans cette thèse, le langage Arch Ware ADL est utilisé. Grâce à ce langage formel, nous sommes capable de capitaliser et de réutiliser l'expertise de conception du domaine de l'instrumentation intelligente. Ceci est réalisé notamment grâce à la notion de style architectural
The design of intelligent instruments is a complex field. Competences in physics, mechanics and electronics are needed for the design of the material part while competences in computing sciences are needed for the design of the software part. Moreover, such intelligent instruments are frequently used in critical environments. The designed software must then answer strong reliability constraints. One way of improving the design of such instruments, is the creation of a dedicated software design environment which guides and constraints the instrument designer (often not computer scientist) in s/he's work. Such an environment must : - support a generic design model in order to be able to support the design of any intelligent instruments. This model must abstracted away programming level concerns, - provide a design language which the instrument designer is familiar with - guide and constrain the designer such that the conceived software respects identified properties, intrinsic with the model. This thesis addresses the problem of the construction of such an environment. It tackles the problem from a new point of view : the construction of a software environment centred on architectural models. Software architecture is represented by formal models at several levels of abstraction. At each level, properties can be checked. In this thesis, the Arch Ware ADL language is used. The use of this language allows us to support the capitalization and the reuse of the expertise of the intelligent instrument field. This is realized in particular with the architectural style concept
APA, Harvard, Vancouver, ISO, and other styles
10

Alissali, Mamoun. "Architecture logicielle pour la synthèse multilingue de la parole." Grenoble INPG, 1993. http://www.theses.fr/1993INPG0037.

Full text
Abstract:
Cette these presente une etude des specifications logicielles pour la synthese multilingue de la parole. L'objectif est la conception et la realisation d'une architecture logicielle definissant une collection d'outils appropries au developpement et a l'utilisation de systemes de synthese multilingue de la parole. L'environnement resultant, appele compost, permet la construction de systemes reconfigurables a partir de collections de modules ecrits dans deux langages de programmation: un langage de reecriture specialise, appele compost egalement, et un langage de programmation traditionnel (c). Une interface normalisee permet la coprogrammation dans ces deux langages. Des exemples de developpement et d'exploitation de systemes de synthese de la parole sous compost sont ensuite presentes. Ses capacites multilingues et son architecture repartie sont ensuite presentees. En conclusion les grandes lignes de l'evolution future de cet environnement sont tracees
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Architecture Logicielle"

1

Printz, Jacques. Architecture logicielle: Concevoir des applications simples, sûres et adaptables. Paris: Dunod, 2006.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Blanc, Xavier. MDA en action: Ingénierie logicielle guidée par les modèles. Paris: Eyrolles, 2005.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Bâzu, M. I. (Marius I.), 1948-, ed. Component reliability for electronic systems. Boston, Mass: Artech House, 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

International Conference on the Quality of Software Architectures (1st 2005 Erfurt, Germany). Quality of software architectures and software quality: First International Conference on the Quality of Software Architectures, QoSA 2005, and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005 : proceedings. Berlin: Springer, 2005.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Lattanze, Anthony J. Architecting software intensive systems: A practitioner's guide. Boca Raton: Auerbach Publications, 2009.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Society for Information Management (U.S.), ed. The SIM guide to enterprise architecture. Boca Raton: Taylor & Francis, 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Gillam, Richard. Unicode demystified: A practical programmer's guide to the encoding standard. Boston, MA: Addison-Wesley, 2003.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Munson, John C. Software Specification and Design. London: Taylor and Francis, 2005.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

EUSAI 2004 (2004 Eindhoven, Netherlands). Ambient intelligence: Second European symposium, EUSAI 2004, Eindhoven, The Netherlands, November 8-11, 2004 : proceedings. Berlin: Springer-Verlag, 2004.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Tanenbaum, Andrew S. Architecture de l'ordinateur: Du circuit logique au logiciel de base. Paris: InterÉditions, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Architecture Logicielle"

1

Dubourg, Xavier. "Une architecture logicielle fondée sur le concept d'événement-logiciel: le cas de REPÈRES." In Intelligent Tutoring Systems, 48–56. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61327-7_100.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Rahal, D., M. Miramond, B. Aulagne, and J. Grillot. "Le Logiciel de Gestion des Energies Energie-Territoria." In 1989 2nd European Conference on Architecture, 60–62. Dordrecht: Springer Netherlands, 1990. http://dx.doi.org/10.1007/978-94-017-0556-1_19.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Adolphe, L., and P. Brejon. "Chaînage entre le logiciel de DAO/CAO ARCHITRION et la méthode d’évaluation énergétique HYPERMEGE, dans le cadre du programme PEBI." In 1989 2nd European Conference on Architecture, 467–69. Dordrecht: Springer Netherlands, 1990. http://dx.doi.org/10.1007/978-94-017-0556-1_135.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

"Bibliographie." In Architecture logicielle, 487–92. Dunod, 2012. http://dx.doi.org/10.3917/dunod.print.2012.01.0487.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

FALSAFI, Babak. "Architecture de serveur pour un centre de données post-Moore." In Systèmes multiprocesseurs sur puce 2, 159–72. ISTE Group, 2023. http://dx.doi.org/10.51926/iste.9022.ch6.

Full text
Abstract:
L’émergence des centres de données est une réponse au changement de paradigme informatique vers l’informatique en nuage. Ce chapitre présente les approches récentes et prometteuses de la nouvelle conception logicielle/matérielle des serveurs des centres de données du futur, permettant d’intégrer l’hétérogénéité dans le silicium et facilitant la mise à l’échelle de plate-formes avec les matrices de réseau émergentes.
APA, Harvard, Vancouver, ISO, and other styles
6

HADDADOU, Kamel, and Guy PUJOLLE. "Les architectures open source pour le Cloud et l’Edge Networking." In Cloud et Edge Networking, 63–77. ISTE Group, 2024. http://dx.doi.org/10.51926/iste.9128.ch4.

Full text
Abstract:
Ce chapitre décrit les architectures open source du Cloud Networking. Ces architectures regroupent les logiciels des différents niveaux comme par exemple OpenDaylight pour le contrôleur mais également ONAP pour l’automatisation du réseau. Le logiciel open source OPNFV rassemble les logiciels open source retenus pour réaliser l’architecture complète.
APA, Harvard, Vancouver, ISO, and other styles
7

DAVID, Raphaël, Étienne HAMELIN, Paul DUBRULLE, Shuai LI, Philippe DORE, Alexis OLIVEREAU, Maroun OJAIL, Alexandre CARBON, and Laurent LE GARFF. "Plate-forme modulaire pour un environnement informatique de l’automobile du futur." In Systèmes multiprocesseurs sur puce 2, 125–57. ISTE Group, 2023. http://dx.doi.org/10.51926/iste.9022.ch5.

Full text
Abstract:
Ce chapitre introduit une plate-forme matérielle opérant en temps réel et répondant aux défis de conception des architectures électriques et électroniques des véhicules intelligents de l’avenir. Grâce à la conception intégrée, et en se servant de logiciels et d’outils embarqués, les auteurs montrent la cohabitation efficace entre les applications à faible criticité et le logiciel opérationnel critique de la voiture.
APA, Harvard, Vancouver, ISO, and other styles
8

BOURBONNAIS, Sébastien. "Évolution des logiciels d’architecture." In Les instruments de la conception architecturale, 13–104. ISTE Group, 2024. http://dx.doi.org/10.51926/iste.9105.ch1.

Full text
Abstract:
Ce chapitre présente une fresque historique afin de situer l'appropriation des logiciels par les architectes, depuis le projet CAD (1959) jusqu'aux avancées récentes du BIM et des applications en ligne. Il s’agit ici de comprendre l’évolution co-constitutive des logiciels, selon leurs logiques internes, avec les milieux des architectes, mettant en évidence autant les facteurs propres à l’architecture que certains enjeux sociétaux.
APA, Harvard, Vancouver, ISO, and other styles
9

BERNIER-LAVIGNE, Samuel. "Détournement de l’outil : une transformation de la représentation architecturale." In Les instruments de la conception architecturale, 193–222. ISTE Group, 2024. http://dx.doi.org/10.51926/iste.9105.ch4.

Full text
Abstract:
Ce chapitre aborde la transformation de la représentation architecturale à l’ère numérique, sous l’angle du détournement de l’outil. Après une réflexion sur les concepts clés, l’étude se porte sur l’influence du détournement du logiciel, puis de la machine, comme moyen d’explorer de nouveaux potentiels liés au dessin et à l’image architecturale.
APA, Harvard, Vancouver, ISO, and other styles
10

SHENG, Weihua, Jeronimo CASTRILLON, and Rainer LEUPERS. "Compilation et optimisation pour plates-formes multicoeurs hétérogènes." In Systèmes multiprocesseurs sur puce 2, 251–88. ISTE Group, 2023. http://dx.doi.org/10.51926/iste.9022.ch10.

Full text
Abstract:
Ce chapitre aborde les défis et enjeux associés aux techniques de compilation et d’optimisation pour les systèmes de calcul hétérogènes et multicœurs pour l’embarqué. Les auteurs appliquent une approche systématique permettant la modélisation d’applications, la compilation source à source, la construction d’une infrastructure de compilateur flexible et la distribution de logiciels pour les architectures multicœurs d’un point de vue pratique.
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Architecture Logicielle"

1

Nigay, Laurence, and Phil Gray. "Architecture logicielle conceptuelle pour la capture de contexte." In the 14th French-speaking conference. New York, New York, USA: ACM Press, 2002. http://dx.doi.org/10.1145/777005.777037.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Gain, Pascal. "Architectures matérielles et logicielles." In Simulateurs et réacteurs. Les Ulis, France: EDP Sciences, 2013. http://dx.doi.org/10.1051/jtsfen/2013sim09.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Billon, R., and F. X. Rocca. "Un expert technologique associé au logiciel de CAO KEOPS." In Colloque CAO et Robotique en Architecture et BTP (3rd International Symposium on Automation and Robotics in Construction). Paris: Hermes, 1986. http://dx.doi.org/10.22260/isarc1986/0028.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Architecture Logicielle' for particular source types:
Journal articles Dissertations / Theses Books
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