Derivation and consistency checking of models in early software product line engineering

Dissertação para obtenção do Grau de Doutor em Engenharia Informática

Agent-based parking occupancy simulation

The existing parking simulations, as most simulations, are intended to gain insights of a system or to make predictions. The knowledge they have provided has built up over the years, and several research works have devised detailed parking system models. This thesis work describes the use of an agent-based parking simulation in the context of a bigger parking system development. It focuses more on flexibility than on fidelity, showing the case where it is relevant for a parking simulation to consume dynamically changing GIS data from external, online sources and how to address this case. The simulation generates the parking occupancy information that sensing technologies should eventually produce and supplies it to the bigger parking system. It is built as a Java application based on the MASON toolkit and consumes GIS data from an ArcGis Server. The application context of the implemented parking simulation is a university campus with free, on-street parking places.

Sistema de segurança interna : a unificação do sistema em Portugal

A aceleração do ritmo de mudança verificado nas sociedades atuais, tem sido impulsionado pela globalização, fenómeno decorrente da evolução das tecnologias da informação, das telecomunicações, das comunicações e transportes e do desaparecimento de fronteiras. Viver na “aldeia global” ou à escala global como o previu Marshall McLuhan (1964) no livro Understanding Media, é hoje uma realidade inquestionável. As consequências desta transformação foram múltiplas quer do ponto de vista dos benefícios, quer do ponto de vista dos problemas gerados. No plano da segurança, face ao multiculturalismo envolvido e ao aumento crescente do crime transfronteiriço, tornou-se essencial a partilha de informação a nível internacional tendo em vista o seu combate não só olhando a situação dos cidadãos como a defesa dos princípios democráticos. Realça-se que os progressos tecnológicos e as facilidades que criam aos seus utilizadores, neste caso os criminosos, fazem com que as ações por estes praticadas sejam cada vez mais meticulosas, imprevisíveis, sofisticadas e complexas o que impõe uma resposta correspondente e adequada. Por essa razão, as políticas de segurança existentes mostraram-se insuficientes e esgotadas requerendo novas respostas capazes de produzir os efeitos desejáveis para uma efetiva prevenção da criminalidade. Pelas dimensões que tem vindo a tomar, a criminalidade tornou-se uma preocupação que ultrapassou o domínio da segurança interna de cada país para ser encarada a nível internacional ou mesmo mundial. Para o efeito urge concertar processos e procedimentos securitários agregando vontades que convirjam e defendam a unificação dos sistemas dos países a nível mundial. A verificar-se tal intento, daí resultariam significativas melhorias da segurança a todos os níveis (nacional, internacional e mundial). Além disso também resultariam ganhos em termos de tempo, redução de custos, impacto na qualidade dos serviços prestados, na gestão das pessoas e na eficiência das organizações. Realça-se que a democracia ao promover a dignidade do homem densificando os seus direitos, liberdades e garantias, criou indiretamente condições para que fosse gerada instabilidade e o desenvolvimento de comportamentos criminosos. Importa, portanto, face à situação existente e à previsível complexidade do crime no futuro, estudar profundamente a nova realidade neste domínio, para tomar as medidas preventivas tendentes a reporem a estabilidade e a promoverem a paz social. Foi neste contexto que a presente investigação, desenvolvida no âmbito académico, mas também suportado na realidade profissional, pretendeu refletir sobre o estado da segurança global e dar o seu contributo nesta matéria.