Universidade Federal do Rio de Janeiro COPPE

Instituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa de Engenharia

Instituto de Matemática

 
Visualizar Meses
Visualizar Meses
Visualizar Flat
Visualizar Flat
Visualizar Semanas
Visualizar Semanas
Visualizar Dias
Visualizar Dias
Categorias
Categorias
Procurar
Procurar

Evento: 'Conferência Prof. Gérard BERRY (Collège de France)'

Eventos PESC (Palestras, Seminários, etc.)
Palestras, Seminários, etc. do PESC/COPPE/UFRJ.
Data: Wednesday, August 28, 2013 At 14:00
Duração: 2 Horas

Conferência

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.

Horário: 14h00

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
Abstract:

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.

Apoio:

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
maculan@cos.ufrj.br e ldavid@if.ufrj.br
tel.: + 55 21 2562-8708


Procurar no Calendário

Powered by ExtCalendar 2

© 2017 PESC/COPPE - Programa de Engenharia de Sistemas e Computação

Cidade Universitária, Centro de Tecnologia, Bloco H, Sala 319
Caixa Postal: 68511 CEP: 21941-972 Fones: +55 21 3938-8672 / +55 21 3938-8673 Fax: +55 21 3938-8676
Rio de Janeiro - RJ - Brasil
Horário de atendimento da Secretaria: 2a. a 6a. de 7:00 às 16:00 horas (exceto feriados escolares)