Mémoire d'étude diplôme de conservateur des bibliothèques : Bibliothéconomie : Villeurbanne, ENSSIB : 2003.

Maîtrise--Histoire de l'art--Paris 4, 1998. / Bibliogr. p. 382-406.

Th. Ph. D.--Faculty of arts--Zurich--University of Zurich, 1995. / Bibliogr. p. 74-87.

La complexité croissante des Systèmes de Systèmes et autres grandes fédérations d'acteurs pose de nouvelles problématiques de conception et de réalisation. Cette complexité, induite par des structures de management toujours plus sophistiquées et un cycle de vie long, doit être maîtrisée au plus tôt dans la conception des entreprises. Cette maîtrise permet à l'ensemble des intervenants au cours du cycle de vie d'une entreprise d'identifier ses points clés et de prendre confiance en sa capacité à atteindre ses objectifs. En particulier, il importe de savoir estimer les capacités de l'entreprise à s'adapter à des situations imprévues ou exceptionnelles afin d'assurer ses missions en toutes circonstances. En réaction, de nouvelles démarches d'ingénierie émergent. Elles s'appuient sur la modélisation et la simulation de l'architecture de ces systèmes aux différents stades de leur développement et de leur fonctionnement. Dans le cadre d'une de ces démarches nommée IDEA, nous avons enrichi le langage de description d'architecture avec des concepts et des mécanismes ayant pour but d'adresser l'adaptabilité et des capacités de reconfiguration des entreprises. Ces apports ont été expérimentés avec succès par prototypage et dans des contextes d'affaires industrielles.

La *voix plurielle* de sept narrateurs raconte une histoire. La spectatrice-auditrice écoute, transcrit, collige et cherche à travers les mots, les archives et les écrits, une scène probable, originaire, fondatrice de l'imaginaire. Cette quête attentive vise à démontrer comment l'entourage, la formation spécialisée et l'espace physique d'apprentissage constituent les premiers facteurs décisifs qui contribuent à façonner l'imaginaire de Mario Saia, un des architectes les plus importants au Canada. Elle aborde la période fondamentale de son enfance et les premières années de sa pratique, mais porte principalement sur les années 1958 à 1964, alors que lui et ses confrères fréquentent l'École des beaux-arts, devenue à ce moment l'École d'architecture de Montréal. Durant ce laps de temps, des réformes importantes en éducation ont lieu au Québec. Elles concordent avec la transformation de l'enseignement en architecture qui délaisse peu à peu l'académisme des Beaux-Arts pour s'inscrire dans la modernité. Suivant l'approche biographique narrative, sept témoins de cette époque relatent comment la passion pour l'architecture, la vie étudiante, l'atmosphère du lieu et l'inspiration que leur apportent trois enseignants d'exception compensent les lacunes générales de l'enseignement. Le regard tourné vers les grands précurseurs du modernisme européen, ces étudiants construisent leur identité propre et entreprennent leur thèse de fin de cursus. Pour le jeune Saia, ce dernier projet de thèse, ses études spécialisées en Écosse et ses stages de travail à Montréal et au Danemark lui permettent de développer ses aptitudes de recherche, d'amorcer une approche philosophique et de mettre en pratique ses connaissances techniques. Trait par trait, touche par touche, sur papier calque, s'esquissent un projet, une carrière. Se tend finalement le cordeau des réalisations signées Mario Saia. Cette histoire racontée tisse un lien entre toutes ces étapes, révèle un imaginaire qui se concentre sur l'habitat humain, aborde une œuvre architecturale que fonde cet imaginaire. / La *voix plurielle* recount a story. The spectator listens, transcribes, collates, and searches through texts, archives and writings. Such careful research aims to demonstrate how an entourage, highly specialized training, and a physical learning-space shaped the imaginary of Mario Saia, one of the most significant architects in Canada. The work explores the fundamental period of his childhood and the first years of his practice, but mainly focuses on the years 1958 to 1964, when he attended the *École des beaux-arts*, which at that time became the *École d'architecture de Montréal*. During this duration of time, Quebec saw significant reforms in education. These were consistent with the transformation of architectural education which gradually moved away from Beaux-Arts academicism to embrace modernity. Following a narrative/biographical approach, seven witnesses from this period relate how a passion for architecture, student life, the atmosphere of the place, and the inspiration of three exceptional teachers compensated for more general educational shortcomings. Admiring the great precursors of European modernism, these students constructed their self-identities and undertook their final thesis. For the young Saia, this last thesis project, specialized studies in Scotland, and internships in Montreal and Denmark allowed him to develop research skills, initiate a philosophical approach, and operationalize his technical knowledge. Line by line, touch by touch, on tracing paper, a project, a young architect outlines his career. Finally, the long string of achievements by Mario Saia is extensive. This storytelling weaves together these stages, revealing an imaginary that focuses on human habitat and an architecture based in the imaginary.

