检索结果-内蒙古大学图书馆

International Wireless Communications and Mobile computing Conference, IWCMC

作者： Kai Li Wei Ni Bo Wei Mohsen Guizani Real-Time and Embedded Computing Systems Research Centre (CISTER) Porto Portugal Commonwealth Scientific and Industrial Research Organization (CSIRO) Sydney Australia Computer and Information Sciences Northumbria University UK Computer Science and Engineering Department Qatar University Doha Qatar

In this paper, we propose a new ultra-wideband (UWB)-based simultaneous localization and wall-mapping (SLAM) system, which adopts two-way ranging optimization on UWB anchor and tag nodes to track the target's real-time movement in an unknown area. The proposed UWB-based SLAM system captures time difference of arrival (TDoA) of the anchor nodes' signals over a line-of-sight propagation path and reflected paths. The real-time location of the UWB tag is estimated according to the real-time TDoA measurements. To minimize the estimation error resulting from background noise in the two-way ranging, a Least Squares Method is implemented to minimize the estimation error for the localization of a static target, while Kalman Filter is applied for the localization of a mobile target. An experimental testbed is built based on off-the-shelf UWB hardware. Experiments validate that a reflector, e.g., a wall, and the UWB tag can be located according to the two-way ranging measurement. The localization accuracy of the proposed SLAM system is also evaluated, where the difference between the estimated location and the ground truth trajectory is less than 1 meter.

关键词： Location awareness Estimation error Simultaneous localization and mapping Target tracking real-time systems Distance measurement Trajectory

来源：评论

学校读者我要写书评

暂无评论

Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical systems

Work-In-Progress: a DSL for the safe deployment of Runtime M...

引用

real-time systems Symposium (RTSS)

作者： Giann Spilere Nandi David Pereira José Proença Eduardo Tovar CISTER - Research Centre in Real-Time & Embedded Computing Systems Portugal

ISBN: (数字)9781728183244

ISBN: (纸本)9781728183251

Guaranteeing that safety-critical Cyber-Physical systems (CPS) do not fail upon deployment is becoming an even more complicated task with the increased use of complex software solutions. To aid in this matter, formal methods (rigorous mathematical and logical techniques) can be used to obtain proofs about the correctness of CPS. In such a context, Runtime Verification has emerged as a promising solution that combines the formal specification of properties to be validated and monitors that perform these validations during runtime. Although helpful, runtime verification solutions introduce an inevitable overhead in the system, which can disrupt its correct functioning if not safely employed. We propose the creation of a Domain Specific Language (DSL) that, given a generic CPS, 1) verifies if its real- time scheduling is guaranteed, even in the presence of coupled monitors, and 2) implements several verification conditions for the correct-by-construction generation of monitoring architectures. To achieve it, we plan to perform statical verifications, derived from the available literature on schedulability analysis, and powered by a set of semi-automatic formal verification tools.

关键词： Runtime Tools Cyber-physical systems Safety DSL Proposals Monitoring

来源：评论

学校读者我要写书评

暂无评论

Artificial Intelligence for Wireless Communications: The InSecTT perspective

IEEE Open Journal of the Industrial Electronics Society

引用

IEEE Open Journal of the Industrial Electronics Society 2025年 6卷 802-819页

作者： Robles, Ramiro Samano Javanmardi, Gowhar Pilz, Christoph Kwapisiewicz, Przemyslaw Rzymowski, Mateusz Kulas, Lukasz Davoli, Luca Belli, Laura Ferrari, Gianluigi Wenning, Bernd-Ludwig Gonca, Bugra Prasad, R. Venkatesha Simha, Ashutosh Kiviranta, Markku Moilanen, Ilkka Robinson, Sean Cirill, Gennaro Soyturk, Mujdat Bostanci, Yavuz Selim Hormann, Leander B. Research Centre in Real-time and Embedded Computing Systems Porto Portugal University of Porto Faculty of Engineering Portugal Virtual Vehicle Research GmbH Graz Austria Gdansk University of Technology Poland Lab Department of Engineering and Architecture Parma Italy Rome Italy Munster Technological University Cork Ireland NuRD Innovation Center Turkey Technical University of Delft Netherlands VTT Research Corporation Finland F-Secure Corporation Finland Marmara University Istanbul Turkey 1Linz Center of Mechatronics GmbH Linz Austria

