INES - National Institute of Science and Technology for Software Engineering

INES at OOPSLA\SPLASH\Onward 2010

INES researchers André Santos, Fernando Castor, Márcio Ribeiro, Paulo Borba, Sérgio Soares and Christina Chavez will attend SPLASH’2010 (ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity)

Márcio Ribeiro and Paulo Borba have a paper entitled “Emergent Feature Modularization“, which has been accepted for publication in the Onward! 2010 proceedings, co-allocated with SPLASH. This paper is a result of the project “Tool Support for Software Product Lines Development and Evolution”.

Fernando Castor had a poster accepted at SPLASH’2010. Publication’ details are:

FARIAS, Rafael ; SOARES-NETO, Francisco ; CASTOR, Fernando . Hamster - Making Grid Middleware Fault-Tolerant. In: ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH’2010), 2010, Reno. SPLASH’2010 Companion. New York : ACM Press, 2010.

Abstract: Organizations which use grid computing have to deal with events such as a machine turned off or a failed component. Some of these events can completely break a grid, wasting important resources. This paper presents Hamster, a monitoring and recovery mechanism for grid middleware. Its main goal is to maximize the use of available resources, recovering faulty middleware components and avoiding resource idleness or, worse, a complete grid stop. Hamster comprises a number of services that complement existing application-level checkpointing mechanisms. It has been integrated into the OurGrid middleware platform.

INES at SBMF 2010

The paper “Synchronizing Model and Program Refactoring” has been accepted for publication, and will be presented at the Brazilian Symposium of Formal Methods. The event will be held in Natal, in early November. The authors, Tiago Massoni, Rohit Gheyi and Paulo Borba, are part of several projects within INES. The published work is within the context of the “Making Program Evolution Safer” Project.

INES will be at ISSRE 2010

The INES project will be present in 21st IEEE International Symposium on Software Reliability Engineering (ISSRE)  through the regular paper “Calibrating Probabilistic GUI Testing Models Based on Experiments and Survival Analysis”, authored by Cristiano Bertolini, Alexandre Mota e Eduardo Aranha.

This work was developed inside the project Tests Generation, Selection, Prioritization and Processing Product Line — in Portuguese, Linhas de Produtos de Geração, Seleção, Priorização e Processamento de Testes.

UFPB Researchers at WDDS 2010

UFPB researchers that are members from the INES project named as “Distributed Development based on Software Product Lines” has two papers accepted at 4th Brazilian Workshop on Distributed Software Development (WDDS).

Publications’ details:

* SANTOS, V. S. ; PEREIRA, T. A. B. ; RIBEIRO, B. L. ; ELIAS, G. . Um Framework de Recomendação para Alocação de Equipes de Desenvolvimento em Projetos Distribuídos de Linhas de Produto de Software. In: IV Workshop de Desenvolvimento Distribuído de Software, 2010, Salvador.

Abstract: Software Product Line (SPL) and Distributed Software Development (DSD) approaches have been adopted by many companies to improve software quality, finding more qualified manpower, and reduce development costs and time. However, in such a scenario, teams allocation is not a trivial task, because it has to take into account properties of the software project, the teams and the context in which they are immersed. Thus, the framework proposed in this paper aims to provide recommendations on how to allocate teams to software components in distributed SPL projects by considering technical and non-technical aspects.

* RIBEIRO, B. L. ; ELIAS, G. . Alocando Equipes Distribuídas com base em Aspectos Não-Técnicos. In: IV Workshop de Desenvolvimento Distribuído de Software, 2010, Salvador.

Abstract: Taking into account the benefits of distributed software development, many organizations allocate implementation tasks among globally distributed teams. However, their cultural, temporal and geographical differences reduce the communication effectiveness, directly affecting the project’s progress and success. In order to mitigate such communication issues, based on non-technical features of global distributed development teams and dependences among software modules, this article describes an approach for recommending the allocation of development teams to implementation tasks of software modules.

UFPB Researchers at WOES 2010

UFPB researchers that are members from the INES project named as “Distributed Development based on Software Product Lines” has a paper accepted at 1st Brazilian Workshop on Optimization in Software Engineering (WOES).

Publication details:

PEREIRA, T. A. B. ; ELIAS, G. . Uma Estratégia de Otimização para Agrupamento de Componentes de Software Baseada em DSM. In: I Workshop Brasileiro de Otimização em Engenharia de Software, 2010, Salvador.

