中文
相关论文

相关论文: SoS Fault Modelling at the Architectural Level in …

200 篇论文

Multimodal foundation models (MFMs) integrate diverse data modalities to support complex and wide-ranging tasks. However, this integration also introduces distinct safety and security challenges. In this paper, we unify the concepts of…

密码学与安全 · 计算机科学 2026-02-10 Ruoxi Sun , Jiamin Chang , Hammond Pearce , Chaowei Xiao , Bo Li , Qi Wu , Surya Nepal , Minhui Xue

This paper describes a complex networks approach to study the failure tolerance of mechatronic software systems under various types of hardware and/or software failures. We produce synthetic system architectures based on evidence of modular…

分布式、并行与集群计算 · 计算机科学 2013-10-04 Dharshana Kasthurirathna , Andy Dong , Mahendrarajah Piraveenan , Irem Y. Tumer

Critical infrastructure systems must be both robust and resilient in order to ensure the functioning of society. To improve the performance of such systems, we often use risk and vulnerability analysis to find and address system weaknesses.…

物理与社会 · 物理学 2015-05-08 Sarah LaRocca , Jonas Johansson , Henrik Hassel , Seth Guikema

We propose an approach based on Alloy to formally model and assess a system architecture with respect to safety and security requirements. We illustrate this approach by considering as a case study an avionic system developed by Thales,…

软件工程 · 计算机科学 2014-05-07 Julien Brunel , Laurent Rioux , Stéphane Paul , Anthony Faucogney , Frédérique Vallée

Transformer-based architectures have shown remarkable performance in vision and language tasks but pose unique challenges for safety-critical applications. This paper presents a conceptual framework for integrating Transformers into…

软件工程 · 计算机科学 2026-01-28 Sven Kirchner , Nils Purschke , Chengdong Wu , Alois Knoll

The hardware computing landscape is changing. What used to be distributed systems can now be found on a chip with highly configurable, diverse, specialized and general purpose units. Such Systems-on-a-Chip (SoC) are used to control today's…

密码学与安全 · 计算机科学 2023-07-06 Ali Shoker , Paulo Esteves Verissimo , Marcus Völp

To cope with the ever increasing threats of dynamic and adaptive persistent attacks, Fault and Intrusion Tolerance (FIT) is being studied at the hardware level to increase critical systems resilience. Based on state-machine replication, FIT…

密码学与安全 · 计算机科学 2023-01-20 Ahmad T Sheikh , Ali Shoker , Paulo Esteves-Verissimo

Context: The challenges posed by the architecting of System of Systems (SoS) has motivated a significant number of research efforts in the area. However, literature is lacking when it comes to the interplay between the disciplines involved…

软件工程 · 计算机科学 2022-06-24 Héctor Cadavid , Vasilios Andrikopoulos , Paris Avgeriou , P. Chris Broekema

AI has become integral to safety-critical areas like autonomous driving systems (ADS) and robotics. The architecture of recent autonomous systems are trending toward end-to-end (E2E) monolithic architectures such as large language models…

人工智能 · 计算机科学 2025-07-24 Mandar Pitale , Jelena Frtunikj , Abhinaw Priyadershi , Vasu Singh , Maria Spence

To face future reliability challenges, it is necessary to quantify the risk of error in any part of a computing system. To this goal, the Architectural Vulnerability Factor (AVF) has long been used for chips. However, this metric is used…

硬件体系结构 · 计算机科学 2023-08-02 Luc Jaulmes , Miquel Moretó , Mateo Valero , Marc Casas

With the rapid advancements of deep learning in the past decade, it can be foreseen that deep learning will be continuously deployed in more and more safety-critical applications such as autonomous driving and robotics. In this context,…

硬件体系结构 · 计算机科学 2022-04-06 Cheng Liu , Zhen Gao , Siting Liu , Xuefei Ning , Huawei Li , Xiaowei Li

Fault-tolerant distributed algorithms are central for building reliable spatially distributed systems. Unfortunately, the lack of a canonical precise framework for fault-tolerant algorithms is an obstacle for both verification and…

形式语言与自动机理论 · 计算机科学 2012-10-16 Annu John , Igor Konnov , Ulrich Schmid , Helmut Veith , Josef Widder

As people spend up to 87% of their time indoors, intelligent Heating, Ventilation, and Air Conditioning (HVAC) systems in buildings are essential for maintaining occupant comfort and reducing energy consumption. These HVAC systems in smart…

系统与控制 · 电气工程与系统科学 2021-08-09 Shichao Xu , Yangyang Fu , Yixuan Wang , Zheng O'Neill , Qi Zhu

Best practices of self-sovereign identity (SSI) are being intensively explored in academia and industry. Reusable solutions obtained from best practices are generalized as architectural patterns for systematic analysis and design reference,…

密码学与安全 · 计算机科学 2024-06-04 Yepeng Ding , Hiroyuki Sato

Modern overlay security mechanisms like Web Application Firewalls (WAF) suffer from inability to recognize custom high-level application logic and data objects, which results in low accuracy, high false positives rates, and overhelming…

密码学与安全 · 计算机科学 2015-11-10 George Noseevich , Dennis Gamayunov

Together with the spread of DevOps practices and container technologies, Microserivce Architecture has become a mainstream architecture style in recent years. Resilience is a key characteristic in Microservice Architecture Systems(MSA…

软件工程 · 计算机科学 2020-10-12 Kanglin Yin , Qingfeng Du

Inspired by widely-used techniques of causal modelling in risk, failure, and accident analysis, this work discusses a compositional framework for risk modelling. Risk models capture fragments of the space of risky events likely to occur…

软件工程 · 计算机科学 2025-03-21 Mario Gleirscher

Application partitioning and code offloading are being researched extensively during the past few years. Several frameworks for code offloading have been proposed. However, fewer works attempted to address issues occurred with its…

分布式、并行与集群计算 · 计算机科学 2021-09-21 Nevin Vunka Jungum , Nawaz Mohamudally , Nimal Nissanke

Modern systems are increasingly connected and more integrated with other existing systems, giving rise to \textit{systems-of-systems} (SoS). An SoS consists of a set of independent, heterogeneous systems that interact to provide new…

软件工程 · 计算机科学 2026-01-21 Everton Cavalcante , Thais Batista , Flavio Oquendo

Environmental sustainability in Systems-of-Systems (SoS) is an emerging field that seeks to integrate technological solutions to promote the efficient management of natural resources. While systematic reviews address sustainability in the…