A profile and tool for modelling safety information with design information in SysML

IEC 61508: functional safety of electrical/electronic/ programme electronic safety-related systems: overview

R. Bell · 1999 · 1.6K citations

Safety Engineering, Electrical Engineering, Reliability Engineering +8

A Practical Guide to SysML: The Systems Modeling Language

C.J.H. Mann · Kybernetes · 2009 · 926 citations

Model-based System Engineering, Engineering, Formal Modeling +9

Safeware: System Safety and Computers

Peter G. Neumann · ACM SIGSOFT Software Engineering Notes · 1995 · 656 citations

Engineering, Software System Safety, Information Security +5

The Architecture Analysis & Design Language (AADL): An Introduction

Peter H. Feiler, David P. Gluch, John Hudak · Figshare · 2006 · 499 citations · Full text

The Goal Structuring Notation – A Safety Argument Notation

Tim Kelly · 2004 · 437 citations