Concept

Programmation orientée composant

Publications associées (98)

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search

Practical Approaches for Software Components Integration in Telecommunications

Sébastien Rumley, Christian Gaumier

Nowadays, advances in telecommunication network design and performance analysis often rely on dedicated software tools. Unfortunately, developing new tools is a very time and resources consuming activity. To rationalise development costs, existing applicat ...

2008

A Notion of Glue Expressiveness for Component-Based Systems

Joseph Sifakis, Simon Bliudze

Comparison between different formalisms and models is often by flattening structure and reducing them to behaviourally equivalent models e.g. automaton and Turing machine. This leads to a notion of expressiveness which is not adequate for component-based s ...

Springer2008

Visual contracts (VCs)

José Diego de la Cruz Garcia

Model-Driven Engineering (MDE) harbors the promise of developing software-based systems with little or no coding. Instead of coding, it is envisioned that software engineers build models that are automatically translated into code. The modeling notation of ...

EPFL2008

Innovative Timber Construction

Yves Weinand

The research being undertaken in the EPFL’s Timber Construction Laboratory aims to question in depth the relationship between engineering sciences and architectural conception. The IBOIS is firmly ingrained in the Institute of Structures, as well as being ...

2008

A hardware-software design framework for distributed cellular computing

Pierre-André Mudry, Michel Ganguin, Julien Ruffin

In this article, we describe a novel hardware-software design framework for prototyping cellular architectures in hardware. Based on an extensible platform of about 200 FPGAs, configured as a networked structure of processors, the hardware part of this com ...

2008

Ensuring properties of interaction systems

Joseph Sifakis

We propose results ensuring properties of a component-based system from properties of its interaction model and of its components. We consider here deadlock-freedom and local progress of subsystems. This is done in the framework of interaction systems, a m ...

2007

The Algebra of Connectors — Structuring Interaction in BIP

Joseph Sifakis, Simon Bliudze

We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types are used to describe different modes of synchronisation: rendezvous and broadc ...

ACM2007

The Weight-Watcher Service and its Lightweight Implementation

Rachid Guerraoui, Maxime Monod, Benoît Garbinato, Jesper Honig Spring, Alexei Kounine

This paper presents the Weight-Watcher service. This service aims at providing resource consumption measurements and estimations for software executing on resource constrained devices. By using the Weight-Watcher, software components can continuously adapt ...

2007

Integration of Grid Cost Model into ISS/VIOLA Meta-scheduler Environment

Vincent Keller, Michela Thiémard

The Broker with the cost function model of the ISS/VIOLA Meta-Scheduling System implementation is described in details. The Broker includes all the algorithmic steps needed to determine a well suited machine for an application component. This judicious cho ...

Springer2007

A Component Approach to Optical Transmission Network Design

The article describes the philosophy of component approach to system design, illustrated on the optical transmission network example. The approach is based on the object oriented paradigms of Cosmos and Nyx tools. Cosmos serves as the support for system an ...

Springer2006