Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Publicações

Publicações por HumanISE

2014

Development of critical embedded systems using model-driven and product lines techniques: A systematic review

Autores
Queiroz P.G.G.; Braga R.T.V.;

Publicação
Proceedings - 2014 8th Brazilian Symposium on Software Components, Architectures and Reuse, SBCARS 2014

Abstract
Several methodologies have been proposed in the last decades to improve the quality of Safety-Critical Embedded Systems (SCES) and, at the same time, keep costs and schedule compatible with project plans. In particular, approaches such as Product Line Engineering (PLE) and Model-Driven Engineering (MDE) offer an interesting solution to reduce development complexity and time to market due to their synergy and common goals. However, the current state of how MDE and PLE can be combined to enhance productivity in the domain of SCES is not clear yet. This paper presents a systematic literature review, with the purpose of obtaining the state of the art of the aproaches, methods and methodologies whose goal is the combination of PLE and MDE for the development of SCES, and to verify the existence of empirical studies that demonstrate the application of these techniques in this type of development. We drew the following conclusions from the review results: (1) The number of studies using PLE with MDE to build SCES is relatively small, but has increased gradually in recent years. (2) The approaches diverge about what is needed to build Model-driven Product Lines. (3) Most of the approaches do not consider to differentiate between hardware and software variabilities. (4) Most of the studies propose the use of UML and feature diagrams. (5) The studies present case studies implemented in different tools and most of them are free. (6) The approaches do not cover the entire development lifecycle.

2014

A Critical Embedded System product line model-based approach

Autores
Queiroz P.; Braga R.;

Publicação
Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE

Abstract
The development of Critical Embedded Systems (CES) like Unmanned Aerial Vehicles (UAV) is complex because it needs to ensure a high degree of quality, with affordable cost and delivery time. It is also necessary to ensure security since failures in this type of system can lead to catastrophic results. In this sense, a Model-Driven Development (MDD) approach presents itself as a good alternative to the traditional development because coding complexity will be reduced by the use of high level models. In addition, it avoids the introduction of coding errors by human programmers, since the critical code will be built automatically through models transformation. From another perspective, Embedded Systems Development can benefit from Software Engineering techniques like Product Lines to reduce costs and time-to-market. While other works propose the use of Product Line techniques to improve Embedded Software development, we propose a Product Line approach to the whole Critical Embedded System development life cycle, including hardware variability management. Therefore, this paper proposes a Critical Embedded System Product Line Model Based approach, which aims to reduce the above mentioned challenges. The development approach proposes a Domain Engineering and Application Engineering focused on the system, with both software and hardware. To illustrate the proposed approach we include some artifacts from a case study in the UAV domain.

2014

Dynamic cluster scheduling for cluster-tree WSNs

Autores
Severino, R; Pereira, N; Tovar, E;

Publicação
SPRINGERPLUS

Abstract
While Cluster-Tree network topologies look promising for WSN applications with timeliness and energy-efficiency requirements, we are yet to witness its adoption in commercial and academic solutions. One of the arguments that hinder the use of these topologies concerns the lack of flexibility in adapting to changes in the network, such as in traffic flows. This paper presents a solution to enable these networks with the ability to self-adapt their clusters' duty-cycle and scheduling, to provide increased quality of service to multiple traffic flows. Importantly, our approach enables a network to change its cluster scheduling without requiring long inaccessibility times or the re-association of the nodes. We show how to apply our methodology to the case of IEEE 802.15.4/ZigBee cluster-tree WSNs without significant changes to the protocol. Finally, we analyze and demonstrate the validity of our methodology through a comprehensive simulation and experimental validation using commercially available technology on a Structural Health Monitoring application scenario.

2014

Social and solidarity economy web information systems: State of the art and an interoperability framework

Autores
Malta, MC; Baptista, AA; Parente, C;

Publicação
Journal of Electronic Commerce in Organizations

Abstract
This paper presents the state of the art on interoperability developments for the social and solidarity economy (SSE) community web based information systems (WIS); it also presents a framework of interoperability for the SSE' WIS and the developments made in a research-in-progress PhD project in the last 3 years. A search on the bibliographic databases showed that so far there are no papers on interoperability initiatives on the SSE, so it was necessary to have other sources of information: a preliminary analysis of the WIS that support SSE activities; and interviews with the representatives of some of the world's most important SSE organisations. The study showed that the WIS are still not interoperable yet. In order to become interoperable a group of the SSE community has been developing a Dublin Corre Application Profile to be used by the SSE community as reference and binding to describe their resources. This paper also describes this on-going process. Copyright © 2014, IGI Global.

2014

A panoramic view on metadata application profiles of the last decade

Autores
Malta, MC; Baptista, AA;

Publicação
International Journal of Metadata, Semantics and Ontologies

Abstract
This paper describes a study developed with the goal to understand the panorama of the metadata Application Profiles (AP): (i) what AP have been developed so far; (ii) what type of institutions have developed these AP; (iii) what are the application domains of these AP; (iv) what are the Metadata Schemes (MS) used by these AP; (v) what application domains have been producing MS; (vi) what are the Syntax Encoding Schemes (SES) and the Vocabulary Encoding Schemes (VES) used by these AP; and finally (vii) if these AP have followed the Singapore Framework (SF). We found (i) 74 AP; (ii) the AP are mostly developed by the scientific community, (iii) the 'Learning Objects' domain is the most intensive producer; (iv) Dublin Core metadata vocabularies are the most used and are being used in all domains of application and IEEE LOM is the second most used but only inside the 'Learning Objects' application domain; (v) the most intensive producer of MS is the domain of 'Libraries and Repositories'; (vi) 13 distinct SES and 90 distinct VES were used; (vi) five of the 74 AP found follow the SF. Copyright © 2014 Inderscience Enterprises Ltd.

