Wireless technology is used daily across the globe. A very common wireless technology is Bluetooth. The Bluetooth technology exists everywhere, from cars to mobile phones and even kitchen appliances. Recently, Bluetooth Low Energy has added support for another physical layer, LE 2M PHY. This physical layer is supposed to be faster and more energy efficient than its predecessor, LE 1M PHY, with a decrease in range. Because of this new physical layer, Bluetooth Low Energy can now compete with Bluetooth Classic during data transmission, in both speed and energy efficiency. This thesis aims to find the breaking point where Bluetooth Low Energy becomes less energy efficient than Bluetooth Classic, in relation to bit rate speed and total amount of bytes sent. Before experiments were conducted, multiple iterations of an artifact had to be done to end up with an artifact that provides valid and reliable data. The experiments were then conducted by changing the bit rate speed and sending different amounts of bytes. The results from the experiments show that Bluetooth Classic is practically both faster and more energy efficient with its fastest modulation than Bluetooth Low Energy is with LE 2M PHY enabled, even though this should not be the case theoretically. Bluetooth Classic is overall more energy efficient than Bluetooth Low Energy and thus the conclusion of this study is that no breaking points between the two technologies exist.

Biogas is a renewable energy source produced by decomposing organic matter in the absence of oxygen. Without oxygen, organic matter is broken down in this process, producing a mixture of gases that may be used for a variety of tasks, such as heating, cooking, and producing power. In contrast to conventional fossil fuels, biogas is economical and sustainable. Additionally, it may be produced from waste products like animal manure and agricultural wastes, which has considerable economic advantages. Due to its capacity to lower greenhouse gas emissions and solve climate change challenges, biogas has grown in popularity. To find the most effective source of biogas, scientists are constantly studying different types of bacteria and organic waste. The biologists can receive assistance from technicians to expedite the development of this field. Assistance can be provided by enhancing the laboratory equipment to make them more intelligent, user-friendly, and productive, which is the focus of this research endeavour. This study's state-of-the-art is an Automatic Methane Potential Test System currently utilised in laboratories and available for purchase. This project aims to redesign the blending mechanism of the Automatic Methane Potential Test System. The system is designed to operate independently using CAN communication and an edge device (a smartphone) that connects to the system via Bluetooth. The application for smartphones is designed to communicate with a master controller using Bluetooth Classic to send and receive data. Which, in turn, uses CAN-bus to interact with 18 bioreactors remotely. The TMC5130 stepper motor controller is utilised in this project, offering cutting-edge characteristics that meet the project's needs. The system's components have each been individually tested on a prototype. The result is encouraging and shows that, with modest adjustments, the conceptual design might one day successfully replace the current system.

Wireless technology has increased in popularity since its invention, being embedded in many devices, such as smartphones, laptops, earphones etcetera. One of those technologies is Bluetooth, which is a short-range technology that is widely used worldwide. While being a popular and important technology, it is not as optimized as it could be, especially the standard Bluetooth 4.2. According to (Bluetooth, 2023)Bluetooth version 5 has four times the range of Bluetooth version 4.2 which is one area of improvement in Bluetooth. While limited Forward Error Correction (FEC)functionality in terms of (15,10) Hamming codes is present in the Bluetooth classic4.2 stack, however, it is not utilized in that version of Bluetooth. This thesis aims to implement a functionality in Bluetooth that uses FEC to increase the range. Before the experiments were conducted, multiple measurements were done in order to check if the hardware, such as the Bluetooth modules, antennas, air sniffer, could provide reliable and valid data. The experiments were conducted by streaming an audio sample of 48 kHz via Bluetooth and increasing the range until a certain percentage of fail rate in data transmission has occurred. FEC was then enabled, and the same experiment was repeated. The results from the experiments show that the range can be increased up to a few meters. Not only that, but the transmission without FEC allows a high level of errors without a connection cut-off. With FEC, the connection does not allow high levels of errors which means that the audio quality would not drop as low as it would have without FEC which means that a certain audio quality is preserved. This also makes the case for the implementation of higher modes of FEC into the Bluetooth stack to potentially increase the range of Bluetooth classic multiple times, but that implementation is beyond the scope of this thesis.

<p>Bluetooth is the de facto standard for short-range wireless communications. Besides Bluetooth Classic (BC), Bluetooth also consists of Bluetooth Low Energy (BLE) and Bluetooth Mesh (Mesh), two relatively new protocols, paving the way for its domination in the era of IoT and 5G. Meanwhile, attacks against Bluetooth, such as BlueBorne, BleedingBit, KNOB, BIAS, and BThack, have been booming in the past few years, impacting the security and privacy of billions of devices. These attacks exploit both design issues in the Bluetooth specification and vulnerabilities of its implementations, allowing for privilege escalation, remote code execution, breaking cryptography, spoofing, device tracking, etc.</p> <p><br></p> <p>To secure Bluetooth, researchers have proposed different approaches for both Bluetooth specification (e.g., formal analysis) and implementation (e.g., fuzzing). However, existing analyses of the Bluetooth specification and implementations are either done manually, or the automatic approaches only cover a small part of the targets. As a consequence, current research is far from complete in securing Bluetooth.</p> <p><br></p> <p>Therefore, in this dissertation, we propose the following research to provide missing pieces in prior research toward completing Bluetooth security research in terms of both Bluetooth specification and implementations. (i) For Bluetooth security at the specification level, we start from one protocol in Bluetooth, BLE, and focus on the previously unexplored reconnection procedure of two paired BLE devices. We conduct a formal analysis of this procedure defined in the BLE specification to provide security guarantees and identify new vulnerabilities that allow spoofing attacks. (ii) Besides BLE, we then formally verify other security-critical protocols in all Bluetooth protocols (BC, BLE, and Mesh). We provide a comprehensive formal analysis by covering the aspects that prior research fails to include (i.e., all possible combinations of protocols and protocol configurations) and considering a more realistic attacker model (i.e., semi-compromised device). With this model, we are able to rediscover five known vulnerabilities and reveal two new issues that affect BC/BLE dual-stack devices and Mesh devices, respectively. (iii) In addition to the formal analysis of specification security, we propose and build a comprehensive formal model to analyze Bluetooth privacy (i.e., device untraceability) at the specification level. In this model, we convert device untraceability into a reachability problem so that it can be verified using existing tools without introducing false results. We discover four new issues allowed in the specification that can lead to eight device tracking attacks. We also evaluate these attacks on 13 Bluetooth implementations and find that all of them are affected by at least two issues. (iv) At the implementation level, we improve Bluetooth security by debloating (i.e., removing code) Bluetooth stack implementations, which differs from prior automatic approaches, such as fuzzing. We keep only the code of needed functionality by a user and minimize their Bluetooth attack surface by removing unneeded Bluetooth features in both the host stack code and the firmware. Through debloating, we can remove 20 known CVEs and prevent a wide range of attacks again Bluetooth. With the research presented in this thesis, we improve Bluetooth security and privacy at both the specification and implementation levels.</p>