Headband Research

Laboratoires.Ecoles, Collège et Formation doctorales 

Stratégie. Séminaires, colloques. Sciences et société

Réseaux et pôles d'excellence. Investissements d'avenir (Labex)

Creative Commons license Une vision pour l’informatique - La perspective système [Nov. 3, 2011]


Joseph Sifakis / LIG

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.

Tags: keynote lig



Video file(s):

Audio file:


Check the box to autoplay the video.
Check the box to loop the video.
Check the box to indicate the beginning of playing desired.
 Embed in a web page
 Share the link
Comments have been disabled for this video.