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 CRACS

2021

A Standard-Based Internet of Things Platform and Data Flow Modeling for Smart Environmental Monitoring

Autores
Filho, T; Fernando, L; Rabelo, M; Silva, S; Santos, C; Ribeiro, M; Grout, IA; Moreira, W; Oliveira, A;

Publicação
SENSORS

Abstract
The environment consists of the interaction between the physical, biotic, and anthropic means. As this interaction is dynamic, environmental characteristics tend to change naturally over time, requiring continuous monitoring. In this scenario, the internet of things (IoT), together with traditional sensor networks, allows for the monitoring of various environmental aspects such as air, water, atmospheric, and soil conditions, and sending data to different users and remote applications. This paper proposes a Standard-based Internet of Things Platform and Data Flow Modeling for Smart Environmental Monitoring. The platform consists of an IoT network based on the IEEE 1451 standard which has the network capable application processor (NCAP) node (coordinator) and multiple wireless transducers interface module (WTIM) nodes. A WTIM node consists of one or more transducers, a data transfer interface and a processing unit. Thus, with the developed network, it is possible to collect environmental data at different points within a city landscape, to perform analysis of the communication distance between the WTIM nodes, and monitor the number of bytes transferred according to each network node. In addition, a dynamic model of data flow is proposed where the performance of the NCAP and WTIM nodes are described through state variables, relating directly to the information exchange dynamics between the communicating nodes in the mesh network. The modeling results showed stability in the network. Such stability means that the network has capacity of preserve its flow of information, for a long period of time, without loss frames or packets due to congestion.

2021

Non-linear Methods Predominant in Fetal Heart Rate Analysis: A Systematic Review

Autores
Ribeiro, M; Monteiro Santos, J; Castro, L; Antunes, L; Costa Santos, C; Teixeira, A; Henriques, TS;

Publicação
FRONTIERS IN MEDICINE

Abstract
The analysis of fetal heart rate variability has served as a scientific and diagnostic tool to quantify cardiac activity fluctuations, being good indicators of fetal well-being. Many mathematical analyses were proposed to evaluate fetal heart rate variability. We focused on non-linear analysis based on concepts of chaos, fractality, and complexity: entropies, compression, fractal analysis, and wavelets. These methods have been successfully applied in the signal processing phase and increase knowledge about cardiovascular dynamics in healthy and pathological fetuses. This review summarizes those methods and investigates how non-linear measures are related to each paper's research objectives. Of the 388 articles obtained in the PubMed/Medline database and of the 421 articles in the Web of Science database, 270 articles were included in the review after all exclusion criteria were applied. While approximate entropy is the most used method in classification papers, in signal processing, the most used non-linear method was Daubechies wavelets. The top five primary research objectives covered by the selected papers were detection of signal processing, hypoxia, maturation or gestational age, intrauterine growth restriction, and fetal distress. This review shows that non-linear indices can be used to assess numerous prenatal conditions. However, they are not yet applied in clinical practice due to some critical concerns. Some studies show that the combination of several linear and non-linear indices would be ideal for improving the analysis of the fetus's well-being. Future studies should narrow the research question so a meta-analysis could be performed, probing the indices' performance.

2021

Flight Planning Optimization of Multiple UAVs for Internet of Things

Autores
Rodrigues, L; Riker, A; Ribeiro, M; Both, C; Sousa, F; Moreira, W; Cardoso, K; Oliveira, A;

Publicação
SENSORS

Abstract
This article presents an approach to autonomous flight planning of Unmanned Aerial Vehicles (UAVs)-Drones as data collectors to the Internet of Things (IoT). We have proposed a model for only one aircraft, as well as for multiple ones. A clustering technique that extends the scope of the number of IoT devices (e.g., sensors) visited by UAVs is also addressed. The flight plan generated from the model focuses on preventing breakdowns due to a lack of battery charge to maximize the number of nodes visited. In addition to the drone autonomous flight planning, a data storage limitation aspect is also considered. We have presented the energy consumption of drones based on the aerodynamic characteristics of the type of aircraft. Simulations show the algorithm's behavior in generating routes, and the model is evaluated using a reliability metric.

