Syfte: Byggsektorn karaktäriseras av att till stor del bestå av temporära projektorganisationer med mycket samarbete mellan discipliner men utan någon vidare processkontinuitet mellan de unika projekten. Det finns ett stort fokus på tid och omedelbar handling som en del av aktörernas referensram och varje aktivitet och nytt arbetssätt bör ge omedelbara fördelar i form av tidsvinster och effektivare utförande för att villigt accepteras. Behoven av standardiserade arbetssätt blir mycket synliga när man börjar införa BIM i projekten. Att aktivt använda BIM-modellen på bygget skapar krav på innehållet och att man följer ett projekteringsschema. BuildingSMART International (2010) skriver: ”Om den nödvändiga informationen är tillgänglig när den behövs och kvalitén på informationen är tillfredställande, så blir själva byggprocessen signifikant förbättrad”. Målet med detta examensarbete är att ta fram ett förslag på hur sekvensen av informationsleveranser bör se ut för den inledande produktionen av bärande system i en totalentreprenad. Metod: För att nå målet har en litteraturstudie genomförts för att skapa arbetets teoretiska ramverk. En fallstudie på en totalentreprenad med djupgrundläggning har genomförts. I fallstudien har empiri insamlats genom intervjuer med några av projektets aktörer samt en dokumentanalys av relevanta ritningar, protokoll och övriga dokument i projektet. Resultat: Rapporten har kartlagt sekvensen av informationsleveranser (inklusive vilket informationsinnehåll och vilken detaljeringsnivå de behöver ha) för den inledande produktionen av bärande system i en totalentreprenad. Detta kunskapsbidrag med processkarta och informationsbehov kan byggas vidare på, för att kunna implementeras i BIM-verktygen och därigenom underlätta arbetet och föra BIM-användningen framåt. Konsekvenser: Rapporten har med ovan resultat bidragit med några påbörjade pusselbitar i ett stort pussel av information och leveranser i rätt sekvens och detaljeringsgrad. För att pusslet ska bli komplett måste även informationsleveranser från förfrågningsunderlaget fungera korrekt. Arbetet har belyst fördelar att arbeta med BIM i denna del av byggprocessen. Rapporten föreslår förtydligande av innebörd genom att ha både detaljeringsnivå och utvecklingsnivå som benämningar i Sverige. Begränsningar: Rapporten begränsas till att beskriva vad byggentreprenören behöver för informationsleveranser från konstruktören som rör pålning, grundsulor och fundament. Rapporten beskriver också de informationsleveranser konstruktören behöver för att uppfylla byggentreprenörens informationsbehov. / Purpose: The building industry is characterised by mainly consisting of temporary project organizations with much interdisciplinary cooperation but with little continuity of process between the unique projects. There is a big focus on time and immediate action as part of the actors’ frame of reference, and every activity and new work method should give immediate advantages in time savings and more efficient work to be readily accepted. The need for standardised work methods is very visible when BIM is introduced in the projects. To actively use the BIM-model on site creates demands on the content and that a design schedule is followed. BuildingSMART International (2010) writes: ”If the information required is available when it is needed and the quality of information is satisfactory, the construction process will itself be significantly improved”. The aim of this work is to produce a suggestion of how the sequence of information deliveries should be in the starting production of the loadbearing system in a design build project. Method: To reach the aim a literature study has been conducted to create the theoretical framework for the study. A case study has been conducted on a design build project with a deep foundation. Empirical data has been collected by means of interviewing some of the project actors and conducting a document analysis of project documents such as drawings and protocols. Findings: The report has mapped the sequence of information deliveries (including what information content and what level of development they need to have) for the initial production of the loadbearing system in a design build project. This contribution of knowledge with the process map and information demands can be built upon, to allow for implementation in the BIM tools and thus make the work easier and push the use of BIM forward. Implications: With the above results the report has contributed with a few started puzzle pieces in a big puzzle of information and deliveries in the correct sequence and level of development. To complete the puzzle the information deliveries from the specifications also needs to work correctly. The report has shown advantages by working with BIM in this part of the building process. The report suggests clarification of meaning by using both names, level of detail and level of development, in Sweden. Limitations: The report is limited to describe what information deliveries the contractor needs from the structural designer when it comes to piling and foundations. It also describes the information deliveries needed by the structural designer to be able to meet the information need of the contractor.

