Avaliação
Temporal de Sistemas (Paulo
Romero Martins Maciel)
A rápida evolução dos sistemas
computacionais, comunicações e tecnologia de sensoriamento
têm proporcionado o desenvolvimento de sistemas dinâmicos de alta complexidade
e valor agregado. Os exemplos estão em nosso entorno, ao nosso alcance
na vida cotidiana: computadores pessoais; redes de comunicações;
sistemas computacionais embarcados dos mais diversos; sistemas de manufatura;
monitoração avançada de automóveis e
edificações, sistemas distribuídos etc. Parte
significativa das atividades destes sistemas é gerida por um conjunto de
regras operacionais sujeitas a eventos discretos que ocorrem de maneira
assíncrona. Estes eventos podem ser controlados, como por exemplos a
digitação de comandos em um teclado de um telefone celular, ou
não – a ocorrência de uma falha ou perda de um pacote nos
sistemas de comunicação. Sistemas com estas
características, integrantes da classe de sistemas dinâmicos,
são classificados com Sistemas de Eventos Discretos (Discrete
Event Systems - DES).
O estudo dos DES é uma tarefa complexa que
envolve conhecimento de controle; técnicas de medição e
monitoramento, modelagem funcional, análise e verificação
de propriedades qualitativas; modelagem e avaliação temporal
determinística e estocástica; estatística etc.
As linhas de pesquisa conduzidas podem ser delineadas
em três frentes
de estudo. Todas estas iniciativas, contudo, utilizam
um conjunto de ferramentas matemáticas comuns, o que proporciona o
compartilhamento do conhecimento desenvolvido.
A primeira frente de estudo é voltada para a
avaliação e desenvolvimento de sistemas embarcados, envolvendo o
desenvolvimento de: mecanismos de escalonamento de aplicações de
tempo real e a respectiva síntese do software; técnicas para
avaliação de consumo de energia e desempenho de
especificações e código; avaliação do
desempenho e confiabilidade em sistemas embarcados tolerantes à falha; e
avaliação temporal de especificações de
aplicações embarcadas críticas.
A segunda frente de trabalho trata sobre avaliação
de desempenho, disponibilidade e confiabilidade de aplicações
computacionais com foco são
sistemas de comunicação. Mais particularmente, neste ramo de
aplicações, os trabalhos concernem o estudo e desenvolvimento de
técnicas e procedimentos de avaliação de desempenho,
geração de carga e avaliação de capacidade de
servidores, centrais telefônicas e mecanismos de
comunicação.
Os sistemas produtivos também têm sido
objetos de alguns projetos atualmente em desenvolvimento. Estes sistemas
têm sido estudados sob o ponto de vista dos aspectos de desempenho,
disponibilidade de serviços e recursos e seu dimensionamento. Os estudos
em desenvolvimento têm tratado sobre o impacto das políticas de
distribuição, armazenamento e produção sobre o
desempenho dos sistemas.
Algumas informações adicionais:
Sistemas de Middleware (Nelson Souto Rosa)
Middleware is a communication software placed between the application and the operating
system (usually atop TCP or UDP) in order to hide the complexity of underlying
network mechanisms. This fact enormously facilitates the task of distributed
application developers as the middleware is viewed as a collection of
distributed services (or middleware services) that takes the primary
responsibility of communicating distributed applications. The middleware often
also provides additional services such as security, transaction, naming and
events, which “aggregate” value to the communication between
distributed applications.
My research interests include the development of (1) middleware systems and (2) service oriented computing (SOC) with
emphasis on the project, design and implementation of middleware systems and
web service composition. Middleware systems include ones running on desktops, mobile phones and sensor nodes, which may adopt different communication models such client-server, publish-subscribe and tuple spaces. In terms of SOC, my research focuses on the composition of web services regarding quality attributes and dynamic adaptation.
Mais
informações em: