Ricardo Severino

Dr. Ricardo Severino

CISTER - Research Center on Real-Time and Embedded Computing Systems
+1
orcid

Research Focus & Metrics

Academic Career Length

20Years (2007-Present)

(Calculated once Scilit publication data is synced: current year − year of first publication + 1)

Representative Publications

View All Publications
1 February 2018 in IEEE Communications Surveys & Tutorials
Verified
Journal Article
Closed access
Harrison KurunathanHarrison Kurunathan
Harrison Kurunathan
Ricardo SeverinoRicardo Severino
Ricardo Severino
AKAnis Koubaa
Anis Koubaa
ETEduardo Tovar
Eduardo Tovar
The advancements in information and communication technology in the past decades have been converging into a new communication paradigm in which everything is expected to be interconnected. The Internet of Things (IoT), more than a buzzword, is becoming a reality, and is finding its way into the industrial domain, enabling what is now dubbed as the Industry 4.0. Among several standards that help in enabling Industry 4.0, the IEEE 802.15.4e standard addresses requirements such as increased robustness and reliability. Although the standard seems promising, the technology is still immature and rather unproven. Also, there has been no thorough survey of the standard with emphasis on the understanding of the performance improvement in regards to the legacy protocol IEEE 802.15.4. In this survey, we aim at filling this gap by carrying out a performance analysis and thorough discussions of the main features and enhancements of IEEE 802.15.4e. We also provide a literature survey concerning the already proposed add-ons and available tools. We believe this work will help to identify the merits of IEEE 802.15.4e and to contribute towards a faster adoption of this technology as a supporting communication infrastructure for future industrial scenarios.

1 August 2009 in IEEE Transactions on Industrial Informatics
Verified
Journal Article
Closed access
AKAnis Koubaa
Anis Koubaa
Ricardo SeverinoRicardo Severino
Ricardo Severino
Mario AlvesMario Alves
Mario Alves
ETEduardo Tovar
Eduardo Tovar
Wireless sensor networks (WSNs) emerge as underlying infrastructures for new classes of large-scale networked embedded systems. However, WSNs system designers must fulfill the quality-of-service (QoS) requirements imposed by the applications (and users). Very harsh and dynamic physical environments and extremely limited energy/computing/memory/communication node resources are major obstacles for satisfying QoS metrics such as reliability, timeliness, and system lifetime. The limited communication range of WSN nodes, link asymmetry, and the characteristics of the physical environment lead to a major source of QoS degradation in WSNs-the ldquohidden node problem.rdquo In wireless contention-based medium access control (MAC) protocols, when two nodes that are not visible to each other transmit to a third node that is visible to the former, there will be a collision-called hidden-node or blind collision. This problem greatly impacts network throughput, energy-efficiency and message transfer delays, and the problem dramatically increases with the number of nodes. This paper proposes H-NAMe, a very simple yet extremely efficient hidden-node avoidance mechanism for WSNs. H-NAMe relies on a grouping strategy that splits each cluster of a WSN into disjoint groups of non-hidden nodes that scales to multiple clusters via a cluster grouping strategy that guarantees no interference between overlapping clusters. Importantly, H-NAMe is instantiated in IEEE 802.15.4/ZigBee, which currently are the most widespread communication technologies for WSNs, with only minor add-ons and ensuring backward compatibility with their protocols standards. H-NAMe was implemented and exhaustively tested using an experimental test-bed based on ldquooff-the-shelfrdquo technology, showing that it increases network throughput and transmission success probability up to twice the values obtained without H-NAMe. H-NAMe effectiveness was also demonstrated in a target tracking application with mobile robots over a WSN deployment.

1 October 2007
Verified
Conference Paper
Closed access
ACAndre Cunha
Andre Cunha
AKAnis Koubaa
Anis Koubaa
Ricardo SeverinoRicardo Severino
Ricardo Severino
Mario AlvesMario Alves
Mario Alves
The IEEE 802.15.4/ZigBee protocols are gaining increasing interests in both research and industrial communities as candidate technologies for Wireless Sensor Network (WSN) applications. In this paper, we present an open-source implementation of the IEEE 802.15.4/ZigBee protocol stack under the TinyOS operating system for the MICAz and TelosB motes. This work has been driven by the need for an open- source implementation of the IEEE 802.15.4/ZigBee protocols, filling a gap between some newly released complex C implementations and black-box implementations from different manufacturers. In addition, we share our experience on the challenging problems that we have faced during the implementation of the protocol stack. We strongly believe that this open-source implementation will potentiate research works on the IEEE 802.15.4/ZigBee protocols, allowing their demonstration and validation through experimentation.

1 August 2010 in ACM Transactions on Sensor Networks
Verified
Journal Article
Open access
PJPetr Jurcik
Petr Jurcik
AKAnis Koubaa
Anis Koubaa
Ricardo SeverinoRicardo Severino
Ricardo Severino
Mario AlvesMario Alves
Mario Alves
ETEduardo Tovar
Eduardo Tovar
Modeling the fundamental performance limits of Wireless Sensor Networks (WSNs) is of paramount importance to understand their behavior under the worst-case conditions and to make the appropriate design choices. This is particular relevant for time-sensitive WSN applications, where the timing behavior of the network protocols (message transmission must respect deadlines) impacts on the correct operation of these applications. In that direction this article contributes with a methodology based on Network Calculus, which enables quick and efficient worst-case dimensioning of static or even dynamically changing cluster-tree WSNs where the data sink can either be static or mobile. We propose closed-form recurrent expressions for computing the worst-case end-to-end delays, buffering and bandwidth requirements across any source-destination path in a cluster-tree WSN. We show how to apply our methodology to the case of IEEE 802.15.4/ZigBee cluster-tree WSNs. Finally, we demonstrate the validity and analyze the accuracy of our methodology through a comprehensive experimental study using commercially available technology, namely TelosB motes running TinyOS.

21 November 2018 in Sensors
Verified
Journal Article
Open access
PDF file
Ali BaladorAli Balador
Ali Balador
AKAnis Koubaa
Anis Koubaa
DCDajana Cassioli
Dajana Cassioli
FFFotis Foukalas
Fotis Foukalas
Ricardo SeverinoRicardo Severino
Ricardo Severino
TSTimo Sukuvaara
Timo Sukuvaara
Cooperative Cyber-Physical Systems (Co-CPSs) can be enabled using wireless communication technologies, which in principle should address reliability and safety challenges. Safety for Co-CPS enabled by wireless communication technologies is a crucial aspect and requires new dedicated design approaches. In this paper, we provide an overview of five Co-CPS use cases, as introduced in our SafeCOP EU project, and analyze their safety design requirements. Next, we provide a comprehensive analysis of the main existing wireless communication technologies giving details about the protocols developed within particular standardization bodies. We also investigate to what extent they address the non-functional requirements in terms of safety, security and real time, in the different application domains of each use case. Finally, we discuss general recommendations about the use of different wireless communication technologies showing their potentials in the selected real-world use cases. The discussion is provided under consideration in the 5G standardization process within 3GPP, whose current efforts are inline to current gaps in wireless communications protocols for Co-CPSs including many future use cases.

16 November 2019 in ACM Transactions on Cyber-Physical Systems
Verified
Journal Article
Open access
PDF file
KLKai Li
Kai Li
WNWei Ni
Wei Ni
YOUSEF EMAMIYOUSEF EMAMI
YOUSEF EMAMI
YSYiran Shen
Yiran Shen
Ricardo SeverinoRicardo Severino
Ricardo Severino
ETEduardo Tovar
Eduardo Tovar
In a platoon-based vehicular cyber-physical system (PVCPS), a lead vehicle that is responsible for managing the platoon’s moving directions and velocity periodically disseminates control messages to the vehicles that follow. Securing wireless transmissions of the messages between the vehicles is critical for privacy and confidentiality of the platoon’s driving pattern. However, due to the broadcast nature of radio channels, the transmissions are vulnerable to eavesdropping. In this article, we propose a cooperative secret key agreement (CoopKey) scheme for encrypting/decrypting the control messages, where the vehicles in PVCPS generate a unified secret key based on the quantized fading channel randomness. Channel quantization intervals are optimized by dynamic programming to minimize the mismatch of keys. A platooning testbed is built with autonomous robotic vehicles, where a TelosB wireless node is used for onboard data processing and multi-hop dissemination. Extensive real-world experiments demonstrate that CoopKey achieves significantly low secret bit mismatch rate in a variety of settings. Moreover, the standard NIST test suite is employed to verify randomness of the generated keys, where the p-values of our CoopKey pass all the randomness tests. We also evaluate CoopKey with an extended platoon size via simulations to investigate the effect of system scalability on performance.