Federated Robust Embedded Systems: Concepts and Challenges

The development within the area of embedded systems (ESs) is moving rapidly, not least due to falling costs of computation and communication equipment. It is believed that increased communication opportunities will lead to the future ESs no longer being parts of isolated products, but rather parts of larger communities or federations of ESs, within which information is exchanged for the benefit of all participants. This vision is asserted by a number of interrelated research topics, such as the internet of things, cyber-physical systems, systems of systems, and multi-agent systems. In this work, the focus is primarily on ESs, with their specific real-time and safety requirements. While the vision of interconnected ESs is quite promising, it also brings great challenges to the development of future systems in an efficient, safe, and reliable way. In this work, a pre-study has been carried out in order to gain a better understanding about common concepts and challenges that naturally arise in federations of ESs. The work was organized around a series of workshops, with contributions from both academic participants and industrial partners with a strong experience in ES development. During the workshops, a portfolio of possible ES federation scenarios was collected, and a number of application examples were discussed more thoroughly on different abstraction levels, starting from screening the nature of interactions on the federation level and proceeding down to the implementation details within each ES. These discussions led to a better understanding of what can be expected in the future federated ESs. In this report, the discussed applications are summarized, together with their characteristics, challenges, and necessary solution elements, providing a ground for the future research within the area of communicating ESs

Machine learning and blockchain technologies for cybersecurity in connected vehicles

Future connected and autonomous vehicles (CAVs) must be secured againstcyberattacks for their everyday functions on the road so that safety of passengersand vehicles can be ensured. This article presents a holistic review of cybersecurityattacks on sensors and threats regardingmulti-modal sensor fusion. A compre-hensive review of cyberattacks on intra-vehicle and inter-vehicle communicationsis presented afterward. Besides the analysis of conventional cybersecurity threatsand countermeasures for CAV systems,a detailed review of modern machinelearning, federated learning, and blockchain approach is also conducted to safe-guard CAVs. Machine learning and data mining-aided intrusion detection systemsand other countermeasures dealing with these challenges are elaborated at theend of the related section. In the last section, research challenges and future direc-tions are identified

Wireless Communication Technologies for Safe Cooperative Cyber Physical Systems

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 casesinfo:eu-repo/semantics/publishedVersio

Testing automated driving systems to calibrate drivers’ trust

Automated Driving Systems (ADSs) offer many potential benefits like improved safety, reduced traffic congestion and lower emissions. However, such benefits can only be realised if drivers trust and make use of such systems. The two challenges explored in this thesis are: 1) How to increase trust in ADSs? 2) How to identify the test scenarios to establish the true capabilities and limitations of ADSs? Firstly, drivers’ trust needs to be calibrated to the “appropriate” level to prevent misuse (due to over trust) or disuse (due to under trust) of the system. In this research, a method to calibrate drivers’ trust to the appropriate level has been created. This method involves providing knowledge of the capabilities and limitations of the ADSs to the driver. However, there is a need to establish the capabilities and limitations of the ADSs which form the knowledge to be imparted to the driver. Therefore, the next research contribution lies in the development of a novel method to establish the knowledge of capabilities and limitations of ADSs (used to calibrate trust) in a reliable manner. This knowledge can be created by testing ADSs. However, in literature, an unanswered research question remains: How to identify test scenarios which highlight the limitations of ADSs? In order to identify such test scenarios, a novel hazard based testing approach to establish the capabilities and limitations of ADSs is presented by extending STPA (a hazard identification method) to create test scenarios. To ensure reliability of the hazard classification (and of the knowledge), the author created a novel objective approach for risk classification by creating a rule-set for risk ratings. The contribution of this research lies in developing a method to increase trust in ADSs by creating reliable knowledge using hazard based testing approach which identifies how an ADS can fail

Advances in integrating autonomy with acoustic communications for intelligent networks of marine robots

Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy at the Massachusetts Institute of Technology and the Woods Hole Oceanographic Institution February 2013Autonomous marine vehicles are increasingly used in clusters for an array of oceanographic tasks. The effectiveness of this collaboration is often limited by communications: throughput, latency, and ease of reconfiguration. This thesis argues that improved communication on intelligent marine robotic agents can be gained from acting on knowledge gained by improved awareness of the physical acoustic link and higher network layers by the AUV’s decision making software. This thesis presents a modular acoustic networking framework, realized through a C++ library called goby-acomms, to provide collaborating underwater vehicles with an efficient short-range single-hop network. goby-acomms is comprised of four components that provide: 1) losslessly compressed encoding of short messages; 2) a set of message queues that dynamically prioritize messages based both on overall importance and time sensitivity; 3) Time Division Multiple Access (TDMA) Medium Access Control (MAC) with automatic discovery; and 4) an abstract acoustic modem driver. Building on this networking framework, two approaches that use the vehicle’s “intelligence” to improve communications are presented. The first is a “non-disruptive” approach which is a novel technique for using state observers in conjunction with an entropy source encoder to enable highly compressed telemetry of autonomous underwater vehicle (AUV) position vectors. This system was analyzed on experimental data and implemented on a fielded vehicle. Using an adaptive probability distribution in combination with either of two state observer models, greater than 90% compression, relative to a 32-bit integer baseline, was achieved. The second approach is “disruptive,” as it changes the vehicle’s course to effect an improvement in the communications channel. A hybrid data- and model-based autonomous environmental adaptation framework is presented which allows autonomous underwater vehicles (AUVs) with acoustic sensors to follow a path which optimizes their ability to maintain connectivity with an acoustic contact for optimal sensing or communication.I wish to acknowledge the sponsors of this research for their generous support of my tuition, stipend, and research: the WHOI/MIT Joint Program, the MIT Presidential Fellowship, the Office of Naval Research (ONR) # N00014-08-1-0011, # N00014-08-1-0013, and the ONR PlusNet Program Graduate Fellowship, the Defense Advanced Research Projects Agency (DARPA) (Deep Sea Operations: Applied Physical Sciences (APS) Award # APS 11-15 3352-006, APS 11-15-3352-215 ST 2.6 and 2.7

