English
Related papers

Related papers: An AUTOSAR-Aligned Architectural Study of Vulnerab…

200 papers

Collaborative Cyber-Physical Systems (CCPS) are systems that contain tightly coupled physical and cyber components, massively interconnected subsystems, and collaborate to achieve a common goal. The safety of a single Cyber-Physical System…

Software Engineering · Computer Science 2023-03-13 Manzoor Hussain , Nazakat Ali , Jang-Eui Hong

Modern systems on a chip (SoCs) utilize heterogeneous architectures where multiple IP cores have concurrent access to on-chip shared resources. In security-critical applications, IP cores have different privilege levels for accessing shared…

Cryptography and Security · Computer Science 2021-06-28 Francesco Restuccia , Andres Meza , Ryan Kastner

Systems of systems (SoSs) are particularly vulnerable to faults and other threats to their dependability, but frequently inhabit domains that demand high levels of dependability. For this reason fault tolerance analysis is important in SoS…

Software Engineering · Computer Science 2014-05-09 Claire Ingram , Steve Riddle , John Fitzgerald , Sakina A. H. J. Al-Lawati , Afra Alrbaiyan

The automotive industry is currently undergoing a major transformation with respect to the Electric/Electronic (E/E) and software architecture, driven by a significant increase in the complexity of the technological stack within a vehicle.…

While the adoption of Service-Oriented Architectures (SOA) eases the implementation of features such as autonomous driving and over-the-air updates, it also increases the vehicle's exposure to attacks that may place road-users in harm. To…

Logic in Computer Science · Computer Science 2022-12-26 Yuri Gil Dantas , Simon Barner , Pei Ke , Vivek Nigam , Ulrich Schoepp

The increasing complexity of software has led to the steady growth of vulnerabilities. Vulnerability repair investigates how to fix software vulnerabilities. Manual vulnerability repair is labor-intensive and time-consuming because it…

Software Engineering · Computer Science 2025-06-16 Yiwei Hu , Zhen Li , Kedie Shu , Shenghua Guan , Deqing Zou , Shouhuai Xu , Bin Yuan , Hai Jin

This work presents ATLAS, an LLM-driven framework that bridges standardized threat modeling and property-based formal verification for System-on-Chip (SoC) security. Starting from vulnerability knowledge bases such as Common Weakness…

Cryptography and Security · Computer Science 2026-04-24 Ishraq Tashdid , Kimia Tasnia , Alexander Garcia , Jonathan Valamehr , Sazadur Rahman

Virtualization of computing and networking, IT-OT convergence, cybersecurity and AI-based enhancement of autonomy are significantly increasing the complexity of CPS and CPSoS. New challenges have emerged to demonstrate that these systems…

Systems and Control · Electrical Eng. & Systems 2021-04-28 Emmanuel Ledinot

The development of a system vulnerability analysis tool (SVAT) for complex mission critical systems (CMCS) produced the software for operation and network attack results review (SONARR). This software builds upon the Blackboard Architecture…

Cryptography and Security · Computer Science 2024-09-18 Matthew Tassava , Cameron Kolodjski , Jordan Milbrath , Jeremy Straub

A system vulnerability analysis technique (SVAT) for complex mission critical systems (CMCS) was developed in response to the need to be able to conduct penetration testing on large industrial systems which cannot be taken offline or risk…

Cryptography and Security · Computer Science 2023-06-08 Matthew Tassava , Cameron Kolodjski , Jeremy Straub

Autonomous Vehicle has been transforming intelligent transportation systems. As telecommunication technology improves, autonomous vehicles are getting connected to each other and to infrastructures, forming Connected and Autonomous Vehicles…

Cryptography and Security · Computer Science 2020-07-17 Minh Pham , Kaiqi Xiong

The delivery of a framework in place for secure application development is of real value for application development teams to integrate security into their development life cycle, especially when a mobile or web application moves past the…

Cryptography and Security · Computer Science 2020-07-07 Jinfeng Li

Ensuring predictability in modern real-time Systems-on-Chip (SoCs) is an increasingly critical concern for many application domains such as automotive, robotics, and industrial automation. An effective approach involves the modeling and…

Hardware Architecture · Computer Science 2024-08-20 Luca Valente , Francesco Restuccia , Davide Rossi , Ryan Kastner , Luca Benini

Scalable service-Oriented Middleware over IP (SOME/IP) is an Ethernet communication standard protocol in the Automotive Open System Architecture (AUTOSAR), promoting ECU-to-ECU communication over the IP stack. However, SOME/IP lacks a…

Cryptography and Security · Computer Science 2024-02-26 Qi Liu , Xingyu Li , Ke Sun , Yufeng Li , Yanchen Liu

In this paper, we introduce the notion of Cooperative Perception Error Models (coPEMs) towards achieving an effective and efficient integration of V2X solutions within a virtual test environment. We focus our analysis on the occlusion…

Robotics · Computer Science 2022-11-23 Andrea Piazzoni , Jim Cherian , Roshan Vijay , Lap-Pui Chau , Justin Dauwels

Securing critical assets in a bus-based System-On-Chip (SoC) is imperative to mitigate potential vulnerabilities and prevent unauthorized access, ensuring the integrity, availability, and confidentiality of the system. Ensuring security…

Cryptography and Security · Computer Science 2023-08-15 Sudipta Paria , Aritra Dasgupta , Swarup Bhunia

As autonomous driving systems (ADSes) become increasingly complex and integral to daily life, the importance of understanding the nature and mitigation of software bugs in these systems has grown correspondingly. Addressing the challenges…

Software Engineering · Computer Science 2025-02-05 Yuntianyi Chen , Yuqi Huai , Yirui He , Shilong Li , Changnam Hong , Qi Alfred Chen , Joshua Garcia

By using various sensors to measure the surroundings and sharing local sensor information with the surrounding vehicles through wireless networks, connected and automated vehicles (CAVs) are expected to increase safety, efficiency, and…

Systems and Control · Electrical Eng. & Systems 2021-03-02 Tianci Yang , Chen Lv

To build a smarter and safer city, a secure, efficient, and sustainable transportation system is a key requirement. The autonomous driving system (ADS) plays an important role in the development of smart transportation and is considered one…

Computer Vision and Pattern Recognition · Computer Science 2024-09-25 Abu Shad Ahammed , Md Shahi Amran Hossain , Roman Obermaisser

Aerial autonomous machines (Drones) has a plethora of promising applications and use cases. While the popularity of these autonomous machines continues to grow, there are many challenges, such as endurance and agility, that could hinder the…

Robotics · Computer Science 2021-09-14 Srivatsan Krishnan , Thierry Tambe , Zishen Wan , Vijay Janapa Reddi