English
Related papers

Related papers: Standards and Safety: an Overview

200 papers

Systems Theoretic Process Analysis (STPA) is a systematic approach for hazard analysis that has been used across many industrial sectors including transportation, energy, and defense. The unstoppable trend of using Machine Learning (ML) in…

Software Engineering · Computer Science 2023-07-18 Yi Qi , Yi Dong , Siddartha Khastgir , Paul Jennings , Xingyu Zhao , Xiaowei Huang

The homologation of automated vehicles, being safety-critical complex systems, requires sound evidence for their safe operability. Traditionally, verification and validation activities are guided by a combination of ISO 26262 and ISO/PAS…

Software Engineering · Computer Science 2020-05-12 Christian Neurohr , Lukas Westhofen , Tabea Henning , Thies de Graaff , Eike Möhlmann , Eckard Böde

This report presents a structured Robotics Physical Safety Framework based on explicit asset declaration, systematic vulnerability enumeration, and hazard-driven synthetic data generation. The approach bridges classical risk engineering…

Robotics · Computer Science 2026-03-09 Alexei Odinokov , Rostislav Yavorskiy

A central component of the European Spallation Source is the high-power proton accelerator. The accelerator aims in the future to provide 2 GeV protons to a rotating tungsten target for the production of neutrons at 5 MW of average beam…

Instrumentation and Detectors · Physics 2022-05-24 Douglas D. DiJulio , Mamad Eshraqi , Wolfgang Hees , Yvonne Hinrichsen , Esben Klinkby , Anton Lundmark , Gunter Muhrer , Daniel Noll

Millions of measuring instruments are verified each year before being placed on the markets worldwide. In the EU, such initial conformity assessments are regulated by the Measuring Instruments Directive (MID). The MID modules F and F1 on…

Applications · Statistics 2021-04-23 Katy Klauenberg , Cord A. Müller , Clemens Elster

Assuring safety for ``AI-based'' systems is one of the current challenges in safety engineering. For automated driving systems, in particular, further assurance challenges result from the open context that the systems need to operate in…

Systems and Control · Electrical Eng. & Systems 2025-07-29 Marcus Nolte , Nayel Fabian Salem , Olaf Franke , Jan Heckmann , Christoph Höhmann , Georg Stettinger , Markus Maurer

The increase in safety and critical systems improved Healthcare. Due to their risk of harm, such systems are subject to stringent guidelines and compliances. These safety measures ensure a seamless experience and mitigate the risk to…

Software Engineering · Computer Science 2025-09-23 Peterson Jean

With fully automated driving systems (ADS; SAE level 4) ride-hailing services expanding in the US, we are now approaching an inflection point, where the process of retrospectively evaluating ADS safety impact can start to yield…

In this lecture the basic concepts of electromagnetic waves in accelerating structures are discussed. After a short introduction on the propagation of electromagnetic waves and on the concept of travelling wave and standing wave structures,…

Accelerator Physics · Physics 2018-04-24 Alberto Degiovanni

We propose the Riskman ontology and shapes for representing and analysing information about risk management for medical devices. Risk management is concerned with taking necessary precautions to ensure that a medical device does not cause…

Safety of medical devices and of their interoperation is an unresolved issue causing severe and sometimes deadly accidents for patients with shocking frequency. Formal methods, particularly in support of highly reusable and provably safe…

Logic in Computer Science · Computer Science 2010-09-23 Mu Sun , José Meseguer

Heavy goods vehicles (HGVs) are involved in 4.5% of police-reported road crashes in Europe and 14.2% of fatal road crashes. Active and passive safety systems can help to prevent crashes or mitigate the consequences but need detailed…

Applications · Statistics 2021-03-10 Ron Schindler , Michael Jänsch , Heiko Johannsen , András Bálint

Toward the goal of maximizing the impact of computer modeling on the design of future particle accelerators and the development of new accelerator techniques & technologies, this white paper presents the rationale for: (a) strengthening and…

A one-step analysis of Anderson acceleration with general algorithmic depths is presented. The resulting residual bounds within both contractive and noncontractive settings reveal the balance between the contributions from the higher and…

Numerical Analysis · Mathematics 2022-09-08 Sara Pollock , Leo Rebholz

Future developments of lighter, more compact and powerful motors-driven by environmental and sustainability considerations in the transportation industry-involve higher stresses, currents and electromagnetic fields. Strong couplings between…

Classical Physics · Physics 2021-02-24 N Hanappier , E Charkaluk , N Triantafyllidis

Embedded systems interaction with environment inherently complicates understanding of requirements and their correct implementation. However, product uncertainty is highest during early stages of development. Design verification is an…

Software Engineering · Computer Science 2011-12-20 Hara Gopal Mani Pakala , Dr. Plh Varaprasad , Dr. Raju Kvsvn , Dr. Ibrahim Khan

Extensive evaluation of perception systems is crucial for ensuring the safety of intelligent vehicles in complex driving scenarios. Conventional performance metrics such as precision, recall and the F1-score assess the overall detection…

Robotics · Computer Science 2025-12-18 Jörg Gamerdinger , Sven Teufel , Stephan Amann , Lukas Marc Listl , Oliver Bringmann

The purpose of the research presented in this article is to develop a dynamic system for forecasting and minimizing the risks of an industrial company based on their quantitative assessment. The article considers the conceptual apparatus of…

Risk Management · Quantitative Finance 2022-02-02 Denis S. Gusev , Elena G. Demidova , Olga A. Novikova

A key goal of the System-Theoretic Process Analysis (STPA) hazard analysis technique is the identification of loss scenarios - causal factors that could potentially lead to an accident. We propose an approach that aims to assist engineers…

Logic in Computer Science · Computer Science 2023-06-08 Craig Innes , Andrew Ireland , Yuhui Lin , Subramanian Ramamoorthy

The activities of requirements engineering and software testing are intrinsically related to each other, as these two areas are linked when seeking to specify and also ensure the expectations of a software product, with quality and on time.…

Software Engineering · Computer Science 2023-04-27 Thalia S. Santana , Taciana N. Kudo , Renato F. Bulcão-Neto