CÁTEDRA CLAUDE BERNARD
(UNIVERSIDADE FEDERAL DO RIO DE JANEIRO –
COLLÈGE DE FRANCE – ACADEMIA BRASILEIRA DE
CIÊNCIAS – ACADEMIA FRANCESA DE CIÊNCIAS)
Data: quarta-feira, 28 de agosto de 2013.
Local: Sala G-122, COPPE, Centro de Tecnologia, UFRJ, Ilha do Fundão.
Conferencista: Professor Gérard BERRY, Collège de France, Paris.
Título: TIME AND EVENTS IN INFORMATICS
Many modern domain of Informatics have to deal in a precise way of timing and eventhandling issues; examples are real-time or reactive embedded systems, electronic
circuits and Systems on Chips, software-based simulation of physical systems, the
development of rich Web applications by orchestrating existing Web services, and
musical composition and interpretation based on mixed human-electronic interpretation.
Paradoxically, the mainstream computing theories and programming languages tend to
neglect times and events, time being most often considered only as a complexity
measure and events handled in an ad-hoc way. Taking the opposite view, we review the
fundamental and technical questions posed by time and events as fundamental design
parameters, and discuss the theoretical and practical ways of designing and elegantly
programming time- and event-based applications. We show that the classical notion of
time in physics and their usual mathematical formalizations should be widely extended
in informatics, allowing us to speak about concepts such as thick instants, multiform
time, elastic time, etc. In particular, we demonstrate the power and limitations of the
synchronous model of computation and communication, the first model explicitly
dedicated to time and event. We discuss its implementation in the Esterel and SCADE
programming languages, which have become standard tools for safety-critical industrial
embedded systems in avionics and other fields, and are also perfectly suited to very
different application fields such as circuit design and music composition.
Consulado Geral da França no Rio de Janeiro
INCT: WEB-SCIENCE (CNPq e FAPERJ)
Programa de Engenharia de Sistemas e Computação, COPPE, UFRJ.
Instituto de Matemática, UFRJ.
Responsáveis na UFRJ:
Nelson Maculan([email protected]) e Luiz Davidovich ([email protected])
tel.: + 55 21 2562-8708