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

2013

Towards Transparent Parallel/Distributed Support for Real-Time Embedded Applications

Autores
Garibay Martinez, R; Ferreira, LL; Maia, C; Pinho, LM;

Publicação
2018 8TH IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS (SIES)

Abstract
An increasing number of real-time embedded applications present high computation requirements which need to be realized within strict time constraints. Simultaneously, architectures are becoming more and more heterogeneous, programming models are having difficulty in scaling or stepping outside of a particular domain, and programming such solutions requires detailed knowledge of the system and the skills of an experienced programmer. In this context, this paper advocates the transparent integration of a parallel and distributed execution framework, capable of meeting real-time constraints, based on OpenMP programming model, and using MPI as the distribution mechanism. The paper also introduces our modified implementation of GCC compiler, enabled to support such parallel and distributed computations, which is evaluated through a real implementation. This evaluation gives important hints, towards the development of the parallel/distributed fork-join framework for supporting real-time embedded applications.

2013

The ENCOURAGE ICT architecture for heterogeneous smart grids

Autores
Albano, M; Ferreira, L; Le Guilly, T; Ramiro, M; Faria, JE; Duenas, LP; Ferreira, R; Gaylard, E; Cubas, DJ; Roarke, E; Lux, D; Scalari, S; Sorensen, SM; Gangolells, M; Pinho, LM; Skou, A;

Publicação
2013 IEEE EUROCON

Abstract
The ENCOURAGE project tionalizing energy usage in building by implementing a smart energy grid based on intelligent scheduling of energy consuming appliances, renewable energy production, and inter-building energy trading. This paper presents the reference architecture proposed in the context of the ENCOURAGE project, and relates it with the goals of its research efforts.

2013

Towards transparent parallel/distributed support for real-time embedded applications

Autores
Martínez, RG; Ferreira, LL; Maia, C; Pinho, LM;

Publicação
8th IEEE International Symposium on Industrial Embedded Systems, SIES 2013, Porto, Portugal, June 19-21, 2013

Abstract

2013

Task Partitioning and Priority Assignment for Hard Real-time Distributed Systems

Autores
Martínez, RG; Nelissen, G; Ferreira, LL; Pinho, LM;

Publicação
REACTION 2013, Second International Workshop on Real-time and distributed computing in emerging applications, Proceedings, Vancouver, Canada, December 3, 2013

Abstract

2013

Revisiting transactions in Ada

Autores
Barros, A; Pinho, LM;

Publicação
ACM SIGAda Ada Letters

Abstract
Classical lock-based concurrency control does not scale with current and foreseen multi-core architectures, opening space for alternative concurrency control mechanisms. The concept of transactions executing concurrently in isolation with an underlying mechanism maintaining a consistent system state was already explored in fault-tolerant and distributed systems, and is currently being explored by transactional memory, this time being used to manage concurrent memory access. In this paper we discuss the use of Software Transactional Memory (STM), and how Ada can provide support for it. Furthermore, we draft a general programming interface to transactional memory, supporting future implementations of STM oriented to real-time systems.

2013

Scheduling Parallel Real-Time Tasks using a Fixed-Priority Work-Stealing Algorithm on Multiprocessors

Autores
Maia, C; Nogueira, L; Pinho, LM;

Publicação
2018 8TH IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS (SIES)

Abstract
This paper proposes a model for scheduling parallel real-time tasks. The proposed model uses a work-stealing approach to schedule real-time parallel task sets at runtime, where each job may present a nested fork-join structure, generate an arbitrary number of parallel jobs, and each parallel job inherits the timing properties of the job that spawns it.

  • 536
  • 683