A concepção e desenvolvimento de sistemas interactivos envolve aspectos que vão desde a psicologia à engenharia de software. Recentemente verificou-se uma rápida evolução nesta área multidisciplinar, tanto a nível tecnológico, como do contexto de utilização da tecnologia. Assim, às tradicionais preocupações com a eficácia, eficiência e satisfação, juntam-se agora questões como entretenimento, design, estética, cooperação, ubiquidade e adaptabilidade. Paralelamente, o leque de utilizadores alvo dos sistemas é cada vez mais alargado, existindo a preocupação de desenvolver interfaces para pessoas e contextos de utilização com diferentes tipos de necessidades e requisitos ao nível físico ou cognitivo. Torna-se assim necessário perceber o impacto destas novas realidades no processo de interacção e no desenvolvimento de sistemas interactivos.
Depois do sucesso da primeira edição, organizada em Julho de 2004 na Faculdade de Ciência da Universidade de Lisboa, organizou-se agora a Interacção 2006 – 2a. Conferência Nacional em Interacção Pessoa-Máquina – numa iniciativa conjunta do Grupo Português de Computação Gráfica e do Departamento de Informática/Centro de Ciências da Computação da Universidade do Minho. Tal como na sua primeira edição, a Interacção 2006 visou promover um ponto de encontro da comunidade interessada na Interacção Pessoa-Máquina em Portugal. Reunindo investigadores, docentes e profissionais, permitiu a divulgação de trabalhos e a troca de experiências entre as comunidades académica e industrial.
Adoptando uma postura marcadamente multidisciplinar, a conferência desafiou os autores a abordar desde os fundamentos teóricos às práticas e aplicações emergentes, visando explorar sinergias nas seguintes dimensões:
• Aspectos Teóricos em Interacção Pessoa-Máquina
• Concepção, Desenvolvimento e Avaliação de Sistemas Interactivos • Tecnologias de Suporte à Interacção
• Aplicações Interactivas
Em resposta a este desafio, foram recebidos trabalhos de Portugal, Espanha e Brasil.
Como resultado do processo de revisão dos trabalhos propostos, foram organizadas sete sessões técnicas em que foram
apresentados 13 artigos longos e 16 artigos curtos, bem como uma sessão de posters e demonstrações em que foram apresentados 9 trabalhos. Para complementar o programa técnico foram ainda organizadas duas sessões proferidas por convidados internacionais de renome e uma sessão dedicada à indústria, em que se convidaram empresas e uma associação a apresentar a sua perspectiva sobre o tema da Usabilidade.
A conferência decorreu entre os dias 16 e 18 de Outubro de 2006, nas instalações da Universidade do Minho, Campus de Gualtar, em Braga. Procurou-se que ela fosse um retrato do trabalho que vem sendo desenvolvido nesta área em Portugal. Assim, as sessões técnicas desenvolveram-se em torno de sete temas principais, seleccionados a partir da análise dos trabalhos aceites: Acessibilidade, Psicologia Cognitiva e Colaboração, Concepção e Desenvolvimento, Interfaces Multi-modais e Adaptativas, Realidade Virtual e Aumentada, Vizualização e Pesquisa de Informação, e Avaliação. Sem se tratar de uma classificação estanque, pensamos ser esta uma organização natural e abrangente dos trabalhos apresentados.
Terminamos agradecendo aos membros do Comité Organizador e da Comissão de Programa todo o seu trabalho, aos oradores convidados, Michael D. Harrison e Larry L. Constantine, bem como às instituições que aceitaram o desafio de participar na sessão dedicada à indústria (Associação Portuguesa de Profissionais de Usabilidade, MobiComp, Wintouch e Edigma.com) e a todos os autores. Agradecemos finalmente a todos os patrocinadores por nos ajudarem a tornar este evento possível. Esperamos que esta tenha sido mais uma contribuição para fomentar a partilha e colaboração da comunidade Interacção Pessoa-Máquina em Portugal.

Estabeleceu−se uma plataforma de teste com um encaminhador que implementa o paradigma Diffserv. Este encaminhador revelou que é possível fornecer serviços com qualidade recorrendo á implementação de classes de tráfego, cada uma com características específicas, de forma independente e sem interferências.

Abstract The development of smart mobility initiatives requires specialized and contextualized policies addressing the needs and interests of many stakeholders involved. Since the development of such policies is challenging, there is a need to learn from the experience of many cities around the world offering efficient and successfully adopted smart mobility services. However, in practice, the information provided about such initiatives is shallow and unstructured. To address this issue, we study the state of the art in mobility services, reviewing scientific publications and 42 smart mobility services delivered by nine smart cities around the world, and we propose a taxonomy for planning and designing smart mobility services. The taxonomy provides a common vocabulary to discuss and share information about such services. It comprises eight dimensions: type of services, maturity level, users, applied technologies, delivery channels, benefits, beneficiaries, and common functionality. The contribution of the proposed taxonomy is to serve as a tool for guiding policy makers by identifying a spectrum of mobility services that can be provided, to whom, what technologies can be used to deliver them, and what is the delivered public value so to justify their implementation. In addition, the taxonomy can also assist researchers in further developing the domain. By identifying common functionality, it could also help Information Technology (IT) teams in building and maintaining smart mobility services. Finally, we further discuss usage scenarios of the taxonomy by policy makers, İT\} staff and researchers.

Dataflow programs are widely used. Each program is a directed graph where nodes are computations and edges indicate the flow of data. In prior work, we reverse-engineered legacy dataflow programs by deriving their optimized implementations from a simple specification graph using graph transformations called refinements and optimizations. In MDE-speak, our derivations were PIM-toPSM mappings. In this paper, we show how extensions complement refinements, optimizations, and PIM-to-PSM derivations to make the process of reverse engineering complex legacy dataflow programs tractable. We explain how optional functionality in transformations can be encoded, thereby enabling us to encode product lines of transformations as well as product lines of dataflow programs. We describe the implementation of extensions in the ReFlO tool and present two non-trivial case studies as evidence of our work’s generality.

This paper presents a methodology, with supporting tool, for formal modeling and analysis of software components in cyber-physical systems. Using our approach, developers can integrate a simulation of logic-based specifications of software components and Simulink models of continuous processes. The integrated simulation is useful to validate the characteristics and functionalities of discrete system components early in the development process. The same logic-based specifications can also be formally verified using the Prototype Verification System (PVS), to gain additional confidence that the software design is compliant with specific safety requirements. Modeling patterns are defined for generating the logic-based specifications from the more familiar automata-based formalism. The ultimate aim of this work is to facilitate the introduction of formal verification technologies in the software development process of cyber-physical systems, which typically requires the integrated use of different formalisms and tools. A case study from the medical domain is used throughout the paper to illustrate the approach. A PVS model of a pacemaker is interfaced with a Simulink model of the human heart. The overall cyber-physical system is co-simulated to validate design requirements through exploration of relevant test scenarios. Formal verification with the PVS theorem prover is demonstrated for the pacemaker model for specific safety aspects of the pacemaker design.