2021

ZERMIA - A Fault Injector Framework for Testing Byzantine Fault Tolerant Protocols

Autores
Soares, J; Fernandez, R; Silva, M; Freitas, T; Martins, R;

Publicação
Network and System Security - 15th International Conference, NSS 2021, Tianjin, China, October 23, 2021, Proceedings

Abstract
Byzantine fault tolerant (BFT) protocols are designed to increase system dependability and security. They guarantee liveness and correctness even in the presence of arbitrary faults. However, testing and validating BFT systems is not an easy task. As is the case for most concurrent and distributed applications, the correctness of these systems is not solely dependant on algorithm and protocol correctness. Ensuring the correct behaviour of BFT systems requires exhaustive testing under real-world scenarios. An approach is to use fault injection tools that deliberate introduce faults into a target system to observe its behaviour. However, existing tools tend to be designed for specific applications and systems, thus cannot be used generically. We argue that more advanced and powerful tools and frameworks are needed for testing the security and safety of distributed applications in general, and BFT systems in particular. Specifically, a fault injection framework that can be integrated into both client and server side applications, for testing them exhaustively. We present ZERMIA, a modular and extensible fault injection framework, designed for testing and validating concurrent and distributed applications. We validate ZERMIA’s principles by conduction a series of experiments on a distributed applications and a state of the art BFT library, to show the benefits of ZERMIA for testing and validating applications. © 2021, Springer Nature Switzerland AG.

2021

SDR Proof-of-Concept of Full-Duplex Jamming for Enhanced Physical Layer Security

Autores
Silva, A; Gomes, M; Vilela, JP; Harrison, WK;

Publicação
SENSORS

Abstract
In order to secure wireless communications, we consider the usage of physical-layer security (PLS) mechanisms (i.e., coding for secrecy mechanisms) combined with self-interference generation. We present a prototype implementation of a scrambled coding for secrecy mechanisms with interference generation by the legitimate receiver and the cancellation of the effect of self-interference (SI). Regarding the SI cancellation, four state-of-the-art algorithms were considered: Least mean square (LMS), normalized least mean square (NLMS), recursive least squares (RLS) and QR decomposition recursive least squares (QRDRLS). The prototype implementation is performed in real-world software-defined radio (SDR) devices using GNU-Radio, showing that the LMS outperforms all other algorithms considered (NLMS, RLS and QRDRLS), being the best choice to use in this situation (SI cancellation). It was also shown that it is possible to secure communication using only noise generation by the legitimate receiver, though a variation of the packet loss rate (PLR) and the bit error rate (BER) gaps is observed when moving from the fairest to an advantageous or a disadvantageous scenario. Finally, when noise generation was combined with the adapted scrambled coding for secrecy with a hidden key scheme, a noteworthy security improvement was observed resulting in an increased BER for Eve with minor interference to Bob.

2021

A survey of privacy-preserving mechanisms for heterogeneous data types

Autores
Cunha, M; Mendes, R; Vilela, JP;

Publicação
COMPUTER SCIENCE REVIEW

Abstract
Due to the pervasiveness of always connected devices, large amounts of heterogeneous data are continuously being collected. Beyond the benefits that accrue for the users, there are private and sensitive information that is exposed. Therefore, Privacy-Preserving Mechanisms (PPMs) are crucial to protect users' privacy. In this paper, we perform a thorough study of the state of the art on the following topics: heterogeneous data types, PPMs, and tools for privacy protection. Building from the achieved knowledge, we propose a privacy taxonomy that establishes a relation between different types of data and suitable PPMs for the characteristics of those data types. Moreover, we perform a systematic analysis of solutions for privacy protection, by presenting and comparing privacy tools. From the performed analysis, we identify open challenges and future directions, namely, in the development of novel PPMs. (C) 2021 The Authors. Published by Elsevier Inc.

  • 35
  • 192