Spelling suggestions: "subject:"architectural.""
31 |
Intégration du comportement thermomécanique des pièces dans l'analyse des spécifications géométriques : application à une turbine de moteur d'hélicoptèrePierre, Laurent 04 May 2011 (has links) (PDF)
La performance d'un moteur d'hélicoptère est fortement corrélée à la performance de la turbine haute pression, et plus particulièrement à l'influence des différents composants constitutifs. Le rendement énergétique d'une turbine haute pression est garanti par la maîtrise des jeux entre les sommets des aubes et le stator durant tout le cycle de fonctionnement de la turbine. L'objectif de ces travaux est de proposer une méthode à caractère multiphysique reposant sur des opérations de polytopes (somme de Minkowski et intersection) permettant de valider des spécifications géométriques, des spécifications de contacts et des spécifications thermomécaniques. Ces spécifications garantissent une limite de la section de fuite en sommets d'aubes pour un risque de touche minimal. Un polytope permet de simuler les variations géométriques entre deux surfaces d'une même pièce, de surcroît un polytope de contact permet de simuler les variations géométriques entre deux surfaces potentiellement en contact. La structure topologique des contacts de la turbine se formalise par un graphe de contacts à une composante connexe. Cette structure permet de définir les sommes de Minkowski et les intersections des polytopes traduisant la propagation des écarts géométriques à travers la turbine. Les écarts géométriques d'origine thermomécanique sont évalués par la méthode des éléments finis. Ces travaux donnent au concepteur des éléments de décision sur l'influence des choix de conception, en particulier l'influence des formes de pièces et du comportement des liaisons, sur le fonctionnement de la turbine.
|
32 |
Modélisation de l'activité créative pluridisciplinaire en conception architecturale centrée utilisateur : application à l'habitat d'urgenceSong, Heon 10 December 2010 (has links) (PDF)
Dans le domaine de la conception de produits nouveaux (NPD), le facteur humain est considéré comme une source de créativité. Visant à la conjonction de la nouveauté et de l'utilité, le domaine NPD structure un processus méthodologique en développant des outils et méthodes intégrant des informations relatives à l'utilisateur dans les phases amont de la conception. En vue d'avoir des points de vue nouveaux qui permettront d'améliorer les méthodologies de NPD, notre recherche propose comme domaine d'application la conception architecturale (CA). Dans le domaine de CA, la prise en compte de l'utilisateur futur est considérée comme une tache essentielle tout comme le domaine de NPD. Lors de l'intégration des informations relatives à l'utilisateur futur dans les phases amont du processus de conception architecturale, nous avons constaté certains problèmes sur l'intervention du consultant en ergonomie dans les phases amont et sur les difficultés de communication entre les futurs utilisateurs et l'architecte. La conception architecturale se doit d'intégrer des méthodes et outils qui peuvent favoriser l'activité créative pluridisciplinaire en amont du processus. Nous proposons un modèle théorique du processus amont de CA basé sur l'introduction des méthodologies de NPD qui sont en cours de développement. Il vise à favoriser la création architecturale tout en intégrant les divers avis concernant la qualité architecturale vis-à-vis de l'utilisation. Dans le cadre d'un projet architectural, appliqué à l'habitat d'urgence, nous avons expérimenté ce modèle théorique et ensuite effectué la critique constructive avec des architectes professionnels. Le résultat de cette recherche est un modèle du processus amont de conception architecturale qui permet d'intégrer des informations relatives à l'utilisateur de manière collaborative lors de la génération et le développement des concepts. Au cours de la construction de ce modèle, nous avons pu apporter de nouvelles connaissances en innovation des méthodologies de NPD, tout en offrant une vision nouvelle de la conception architecturale.
|
33 |
Architectures dynamiques dans le contexte des applications à base de composants et orientées serviceGuennoun, Mohammed Karim 11 December 2006 (has links) (PDF)
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. Ce type de reconfiguration traite l'organisation de l'architecture et consiste, par exemple, à remplacer un composant défaillant par un autre composant qui possède les mêmes fonctionnalités ou rediriger un client d'un service qui ne respecte pas le contrat de QdS vers un service susceptible d'offrir de meilleures garanties. Dans ce mémoire, nous définissons un méta-modèle relatif à la description et la gestion automatique des architectures dynamiques. Les instances des architectures sont décrites par des graphes étendus où les composants (ou les services) sont représentés par des n\oe uds, et les interdépendances (e.g. les connexions, les relations de contrôle ...etc) sont décrites par des arcs. Les styles architecturaux sont spécifiés par des grammaires de graphes étendues. Le méta-modèle admet des descriptions en considérant différents niveaux d'abstraction et offre des mécanismes pour raffiner ou abstraire les descriptions selon des points de vues spécifiques. Il permet, aussi, de décrire le protocole de gestion de l'architecture et de caractériser les propriétés architecturales à préserver pour chaque niveau architectural considéré. Nous avons développé un algorithme de recherche d'homomorphismes de graphes et un algorithme de transformation de graphes pour les grammaires de graphes étendus définis pour notre méta-modèle. L'analyse de complexité des algorithmes ains i que les résultats expérimentaux obtenus ont permis de conclure à leur efficacité. Une deuxième version des deux algorithmes a été définie profitant de la spécificité du contexte de la transformation de graphes. L'analyse de complexité de ces nouvelles versions donne des résultats encore plus performants pour le passage à l'échelle. Notre approche a été éprouvée en l'appliquant à un cas d'étude dans le contexte des activités d'opération d'intervention d'urgence. L'application implique des groupes structurés de robots ou de personnel militaire qui disposent de ressources inégales en capacités de communication, en CPU et en énergie. Les besoins d'adaptabilité découlent des changements du contexte d'exécution, de l'occurrence de pannes et du provisionnement de la QdS.
|
34 |
Écrire l'idée [Xie Yi] : entre l'écriture idéographique et l'écriture architecturaleBāo, Chén 05 July 2012 (has links) (PDF)
Un bâtiment ne parle pas, mais il communique d'une autre manière des messages qui sont le reflet des idées des architectes. Si l'architecture est un langage, si elle est une " écriture d'idées ", alors comment rendre l'idée visible ? Comment peut-on, dans un sens métaphorique, faire parler un bâtiment ? Nous proposons alors une hypothèse analogique : " Si le bâtiment parlait alors il parlerait chinois ". Cette hypothèse oriente nos recherches vers l'étude des rapports entre langage architectural et langage naturel. À l'intérieur de ce champ interdisciplinaire, l'écriture graphique et idéographique chinoise devient notre objet référentiel. Les caractères chinois unifient la forme et le sens en même temps, ils proposent une figuration des idées fondée sur le système idéographique. De par sa logique combinatoire et ses procédés rhétoriques, le processus de figuration des caractères chinois est un processus de transformation de formes simples vers des formes complexes, passant de significations limitées à des significations riches. Ce processus de conception de caractères montre également une série de schèmes idéographiques qui pourrait constituer un système méthodologique de sémantisation pour la représentation architecturale. Ainsi, l'écriture idéographique et l'écriture architecturale, pris comme deux processus de figuration peuvent parallèlement se comparer, et l'écriture idéographique pourrait proposer un outil conceptuel pour l'écriture architecturale. Il s'agit d'examiner un nouveau modèle linguistique qui pourrait être utile pour la conception de l'architecture contemporaine.
|
35 |
L'architecture monumentale à l'époque nationale-socialiste : la tentative d'un retour aux formes fondamentales dans l'architecture d'Etat / Monumental architecture of national-socialist period : a tentative return to fundamental forms in state architectureFourcade, Anne-Marie 12 September 2013 (has links)
L'architecture officielle nationale-socialiste adopte dès 1934, par sa monumentalité, une allure qui la distingue en tant que telle de tout ce qui s'est fait auparavant. L'analyse des caractéristiques et des sources de cette architecture est le thème principal de cette thèse. P. L. Troost dessine les premiers édifices du Parti à Munich; Ernst Sagebiel est l'architecte de l'aéroport de Tempelhof et du ministère de Göring à Berlin; Hans Reissinger imagine à Bayreuth un édifice à l'enveloppe composite pour l'association des enseignants du Reich; Ludwig et F. Ruff dessinent un hall gigantesque destiné aux congrès du parti à Nuremberg. Leurs œuvres présentent des formes de monumentalité très éloignées de la seule référence à un néoclassicisme simplifié. Leurs édifices, marqués par une grande exigence de représentation, répondent néanmoins, avec beaucoup d'efficacité pour certains d'entre eux, à la fonction à laquelle ils sont destinés. L'étude de ces édifices s'attache à observer l'évolution des esquisses et des maquettes dans le sens d'une monumentalité toujours plus grande, l'effet recherché l'emportant sur toute autre considération. Une iconographie sculptée à la gloire Reich et du Parti, en ses emblèmes et ses bas-reliefs, complète cette mise en scène. La notion de tectonique germanique privilégiée par les historiens de ce régime pour exprimer l'essence de l'architecture dans sa recherche de formes originelles est soigneusement examinée. Les racines dont elle se prévaut font appel à une Allemagne mythique entièrement recréée et berceau de l'univers. L'examen des édifices retenus est donc tout d'abord une analyse architecturale, complétée par la prise en compte de l'important appareil éditorial qui en a assuré la présentation officielle pendant le Reich. En contrepoint, il a été tenu compte des nombreuses publications que cette architecture a suscitées en Allemagne depuis les années 1970. / As early as 1934, the official National-Socialist architecture takes a stand which sets it apart from ail things past, bringing out the very peculiar monumentality of the period. Analyzing the characteristics and the sources of this state architecture during the early years of the Third Reich, constitutes the main theme of the present thesis. P.L. Troost, who designed the first buildings of the Party in Munich, Ernst Sagebiel, author of the Tempelhof Airport and Göring's Ministry in Berlin, Hans Reissinger who designed a building with a composite envelop meant for the Reich teachers' Association in Bayreuth, and finally Ludwig and F. Ruff who designed a gigantic hall to accommodate the Party's conventions in Nuremberg, are the architects who se works are being reviewed. Their buildings present monumental forms which are quite remote from simplistic neo-classical references. These works are marked by great representational demands and yet, in some cases, they also respond to functionality in a highly efficient way. This study of the chosen buildings attempts to observe, from the moment of conception through the evolution of sketches and models, an ever-increasing monumentality: the establishment of a mode of composition favoring organizing symmetries of plans and elevations and the final embellishment of the facades with added-on elements, the reached-for effect being always more important than any other consideration. A sculptured iconography glorifying the regime and the Reich, with its signs, symbols and freezes, completes this setting. The concept of a German tectonic, so privileged by historians of the regime, expressing the essence of this official architecture in its search for original forms, is therefore examined in detail, revealing the roots it refers to: at its center is a newly-recreated mythical Germany as cradle of the universe. The analysis of the chosen buildings is thus first architectural, then completed by examining the editorial apparatus which has ensured its official presentation during the Third Reich. On the other hand, the numerous publications spurred by this architecture in Germany since the 1970's, have also been taken into account.
|
36 |
Contribution méthodologique pour l'aide à la conception préliminaire et l'optimisation des systèmes mécatroniques / Methodological contribution to the preliminary design support and optimization of mechatronic systemsCasner, Didier 03 September 2015 (has links)
De nos jours, les entreprises doivent faire face à une situation économique de plus en plus concurrentielle qui les oblige à développer de plus en plus rapidement des produits de plus en plus complexes. C’est dans ce contexte que sont apparus les systèmes mécatroniques, fruits de l’intégration de technologies issues de la mécanique, l’électronique, l’informatique et l’automatique. Ces systèmes mécatroniques sont particulièrement complexes à concevoir pour les bureaux d’étude en raison des niveaux d’intégration fonctionnelle et techniques, nécessitant une forte coordination entre les différents ingénieurs, de différentes disciplines. Il est par conséquent nécessaire de fournir aux concepteurs de nouveaux outils permettant de mieux concevoir, de manière plus efficace, des produits mécatroniques, optimisés tant du point de vue fonctionnel que performanciel. La thèse présentée dans ce mémoire vise à proposer aux concepteurs des outils permettant de concevoir des architectures mécatronique et de les optimiser, dans les phases amont du processus de conception (conception architecturale). Nous présentons dans un premier temps notre démarche de conception globale, comprenant quatre niveaux de conception et permettant, en détaillant progressivement les architectures mécatroniques dans les différents niveaux, de construire plusieurs architectures permettant de répondre à un besoin client, tout en satisfaisant aux normes et législations en vigueur. Dans un deuxième temps, nous proposons une démarche d’optimisation permettant d’employer des techniques d’optimisation combinatoire afin d’automatiser une partie du processus de conception architecturale, en particulier la phase visant à construire les architectures produits à partir d’un ensemble de principes de solution ou de solutions techniques. Nous montrons enfin dans un troisième temps l’application des étapes de notre démarche globale, ainsi que de notre démarche d’optimisation combinatoire, afin de résoudre un problème visant à développer une éolienne de moyenne puissance pour l’alimentation d’un gîte de montagne. / Nowadays, industries should face a more and more competitive economic situation that forces them to faster develop increasingly complex products. This is in this context that appeared mechatronic systems, the fruit of the integration of technologies from mechanical, electrical, computer and control engineering. These mechatronic systems are particularly complex to design for R&D designers as they require strong coordination between the engineers from different specialities to reach the required levels of functional and technical integration. It is therefore necessary to provide new design tools and approaches to better and more efficiently design mechatronic products and optimize their functionalities as well as their performance. The thesis presented in this manuscript aims to provide design approaches to the designers to design and optimize mechatronic architectures from the early design phases (embodiment design). We first present our global design approach, with four design levels to build and gradually detail mechatronic architectures to meet customer needs as well as the standards and legislation. Secondly, we propose an combinatorial optimization-based approach to computerize some parts of the architectural design process, especially the phase where architectures are built from a set solution of principles or technical solutions. We finally show how the design and optimization approaches have been applied to solve a design problem aiming to develop a medium power wind turbine for supplying a mountain cottage.
|
37 |
La promesse du durable : situations de conception architecturale en Inde / The promise of sustainability : situations of architectural design in IndiaOzel, Derya 16 January 2017 (has links)
Ce travail porte sur la conception du « durable » dans le milieu de l'architecture en Inde. Il s'appuie, notamment, sur deux séjours effectués en 2011 et en 2012, dans une agence d'architecture dans la ville d'Ahmedabad (dans l’État du Gujarat) et dans un bureau d'études dans la ville de Bombay (dans l’État du Maharashtra). L'arrivée des labels sur le marché de l'immobilier et de la construction permet de mettre au goût du jour l'idée de « durabilité » dans la conception architecturale et de raviver un débat typiquement local. La polémique concerne, plus précisément, la mise en œuvre des labels « LEED » d'origine nord-américaine. Ce « durable » « occidental » et procédural, qui sert des logiques économique et de marketing, ne représente pas, selon les architectes, l'« authentique ». Or, l'Inde est le pays, par excellence, du « durable » : il suffit de regarder autour de soi les modes de vie, la culture indienne, ou évidemment, l'architecture « traditionnelle » et « vernaculaire ». Au delà de cette rhétorique entre tradition et modernité, en suivant dans les petits détails des projets d'architecture en train de se faire, l'enquête ethnographique montre les similarités entre ces deux lieux de conception. Le devenir du « durable » est lié, d'une manière ou d'une autre, à l'idée d'engagement et de conviction. L'idéal de « durabilité » ne repose pas tant sur une certitude (qui demeure pour le reste toujours plus ou moins relative selon les acteurs), mais sur le quotidien et les pratiques qui tendent à le faire vivre et à lui donner corps le plus possible. / This work explores the making of sustainability in the field of architecture in India. It is based on two ethnographical studies made in 2011 and 2012, in an architectural studio in the city of Ahmedabad (in the State of Gujarat) and in an consultancy firm in the city of Bombay (in the State of Maharashtra). The arrival of labels on the real estate and construction markets makes it possible to date the idea of sustainability in architectural design and rekindle a typical local debate. The controversy more specifically concerns the implementation of LEED certifications of American origin. This “Western” and procedural sustainability, which serves economic and marketing logics, does not represent, according to the architects, the “authentic” one. But then, India is said to be, par excellence, the country of sustainability: just look the lifestyles, Indian culture, or of course, the “traditional” and “vernacular” architecture. Beyond the rhetoric between tradition and modernity, the ethnographic investigation follows the small details of architectural projects in the making and shows the similarities between the studio and the consultancy firm. The fate of sustainability is related, in one way or another, to ideas of commitment and conviction. The ideal of sustainability is not lying so much on a certainty (which still more or less depends on the actors), but on the daily life and on the practices that tend to give it life and the most substance possible.
|
38 |
Synthèse d’architectures logicielles pour systèmes-de-systèmes : une méthode automatisée par résolution de contraintes / Synthesis of software architectures for systems-of-systems : an automated method by constraint solvingMargarido, Milena 27 September 2017 (has links)
Les systèmes-de-systèmes (Systems-of-Systems, SoS) interconnectent plusieurs systèmes indépendants qui travaillent ensemble pour exécuter une action conjointe dépassant leurs compétences individuelles. Par ailleurs, les descriptions architecturales sont des artefacts qui décrivent des architectures logicielles jouant dans le contexte SoS un rôle important dans la promotion de l’interaction des éléments constituants tout en favorisant la communication parmi les intéressés et en soutenant les activités d’inspection et d’analyse dès le début de leur cycle de vie. Le principal problème traité dans cette thèse est le manque de descriptions architecturales adéquates pour les SoS qui sont développés sans l’attention nécessaire à leur architecture logicielle. Puisque les systèmes constituants ne sont pas forcément connus pendant la conception du projet à cause du développement évolutionnaire des SoS, la description architecturale doit définir à la conception même du projet quelles coalitions entre les systèmes constituants seront possibles pendant son exécution. En outre, comme plusieurs de ces systèmes sont développés pour le domaine critique de sécurité, des mesures supplémentaires doivent être mises en place pour garantir l’exactitude et la complétude de la description architecturale. Afin de résoudre ce problème, nous nous servons du SosADL, un langage formel créé spécialement pour le domaine SoS et qui permet de décrire les architectures logicielles comme des associations dynamiques entre systèmes indépendants où les interactions doivent être coordonnées pour réaliser une action combinée. Notamment, une nouvelle méthode formelle, nommée Ark, est proposée pour systématiser les étapes nécessaires dans la synthèse d’architectures concrètes obéissant à cette description. Dans ce dessein, cette méthode crée un modèle formel intermédiaire, nommé TASoS, qui décrit l’architecture du SoS en tant que problème de satisfaisabilité de restrictions, rendant ainsi possible la vérification automatique d’un ensemble initial de propriétés. Le résultat obtenu par cette analyse peut s’utiliser en raffinements et révisions ultérieurs de la description architecturale. Un outil logiciel nommé SoSy a été aussi développé pour automatiser la génération de modèles intermédiaires et d’architectures concrètes, en cachant l’utilisation de solveurs de contraintes dans le projet de SoS. Particulièrement, cet outil intègre un environnement de développement plus important et complet pour le projet de SoS. Cette méthode et son outil ont été appliqués dans un modèle de SoS de surveillance de rivières urbaines où la faisabilité d’architectures abstraites a été étudiée. En formalisant et en automatisant les étapes requises pour la synthèse architecturale de SoS, Ark contribue à l’adoption de méthodes formelles dans le projet d’architectures SoS, ce qui est nécessaire pour atteindre des niveaux plus élevés de fiabilité. / Systems-of-Systems (SoS) encompass diverse and independent systems that must cooperate with each other for performing a combined action that is greater than their individual capabilities. In parallel, architecture descriptions, which are the main artifact expressing software architectures, play an important role in fostering interoperability among constituents by facilitating the communication among stakeholders and supporting the inspection and analysis of the SoS from an early stage of its life cycle. The main problem addressed in this thesis is the lack of adequate architectural descriptions for SoS that are often built without an adequate care to their software architecture. Since constituent systems are, in general, not known at design-time due to the evolving nature of SoS, the architecture description must specify at design-time which coalitions among constituent systems are feasible at run-time. Moreover, as many SoS are being developed for safety-critical domains, additional measures must be placed to ensure the correctness and completeness of architecture descriptions. To address this problem, this doctoral project employs SoSADL, a formal language tailored for the description of SoS that enables one to express software architectures as dynamic associations between independent constituent systems whose interactions are mediated for accomplishing a combined action. To synthesize concrete architectures that adhere to one such description, this thesis develops a formal method, named Ark, that systematizes the steps for producing such artifacts. The method creates an intermediate formal model, named TASoS, which expresses the SoS architecture in terms of a constraint satisfaction problem that can be automatically analyzed for an initial set of properties. The feedback obtained in this analysis can be used for subsequent refinements or revisions of the architecture description. A software tool named SoSy was also developed to support the Ark method as it automates the generation of intermediate models and concrete architectures, thus concealing the use of constraint solvers during SoS design and development. The method and its accompanying tool were applied to model a SoS for urban river monitoring in which the feasibility of candidate abstract architectures is investigated. By formalizing and automating the required steps for SoS architectural synthesis, Ark contributes for adopting formal methods in the design of SoS architectures, which is a necessary step for obtaining higher reliability levels.
|
39 |
Un framework formel pour les architectures logicielles dynamiques / A Formally Founded Framework for Dynamic Software ArchitecturesDe Sousa Cavalcante, Everton Ranielly 10 June 2016 (has links)
Les architectures logicielles ont un rôle important dans le développement de systèmes à logiciel prépondérant afin de permettre la satisfaction tant des exigences fonctionnelles que des exigences extra-fonctionnelles. En particulier, les architectures logicielles dynamiques ont émergé pour faire face aux caractéristiques des systèmes contemporains qui opèrent dans des environnements dynamiques et par conséquent susceptibles de changer en temps d’exécution. Les langages de description architecturale (ADLs) sont utilisés pour représenter les architectures logicielles en produisant des modèles qui peuvent être utilisés pendant la conception ainsi que l’exécution. Cependant, la plupart des ADLs existants sont limités sur plusieurs facettes : (i) ils ne décrivent que les aspects structurels, topologiques de l’architecture ; (ii) ils ne fournissent pas un support adéquat pour représenter les aspects comportementaux de l’architecture ; (iii) ils ne permettent pas de décrire des aspects avancés de la dynamique de l’architecture ; (iv) ils sont limités en ce qui concerne la vérification automatisée des propriétés et des contraintes architecturales ; et (v) ils sont déconnectés du niveau d’implémentation et entraînent souvent des incohérences entre l’architecture et l’implémentation. Pour faire face à ces problèmes, cette thèse propose un framework formel pour les architectures logicielles dynamiques. Ce framework comprend : (i) .-ADL, un langage formel pour décrire des architectures logicielles dynamiques sous les perspectives structurelles et comportementales ; (ii) la spécification des opérations de reconfiguration dynamique programmée ; (iii) la génération automatique de code source à partir des descriptions architecturales ; et (iv) une approche basée sur la vérification statistique pour exprimer et vérifier formellement des propriétés des architectures logicielles dynamiques. Les contributions principales apportées par le framework proposé sont quatre. Premièrement, le langage .-ADL a été doté de primitives de niveau architectural pour décrire des reconfigurations dynamiques programmées. Deuxièmement, les descriptions architecturales dans .-ADL sont transformées vers le code source d’implémentation dans le langage de programmation Go, en contribuant à minimiser les dérives architecturales. Troisièmement, une nouvelle logique appelée DynBLTL est utilisée pour exprimer formellement des propriétés dans les architectures logicielles dynamiques. Quatrièmement, un outil basé sur SMC a été développé pour automatiser la vérification des propriétés architecturales en cherchant à réduire l’effort, les ressources computationnelles, et le temps pour réaliser cette tâche. Dans ce travail, deux systèmes basés sur réseaux de capteurs sans fil sont utilisés pour valider les éléments du framework. / Software architectures play a significant role in the development of software-intensive systems in order to allow satisfying both functional and non-functional requirements. In particular, dynamic software architectures have emerged to address characteristics of the contemporary systems that operate on dynamic environments and consequently subjected to changes at runtime. Architecture description languages (ADLs) are used to represent software architectures, producing models that can be used at design time and/or runtime. However, most existing ADLs have limitations in several facets: (i) they are focused on structural, topological aspects of the architecture; (ii) they do not provide an adequate support for representing behavioral aspects of the architecture; (iii) they do not allow describing advanced aspects regarding the dynamics of the architecture; (iv) they are limited with respect to the automated verification of architectural properties and constraints; and (v) they are disconnected from the implementation level, thus entailing inconsistencies between architecture and implementation. In order to tackle these problems, this thesis proposes formally founded framework for dynamic software architectures. Such a framework comprises: (i) .-ADL, a formal language for describing software architectures under both structural and behavioral viewpoints; (ii) the specification of programmed dynamic reconfiguration operations; (iii) the automated generation of source code from architecture descriptions; and (iv) an approach based on statistical model checking (SMC) to formally express and verify properties in dynamic software architectures. The main contributions brought by the proposed framework are fourfold. First, the .-ADL language was endowed with architectural-level primitives for describing programmed dynamic reconfigurations. Second, architecture descriptions in .-ADL are translated towards implementation source code in the Go programming language, thereby contributing to minimize architectural drifts. Third, a novel logic, called DynBLTL, is used to formally express properties in dynamic software architectures. Fourth, a toolchain relying on SMC was built to automate the verification of architectural properties while striving to reduce effort, computational resources, and time for performing such a task. In this work, two wireless sensor network-based systems are used to validate the framework elements.
|
40 |
Écrire l'idée [Xie Yi] : entre l'écriture idéographique et l'écriture architecturale / Write the idea [Xieyi] : between the Chinese writing and the architectural writingBāo, Chén 05 July 2012 (has links)
Un bâtiment ne parle pas, mais il communique d’une autre manière des messages qui sont le reflet des idées des architectes. Si l’architecture est un langage, si elle est une « écriture d’idées », alors comment rendre l’idée visible ? Comment peut-on, dans un sens métaphorique, faire parler un bâtiment ? Nous proposons alors une hypothèse analogique : « Si le bâtiment parlait alors il parlerait chinois ». Cette hypothèse oriente nos recherches vers l’étude des rapports entre langage architectural et langage naturel. À l’intérieur de ce champ interdisciplinaire, l’écriture graphique et idéographique chinoise devient notre objet référentiel. Les caractères chinois unifient la forme et le sens en même temps, ils proposent une figuration des idées fondée sur le système idéographique. De par sa logique combinatoire et ses procédés rhétoriques, le processus de figuration des caractères chinois est un processus de transformation de formes simples vers des formes complexes, passant de significations limitées à des significations riches. Ce processus de conception de caractères montre également une série de schèmes idéographiques qui pourrait constituer un système méthodologique de sémantisation pour la représentation architecturale. Ainsi, l'écriture idéographique et l'écriture architecturale, pris comme deux processus de figuration peuvent parallèlement se comparer, et l’écriture idéographique pourrait proposer un outil conceptuel pour l’écriture architecturale. Il s’agit d’examiner un nouveau modèle linguistique qui pourrait être utile pour la conception de l’architecture contemporaine. / A building does not speak, but communicates messages in a different way which comes from architects’ ideas. If architecture is a language, if it is a way to "write ideas", we would like to ask how can we make ideas visible and, metaphorically, how to make a building speak? So we propose a hypothesis based on analogy: "If the building spoke, it would speak Chinese." This hypothesis has guided our research towards the study of the relationship between architectural language and natural language: inside an interdisciplinary field mixing graphic and ideographic issue Chinese writing becomes our referential object. Chinese characters unify form and meaning at the same time, they are representations of ideas based on the ideographic system - a system "write the idea" - which more or less influenced all other Chinese arts and could represent the the most complex idea in the simplest way. By the combinatory logic and in the rhetorical manner, the process of figurations of Chinese characters was a process from simple forms to complex forms, from the limited significations to the rich significations. This design process also shows a series of ideographic patterns, which could be a methodological system of semantisation for the architectural representation. As a result, ideographic writing and architectural writing, as two processes of representation can be compared in a parallel way: ideographic writing could then provide a conceptual tool for architectural writing, constitute a new linguistic model for the design of contemporary architecture.
|
Page generated in 0.0807 seconds