2014

Contributo metodológico para o desenvolvimento de perfis de aplicação no contexto da Web Semântica

Autores
Malta, Mariana Curado;

Publicação

Abstract
A Web Semântica (WS) é um paradigma da Web que surgiu com o intuito de ligar dados, permitindo a partilha de conteúdos para além das fronteiras das aplicações e dos sítios Web. Neste contexto, um perfil de aplicação de metadados (PA) é um constructo genérico para desenhar registos de metadados que satisfazem necessidades específicas das aplicações, proporcionando interoperabilidade semântica com outras aplicações. Esse desenho dos registos de metadados tem como base vocabulários e modelos definidos globalmente pela comunidade de metadados. A Dublin Core Metadata Initiative, provavelmente a mais conhecida e mais importante iniciativa a nível mundial no que diz respeito a metadados, definiu um modelo abstracto (Dublin Core Abstract Model) onde um dos constructos é o Dublin Core Aplication Profile (DCAP). A DCMI refere que a utilização de um DCAP é essencial para implementar interoperabilidade no contexto da WS. A concepção, o desenvolvimento e a implementação de modelos, sendo um processo complexo, necessitam de um suporte metodológico; um DCAP não foge a essa regra. Por essa razão, realizámos o estudo do estado da arte dos métodos para o desenvolvimento de PA, com o sentido de fazer o levantamento das práticas da comunidade de metadados no desenvolvimento de PA. Este estudo revelou que até à data não existe nenhum método para o desenvolvimento de um PA ou DCAP. O objectivo deste projecto de doutoramento foi o de fornecer um primeiro contributo para um tal método. A concepção do Method for the develoment of DCAP (Me4DCAP) teve como suporte: (i) as primeiras fases (até à modelação de dados) dos métodos de desenvolvimento de software; (ii) os resultados de entrevistas realizadas a desenvolvedores DCAP; (iii) as práticas identificadas no estudo já referido do estado da arte dos métodos para desenvolvimento de PA. O Me4DCAP tem como base o Singapore Framework for DCAP, e como ponto de partida o Rational Unified Process, um dos mais conhecidos e utilizados processos de desenvolvimento de software. Para realizar o nosso trabalho utilizámos a metodologia de investigação Design Science Research (DSR), no enquadramento particular para a área dos Sistemas de Informação dos três ciclos de Hevner (2007). Este enquadramento define a possibilidade da utilização de uma situação real, a que Hevner chama de “situação experimental”, para a execução de ciclos de construção-avaliação, onde o artefacto em construção - no nosso caso o Me4DCAP - vai sendo avaliado na situação experimental e redefinido, num processo iterativo. A situação experimental por nós utilizada foi o desenvolvimento de um DCAP para os Sistemas de Informação Web da comunidade mundial de Economia Social e Solidária (ESS). Esse desenvolvimento foi realizado conjuntamente com um grupo que saiu do seio da comunidade da ESS mundial. Este trabalho, identificado como uma oportunidade, resultou num DCAP-ESS. O Me4DCAP foi validado através de um grupo de discussão integrado numa conferência da especialidade, e ainda através de um Focus Group com sete especialistas mundiais de metadados. Como resultados deste doutoramento obtivemos o Me4DCAP V1.0 e o DCAP-ESS V 1.0.;The Semantic Web (SW) is a Web paradigm that emerged with the aim of linking data, enabling content share beyond the borders of Web applications and Web sites. In this context, a metadata application profile (AP) is a generic construct to design metadata records that satisfy specific needs of the applications, enabling semantic interoperability with other applications. This metadata record design is based on vocabularies and models globally defined by the metadata community. The Dublin Core Metadata Initiative (DCMI), probably the best known and most important global initiative with regard to metadata, defined an abstract model (Dublin Core Abstract Model) where one of its constructs is the Dublin Core Application Profile (DCAP). DCMI states that the use of a DCAP is very important in order to implement interoperability in the context of the SW. The conception, development and implementation of models need a methodological support since they are complex processes. Therefore, in order to understand the metadata community practices in the development of AP, we performed the study of the state of the art of the methods for the development of AP. This study revealed that until now there is no method for the development of an AP. The goal of this PhD project was to develop a first approach to such a method. The design of the Method for the development of DCAP (Me4DCAP) had as support: (i) the first stages (up to the data modeling) of software development; (ii) the results of interviews conducted to DCAP developers, (iii) the practices identified in the state of the art of the methods for AP development. Me4DCAP is based on the Singapore Framework for DCAP, and has as starting point the Rational Unified Process, one of the best known and most used software development processes. We used the research methodology Design Science Research (DSR) in our work, and the “three cycles” Information Systems specific framework defined by Hevner (2007). This framework defines the possibility of using a real situation, called by Hevner (2007) as the “experimental situation”, for the execution of the construction-evaluation cycles. In these cycles the artifact in development – in our case Me4DCAP – is being evaluated in the experimental situation, and with the feedbacks from this evaluation, it is redefined, in an iterative process. The experimental situation we used was the development of a DCAP for the Web based information systems of the Social Solidarity Economy (SSE) world community (DCAP-SSE). The DCAP-SSE development was jointly undertaken with a group from the world SSE community. This work, identified as an opportunity, resulted in a DCAP-SSE V1.0. The Me4DCAP was validated through a discussion group integrated in a metadata community international conference, and in a Focus Group with seven metadata world experts. This PhD has as results the Me4DCAP V1.0 and the DCAP-SSE V 1.0.

  • 484
  • 663