Cette thèse a pour cadre scientifique la décomposition formelle des spécifications centrali- sées Event-B appliquée aux systèmes distribués BIP. Elle propose une démarche descendante de développement des systèmes distribués corrects par construction en combinant judicieu- sement Event-B et BIP. La démarche proposée comporte trois étapes : Fragmentation, Dis- tribution et Génération de code BIP. Les deux concepts clefs Fragmentation et Distribution, considérés comme deux sortes de raffinement automatique Event-B paramétrées à l'aide de deux DSL appropriés, sont introduits par cette thèse. Cette thèse apporte également une contribution au problème de la génération de code à partir d'un modèle Event-B issu de l'étape de distribution. Nous traitons aussi bien les aspects architecturaux que comportemen- taux. Un soin particulier a été accordé à l'outillage et l'expérimentation de cette démarche. Pour y parvenir, nous avons utilisé l'approche IDM pour l'outillage et l'application Hôtel à clés électroniques pour l'expérimentation. / The scientific framework of this thesis is the formal decomposition of the centralized specifications Event-B applied to distributed systems based on the BIP (Behavior, Interaction, Priority) component framework. It suggets a top-down approach to the development of correct by construction distributed systems by judiciously combining Event-B and BIP. The proposed approach consists in three steps : Fragmentation, Distribution and Generation of BIP code. We introduce two key concepts, Fragmentation and Distribution, which are considered as two kinds of automatic refinement of Event-B models. They are parameterized using two appropriate DSL. This thesis also contributes to the problem of code generation from Event- B models resulting from the Distribution step. Accordingly, we deal with both architectural and behavioral aspects. A special care has been devoted to the implementation and the experimentation of this approach. To achieve this, we have used the IDM approach for tooling and the Electronic Hotel Key System for experimentation.

La Stimulation Magnétique Transcrânienne (SMT) est une technique de stimulation neuronale offrant de nombreuses applications médicales. Cependant son utilisation reste empirique. L'objectif de cette thèse était de mettre en place un logiciel permettant de mieux comprendre les effets de la stimulation et d'aider à la réalisation de séances de SMT. Suite au développement de ce logiciel, il est apparu que celui-ci était devenu patrimonial. L'objectif secondaire de ce travail fut donc d'analyser l'obsolescence du logiciel et d'essayer d'apporter des solutions pour limiter ce phénomène via l'utilisation de l'Ingénierie Dirigée par les Modèles (IDM). Après avoir présenté les phénomènes régissant l'activité cérébrale nous présentons les différentes techniques de stimulation neuronale et les avantages qu'offre la SMT. Nous présentons également les bases nécessaires à la compréhension des phénomènes électromagnétiques, puis une introduction aux concepts fondamentaux de l'IDM. Dans une troisième partie, l'accent est mis sur les différentes modélisations et méthodes de calcul des effets de la Stimulation Magnétique Transcrânienne avant de présenter la solution qui a été retenue et implantée dans le simulateur. Les deux dernières parties du manuscrit se focalisent sur le simulateur dans sa globalité (visualisation 3D) puis à la manière dont il pourrait être refactorisé pour faciliter sa maintenance et l'inclusion des évolutions possibles que nous présentons en conclusion.

Le travail collaboratif fait participer des équipes qui doivent partager et échanger l'information sur le produit tout en travaillant avec différents outils métiers. Les processus complexes de conception du produit exigent l'utilisation d'un ensemble d'outils métiers hétérogènes tels que les outils de CAO et de FAO. Notre travail de thèse propose une approche fédérée basée sur l'Ingénierie Dirigé par les Modèles pour l'interopérabilité des outils métiers. Dans ce travail nous utilisons le modèle PPO (Produit Processus Organisation) comme modèle de fédération pour l'échange et le partage d'informations. Ce travail décrit comment nous structurons la synchronisation entre outils métiers hétérogènes. Un cas d'étude est appliqué à l'outil de FAO EspritTM lui permettant d'interopérer avec l'outil de CAO SolidWorksTM à travers l'environnement collaboratif PPO.

