An overview of safety and security analysis frameworks for the internet of things

A Abdulhamid, S Kabir, I Ghafir, C Lei - Electronics, 2023 - mdpi.com
The rapid progress of the Internet of Things (IoT) has continued to offer humanity numerous
benefits, including many security and safety-critical applications. However, unlocking the full …

Finding faults: A scoping study of fault diagnostics for Industrial Cyber–Physical Systems

B Dowdeswell, R Sinha, SG MacDonell - Journal of systems and software, 2020 - Elsevier
Abstract Context: As Industrial Cyber–Physical Systems (ICPS) become more connected
and widely-distributed, often operating in safety-critical environments, we require innovative …

A more reasonable definition of failure mode for mechanical systems using meta-action

H Yu, G Zhang, Y Ran - Ieee Access, 2018 - ieeexplore.ieee.org
Identification of failure modes is a vital work in the process of failure mode and effect
analysis (FMEA). Since the traditional failure mode is defined as a specific function failure or …

Data-driven virtual sensing for probabilistic condition monitoring of solenoid valves

V Vantilborgh, T Lefebvre, K Eryilmaz… - IEEE Transactions …, 2023 - ieeexplore.ieee.org
There is an emerging industrial demand for predictive maintenance algorithms that exhibit
high levels of predictive accuracy. Such condition monitoring tools must estimate dynamic …

Designing fail-safe architectures for aircraft electrical power systems

J Menu, M Nicolai, M Zeller - 2018 AIAA/IEEE Electric Aircraft …, 2018 - ieeexplore.ieee.org
More-electric, hybrid-electric, and all-electric aircraft have one important thing in common:
they increasingly rely on electrical components and electrical power systems for fulfilling …

[HTML][HTML] Automatic derivation of fault tree models from SysML models for safety analysis

B Alshboul, DC Petriu - Journal of Software Engineering and Applications, 2018 - scirp.org
Safety Critical Systems (SCS) are those systems that may cause harm to the user (s) and/or
the environment if operating outside of their prescribed specifications. Such systems are …

Quantitative failure analysis for IoT systems: an integrated model-based framework

A Abdulhamid, S Kabir, I Ghafir, C Lei - International Journal of System …, 2025 - Springer
The widespread adoption of Internet of Things (IoT) systems emphasises the need for
dependable performance. However, challenges emerge due to the inadequacy of informal …

[PDF][PDF] Università degli Studi di Catania

A Biondi - iris.unict.it
The automotive security industry is expanding precisely because cars tend to be
increasingly connected to each other. For this reason modern cars can be considered as a …

Strategies for Modelling Failure Propagation in Dynamic Systems with AltaRica

T Prosvirnova, C Seguin, C Frazza, M Batteux… - … Symposium on Model …, 2022 - Springer
The AltaRica modelling language has been designed to facilitate failure propagation
modelling and safety analyses of complex technical systems. Indeed, it makes it possible to …

[PDF][PDF] A formal approach for automating compositional safety analysis using flow type annotations in component fault trees

F Möhrle, K Bizik, M Zeller, K Höfig… - Proceedings of the …, 2017 - researchgate.net
Safety assurance is a major challenge in the design of modern embedded systems that has
become increasingly difficult in recent years. Growing system sizes and the rise of Cyber …