中文
相关论文

相关论文: Maintenance of Smart Buildings using Fault Trees

200 篇论文

Cyber-physical systems, like Smart Buildings and power plants, have to meet high standards, both in terms of reliability and availability. Such metrics are typically evaluated using Fault trees (FTs) and do not consider maintenance…

计算机科学中的逻辑 · 计算机科学 2018-01-15 Nathalie Cauchi , Khaza Anuarul Hoque , Alessandro Abate , Marielle Stoelinga

One of the most appreciated features of Fault Trees (FTs) is their simplicity, making them fit into industrial processes. As such processes evolve in time, considering new aspects of large modern systems, modelling techniques based on FTs…

机器学习 · 计算机科学 2024-03-21 Roberta De Fazio , Stefano Marrone , Laura Verde , Vincenzo Reccia , Paolo Valletta

Risk assessment of cyber-physical systems, such as power plants, connected devices and IT-infrastructures has always been challenging: safety (i.e. absence of unintentional failures) and security (i.e. no disruptions due to attackers) are…

密码学与安全 · 计算机科学 2019-05-10 Étienne André , Didier Lime , Mathias Ramparison , Mariëlle Stoelinga

Fault Tree analysis is a widely used failure analysis methodology to assess a system in terms of safety or reliability in many industrial application domains. However, with Fault Tree methodology there is no possibility to express a…

软件工程 · 计算机科学 2021-06-02 Marc Zeller , Francesco Montrone

Safety-critical infrastructures must operate safely and reliably. Fault tree analysis is a widespread method used to assess risks in these systems: fault trees (FTs) are required - among others - by the Federal Aviation Authority, the…

软件工程 · 计算机科学 2024-06-04 Stefano M. Nicoletti , E. Moritz Hahn , Marielle Stoelinga

Security risk management can be applied on well-defined or existing systems; in this case, the objective is to identify existing vulnerabilities, assess the risks and provide for the adequate countermeasures. Security risk management can…

密码学与安全 · 计算机科学 2014-04-09 Stéphane Paul

Cyber-physical systems come with increasingly complex architectures and failure modes, which complicates the task of obtaining accurate system reliability models. At the same time, with the emergence of the (industrial) Internet-of-Things,…

形式语言与自动机理论 · 计算机科学 2019-09-16 Alexis Linard , Doina Bucur , Marielle Stoelinga

Dynamic fault trees (DFTs) have emerged as an important tool for capturing the dynamic behavior of system failure. These DFTs are then analyzed qualitatively and quantitatively using stochastic or algebraic methods to judge the failure…

计算机科学中的逻辑 · 计算机科学 2017-12-11 Yassmeen Elderhalli , Osman Hasan , Waqar Ahmad , Sofiene Tahar

Joint safety and security analysis of cyber-physical systems is a necessary step to correctly capture inter-dependencies between these properties. Attack-Fault Trees represent a combination of dynamic Fault Trees and Attack Trees and can be…

In today's industrial practice, safety, reliability or availability artifacts such as fault trees, Markov models or FMEAs are mainly created manually by experts, often distinctively decoupled from systems engineering activities. Significant…

软件工程 · 计算机科学 2021-06-04 Christof Kaukewitsch , Henrik Papist , Marc Zeller , Martin Rothfelder

Reasoning about causes and effects naturally arises in the engineering of safety-critical systems. A classical example is Fault Tree Analysis, a deductive technique used for system safety assessment, whereby an undesired state is reduced to…

人工智能 · 计算机科学 2017-10-11 Marco Bozzano

The importance of mission or safety critical software systems in many application domains of embedded systems is continuously growing, and so is the effort and complexity for reliability and safety analysis. Model driven development is…

Recent developments in condition-based maintenance (CBM) have helped make it a promising approach to maintenance cost avoidance in engineering systems. By performing maintenance based on conditions of the component with regards to failure…

计算金融 · 定量金融 2024-05-16 Joseph M. Southgate , Katrina Groth , Peter Sandborn , Shapour Azarm

In the maintenance of complex systems, fault trees are used to locate problems and provide targeted solutions. To enable fault trees stored as images to be directly processed by large language models, which can assist in tracking and…

Many industrial sectors have been collecting big sensor data. With recent technologies for processing big data, companies can exploit this for automatic failure detection and prevention. We propose the first completely automated method for…

机器学习 · 计算机科学 2022-08-15 Bart Verkuil , Carlos E. Budde , Doina Bucur

This paper presents a new Large Language Model (LLM)-based Smart Device Management framework, a pioneering approach designed to address the intricate challenges of managing intelligent devices within public facilities, with a particular…

人工智能 · 计算机科学 2025-01-14 Siguo Bi , Jilong Zhang , Wei Ni

Predictive Maintenance (PdM) can only be implemented when the online knowledge of system condition is available, and this has become available with deployment of on-equipment sensors. To date, most studies on predicting the remaining useful…

系统与控制 · 计算机科学 2020-03-25 Dongjin Lee , Rong Pan

This paper presents a new state space generation approach for dynamic fault trees (DFTs) together with a technique to synthesise failures rates in DFTs. Our state space generation technique aggressively exploits the DFT structure ---…

软件工程 · 计算机科学 2019-03-14 Matthias Volk , Sebastian Junges , Joost-Pieter Katoen

Recent years have seen an unprecedented growth in the use of sensor data to guide wind farm operations and maintenance. Emerging sensor-driven approaches typically focus on optimal maintenance procedures for single turbine systems, or model…

系统与控制 · 电气工程与系统科学 2021-01-05 Ilke Bakir , Murat Yildirim , Evrim Ursavas

Smart energy performance monitoring and optimisation at the supplier and consumer levels is essential to realising smart cities. In order to implement a more sustainable energy management plan, it is crucial to conduct a better energy…

机器学习 · 计算机科学 2022-10-04 Mohammad Al-Quraan , Ahsan Khan , Anthony Centeno , Ahmed Zoha , Muhammad Ali Imran , Lina Mohjazi
‹ 上一页 1 2 3 10 下一页 ›