Analysis-aware design of embedded systems software

In the past many different methodologies have been devised to support software development and different sets of methodologies have been developed to support the analysis of software artefacts. We have identified this mismatch as one of the causes of the poor reliability of embedded systems software. The issue with software development styles is that they are ``analysis-agnostic.'' They do not try to structure the code in a way that lends itself to analysis. The analysis is usually applied post-mortem after the software was developed and it requires a large amount of effort. The issue with software analysis methodologies is that they do not exploit available information about the system being analyzed.

In this thesis we address the above issues by developing a new methodology, called "analysis-aware" design, that links software development styles with the capabilities of analysis tools. This methodology forms the basis of a framework for interactive software development. The framework consists of an executable specification language and a set of analysis tools based on static analysis, testing, and model checking. The language enforces an analysis-friendly code structure and offers primitives that allow users to implement their own testers and model checkers directly in the language. We introduce a new approach to static analysis that takes advantage of the capabilities of a rule-based engine. We have applied the analysis-aware methodology to the development of a smart home application.

Disseminação de dados estatísticos georeferenciados através de WEB services e software livre.

Diferentes organizações públicas e privadas coletam e disponibilizam uma massa de dados sobre a realidade sócio-econômica das diferentes nações. Há hoje, da parte do governo brasileiro, um interesse manifesto de divulgar uma gama diferenciada de informações para os mais diversos perfis de usuários. Persiste, contudo, uma série de limitações para uma divulgação mais massiva e democrática, entre elas, a heterogeneidade das fontes de dados, sua dispersão e formato de apresentação pouco amigável. Devido à complexidade inerente à informação geográfica envolvida, que produz incompatibilidade em vários níveis, o intercâmbio de dados em sistemas de informação geográfica não é problema trivial. Para aplicações desenvolvidas para a Web, uma solução são os Web Services que permitem que novas aplicações possam interagir com aquelas que já existem e que sistemas desenvolvidos em plataformas diferentes sejam compatíveis. Neste sentido, o objetivo do trabalho é mostrar as possibilidades de construção de portais usando software livre, a tecnologia dos Web Services e os padrões do Open Geospatial Consortium (OGC) para a disseminação de dados espaciais. Visando avaliar e testar as tecnologias selecionadas e comprovar sua efetividade foi desenvolvido um exemplo de portal de dados sócio-econômicos, compreendendo informações de um servidor local e de servidores remotos. As contribuições do trabalho são a disponibilização de mapas dinâmicos, a geração de mapas através da composição de mapas disponibilizados em servidores remotos e local e o uso do padrão OGC WMC. Analisando o protótipo de portal construído, verifica-se, contudo, que a localização e requisição de Web Services não são tarefas fáceis para um usuário típico da Internet. Nesta direção, os trabalhos futuros no domínio dos portais de informação geográfica poderiam adotar a tecnologia Representational State Transfer (REST).

Avaliação de sistemas de informações geográficas na internet através de teste de software.

A utilização de sistemas de informações geográficas via Web (Sigweb) tem crescido nos últimos anos pela facilidade na manipulação e visualização de informações de diferentes lugares através da Internet. O objetivo deste estudo é realizar testes de sistemas de informações geográficas na Internet com ênfase na técnica funcional para avaliar a funcionalidade, usabilidade, a navegabilidade dos programas conhecidos como Sigweb prontos para usar. Para tanto, foi necessária a identificação dos casos de uso dos programas propostos para o estudo. Como resultado se pode conferir o comportamento dos sistemas durante os testes, além de distinguir as características de cada SigWeb e as dificuldades encontradas.

A low-level geographic information system for coastal zone management with applications to Brunei Darussalam: Part III:: simulation and tracking oil spills

B:RUN is a low-level GIS software designed to help formulate options for the management of the coastal zone of Brunei Darussalam. This contribution presents the oil spill simulation module of B:RUN. This simple module, based largely on wind and sea surface current vector parameters, may be helpful in formulating relevant oil spill contingency plans. It can be easily adapted to other areas, as can the B:RUN software itself.

A Low-level Geographic Information System for coastal zone management, with applications to Brunei Darussalam: Part I: The concept and its design elements

This contribution is the first part of a four-part series documenting the development of B:RUN, a software program which reads data for common spreadsheets and presents them as low-resolution maps of slates and processes. The program emerged from a need which arose during a project in Brunei Darussalam for a 'low level' approach for researchers to communicate findings as efficiently and expeditiously as possible. Part I provides a overview of the concept and design elements of B:RUN. Part II will highlight results of the economics components of the program evaluating different fishing regimes, sailing distances from ports and fleet operating costs. Environmental aspects will be presented in Part III in the form of overlay maps. Part IV will summarize the implications of B:RUN results to coastal and fishery resources management in Brunei Darussalam and show how this approach can be adapted to other coastlines and used as a teaching and training tool. The following three parts will be published in future editions of Naga, the ICLARM Quarterly. The program is available through ICLARM.

Spatial Allocation of Material Flow Analysis: A Geographic Information System Application of Material Flow Analysis in Ireland