La conception architecturale est un processus complexe dans lequel des entités de diverses natures sont manipulées. Parmi celles-ci, les ambiances représentent les interactions perçues entre les phénomènes physiques et les formes de l'environnement construit. Dans cette recherche, nous interrogeons la prise en compte des ambiances dans le projet architectural : quels sont les outils les mieux adaptés pour ce faire ? Nous donnons en premier lieu une représentation théorique de la question. Celle-ci nous conduit à définir des problèmes de simulation inverse des ambiances : il s'agit de modéliser des formes architecturales en partant des intentions d'ambiances du concepteur. Nous proposons de résoudre ces problèmes dans le cadre méthodologique défini par l'approche déclarative en modélisation géométrique. Nous appliquons cette représentation théorique pour un phénomène particulier : l'ensoleillement. Un état de l'art nous permet de situer les limites des méthodes de simulation directe de l'ensoleillement. Nous introduisons une formalisation nouvelle du phénomène en le considérant sous l'angle de la géométrie intégrale. Nous montrons que tous les problèmes d'ensoleillement, qu'ils soient directs ou inverses, s'expriment comme des problèmes d'intersection entre les objets d'une scène et un volume de rayons solaires que nous définissons comme la pyramide complexe d'ensoleillement. Ce volume est un artefact géométrique qui représente une contrainte spatiotemporelle d'ensoleillement. La détermination de sa frontière n'est pas triviale. Nous y apportons une solution en utilisant la somme de Minkowski. L'ensemble de ces résultats nous donne un modèle déclaratif de résolution des problèmes d'ensoleillement. En dernier lieu, nous discutons des modalités d'adaptation de ce modèle dans le contexte de la conception architecturale. Nous présentons une maquette logicielle intégrant nos propositions. Trois exemples illustrent finalement l'utilisation de notre modeleur.

Cette thèse se situe au croisement de deux domaines : la sûreté de fonctionnement des systèmes critiques et les méthodes formelles. Nous cherchons à établir la cohérence des analyses de sûreté de fonctionnement réalisées à l'aide de modèles représentant un même système à des niveaux de détail différents. Pour cela, nous proposons une notion de raffinement dans le cadre de la conception de modèles AltaRica : un modèle détaillé raffine un modèle abstrait si le modèle abstrait simule le modèle détaillé. La vérification du raffinement de modèles AltaRica est supportée par l'outil de model-checking MecV. Ceci permet de réaliser des analyses multi-systèmes à l'aide de modèles à des niveaux de détail hétérogènes : le système au centre de l'étude est détaillé tandis que les systèmes en interface sont abstraits. Cette approche a été appliquée à l'étude d'un système de contrôle de gouverne de direction d'un avion connecté à un système de génération et distribution électrique.

Dans le cadre de cette thèse, nous nous proposons d'étudier le développement et la validation de systèmes dans un contexte temps réel asynchrone. On a choisi d'utiliser le langage AADL pour ses spécificités issues de l'avionique, domaine proche du spatial, et pour la précision de la description de son modèle d'exécution. Le travail de cette thèse se divise en deux axes principaux : d'une part, on étudie l'utilisation du langage AADL dans le cadre du développement d'un logiciel de vol ; et d'autre part, on présente une version réduite du langage AADL, et la définition formelle de son modèle d'exécution à l'aide du langage TLA+. L'objectif de la première partie est d'envisager l'utilisation d'AADL dans le cadre d'un processus de développement existant dans le domaine du spatial. Dans cette partie, on a cherché à identifier des motifs de conceptions récurrents dans les logiciels de vol. Enfin, on étudie l'expression en AADL des différents éléments de ce processus de développement. La seconde partie comporte la définition d'un mini AADL suffisant pour exprimer la plupart des concepts de parallélisme, de communication et de synchronisation qui caractérisent AADL. La partie formalisation est nécessaire afin de pouvoir vérifier des propriétés dynamiques. En effet, la définition formelle du modèle d'exécution permet de décrire le comportement attendu des modèles AADL. Une fois ce modèle défini, on peut à l'aide d'un vérificateur de modèles (model-checker) animer une modélisation AADL ou aborder la vérification de propriétés dynamiques. Cette étude a par ailleurs été menée dans le cadre de la standardisation du langage AADL.

