English
Related papers

Related papers: Model-Based Testing IoT Communication via Active A…

200 papers

Self-healing systems depend on following a set of predefined instructions to recover from a known failure state. Failure states are generally detected based on domain specific specialized metrics. Failure fixes are applied at predefined…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-01-24 Mateo Sanabria , Ivana Dusparic , Nicolas Cardozo

As Internet of Things (IoT) has emerged as the next logical stage of the Internet, it has become imperative to understand the vulnerabilities of the IoT systems when supporting diverse applications. Because machine learning has been applied…

Signal Processing · Electrical Eng. & Systems 2020-07-13 Zhengping Luo , Shangqing Zhao , Zhuo Lu , Yalin E. Sagduyu , Jie Xu

Learning-based testing (LBT) is an emerging methodology to automate iterative black-box requirements testing of software systems. The methodology involves combining model inference with model checking techniques. However, a variety of…

Formal Languages and Automata Theory · Computer Science 2020-08-17 Muddassar A. Sindhu

Model-based testing relies on behavior models for the generation of model traces: input and expected output---test cases---for an implementation. We use the case study of an automotive network controller to assess different test suites in…

The large number of sensors and actuators that make up the Internet of Things obliges these systems to use diverse technologies and protocols. This means that IoT networks are more heterogeneous than traditional networks. This gives rise to…

As a massive number of the Internet of Things (IoT) devices are deployed, the security and privacy issues in IoT arouse more and more attention. The IoT attacks are causing tremendous loss to the IoT networks and even threatening human…

Cryptography and Security · Computer Science 2020-06-30 Tianbo Gu , Allaukik Abhishek , Hao Fu , Huanle Zhang , Debraj Basu , Prasant Mohapatra

The problem considered in this paper is the online diagnosis of Automated Production Systems with sensors and actuators delivering discrete binary signals that can be modeled as Discrete Event Systems. Even though there are numerous…

Machine Learning · Computer Science 2022-10-26 R Saddem , D Baptiste

Internet of Things (IoT) based applications face an increasing number of potential security risks, which need to be systematically assessed and addressed. Expert-based manual assessment of IoT security is a predominant approach, which is…

Cryptography and Security · Computer Science 2021-09-10 Xuanyu Duan , Mengmeng Ge , Triet H. M. Le , Faheem Ullah , Shang Gao , Xuequan Lu , M. Ali Babar

Most existing failure detection algorithms rely on statistical methods, and very few use machine learning (ML). This paper explores the viability of ML in the field of failure detection: is it possible to implement an ML-based detector that…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-10-04 Xiaonan Li , Olivier Marin

The ability to detect faults is an important safety feature for event-based multi-agent systems. In most existing algorithms, each agent tries to detect faults by checking its own behavior. But what if one agent becomes unable to recognize…

Systems and Control · Electrical Eng. & Systems 2022-10-03 Alexander Gräfe , Dominik Baumann , Sebastian Trimpe

Learning-Based Testing (LBT) merges learning and testing processes to achieve both testing and behavioral adequacy. LBT utilizes active learning to infer the model of the System Under Test (SUT), enabling scalability for large and complex…

Software Engineering · Computer Science 2025-10-02 Sheikh Md. Mushfiqur Rahman , Nasir Eisty

This paper proposes the preliminary study of the data-driven failure analysis model for the internet of things (IoT) devices. This model focus on the impact of data transferring both get and receiving data in class C of Low Power Wide Area…

Networking and Internet Architecture · Computer Science 2022-07-04 Thanitnan Kammuang , Watthanai Luealamai , Issarapong Khuankrue

We consider the problem of failure detection in dynamic networks such as MANETs. Unreliable failure detectors are classical mechanisms which provide information about process failures. However, most of current implementations consider that…

Distributed, Parallel, and Cluster Computing · Computer Science 2011-11-09 Pierre Sens , Luciana Arantes , Mathieu Bouillaguet , Véronique Martin , Fabiola Greve

Recent years have witnessed impressive robotic manipulation systems driven by advances in imitation learning and generative modeling, such as diffusion- and flow-based approaches. As robot policy performance increases, so does the…

The fault diagnostic model trained for a laboratory case machine fails to perform well on the industrial machines running under variable operating conditions. For every new operating condition of such machines, a new diagnostic model has to…

Machine Learning · Statistics 2021-11-09 Arun K. Sharma , Nishchal K. Verma

Robot learning methods have recently made great strides, but generalization and robustness challenges still hinder their widespread deployment. Failing to detect and address potential failures renders state-of-the-art learning systems not…

Robotics · Computer Science 2024-03-11 Huihan Liu , Shivin Dass , Roberto Martín-Martín , Yuke Zhu

This paper analyzes the security of the Message Queuing Telemetry Transport (MQTT) protocol in the context of the Internet of Things (IoT). The main objective consists of identifying vulnerabilities and proposing security improvements.…

Cryptography and Security · Computer Science 2026-05-18 Ricardo Venâncio , Clarisse Sousa , Filipe Duarte , Luís Ribeiro

Machine Learning (ML) is a common tool to interpret and predict the behavior of distributed computing systems, e.g., to optimize the task distribution between devices. As more and more data is created by Internet of Things (IoT) devices,…

Systems and Control · Electrical Eng. & Systems 2023-11-20 Boris Sedlak , Victor Casamayor Pujol , Praveen Kumar Donta , Schahram Dustdar

Multiagent Systems (MASs) involve different characteristics, such as autonomy, asynchronous and social features, which make these systems more difficult to understand. Thus, there is a lack of procedures guaranteeing that multiagent systems…

Multiagent Systems · Computer Science 2020-11-24 Nathalia Nascimento , Carlos Lucena , Paulo Alencar , Carlos Juliano Viana

Despite its technological benefits, Internet of Things (IoT) has cyber weaknesses due to the vulnerabilities in the wireless medium. Machine learning (ML)-based methods are widely used against cyber threats in IoT networks with promising…

Cryptography and Security · Computer Science 2022-10-11 Zhiyan Chen , Jinxin Liu , Yu Shen , Murat Simsek , Burak Kantarci , Hussein T. Mouftah , Petar Djukic