This paper presents an overview of how Artificial Intelligence (AI) and edge technology have been used to improve wireless connectivity in multiple industrial Use Cases (UCs) of the EU project "Intelligent Secure Trustable Things"(InSecTT). We present a brief introduction of the InSecTT framework for crossdomain architecture design, which targets UCs assisted by reusable and-or interoperable technical Building Blocks (BBs). These BBs constitute the construction bricks containing AI and supporting components that were used to build different UCs. The framework consists of multiple stages based on the processing of UC-BB requirements (RQs). These stages include: i) collection, ii) harmonization, iii) refinement, iv) classification, v) architecture alignment, and vi) functionality modeling of RQs. The most relevant results of these stages are discussed here, with emphasis on the need for a refined granularity of technical components with common functionalities named sub-building blocks (SBBs), where collaboration and cross-domain reusability were optimized. The design process shed light on how AI and SBBs were implemented across different layers and entities of our reference architecture for the Internet-of-Things (IoT), including the interfaces used for information exchange. This detailed interface analysis is expected to reveal issues such as bottlenecks, constraints, vulnerabilities, scalability problems, security threats, etc. This will, in turn, contribute to identifying design gaps in AI-enabled IoT systems. The paper summarizes the SBBs related to wireless connectivity, including a general description, implementation issues, comparison of results, adopted interfaces, and conclusions across domains. © 2020 IEEE.

关键词： Reusability

来源：评论

学校读者我要写书评

暂无评论

A Novel Framework of Horizontal-Vertical Hybrid Federated Learning for EdgeIoT

IEEE Networking Letters

引用

IEEE Networking Letters 2025年

作者： Li, Kai Liang, Yilei Yuan, Xin Ni, Wei Crowcroft, Jon Yuen, Chau Akan, Ozgur B. Group Department of Engineering University of Cambridge CambridgeCB3 0FA United Kingdom Real-Time and Embedded Computing Systems Research Centre CISTER Porto4249-015 Portugal The Department of Computer Science and Technology University of Cambridge CambridgeCB3 0FA United Kingdom Commonwealth Scientific and Industrial Research Organization CSIRO SydneyNSW2122 Australia The School of Computing Science and Engineering University of New South Wales Australia Nanyang Technological University SG 639798 Singapore Group Division of Electrical Engineering Department of Engineering University of Cambridge CambridgeCB3 0FA United Kingdom The Center for neXt-generation Communications CXC Koç University Istanbul34450 Turkey

This letter puts forth a new hybrid horizontal-vertical federated learning (HoVeFL) for mobile edge computing-enabled Internet of Things (EdgeIoT). In this framework, certain EdgeIoT devices train local models using the same data samples but analyze disparate data features, while the others focus on the same features using non-independent and identically distributed (non-IID) data samples. Thus, even though the data features are consistent, the data samples vary across devices. The proposed HoVeFL formulates the training of local and global models to minimize the global loss function. Performance evaluations on CIFAR-10 and SVHN datasets reveal that the testing loss of HoVeFL with 12 horizontal FL devices and six vertical FL devices is 5.5% and 25.2% higher, respectively, compared to a setup with six horizontal FL devices and 12 vertical FL devices. © 2019 IEEE.

关键词： Federated learning

来源：评论

学校读者我要写书评

暂无评论

Special Issue on Nanopackaging: Part II

引用

IEEE NANOTECHNOLOGY MAGAZINE 2019年第1期13卷 3-3页

作者： Yeow, John T. W. Real-Time and Embedded Computing Systems Research Centre (CISTER) Porto Portugal

Presents the introductory editorial for this issue of the publication.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Poster Abstract: Privacy-preserving Control Message Dissemination for PVCPS

Poster Abstract: Privacy-preserving Control Message Dissemin...

