researResearch - Télécom Bretagne

h Research
9
RESEARCH
Main achievements of the project
Modelling, checking and running of
real-time systems
Within the framework of the ANR SpaCIFY project
carried out in collaboration with the CNES, Thalès
Aliena Space, EADS Astrium, TNI-Software, anyware,
IRISA, and IRIT, we proposed an architecture model
of a reconfigurable middleware with a component
base. This middleware will be the target of the whole
set of development processes based on safe
transformations developed by other partners. The
middleware we propose is built around a classical
task management kernel but with synchronous
mechanisms based on a notion of external variables
introduced for the project. The tasks and external
variables are specified by synchronisation contracts
which ensure accurate and safe control of
reconfigurations.
Model transformation
Eveline Kaboré [2], September 8 2008, defended her
thesis entitled «contribution to the automation of a
construction process of communication abstractions
by successive transformation of models. » Her thesis
shows that it is possible to define a set of reusable
metamodels to automate a process of software
development comprising numerous design choices
in order to produce implantation variants within the
same component abstraction.
François Mekerke [4], April 21 2008, defended his
thesis entitled « modelling and metamodelling
components enforceable as support for
methodologies for the development of embedded
systems ». This research, carried out at ENSIETA,
proposes to structure the transformation of models,
models and metamodels used in model based
engineering, in components.
Adaptation specification and running
support
In an extension of the research done by Eveline
Kaboré, An Phung Khac’s thesis proposes to exploit
design variants resulting from the process of
transformation of models to build adaptive
distributed components. The variants are grouped in
a single component which embeds the different
variants as well as the transition mechanisms from
one variant to another. The existence of the initial
abstraction of the component makes it possible to
make this variant transition without loss of data and
during the running of the component. This research
was published in 2008 and presented in several
workshops and in SAC'08 and MoDELS'08.
The research carried out in collaboration with the
MARGE de Télécom ParisSud&Management team
within the framework of the JEMTU project, makes it
possible to propose variants of synchronisation
algorithms for multiplayer games.
Specification of extra-functional properties
in software architectures
Within the framework of research work on the
specification of software architectures, we proposed
an approach to describe formally styles of distributed
architectures independently of any applicative
functionality (eg: client-server, peer to peer). These
styles, specified thanks to a process calculus may
then be combined with functional models and thus
allow an early analysis of extra-functional properties
able to guide the design choices of architects.
Deployment of software
Meriem Belguidoum [1], February 27 2008, defended
her thesis entitled « the design of an infrastructure
for the safe and flexible deployment of software
components ». Her research proposes the
formalisation of deployment mechanisms (addition,
removal and replacement of components) as well as
a specification of software components which show
the internal dependencies between offered and
required services. This supplementary information is
exploited by a system of proofs which verifies that an
addition, a replacement or a removal of components
is correct.
83