Abstract: In distributed Software Product Line (SPL) projects, dependencies between components influence on communication needs between their respective development teams. Thus, an alternative to reduce such needs is to cluster tightly coupled components into loosely coupled modules as long as each module is developed by a single team. In such a context, since numerous clustering possibilities exist, this paper describes an optimization strategy for clustering software components based on the technique named numerical DSM (Design Structure Matrix), which is adopted to represent dependencies among components of the SPL architecture.

INES at ICTAC 2010

INES researchers Marcel Oliveira and Ivan Júnior had a paper accepted at ICTAC’2010 (International Colloquium on Theoretical Aspects of Computing - ictac2010.dimap.ufrn.br). They will will be presenting this paper in Natal, Brazsil, in September 2010.

Publication’ details are:

JU. S. da Costa, I. M. Júnior, and M. V. M. Oliveira. Specification and Verification of a MPI
Implementation for a MP-SoC. In: 7th International Colloquium on Theoretical Aspects of Computing (ICTAC’2010), 2010, Natal. LNCS (Volume to be announced). Heidelberg : Springer-Verlag, 2010.

Abstract: System-on-Chip is a solution that integrates several components of a computer into a single chip substrate. Those systems are generally targeted for embedded applications and can increase their  processing power by using multiple processors and an on-chip interconnection. STORM is a Multi-Processor System-on-Chip virtual platform which uses a basic implementation of the MPI standard to provide  communication among their applications. STORM implements a small set of MPI routines for essential point-to-point and collective communication in order to provide more programmability and portability for the  applications of the platform. In this work, we make use of CSP to build a formal model of those MPI routines and eliminate imprecision and ambiguities that may arise from their informal descriptions on the MPI  standard. Also, we use the FDR model checker to ensure that the implemented routines have no errors introduced during the development process.

INES at CBSoft 2010

TaRGeT, a tool developed in the INES project Tests Generation, Selection, Prioritization and Processing Product Line was selected for presentation at the CBSOFT 2010 Tools Session, at Salvador-BA.

TaRGeT: a Model Based Product Line Testing Tool. Felype Ferreira (UFPE), Laís Neves (UFPE), Michelle Silva (UFPE) e Paulo Borba (UFPE).

UFPE Researchers at CBSOFT 2010

Leopoldo Teixeira, Márcio Ribeiro and Paulo Borba (INES researchers), will attend the 1st Brazilian Conference on Software: Theory and Practice (CBSoft), from September 27th through October 1st. In this occasion, they will present a short course entitled “Defining and Implementing Domain-Specific Languages”. This short course is part of the project “Tool Support for Software Product Lines Development and Evolution“.

Other INES researchers will also attend CBSoft: Rodrigo Cardoso (UFPE).

INES at CBSOFT 2010 Tools Session

Three tools developed as related assets from activities of the INES project “Models, Techniques and Tools for Software Evolution” were selected for presentation at the CBSOFT 2010 Tools Session, in Salvador Bahia.

* Analizo: an Extensible Multi-Language Source Code Analysis and Visualization Toolkit, Antonio Terceiro (UFBA), Joenio Costa (UCSAL), Paulo Meirelles (USP), Joao Miranda (USP), Luiz Romario Santana Rios (UFBA), Lucianna Almeida (USP), Christina Chavez (UFBA), Fabio Kon (USP)

* Fir-Diagram: Ferramenta Baseada no Modelo FIR para Análise de Impacto de Mudanças em Interesses de Negócio, Antonio Oliveira Filho (UFBA), Fabrıcio de Freitas Cardim (FRB), Tiano Oliveira Dorea (FRB), Christina Chavez (UFBA)

* An Eclipse-Based Multi-Perspective Environment to Visualize Software Coupling, Glauco Carneiro (UFBA), Paulo Júnior (UFBA), Arleson Nunes Graduação (UFBA), Manoel Mendonça (UFBA)

INES at SPLC 2010

The paper Streamlining Domain Analysis for Digital Games Product Lines from André Furtado, André Santos and Geber Ramalho, all from CIn-UFPE, was accepted as a full paper in the 14th International Software Product Line Conference (SPLC), which will be held in Jeju Island, Korea, in september 2010.