引用

International Symposium on Information Processing in Sensor Networks (IPSN)

作者： Kai Li Yousef Emami Eduardo Tovar Real-Time and Embedded Computing Systems Research Centre (CISTER) Porto Portugal

ISBN: (纸本)9781728107271

Privacy preservation is critical for control information dissemination in Platoon-based Vehicular Cyber-Physical systems (PVCPS). However, the vehicular communication is vulnerable to wireless eavesdropping attack and message modification, due to broadcast nature of radio channels. In this poster, we present a secret key generation testbed for PVCPS security, which is built based on off-the-shelf autonomous robotic vehicles and TelosB wireless transceivers. A cooperative secret key agreement (CoopKey) scheme is demonstrated for encrypting/decrypting the disseminated control messages. To unify the secret key generated by the vehicles, CoopKey explores received signal strength (RSS) measurements and channel estimation on the inter-node radio channel. In addition, a Python-based user interface is also implemented to show real-time bit mismatch rate of CoopKey.

关键词： Lead Wireless communication real-time systems Security Cyber-physical systems Communication system security embedded computing

来源：评论

学校读者我要写书评

暂无评论

Correlating the Effect of Covid-19 Lockdown with Mobility Impacts: A time Series Study Using Noise Sensors Data

引用

Transportation research Procedia 2022年 62卷 115-122页

作者： Antonio Pascale Simona Mancini Pedro M. d’Orey Claudio Guarnaccia Margarida C. Coelho Centre for Mechanical Technology and Automation Dept. of Mechanical Engineering University of Aveiro Campus Universitário de Santiago 3801-193 Aveiro Portugal Department of Information and Electric Engineering and Applied Mathematics University of Salerno Via Giovanni Paolo II 132 I-84084 Fisciano Italy Real-Time and Embedded Computing Systems Research Centre (CISTER) ISEP IPP Rua Dr. António Bernardino de Almeida 431 4200-072 Porto Portugal Dept. of Civil Engineering University of Salerno Via Giovanni Paolo II 132 I-84084 Fisciano Italy

The Covid-19 crisis forced governments around the world to rapidly enact several restrictions to face the associated health emergency. The Portuguese government was no exception and, following the example of other countries, established various limitations to flat the contagions curve. This led to inevitable repercussions on mobility and environmental indicators including noise. This research aims to assess the impact of the lockdown due to Covid-19 disease on the noise levels recorded in the city of Porto, Portugal. Data from four noise sensors located in strategic spots of the city were used to calibrate and validate time Series Models, allowing to impute the missing values in the datasets and rebuild them. The trend and the cyclic information were extracted from the reconstructed datasets using decomposition techniques. Finally, a Spearman correlation analysis between noise levels values and traffic volumes (extracted from five inductive loop detectors, located nearby the noise sensors) was performed. Results show that the noise levels series present a daily seasonal pattern and the trends values decreased from 6.7 to 7.5 dBA during the first lockdown period (March-May 2020). Moreover, the noise levels tend to gradually rise after the removal of restrictions. Finally, there is a monotonic relationship between noise levels and traffic volumes values, as confirmed by the positive moderate-to-high correlation coefficients found, and the sharp drop of the former during March-May 2020 can be attributed to the strong reduction of road traffic flows in the city.

关键词： Traffic Noise time Series Models Covid-19 Inductive Loops

来源：评论

学校读者我要写书评

暂无评论

Security in Wireless Sensor Networks: A formal verification of protocols

Security in Wireless Sensor Networks: A formal verification ...

引用

IEEE International Conference on Industrial Informatics (INDIN)

作者： Giann Spilere Nandi David Pereira Martín Vigil Ricardo Moraes Analúcia Schiaffino Morales Gustavo Araújo CISTER - Research Centre in Real-Time & Embedded Computing Systems Portugal >Universidade Federal de Santa Catarina Brazil

