Une vision pour l’informatique - La perspective système

Les Grandes Conférences du LIG - The LIG Keynote Speeches
 - 
LIG
Joseph Sifakis
Jeudi 03 novembre 2011
Réalisation technique : Djamel Hadji | Tous droits réservés

In this talk, I will discuss the evolution of Computer Science and in particular its shift of focus from algorithms and programs to systems. I will advocate for a coherent scientific foundation of system design and present a vision for its development in three work directions :

Marrying Physicality and Computation : Computation models ignore physical time and resources and are by their nature very different from analytic models used in physical systems engineering. In order to take into account interaction of computing systems with physical environments they must be enriched and extended with paradigms and methods from Electrical Engineering and Control Theory.

Component-based Construction : Complex systems are designed by assembling heterogeneous components. Heterogeneity has different sources including a large variety of interaction mechanisms, synchronous or asynchronous execution and different levels of abstraction. We need theoretical frameworks supporting meaningful and natural composition of heterogeneous components which is essential for tractable and productive system design.

Adaptivity : Complex systems must provide a service meeting given requirements in interaction with uncertain environments. It is impossible to predict at design time by case analysis all the potentially critical situations. Adaptivity is a means to enforce correctness in the presence of uncertainty by using control-based techniques. It encompasses a new and realistic vision for “intelligent systems” quite different from the “strong” vision of Artificial Intelligence.

I will conclude with general remarks about the nature of Computer Science as a scientific discipline on its own right and advocate for a deeper interaction and cross-fertilization with other more mature disciplines.

L'UMS MI2S a fermé le 31 décembre 2016, les vidéos hébergées sur son site le sont maintenant sur le site de GRICAD. Conformément à la loi informatique et libertés du 6 janvier 1978 modifiée, vous pouvez exercer vos droits de rétraction ou de modification relatifs aux autorisations validées par MI2S auprès de l'UMS GRICAD.