Hazard analysis of human–robot interactions with HAZOP–UML

This publication has 14 references indexed in Scilit:

• Systems-Theoretic Safety Assessment of Robotic Telesurgical Systems
  Lecture Notes in Computer Science, 2015
• Comparison of modeling formalisms for Safety Analyses: SAML and AltaRica
  Reliability Engineering & System Safety, 2015
• Environmental Hazard Analysis - a Variant of Preliminary Hazard Analysis for Autonomous Mobile Robots
  Journal of Intelligent & Robotic Systems, 2014
• Safety certification requirements for domestic robots
  Safety Science, 2012
• A UML-based method for risk analysis of human-robot interactions
  2010
• Integrating safety and formal analyses using UML and PFS
  Reliability Engineering & System Safety, 2007
• The AltaRica data-flow language in use: modeling of production availability of a multi-state system
  Reliability Engineering & System Safety, 2006
• Safety specification of the active traffic management control system for English motorways
  2006
• Basic concepts and taxonomy of dependable and secure computing
  IEEE Transactions on Dependable and Secure Computing, 2004
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987