Cette thèse propose des méthodes assistant la modélisation et l'évaluation qualitative de l'architecture de sûreté de fonctionnement des systèmes embarqués complexes. Ces architectures sont souvent construites à partir de motifs généraux d'architectures de systèmes correspondant à des mécanismes de sûreté récurrents comme des redondances, des détections, etc. En s'inspirant des principes des "patrons de conception" développés en génie logiciel, nous avons proposé une modélisation de ces mécanismes et des attributs permettant leur réutilisation lors des analyses de sûreté de fonctionnement. Ces analyses nécessitent de raisonner sur le comportement des systèmes en présence de pannes qui peut être modélisé à l'aide de langages formels comme AltaRica. Dans notre cas, les motifs correspondent à des abstractions d'architectures concrètes et donc requièrent une modélisation plus déclarative. Les propriétés étudiées étant en général dynamiques, nous avons choisi d'utiliser une logique temporelle pour les exprimer. Les motifs sont donc constitués d'une partie AltaRica et d'une partie propriétés. Ce type de modélisation mixte possède plusieurs intérêts, notamment lors de la conception en phase amont d'architectures de systèmes où il est possible de manipuler à la fois des parties d'un système conçues de manière détaillée et des spécifications. Elle a également pour buts de faciliter l'allocation d'exigences pour la validation d'architectures ainsi que le prototypage. Nous avons donc défini une notation mixant ces aspects opérationnels et déclaratifs.

Dans la dernière décennie, les grilles de calcul ont permis de réunir des ressources de stockage et de calcul de multiples institutions pour pourvoir à des applications scientifiques de grande ampleur. Par analogie aux grilles électriques, l'idée d'origine est de fournir de manière transparente de la capacité de calcul selon les besoins. Cependant, alors que les applications se multiplient, l'efficacité des mécanismes sous-jacents d'allocation de ressources mérite l'attention. Cette thèse présente les contributions suivantes. - Identification des patterns d'allocation de ressource, et comment ils ont évolué depuis les clusters isolés jusqu'aux grilles qui s'étendent sur plusieurs institutions autonomes. - Identification d'un pattern commun (Late Binding) dans la façon dont plusieurs applications contournent depuis peu le méccanisme habituel (Meta-scheduling) dans le but d'obtenir une mainmise accrue sur l'allocation de ressources et de palier à certains manques d'efficacité. - Proposition d'un nouveau pattern (Symmetric Mapping) qui permet d'obtenir la séparation du contrôle entre les fournisseurs et utilisateurs de ressources. - Proposition d'un nouveau modèle pour spécifier des stratégies d'allocation de ressource. Ce modèle permet de représenter l'allocation dynamique, ainsi que de multiples contraintes et objectifs. - Transposition du problème des Domaines Administratifs Multiples (MADs) du domaine de la tolérance aux fautes à celui du calcul distribué. Identification du problème MAD comme problème distinctif des grilles parmi les systèmes de calcul distribué. Identification de Symmetric Mapping comme une solution. - Proposition d'une implémentation de Symmetric Mapping basée sur les machines virtuelles, et dont l'un des éléments déploie et contrôle des multiples machines virtuelles à partir de descriptions déclaratives. - Proposition d'un système qui détecte la terminaison d'un service et relance tout service interrompu sur un serveur nouvellement sélectionné, afin de maintenir une implémentation de Symmetric Mapping, ou tout système qui nécessite des services permanents sur des serveurs transitoires. - Proposition d'une nouvelle méthode pour l'analyse des tâches et la prédiction de performance afin d'associer de manière dynamique des tâches aux serveurs adéquats. La méthode s'appuie sur l'estimation de patterns d'accès mémoire par des distributions de probabilité connues. La signature des tâches est réduite à une taille constante et la prédiction est effectuée en temps constant. - Proposition de la première évaluation du cache thrashing, afin de permettre des prédictions de performance réalistes pour les CPUs partagés par plusieurs processus. L'analyse est basée sur un nouveau modèle de Markov des caches LRU. Elle donne une borne supérieure et une borne inférieure de la proportion de fautes de caches en présence de processus concurrents.