Seminar: Gérard Berry, Director of Research, INRIA Sophia-Antipolis

        Gérard Berry, Director of Research, INRIA Sophia-Antipolis
http://www-sop.inria.fr/members/Gerard.Berry

Computation models for embedded systems and their composition

Many efficient design and verification techniques have been developed for
classical HW or SW embedded systems: logic synthesis, scheduling,
synchronous and reactive programming, Modern embedded systems are much more
diverse and involve more complex architectures: locally synchronous parts
are linked asynchronously, web-based devices are used to drive the system,
some computations become probabilistic, etc. This requires to develop
cooperation between diverse computation models, with heterogeneous code
generation, simulation, and verification. We analyze the difficulties of
this process, centering the discussion on how to develop clean semantics to
deal with causality and dependency issues within computations.


Biography:

Gérard  Berry is currently Director of Research at INRIA. His main area of
research is the design and verification of hardware circuits and software
embedded system. He was  Chief Scientist of the Esterel Technologies
company
from 2001 to 2009, directing the development of the Esterel Studio hardware
specification, synthesis, and verification system, and taking part in the
development of the SCADE 6 language for critical embedded systems in
avionics, railways, etc. He acted as Professor at Collège de France in
2007-2008 (course "How and Why the World Becomes Digital" and 2009-2010
(course "Thinking About, Modeling, and Mastering Computation"). He is a
member of Académie des sciences, Académie des technologies, and Academia
Europaea.