Life-critical system
相关论文数: 20
顶级研究者
最高引用论文
Hazard analysis of human–robot interactions with HAZOP–UML
Jérémie Guiochet
引用数: 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
引用数: 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
引用数: 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
引用数: 52 • 2019
Safety-relevant mode confusions—modelling and reducing them
Jan Bredereke, Axel Lankenau
引用数: 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
引用数: 46 • 2015
Model-based safety assessment with SysML and component fault trees: application and lessons learned
Peter Munk, Arne Nordmann
引用数: 45 • 2020
Robustness of AI-based prognostic and systems health management
Samir Khan, Seiji Tsutsumi, Takehisa Yairi, Shinichi Nakasuka
引用数: 32 • 2021
Analysis of robots for hazardous environments
B.M. Harpel, J.B. Dugan, Ian D. Walker, Joseph R. Cavallaro
引用数: 32 • 2002
Bayesian Optimization with Safety Constraints: Safe and Automatic\n Parameter Tuning in Robotics
Felix Berkenkamp, Andreas Krause, Angela P. Schoellig
引用数: 26 • 2016
Reliability Modeling for Embedded System Environment compared to available Software Reliability Growth Models
Abhinav Juneja, Rohit Anand
引用数: 20 • 2019
A systematic literature review on counterexample explanation
Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske
引用数: 18 • 2021
Preliminary Experience Using Z to Specify a Safety-Critical System
John Knight, Darrell Kienzle
引用数: 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
引用数: 16 • 2020
Security‐ and safety‐critical cyber‐physical systems
Atif Mashkoor, Johannes Sametinger, Miklós Bíró, Alexander Egyed
引用数: 16 • 2019
Lessons Learned from Model-Based Safety Assessment with SysML and Component Fault Trees
Arne Nordmann, Peter Munk
引用数: 16 • 2018
Modeling and safety analysis for collaborative safety-critical systems using hierarchical colored Petri nets
Nazakat Ali, Sasikumar Punnekkat, Abdul Rauf
引用数: 15 • 2024
Safety Trigger Conditions for Critical Autonomous Systems
Amina Mekki-Mokhtar, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Matthieu Roy
引用数: 14 • 2012
Architectural patterns to design software safety based safety-critical systems
S. Phani Kumar, P. Seetha Ramaiah, V. Khanaa
引用数: 13 • 2011
Integrated formal verification of safety-critical software
Ning Ge, Éric Jenn, Nicolas Breton, Yoann Fonteneau
引用数: 13 • 2017