Amphi
4 février 2010 - 13h30
Component-Based Construction of Real-Time Systems (HDR)
par Marius Bozga de Verimag
Abstract: The design of complex and reliable IT systems is a challenging engineering problem. In contrast to traditional engineering disciplines, predictability cannot be guaranteed at design time and a
posteriori analyses are mandatory for ensuring corectness and estimating runtime performances.
During the five past years, I have contributed to the development of a system design methodology based on BIP - Behavior, Interaction, Priority - component framework. BIP is a component model providing strict separation between behavior of components and their coordination, an enhanced expressiveness for encompassing heterogeneous execution and interaction and finally, a rigorous
operational semantics and a general execution model. The BIP design methodology represents a first step towards constructive and predictable system design. It favors a correct-by-construction
design process, formalized as a sequence of semantics preserving model transformations, which lead progressively from a model of the application software to an implementation by taking into account
execution platform constraints.
HDR
Jury composé de:
Valérie Issarny, DR Inria Rocquencourt, rapporteur
Jean-Marc Jézéquel, Professeur à l'Université de Rennes, rapporteur
Bengt Jonsson, Professeur à l'Université de Uppsala, rapporteur
Jean-Bernard Stefani, DR Inria Grenoble Rhone Alpes
Joseph Sifakis, DR CNRS, Verimag