A consolidação do processo de Modelagem da Informação da Construção (BIM) tende a contribuir para o aumento da eficiência da indústria da construção civil, fomentando novos fluxos de trabalho e permitindo o reuso de informações ao longo do ciclo de vida dos empreendimentos. Apesar do potencial de integração e automação associados ao processo BIM, o uso das informações digitais contidas no modelo para facilitar a pré-fabricação de produtos para a construção mostra-se incipiente. Nota-se que emprego da fabricação digital encontra obstáculos sobretudo em setores que atuam de modo segregado, e que por isto mesmo demandam sinergia, bem como o uso de normas e padrões que possibilitem a interoperabilidade e reuso das informações geradas nas fases anteriores a fabricação. Neste contexto, foi feita uma análise do uso da fabricação digital aplicada ao processamento industrial de aço para estruturas de concreto armado (corte e dobra). Embora os fabricantes que atuam neste setor possuam suporte a interface digital com os demais agentes, a configuração de sua cadeia de produtiva, bem como os processos tradicionalmente adotados, promovem a ocorrência de ilhas de automação ligadas por transferência manual e reentrada de dados. Como forma de reduzir a intervenção manual para a transcrição dos dados, propõe-se o uso do esquema de dados Industry Foundation Classes (IFC) na fabricação digital de componentes de armadura. Este trabalho tem por objetivo apresentar uma solução técnica, baseada no esquema IFC, aos requisitos de troca de informação necessários no fluxo de trabalho proposto. Com base nos requisitos de troca identificados por meio do método Information Delivery Manual (IDM), apresenta-se como essas informações podem ser mapeadas e qual o subconjunto de dados necessários à fabricação digital baseada no esquema IFC4. Por fim, apresenta-se a documentação e validação da solução técnica desenvolvida de acordo com o método Model View Definition (MVD) e com o uso da ferramenta ifcDoc. Após a realização de testes com base no esquema IFC4 foi constatada a viabilidade para recuperação dos dados contidos no modelo. Entretanto também foi identificada a carência de ferramentas comerciais que suportem tal funcionalidade. / The consolidation of Building Information Modeling (BIM) possibly contributes to the increase of the efficiency in the construction industry, by fostering new workflows and data reuse throughout projects life cycle. Despite the potential for integration and automation associated with BIM, the use of the digital information contained in the model to facilitate prefabrication of construction products is still incipient. The digital fabrication finds obstacles in sectors that act in a segregated manner, henceforth needs standard adoption to allow reuse of the information generated in the phases prior to production. In this context, it was analyzed the use of digital fabrication applied to the industrial processing of reinforcement bars for concrete structures (rebar cutting and bending). Although the fabricators who act in this sector already have support to the digital interface with other agents, the supply chain configuration adopted by the Brazilian market, as well as the traditional paper-based processes employed, promote the occurrence of \"islands of automation\" connected by manual data transfer. In order to reduce the need for manual intervention for data re-interpretation and re-entry, it is proposed to use the Industry Foundation Classes (IFC) data schema to promote the digital interface between the reinforcing bar supply chain stakeholder\'s. This work aims to present an IFC-based technical solution to the fabricator\'s information requirements by means of the Information Delivery Manual (IDM) and Model View Definition (MVD) standards. On the basis of the exchange requirements specified by rebar fabricator through IDM method, it is presented the IFC schema subset entailed and how this information can be mapped in order to allow the use of IFC on the cut & bend rebar supply chain. Finally, the technical solution was documented in an MVD and validate with the ifcDoc tool. After conducting validation tests based on the IFC4 schema, it was verified the viability to recover the data contained in the model. However, the lack of commercial tools that support such functionality has also been identified.

