ISEP | Auditório CISTER 19 de fevereiro de 2013 | 11:00
O Centro de Investigação em Sistemas Confiáveis e de Tempo-Real (CISTER) convida Giuseppe Lipari para a próxima sessão da CISTER Distinguished Seminar Series. O professor da italiana Scuola Superiore Sant´Anna vem ao Porto para falar sobre “Análises baseadas em Componentes de Sistemas de Tempo-real”.
COMPONENT-BASED ANALYSIS OF REAL-TIME SYSTEMS The complexity of modern embedded real-time systems is constantly increasing, as new and more complex functionality is added to existing software. At the same time, due to the increasing computational power of the hardware platforms and to the pressure to reduce the costs, software that in the past was run on different computational nodes, is now being integrated onto a single node. An appealing way to reduce complexity is to apply a component-based real-time design methodology. A real-time system can be seen as a set of interacting components, each one providing a well-defined subset of functionalities, whose integration produces the final system behavior. A component-based methodology is successful only if it can effectively reduce the complexity. To achieve this goal, the system designer must be able to 1) analyze and validate each component in isolation from the rest of the system, 2) summarize its properties and requirements into simpler interfaces, 3) perform the final integration analysis and validation on the component interfaces. In this talk, the author will give an overview of current techniques for component-based analysis of real-time systems, with a look at their possible use in avionics and automotive systems. Then, a possible research agenda will be discussed, highlighting the shortcomings of current analysis and how to improve on it.
INVITED-SPEAKER Giuseppe Lipari, Scuola Superiore Sant´Anna, Italy (http://retis.sssup.it/~lipari) Giuseppe Lipari is Associate Professor of Computer Engineering at Scuola Superiore Sant´Anna. He is part of the RETIS lab of the TeCIP (Institute of Communication, Information and Perception Engineering). From April 2012, he is visiting researcher at the Laboratoire de Spécification et Vérification, École Normal Supérieure de Cachan, France. He is IEEE member, and associate editor of the Real-Time Systems Journal and of the Journal of System Architectures. His research interests are in real-time systems, real-time operating systems, scheduling algorithms, embedded systems, wireless sensor networks.
Instituto Superior de Engenharia do Porto