INES – National Institute of Science and Technology for Software Engineering

RSS feed


August 2014
« Jul   Sep »

  • ASSERT + INES + UFPE researchers at CBSoft 2014

    Publicado em August 6th, 2014Publications

    Prof. Vinicius Cardoso Garcia together with graduate and undergraduate students will attend CBSoft 2014 in Maceió from 28 September to 03 October to attend the conference and present research papers. This activity is part of the project “Social Machines and Research Team – SMaRT” and is one of the results of the research being done by ASSERT Lab.

    , , , ,
  • DESERT-MAP – A plataform for desertification mapping by spectral images from satellites.

    Publicado em August 5th, 2014Projects

    The use of satellite images in the study of desertification has increased in recent years. In Pernambuco, there is a station for capturing and processing images using Meteosat-8 and NOAA satellites operated by GEOSERE-UFRPE (Laboratory of GIS and Remote Sensing of the Federal Rural University of Pernambuco) The primary products to be generated at the Station from NOAA are Thematic Maps like Normalized Difference Vegetation Index (NDVI), Sea Surface Temperature (SST) and Thematic Maps Earth Surface Temperature (LSTday and LSTnight). Such products are inputs to generate detailed information on desertification, climate changes and natural disaster monitoring for application in various fields of knowledge.

    This project aims to define a software platform to provide a continuous and integrable (as a service) service of navigable maps on the web for monitoring and risk assessment of desertification in the semiarid region of northeastern in Brazil. This will be done over the images produced by satellites of GEOSERE Station and based on mathematical-computational analysis. Such maps are composed by series images data taken by GEOSERE´s satellites. They will be analyzed and computed by mathematical models for inference in real-time and also as predictive scenarios of the risk of desertification in the semiarid region of northeastern Brazil.

    The importance for the industry is on assessing environmental impact parameters and predictive analysis of use of natural resources as inputs in their respective industry sectors.

    This project is a coordinate action by researchers from GOESERE-UFRPE, CIN-UFPE, CESAR and ISI-TICs.

    , , ,
  • INES – UFCG researchers at CBSoft 2014

    Publicado em August 4th, 2014Uncategorized

    Prof. Tiago Massoni, Prof. Adalberto Farias and Prof. Jorge Figueiredo together with undergraduate and doctoral students will attend CBSoft 2014 in Maceió from 28 September to 03 October.

  • UFCG researchers at CBSoft 2014

    Publicado em August 4th, 2014Uncategorized

    Prof. Wilkerson Andrade and Prof. Patricia Machado together with graduate and undergraduate students will attend CBSoft 2014 to present research papers. Prof. Wilkerson Andrade is program co-chair of SAST 2014 (Systematic and Automated Software Testing Workshop).This activity is part of the project “Combining Formal Methods and Testing in the Development of Real-Time Embedded Systems.

  • INES-UFS research at WESB 2014

    Publicado em August 4th, 2014Uncategorized

    Andre Britto, from UFS,  will present two papers at WESB 2014.  “Applying Particle Swarm Optimization for solving the Next Release Problem” and “Análise da Aplicação de Variantes do Algoritmo NSGA-II no Problema do Planejamento da Próxima Versão de um Software com Grande Número de Requisitos”. These results are part of the research project  “Investigating Algorithms, Techniques and Tools for Search Based Software Engineering”.

  • Meeting of the ArchIoT Project at UFRN

    Publicado em August 4th, 2014Uncategorized

    The first meeting of the ArchIoT Project will be held at Natal, UFRN, 11-12 August, with the goal of defining the  architecture and implementation details of the ArchIoT tool. Bruno Costa, from UFRJ, will attend the meeting to collaborate with Thais Batista, Eduardo Silva, Flávio Oquendo, and Jair Leite. Flávia Delicato and Paulo Pires, from UFRJ, will attend the meeting via videoconference.

  • INES-UFRN-UFRJ researchers at CBSoft 2014

    Publicado em August 4th, 2014Expenses, Publications

    Master student João Batista de Souza Neto will present his master’s dissertation paper “Um estudo sobre geração de testes com BETA: Avaliação e aperfeiçoamento” at WTDSoft at CBSoft 2014. Prof. Anamaria Martins Moreira, supervisor and member of some CBSoft 2014 program comittees (SBMF, SAST and CBSoft Tools), will also be there. This activity is part of the project “Confiabilidade e Segurança em Software Crítico”.

  • Project ArchIoT: An Architecture-Oriented Development Environment for Internet of Things Applications

    Publicado em August 3rd, 2014Uncategorized

    Internet of Things (IoT) platforms consist of several heterogeneous devices with different functionalities and diverse communication protocols. In this scenario, an important challenge is to define an architecture to: (i) provide abstractions to physical devices and services; (ii) provide search and discover services to find devices and services; (iii) allow the interconnection of the elements via network; (iv) allow the monitoring of the state and location of each connected element, and; (v) provide mechanisms to manage the interoperability of heterogeneous devices. EcoDiF (Ecossistema Web de Dispositivos Físicos) – EcoDiF: is a middleware platform to connect devices with applications and/or final users in an IoT ecosystem that integrates heterogeneous physical devices and provides data control, visualization, processing, and storage, in real time. This platform was developed in the context of a Work Group of RNP (Rede Nacional de Ensino e Pesquisa). EcoDiF prototype is available at Several applications were developed to validate EcoDiF. They are available at

    In terms of applications development, EcoDif provides a programming and execution environment that uses data (feeds) available at the platform and allows the generation of new information that will be also available to be used by other feeds and more complex applications. The applications are built as mashups, created from the composition of different information types provided by different sources. The programming and execution environment is based on the EMML (Enterprise Mashup Markup Language) language, an open and declarative language used as a standard to the development of mashups. Mashup applications are implemented as EMML scripts and executed by an execution engine that processes such scripts.

    The current development process of IoT applications at the EcoDiF platform does not support the specification of the application architecture. In addition, the development process is error-prone as the developer needs to write all the application script in EMML. These limitations hamper the widely adoption of the platform, in special in industrial scenarios, which demand platform with support to easy development and architectural modelling. These features are even more important in case of IoT applications that can be complex and involve a myriad of objects.

    The main goal of this project is to offer an architecture-oriented environment for the development of Internet of Things (IoT) applications. This environment encompasses two levels: (i) architectural level: composed by an architecture description language, SysADL, based on SysML, with support for the structural, behavioral, and executable description of the architecture; (ii) IoT platform level: composed by the EcoDiF platform. The development of this environment consists of the development of the tool to support the specification of the application architecture, and the mapping of the architecture to the application code to be executed at the EcoDiF platform. A monitoring and controlling application to managed objects (physical objects and software services) will be developed to illustrate the use of the environment. This application can be used in several IoT domains, such as health applications, smart cities applications, environmental applications, etc. Specifically, in this project, we aim to develop an application to a computer network support environment, which includes several physical objects such as switches, blade servers, storage servers, no-breaks and air conditioners. In our EcoDiF Project, we developed a prototype of this application in collaboration with SInfo (Superintendencia de Redes da Universidade Federal do Rio Grande do Norte – UFRN), which will be also the partner of this project, providing the infrastructure to the development and operation of the application. The current application is described in EMML and it has some important limitations: it does not include non-functional requirements, and no architectural model is provided.

    In terms of innovation, ArchIoT will be a pioneering environment for the development of IoT applications, with support to the architectural description using a language based on a standard widely used in industry. This environment will allow the development of IoT applications guided by the architecture. In fact, the architecture supports the expression of non-functional properties such as fault tolerance, performance, security, etc. Thus, this Project has the potential of generating an important scientific and technological impact in Software Engineering to IoT.

    Members: Thais Batista (UFRN) – coordinator, Bruno Costa (UFRJ), Eduardo Silva (UFRN), Flávio Oquendo (UBS – France), Flávia Delicato (UFRJ), Jair Leite (UFRN), Paulo Pires (UFRJ)