L’un des buts de l’Ingénierie Dirigée par les Modèles (IDM) est de considérer les modèles comme des éléments productifs pour le développement d’applications. Dans cette optique, une nouvelle tendance concerne les modèles exécutables où un modèle produit en phase de conception est réutilisé en tant que tel en phase d’exécution grâce aux interpreted Domain-Specific Modeling Language (i DSML) qui sont interprétés par un moteur d’exécution. Cette façon de procéder permet de gagner du temps lors du développement d’un logiciel et est par conséquent moins coûteux. D’autre part, les logiciels peuvent être dotés de capacités adaptatives. Ces applications adaptatives sont généralement confrontées à un contexte qui est plus ou moins connu et susceptible de changer au cours de l’exécution et auquel elles vont devoir faire face en modifiant leur comportement dynamiquement, c’est-à-dire sans interruption de service. De telles adaptations dynamiques et automatiques sont censées éviter une phase de maintenance onéreuse pour le logiciel. Nous avons donc d’un côté les i DSML qui permettent de réduire les coûts de développement d’une application et de l’autre côté l’adaptation logicielle qui permet de réduire les coûts de maintenance d’un programme. Dans cette thèse nous souhaitons prendre le meilleur des deux mondes en fusionnant les deux idées. Le résultat revient in fine à directement adapter l’exécution d’un modèle via des i DSML adaptables. Pour cela, nous proposons une caractérisation des i DSML adaptables, la définition du concept de famille pour gérer l’adaptation des i DSML, puis la création d’un langage exécutable d’orchestration dédié à l’adaptation, aboutissant ainsi au fait particulier d’adapter un i DSML par un autre i DSML. Enfin, un prototype à base de deux moteurs d’exécution est proposé avec son implémentation en Java/EMF. / One of the goals of Model-Driven Engineering (MDE) is to treat models as productive elements for software development. From this point of view, a new trend is about executable models where a model that is produced at design time is reused as such at runtime through interpreted Domain-Specific Modeling Languages (i DSMLs) that are interpreted by an execution engine. This way to proceed allows to save time during the software development and consequently is more cost-effective. On the other hand, software can provide adaptive capabilities. These adaptive applications are often facing a context which is more or less known and which may change during the execution and they will address these various situations by modifying dynamically their own behavior, i.e. without any service disruption. Such dynamic and automatic adaptations ought to avoid a too expensive maintenance stage for the program. We have on one hand the i DSMLs that allow to decrease the development costs of a program and on the other hand the software adaptation that allows to decrease the maintenance costs of an application. In this thesis, we must succeed in having the best of both worlds by merging these two ideas. The result is ultimately to directly adapt the model execution through adaptable i DSMLs. To this end, we propose a characterization of adaptable i DSMLs, the definition of the family concept to manage adaptation of i DSMLs, then the creation of an executable orchestration language for adaptation, thereby leading to the fact that an i DSML is adapted through an other i DSML. Finally, a prototype based on two execution engines is proposed with its implementation in Java/EMF.

La modélisation des événements et de leurs propriétés temporelles concerne des types variés d’utilisateurs et de communautés scientifiques. Nous nous plaçons dans le cadre du paradigme Objet et construisons un méta modèle opérationnel servant de représentation pivot, indépendante du métier pour représenter des événements composites avec leurs propriétés structurelles et temporelles. Le méta modèle PTOM (Periodic Temporal Occurrence Metamodel) prend en compte l’expression de contraintes structurelles sur les événements, ou géométriques, topologiques et relationnelles sur la temporalité de leurs occurrences. Il privilégie la représentation en intension (vs extension) des occurrences d’événements périodiques. PTOM étend la norme ISO 19108 et s’adapte aux standards EventsML G2 et iCalendar. Sur un plan théorique, nous étendons les algèbres d’intervalles d’ALLEN et de LIGOZAT, et proposons un système de relations topologiques entre intervalles non convexes (ALLEN*) dont nous étudions les propriétés. Ces résultats sont intégrés dans PTOM. La première application de PTOM est la spécification de la sémantique du calendrier grégorien. Les éléments calendaires sont réintroduits en tant qu’événements périodiques dans PTOM, ce qui renforce son pouvoir expressif. PTOM a été mis en œuvre lors d’un projet ANR sur des corpus d’événements journalistiques (agences de presse) concernant les loisirs et la culture. L’Ingénierie Dirigée par les Modèles a été utilisée pour la conception et l’exploitation de PTOM. Cela permet de gérer la complexité, d’assurer la maintenabilité et la cohérence de l’ensemble et enfin, de générer automatiquement des interfaces pour les pourvoyeurs ou utilisateurs de données. / Modelling events with their temporal properties concerns many users and scientific communities. We adopted the Object paradigm and designed an operational metamodel which stands as a pivot business independent representation for composite events accompanied with their structural and temporal properties. PTOM metamodel (Periodic Temporal Occurrence Metamodel) accounts for structural constraints upon events and geometric, topologic or relational constraints upon their temporal occurrences. It gives prominence to intensional representations of periodic events occurrences vs extensional ones. PTOM extends ISO 19108 standard and fits EventsML G2 and iCalendar. From a theoretical viewpoint, we extend ALLEN’s and LIGOZAT’s interval algebras and propose a special set of topological relations between non convexintervals (ALLEN*), and study its properties. These results are part of PTOM. The first application of PTOM results in a specification of the Gregorian calendar semantics. Calendar elements are reinserted as periodic events in PTOM thus enhancing its expressiveness. PTOM was also experimented upon a corpus of journalistic (press agencies) events dedicated to leisure and culture at the occasion of an ANR project. Model Driven Engineering was extensively used for PTOM design and use.It allows to manage complexity and to ensure maintainability, consistency and eventually can automatically generate data provider or end user interfaces as well.