This study concerns the spatial allocation of material flows, with emphasis on construction material in the Irish housing sector. It addresses some of the key issues concerning anthropogenic impact on the environment through spatial temporal visualisation of the flow of materials, wastes and emissions at different spatial levels. This is presented in the form of a spatial model, Spatial Allocation of Material Flow Analysis (SAMFA), which enables the simulation of construction material flows and associated energy use. SAMFA parallels the Island Limits project (EPA funded under 2004-SD-MS-22-M2), which aimed to create a material flow analysis of the Irish economy classified by industrial sector. SAMFA further develops this by attempting to establish the material flows at the subnational geographical scale that could be used in the development of local authority (LA) sustainability strategies and spatial planning frameworks by highlighting the cumulative environmental impacts of the development of the built environment. By drawing on the idea of planning support systems, SAMFA also aims to provide a cross-disciplinary, integrative medium for involving stakeholders in strategies for a sustainable built environment and, as such, would help illustrate the sustainability consequences of alternative The pilot run of the model in Kildare has shown that the model can be successfully calibrated and applied to develop alternative material flows and energy-use scenarios at the ED level. This has been demonstrated through the development of an integrated and a business-as-usual scenario, with the former integrating a range of potential material efficiency and energysaving policy options and the latter replicating conditions that best describe the current trend. Their comparison shows that the former is better than the latter in terms of both material and energy use. This report also identifies a number of potential areas of future research and areas of broader application. This includes improving the accuracy of the SAMFA model (e.g. by establishing actual life expectancy of buildings in the Irish context through field surveys) and the extension of the model to other Irish counties. This would establish SAMFA as a valuable predicting and monitoring tool that is capable of integrating national and local spatial planning objectives with actual environmental impacts. Furthermore, should the model prove successful at this level, it then has the potential to transfer the modelling approach to other areas of the built environment, such as commercial development and other key contributors of greenhouse emissions. The ultimate aim is to develop a meta-model for predicting the consequences of consumption patterns at the local scale. This therefore offers the possibility of creating critical links between socio technical systems with the most important challenge of all the limitations of the biophysical environment.

Modelling large-scale information systems using ADLs – An industrial experience report

An organisation that had developed a large information system wanted to embark on a programme that would involve large-scale evolution of it. As a precursor to this, it was decided to create a comprehensive architectural description to capture and understand the system’s design. This undertaking faced a number of challenges, including a low general awareness of software modelling and software architecture practices. The approach taken by the software architects tasked with this project included the definition of a simple, very specific, architecture description language. This paper reports our experience of the project and a simple ADL that we created as part of it. 

Introducción al software libre en general y a los SIG libres en particular

En este documento se analizan los conceptos clave relacionados con el software libre: ¿qué es el software libre? ¿qué es el software propietario? ¿qué es el software gratuito? ¿qué es una licencia copyleft? A continuación se muestra cómo las aplicaciones horizontales libres se desarrollan de forma distinta a las verticales libres, entre las que se encuentran los SIG. Seguidamente se detallan las características de los sistemas SIG, centrándose en los SIG libres. El hecho de ser una aplicación vertical condiciona y explica buena parte de las particularidades de los SIG libres. Estas particularidades se analizan a partir de impresiones de profesionales de los SIG. Todo ello lleva a la conclusión que los SIG libres no pueden depender sólo de una comunidad de desarrolladores y necesitan un respaldo económico importante

gvSIG: Sistema de Información Geográfica en Software Libre de la Generalitat Valenciana

Presentació del projecte gvSIG, el sistema d'informació geogràfica en software lliure aplicat a la Generalitat Valenciana

Software libre y sistemas de información geográfica: conceptos, definiciones y aspectos legales

This article covers some of the principal legal aspects of free and open software applied to Geographic Information Systems. Starting out form basic concepts in FOSS licensing, it aims to deal with questions such as "who is responsible for FOSS projects'", "how are they developed?", "who is the owner of the software?" and discusses the legal issues and problems that may arise during the course of creating, distributing or deploying a FOSS-based GIS

Wikiloc: software libre y APIs de Google Maps para visualizar y compartir rutas GPS

Wikiloc es un servicio web gratuito para visualizar y compartir rutas y puntos de interés GPS. Utilizando software libre y la API de Google Maps, Wikiloc hace la función de base de datos personal de localizaciones GPS. Desde cualquier acceso a Internet un usuario de GPS puede cargar sus datos GPS y al momento visualizar la ruta y waypoints con distinta cartografía de fondo, incluidos servidores de mapas externos WMS (Web Map Service) o descargarlo a Google Earth para ver en 3D. Paralelamente se muestra el perfil de altura, distancia, desniveles acumulados y las fotos o comentarios que el usuario quiera añadir

Panorama actual del ecosistema de software libre para SIG

Los proyectos y productos comúnmente llamados Free and Open Source Software relacionados con la geomática están experimentando una evolución y actualización vertiginosa. A los "tradicionales" proyectos de servicios de mapas, bases de datos espaciales o clientes pesados, se les están uniendo un amplio conjunto de componentes como servicios de publicación, clientes ligeros, servicios de geoprocesamiento, movilidad, frameworks, ... o nuevos estándares como GeoRSs, WMS Tiled, WPS, ... (...)

Arquitectura SOA para la integración entre software libre y software propietario en entornos mixtos

Tanto los sistemas basados en software propietario como en software libre tienen vengajas e inconvenientes que hacen que una empresa o institución no pueda elegir, al menos a corto plazo, en una solución global basada en un solo tipo de software. Consecuencia de esto, lo más habitual es encontrarnos con elementos mixtos en lo que la política de software se refiere. (...)