Publications

Publications by HumanISE

2018

Guest editorial: real-time networks and systems

Authors
Faucou, S; Pinho, LM;

Publication
REAL-TIME SYSTEMS

Abstract

2018

Combining the tasklet model with OpenMP

Authors
Pinho, LM; Quinones, E; Royuela, S;

Publication
Ada User Journal

Abstract
Previous workshops have discussed a proposal to augment Ada with fine-grained parallelism, based on the notion of tasklets, a lightweight parallel entity. Recent works have shown the convergence of this model with the OpenMP tasking model and have proposed their coexistence. In this paper we provide a status of the existent works, and describe how these models could be combined.

CloseRead Abstract

2018

Emulation-in-the-loop for simulation and testing of real-time critical CPS

Authors
Oliveira, PR; Meireles, M; Maia, C; Pinho, LM; Gouveia, G; Esteves, J;

Publication
Proceedings - 2018 IEEE Industrial Cyber-Physical Systems, ICPS 2018

Abstract
Complex cyber-physical systems are more and more a set of components working tightly coupled, with little or no human intervention. Assessing the correctness of these systems by testing components individually, one-by-one, is obviously not sufficient, being required to also test and validate the overall system. KhronoSim is a modular and extensible platform for testing cyber-physical systems in closed-loop, which enables the integration of simulation models and platform emulators to build a closed loop test environment. This paper presents the emulator module of KhronoSim, developed to integrate the well-known QEMU emulator in the closed-loop testing platform. © 2018 IEEE.

CloseRead Abstract

2018

Editrorial

Authors
Pinho L.;

Publication
Ada User Journal

Abstract

2018

Editorial

Authors
Pinho L.;

Publication
Ada User Journal

Abstract

2018

Editorial

Authors
Pinho, LM;

Publication
Ada User Journal

Abstract