A Formal Security Assessment Framework for Cooperative Adaptive Cruise Control

Dantas, Yuri Gil; Nigam, Vivek; Talcott, Carolyn

doi:10.1109/vnc51378.2020.9318334

Cited by 7 publications

(6 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…However, V2V communication loss is widespread in practical applications. The causing reasons could be hacking, malfunctioning communications equipment, or jammers [21]. This section will analyze how the distributed control algorithm based on the spring damping energy model can resist V2V communication loss.…”

Section: Robustness To V2v Communication Lossmentioning

confidence: 99%

See 1 more Smart Citation

Cooperative Adaptive Cruise Control for Connected Autonomous Vehicles Using Spring Damping Energy Model

Xie

Ding

et al. 2023

IEEE Trans. Veh. Technol.

View full text Add to dashboard Cite

Cooperative adaptive cruise control (CACC) has been widely considered as a potential solution for reducing traffic congestion, increasing road capacity, reducing fossil fuel consumption and improving traffic safety. Traditional CCAC methods rely heavily on the vehicle-to-vehicle communications to achieve cooperation. However, in the real-world scenarios, unreliable communication will degrade CACC to adaptive cruise control, which may bring negative influences on safety (i.e., increase the risk of collisions). To overcome this drawback, this paper innovatively applies a spring damping energy model to construct a robust autonomous vehicle platoon system. The proposed design of the energy model ensures that the stability and safety of the platoon system be maintained in the event of such sudden degradation. Based on this technique, a distributed control protocol which only utilizes local information from neighbors is then proposed. Furthermore, some practical constraints such as the connectivity of the vehicle platoon system and the bound of the control inputs are guaranteed. Finally, the effectiveness of the proposed CCAC strategy is validated by multiple simulation experiments in Unreal Engine.

show abstract

Section: Robustness To V2v Communication Lossmentioning

confidence: 99%

“…CACC is a framework that relies heavily on the V2V communication. If the V2V communication is attacked or lost, CACC will degrade to ACC, thus increasing the risk of vehicle collisions [21]- [24]. Numerous experimental results have shown that ACC has a negative impact on the traction energy consumption of the vehicle [25], [26].…”

Section: Introductionmentioning

confidence: 99%

Cooperative Adaptive Cruise Control for Connected Autonomous Vehicles Using Spring Damping Energy Model

Xie

Ding

et al. 2023

IEEE Trans. Veh. Technol.

View full text Add to dashboard Cite

show abstract

“…Formal methods and tools have been used for verifying the safety (Kamali et al 2017;Mason et al 2017;Mitra 2021;Moradi et al 2020;Sha et al 2009) and security (Dantas et al 2020) of CPS. While some works investigate the effect of faults (or attacks) on some aspects, such as communication delays, they do not propose systematic means to identify causes for deviations.…”

Section: Introductionmentioning

confidence: 99%

“…Our work is intended for use during early stages of design and development. During this phase, the mission that the CPS has to perform is specified, e.g., visit some points (Mason et al 2017), or be able to autonomously follow vehicles ahead (Dantas et al 2020;Moradi et al 2020). Moreover, high level requirements are developed, e.g., the number of CPS agents required, their energy resources, etc.…”

Section: Introductionmentioning

confidence: 99%

Detection and diagnosis of deviations in distributed systems of autonomous agents

Nigam

Kim²,

Mason³

et al. 2022

Math. Struct. Comp. Sci.

Self Cite

View full text Add to dashboard Cite

Given the complexity of cyber-physical systems (CPS), such as swarms of drones, often deviations, from a planned mission or protocol, occur which may in some cases lead to harm and losses. To increase the robustness of such systems, it is necessary to detect when deviations happen and diagnose the cause(s) for a deviation. We build on our previous work on soft agents, a formal framework based on using rewriting logic for specifying and reasoning about distributed CPS, to develop methods for diagnosis of CPS at design time. We accomplish this by (1) extending the soft agents framework with Fault Models; (2) proposing a protocol specification language and the definition of protocol deviations; and (3) development of workflows/algorithms for detection and diagnosis of protocol deviations. Our approach is partially inspired by existing work using counterfactual reasoning for fault ascription. We demonstrate our machinery with a collection of experiments.

show abstract

“…The system interconnectivity brings security to the development life cycle of safety-critical systems, as an intruder might cause catastrophic events by remotely disabling safety functions. Intruders can attack such communication channels to infiltrate vehicles and, e.g., disable safety functions thus reducing passenger safety [31] or even causing accidents [7].…”

Section: Introductionmentioning

confidence: 99%

Automating Safety and Security Co-Design through Semantically-Rich Architecture Patterns

Dantas¹,

Nigam²

2022

Preprint

Self Cite

View full text Add to dashboard Cite

During the design of safety-critical systems, safety and security engineers make use of architectural patterns, such as Watchdog and Firewall, to address identified failures and threats. Often, however, the deployment of safety patterns has consequences on security, e.g., the deployment of a safety pattern may lead to new threats. The other way around may also be possible, i.e., the deployment of a security pattern may lead to new failures. Safety and security co-design is, therefore, required to understand such consequences and trade-offs, in order to reach appropriate system designs. Currently, pattern descriptions, including their consequences, are described using natural language. Therefore, their deployment in system design is carried out manually, thus time-consuming and prone to human-error, especially given the high system complexity. We propose the use of semantically-rich architectural patterns to enable automated support for safety and security co-design by using Knowledge Representation and Reasoning (KRR) methods. Based on our domain-specific language, we specify reasoning principles as logic specifications written as answer-set programs. KRR engines enable the automation of safety and security co-engineering activities, including the automated recommendation of which architectural patterns can address failures or threats and consequences of deploying such patterns. We demonstrate our approach on an example taken from the ISO 21434 standard.

show abstract

A Formal Security Assessment Framework for Cooperative Adaptive Cruise Control

Cited by 7 publications

References 17 publications

Cooperative Adaptive Cruise Control for Connected Autonomous Vehicles Using Spring Damping Energy Model

Cooperative Adaptive Cruise Control for Connected Autonomous Vehicles Using Spring Damping Energy Model

Detection and diagnosis of deviations in distributed systems of autonomous agents

Automating Safety and Security Co-Design through Semantically-Rich Architecture Patterns

Contact Info

Product

Resources

About