The increase of the digitalization taking place in various industrial domains is leading developers towards the design and implementation of more and more complex networked control systems (NCS) supported by Wireless Sensor Networks (WSN). This naturally raises new challenges for the current WSN technology, namely in what concerns improved guarantees of technical aspects such as real-time communications together with safe and secure transmissions. Notably, in what concerns security aspects, several cryptographic protocols have been proposed. Since the design of these protocols is usually error-prone, security breaches can still be exposed and MALICIOUSly exploited unless they are rigorously analyzed and verified. In this paper we formally verify, using ProVerif, three cryptographic protocols used in WSN, regarding the security properties of secrecy and authenticity. The security analysis performed in this paper is more robust than the ones performed in related work. Our contributions involve analyzing protocols that were modeled considering an unbounded number of participants and actions, and also the use of a hierarchical system to classify the authenticity results. Our verification shows that the three analyzed protocols guarantee secrecy, but can only provide authenticity in specific scenarios.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Attack Detection in Cyber-Physical Production systems using the Deterministic Dendritic Cell Algorithm

Attack Detection in Cyber-Physical Production Systems using ...

引用

International Conference on Emerging Technologies and Factory Automation (ETFA)

作者： Rui Pinto Gil Gonçalves Eduardo Tovar Jerker Delsing Research Center for Systems and Technologies Faculty of Engineering University of Porto Porto Portugal Research Centre in Real-Time and Embedded Computing Systems Polytechnic of Porto - School of Engineering Porto Portugal EISLAB Luleå University of Technology Luleå Sweden

ISBN: (数字)9781728189567

ISBN: (纸本)9781728189574

Cyber-Physical Production systems (CPPS) are key enablers for industrial and economic growth. The introduction of the Internet of Things (IoT) in industrial processes represents a new revolution towards the Smart Manufacturing oncept and is usually designated as the 4 th Industrial Revolution. Despite the huge interest from the industry to innovate their production systems, in order to increase revenues at lower costs, the IoT concept is still immature and fuzzy, which increases security related risks in industrial systems. Facing this paradigm and, since CPPS have reached a level of complexity, where the human intervention for operation and control is becoming increasingly difficult, Smart Factories require autonomic methodologies for security management and self-healing. This paper presents an Intrusion Detection System (IDS) approach for CPPS, based on the deterministic Dendritic Cell Algorithm (dDCA). To evaluate the dDCA effectiveness, a testing dataset was generated, by implementing and injecting various attacks on a OPC UA based CPPS testbed. The results show that these attacks can be successfully detected using the dDCA.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Using Coalition Games for QoS Aware Scheduling in mmWave WPANs

Using Coalition Games for QoS Aware Scheduling in mmWave WPA...

引用

IEEE Vehicular Technology Conference

作者： Yali Chen Yong Niu Bo Ai Zhangdui Zhong Dapeng (Oliver) Wu Kai Li School of Electronic and Information Engineering of Beijing Jiaotong University Beijing China Department of Electrical and Computer Engineering University of Florida Gainesville FL USA Real-Time and Embedded Computing Systems Research Centre (CISTER) Porto Portugal

With the increasing quality of service (QoS) demands for indoor multimedia applications, millimeter wave (mmWave) communications are emerging as a promising candidate for the wireless personal area networks (WPANs). On the one hand, it has the advantage of providing several-Gbps transmission rate. However, due to the unique characteristics in 60-GHz frequency band, such as high propagation loss, beamforming is fully exploited for mmWave links to achieve directional transmission and reception. In this paper, we propose a novel QoS aware scheduling algorithm for concurrent transmission in mmWave WPANs based on coalition game. First, we formulate the problem of concurrent transmission scheduling into a non-convex integer programming problem. Then, we propose a coalition game based algorithm to maximize the number of flows satisfying the corresponding QoS requirements, while improving the network resource utilization effectively. Besides, our proposed algorithm converges to a Nash-stable equilibrium with greatly reduced complexity. Through extensive simulations under various system parameters, we demonstrate our scheme achieves better network performance in terms of the throughput and the number of flows scheduled successfully, compared with existed protocols.

关键词： Quality of service Interference Games Wireless personal area networks Resource management Scheduling algorithms Transmitters

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：