1. Science
  2. Publications
  3. Systems of Arms and Military Equipment
  4. 3(27)'2011
  5. Safety assurance and trust cases with the use of formal notations

Safety assurance and trust cases with the use of formal notations

K.I. Netkachova, V.S. Kharchenko
Annotations languages:

The modern approaches to demonstrating safety with the use of formal notations are described. The concept of safety, assurance and trust cases are presented, the development process and the structure of a typical safety report are outlined. The structures of the three most common notations for representing safety cases (Toulmin, ASCAD and GSN) are reviewed, with their main elements being thoroughly described and the notation argument models schematically illustrated and analyzed.
Keywords: Safety case, assurance case, trust case, Toulmin, ASCAD, GSN notations