Life-critical system
Related papers: 20
Top Researchers
Top Cited Papers
Hazard analysis of human–robot interactions with HAZOP–UML
Jérémie Guiochet
Citations: 76 • 2016
SMOF: A Safety Monitoring Framework for Autonomous Systems
Mathilde Machin, Jérémie Guiochet, Hélène Waeselynck, Jean-Paul Blanquart, Matthieu Roy, Lola Masson
Citations: 66 • 2016
Safety-critical control for autonomous systems: Control barrier functions via reduced-order models
M. Cohen, Tamás G. Molnár, Aaron D. Ames
Citations: 58 • 2024
A Safe, Secure, and Predictable Software Architecture for Deep Learning in Safety-Critical Systems
Alessandro Biondi, Federico Nesti, Giorgiomaria Cicero, Daniel Casini, Giorgio Buttazzo
Citations: 52 • 2019
Safety-relevant mode confusions—modelling and reducing them
Jan Bredereke, Axel Lankenau
Citations: 47 • 2004
Model-based specification of safety compliance needs for critical systems: A holistic generic metamodel
José Luis de la Vara, Alejandra Ruíz, Katrina Attwood, Huáscar Espinoza, Rajwinder Kaur Panesar-Walawege, Ángel López-Carrera, Idoya del Río, Tim Kelly
Citations: 46 • 2015
Model-based safety assessment with SysML and component fault trees: application and lessons learned
Peter Munk, Arne Nordmann
Citations: 45 • 2020
Robustness of AI-based prognostic and systems health management
Samir Khan, Seiji Tsutsumi, Takehisa Yairi, Shinichi Nakasuka
Citations: 32 • 2021
Analysis of robots for hazardous environments
B.M. Harpel, J.B. Dugan, Ian D. Walker, Joseph R. Cavallaro
Citations: 32 • 2002
Bayesian Optimization with Safety Constraints: Safe and Automatic\n Parameter Tuning in Robotics
Felix Berkenkamp, Andreas Krause, Angela P. Schoellig
Citations: 26 • 2016
Reliability Modeling for Embedded System Environment compared to available Software Reliability Growth Models
Abhinav Juneja, Rohit Anand
Citations: 20 • 2019
A systematic literature review on counterexample explanation
Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske
Citations: 18 • 2021
Preliminary Experience Using Z to Specify a Safety-Critical System
John Knight, Darrell Kienzle
Citations: 17 • 1993
Learning-Based Safety-Stability-Driven Control for Safety-Critical Systems under Model Uncertainties
Lei Zheng, Rui Yang, Jiesen Pan, Hui Cheng, Haifeng Hu
Citations: 16 • 2020
Security‐ and safety‐critical cyber‐physical systems
Atif Mashkoor, Johannes Sametinger, Miklós Bíró, Alexander Egyed
Citations: 16 • 2019
Lessons Learned from Model-Based Safety Assessment with SysML and Component Fault Trees
Arne Nordmann, Peter Munk
Citations: 16 • 2018
Modeling and safety analysis for collaborative safety-critical systems using hierarchical colored Petri nets
Nazakat Ali, Sasikumar Punnekkat, Abdul Rauf
Citations: 15 • 2024
Safety Trigger Conditions for Critical Autonomous Systems
Amina Mekki-Mokhtar, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Matthieu Roy
Citations: 14 • 2012
Architectural patterns to design software safety based safety-critical systems
S. Phani Kumar, P. Seetha Ramaiah, V. Khanaa
Citations: 13 • 2011
Integrated formal verification of safety-critical software
Ning Ge, Éric Jenn, Nicolas Breton, Yoann Fonteneau
Citations: 13 • 2017