Safe Automated Driving on Highways – Beyond Today's Connected Autonomous Vehicles

International audienceSafe automated driving rests on safety-critical (SC) inter-vehicular (IV) coordination. Safety criticality is defined unambiguously via the Bounded Move requirements. We show that today's autonomous vehicles and upcoming connected vehicles fail to meet these requirements by huge margins. We present a cyber-physical construct, IV communication protocols and IV agreement algorithms that achieve SC IV coordination in highway autonomic vehicular networks. Worst-case termination time bounds of protocols and algorithms are given, which allows for checking that the Bounded Move requirements are met. These solutions lay the ground for novel standards specifically aimed at safety. Interestingly, they also meet privacy requirements. Some open problems raised with automated driving are put into perspective

Air Force Institute of Technology Research Report 2006

This report summarizes the research activities of the Air Force Institute of Technology’s Graduate School of Engineering and Management. It describes research interests and faculty expertise; lists student theses/dissertations; identifies research sponsors and contributions; and outlines the procedures for contacting the school. Included in the report are: faculty publications, conference presentations, consultations, and funded research projects. Research was conducted in the areas of Aeronautical and Astronautical Engineering, Electrical Engineering and Electro-Optics, Computer Engineering and Computer Science, Systems and Engineering Management, Operational Sciences, Mathematics, Statistics and Engineering Physics

Investigation of Vehicle-to-Everything (V2X) Communication for Autonomous Control of Connected Vehicles

Autonomous Driving Vehicles (ADVs) has received considerable attention in recent years by academia and industry, bringing about a paradigm shift in Intelligent Transportation Systems (ITS), where vehicles operate in close proximity through wireless communication. It is envisioned as a promising technology for realising efficient and intelligent transportation systems, with potential applications for civilian and military purposes. Vehicular network management for ADVs is challenging as it demands mobility, location awareness, high reliability, and low latency data traffic. This research aims to develop and implement vehicular communication in conjunction with a driving algorithm for ADVs feedback control system with a specific focus on the safe displacement of vehicle platoon while sensing the surrounding environment, such as detecting road signs and communicate with other road users such as pedestrian, motorbikes, non-motorised vehicles and infrastructure. However, in order to do so, one must investigate crucial aspects related to the available technology, such as driving behaviour, low latency communication requirement, communication standards, and the reliability of such a mechanism to decrease the number of traffic accidents and casualties significantly. To understand the behaviour of wireless communication compared to the theoretical data rates, throughput, and roaming behaviour in a congested indoor line-of-sight heterogeneous environment, we first carried out an experimental study for IEEE 802.11a, 802.11n and 802.11ac standards in a 5 GHz frequency spectrum. We validated the results with an analytical path loss model as it is essential to understand how the client device roams or decides to roam from one Access Point to another and vice-versa. We observed seamless roaming between the tested protocols irrespective of their operational environment (indoor or outdoor); their throughput efficiency and data rate were also improved by 8-12% when configured with Short Guard Interval (SGI) of 400ns compared to the theoretical specification of the tested protocols. Moreover, we also investigated the Software-Defined Networking (SDN) for vehicular communication and compared it with the traditional network, which is generally incorporated vertically where control and data planes are bundled collectively. The SDN helped gain more flexibility to support multiple core networks for vehicular communication and tackle the potential challenges of network scalability for vehicular applications raised by the ADVs. In particular, we demonstrate that the SDN improves throughput efficiency by 4% compared to the traditional network while ensuring efficient bandwidth and resource management. Finally, we proposed a novel data-driven coordination model which incorporates Vehicle-to-Everything (V2X) communication and Intelligent Driver Model (IDM), together called V2X Enabled Intelligent Driver Model (VX-IDM). Our model incorporates a Car-Following Model (CFM), i.e., IDM, to model a vehicle platoon in an urban and highway traffic scenario while ensuring the vehicle platoon's safety with the integration of IEEE 802.11p Vehicle-to-Infrastructure (V2I) communication scheme. The model integrates the 802.11p V2I communication channel with the IDM in MATLAB using ODE‐45 and utilises the 802.11p simulation toolbox for configuring vehicular channels. To demonstrate model functionality in urban and highway traffic environments, we developed six case studies. We also addressed the heterogeneity issue of wireless networks to improve the overall network reliability and efficiency by estimating the Signal-to-Noise Ratio (SNR) parameters for the platoon vehicle's displacement and location on the road from Road-Side-Units (RSUs). The simulation results showed that inter-vehicle spacing could be steadily maintained at a minimum safe value at all the time. Moreover, the model has a fault-tolerant mechanism that works even when communication with infrastructure is interrupted or unavailable, making the VX-IDM model collision-free