L’analyse de la performance énergétique des bâtiments neufs repose massivement sur des outils logiciels de simulation. La valeur ajoutée de ces derniers est indéniable : ils permettent d’optimiser la conception en facilitant l’évaluation des performances énergétiques du bâtiment durant la phase de conception. Leur impact est cependant limité par plusieurs obstacles, dont les principaux sont le niveau d’expertise requis pour leur utilisation et l’absence de connexion aux outils de Conception Assistée par Ordinateur (CAO). Ce dernier point devient particulièrement critique au moment où l’utilisation de la maquette numérique BIM (Building Information Model) se généralise et où les modèles issus d’outils de CAO sont de plus en plus riches.Cette thèse repose sur cette observation et propose, afin de profiter pleinement du potentiel du BIM et des outils en lien, de contribuer à l’émergence d’approches permettant une transformation fiable et transparente des informations du bâtiment numérique BIM vers les fichiers d'entrée des environnements de simulation. Cela se traduirait par des avantages significatifs, tant sur le rapport coût-efficacité (l’analyse est effectuée plus efficacement), qu’au niveau de la fiabilité (les modèles de simulation sont conformes aux modèles de conception). Toutefois, pour mettre en œuvre de telles approches, plusieurs obstacles doivent être pris en compte : le premier est la nécessité de disposer d’un langage normalisé commun pour le BIM, le deuxième est la définition de mécanismes méthodologiques efficaces et normalisés afin d’enrichir le BIM pour la simulation, le troisième est la mise à disposition d'outils logiciels fiables pour la transformation automatisée du BIM vers les modèles de simulation thermique.Le premier obstacle est en passe d’être levé grâce aux standards issus du consortium international buildingSMART, en particulier les « Industry Foundation Classes » (IFC) qui sont désormais largement reconnus comme un format d'échange standard du BIM dans le domaine de la construction. Le deuxième verrou reste actuel : l’IFC, même dans sa dernière version IFC4, laisse entier de nombreux problèmes de formulation de concepts propres aux domaines métiers, en particulier celui de la simulation énergétique. Cependant, des environnements méthodologiques ont vu le jour permettant d’étendre et d’enrichir de façon structurée les formats de données BIM. C’est par exemple le cas de l’IDM (Information Delivery Manual) et du MVD (Model View Définition) de buildingSMART, pour les IFC.L’objectif de nos travaux est triple. En premier lieu, il s’agit de mettre en œuvre et évaluer l’environnement IDM/ MVD de buildingSMART pour l’interconnexion entre le BIM (format IFC) et la simulation énergétique. Cette étude nous a amenés à proposer un modèle pivot (BSM pour « Building Simulation Model ») basé sur une analogie avec les approches prônées par l’ingénierie dirigée par les modèles. Nous avons également développé un outil logiciel, qui inclut une base de règles de mapping, afin d’automatiser la traduction de l’information entre le modèle IFC et le modèle de simulation. Cette approche a été évaluée sur la base de l’outil COMETH (moteur de simulation de la régulation thermique française RT2012) mais elle est généralisable. / Energy performance analysis of new buildings strongly relies on simulation tools. They optimize the design by facilitating building performance analysis during the design phase. However, there are several limitations, among which one of the main is the lack of reliable connections between Computer Aided Design (CAD) and simulation tools. This is particularly critical at a time when the concept of Building Information Model (BIM) is widely applied and the CAD models are becoming richer.This thesis proposes to take advantage of the potential of BIM in order to contribute to emerging approaches for a reliable and seamless interconnection between building information models and simulation environment input files. This would result into significant benefits, both from the cost-effectiveness (analysis is performed more effectively) and the reliability (simulation models strictly comply with design models) points of view. However, to implement such approaches, several barriers have to be considered. The first is the need for a common, standardized BIM language. The second is the definition of adequate and standardized extension mechanisms, to customize BIM for simulation-specific purposes. The third is the provision of software tools, for effective and reliable BIM to simulation models transformation.The first barrier is likely to be overcome through the advent of the buildingSMART Industry Foundation Classes (IFC), which is widely recognized as a standard BIM exchange format in the construction industry. However, with respect to the second barrier, the IFC remains a wide-purpose modelling language and as such, fails to address many domain-specific issues, like e.g. energy simulation. This limitation has been acknowledged by buildingSMART, who have delivered novel methodological tools to allow for domain-specific customization of IFC. The main one is called the Information Delivery Manual (IDM). The aim of our work is the implementation and evaluation the BuildingSMART framework IDM/MVD to interconnect BIM (IFC) and energy simulation. This study led us to propose a pivotal model (BSM for « Building Simulation Model») based on an analogy with model driven engineering approaches. We also have developed a software prototype, which includes a set of mapping rules that automates the translation process between the IFC model and the simulation tool. In the scope of this study, we targeted the COMETH simulation tool (a simulation engine based on the French thermal regulation RT2012) but our results can easily be extended to additional tools.

