[HTML][HTML] Systematic review on contract-based safety assurance and guidance for future research
The safety requirements are often described via specifications called contracts. To verify that
the system fulfills certain safety requirements, for instance, in the assume-guarantee contract …
the system fulfills certain safety requirements, for instance, in the assume-guarantee contract …
[HTML][HTML] Towards dynamic safety assurance for Industry 4.0
The goal of Industry 4.0 is to be faster, more efficient and more customer-centric, by
enhancing the automation and digitalisation of production systems. Frequently, the …
enhancing the automation and digitalisation of production systems. Frequently, the …
[HTML][HTML] Safe and secure platooning of Automated Guided Vehicles in Industry 4.0
Abstract Automated Guided Vehicles (AGVs) are widely used for materials transportation.
Operating them in a platooned manner has the potential to improve safety, security and …
Operating them in a platooned manner has the potential to improve safety, security and …
Prediction of influencing atmospheric conditions for explosion Avoidance in fireworks manufacturing Industry-A network approach
I Nallathambi, R Ramar, DA Pustokhin… - Environmental …, 2022 - Elsevier
This research study uses Artificial Neural Networks (ANNs) to predict occupational accidents
in Sivakasi firework industries. Atmospheric temperature, pressure and humidity are the …
in Sivakasi firework industries. Atmospheric temperature, pressure and humidity are the …
Drone-based risk management of autonomous systems using contracts and blockchain
FU Muram, MA Javed - 2021 IEEE International Conference on …, 2021 - ieeexplore.ieee.org
The drones provide an active measure to identify, monitor, analyze and resolve risks of
autonomous systems during operational phase. To date, however, the published studies …
autonomous systems during operational phase. To date, however, the published studies …
[HTML][HTML] Assuring the safety of rechargeable energy storage systems in electric vehicles
Energy storage systems, especially lithium-ion batteries have gained significant attention
and interest due to their potential in storing electrical energy and environmental …
and interest due to their potential in storing electrical energy and environmental …
Towards automated hazard analysis for CPS security with application to CSTR system
Hazard analysis to identify risks due to cyber attacks is crucial to ensure cyber–physical
systems' safety and correct their behavior. This study proposes a framework to analyze cyber …
systems' safety and correct their behavior. This study proposes a framework to analyze cyber …
Stability Analysis of the Tailings Dam for the Purpose of Closing, Greening, and Ensuring Its Safety—Study Case
Tailings dams are special constructions that are part of a complex of works related to the
installations for preparing mining masses. These constructions play a role in the mechanical …
installations for preparing mining masses. These constructions play a role in the mechanical …
Dynamic reconfiguration of safety-critical production systems
The current trends of digitalization and Industry 4.0 are bringing ample opportunities for
manufacturing industry to fine tune their products and processes at will, to meet changing …
manufacturing industry to fine tune their products and processes at will, to meet changing …
Enforcing geofences for managing automated transportation risks in production sites
The key to system safety is the identification and elimination/mitigation of potential hazards
and documentation of evidences for safety cases. This is generally done during the system …
and documentation of evidences for safety cases. This is generally done during the system …