Universidade Federal do Rio de Janeiro COPPE
Instituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa de Engenharia
Instituto de Matemática
Data: Wednesday, August 28, 2013 At 14:00
Duração: 2 Horas
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 e Luiz Davidovich
email@example.com e firstname.lastname@example.org
tel.: + 55 21 2562-8708