La conception des systèmes mécatroniques, vu leur complexité, nécessite d'entreprendre une approche systémique. Une approche systémique implique l'utilisation d'une méthodologie permettant, en premier lieu, de considérer le système avec toutes ses composantes (mécanique, électronique, informatique, etc.) et de fournir les moyens de concevoir et de spécifier ce système par la définition de ses composants et des liens qui existent entre eux. D'autre part, cette méthodologie doit aussi donner la possibilité de décrire ces composants avec les outils existants dédiés aux domaines technologiques. Nous nous sommes tournés vers des technologies orientées-objet, en l'occurrence l'ingénierie guidée par les modèles MDE, pour construire une méthodologie permettant d'entreprendre cette approche systémique supportant les activités d'ingénierie décrites dans le standard ISO/IEC/IEEE 15288. Dans cette thèse, nous proposons donc une méthodologie qui répond à ces besoins et que nous avons intitulé MISSyM. Dans MISSyM, les activités de conception sont réalisées sur des modèles SysML étendus par des profiles supportant le standard ISO/IEC/IEEE 15288. De plus, MISSyM intègre le support d'éléments de modélisation spécifiques aux systèmes mécatroniques qui sont le composant mécatronique ainsi que des extensions et des design pattern spécifiques. Nous avons aussi intégré dans MISSyM une extension au langage SysML supportant les Bond Graphs et permettant d'entreprendre une analyse énergétique des systèmes hétérogènes. Nous avons par la suite enrichi la méthodologie MISSyM par une méthode de vérification de la qualité de l'architecture qui repose sur un algorithme utilisant des métriques sur les modèles décrivant l'architecture d'un composant donné ou du système puis appliquant un algorithme de partitionnement de la matrice de dépendances ou DSM (existant) pour proposer une amélioration de cette architecture. Nous avons en plus fourni l'ouverture vers le langage de simulation Modelica par la génération de code. Et finalement, nous avons décrit le processus global de la méthodologie basé sur l'architecture de modèles MDA et en concordance avec le standard d'ingénierie système ISO/IEC/IEEE 15288. Nous avons fourni un exemple d'application pour permettre aux ingénieurs système de mieux utiliser le nouveau langage SysML à travers cette méthodologie.

Notre proposition consiste à présenter un modèle et une infrastructure d'exécution orienté composant pour le domaine des applications multi-tâches à contraintes temps réel souples et embarquées (nommé Tinap).<br /><br />Nous définissons un modèle de composant reposant sur plusieurs vues : une vue structurelle, placée au centre du cycle de conception, reposant initialement sur le modèle Fractal, une vue dynamique permettant au concepteur, dans une démarche descriptive, de personnaliser l'architecture métier pour définir les aspects de son applicatif liés à la concurrence, et enfin une vue implantation et une vue comportement fournissant respectivement une abstraction de l'implantation interne des composants et de leur comportement à l'égard de leur environnement. De plus, notre proposition est intégrée à un cadre méthodologique dirigé par les modèles.<br /><br />Nous avons également expérimenté le paradigme composant à différents niveaux d'abstraction : pour l'applicatif et pour celui de l'infrastructure d'exécution qui les implante. Enfin, au niveau du système d'exploitation fournissant les services élémentaires nécessaires. Cette démarche est motivée par la volonté d'exploiter notre modèle multi-vues canonique et de l'adapter en fonction des besoins de chaque niveau d'abstraction. Cette expérimentation est menée avec Think, une implantation en C des spécifications Fractal.<br /><br />Nous expérimentons Tinap par deux cas d'étude que nous avons prototypés. En premier lieu, pour concevoir une application d'analyse et de contrôle de flux multimédias par l'intermédiaire de disques vinyles. En second lieu pour expérimenter la mise en oeuvre du modèle d'exécution Accord (une méthodologie de conception pour applications temps-réel).