Наукова періодика України Радіоелектронні і комп’ютерні системи

Lobachova K. I. 
The concept and architecture of safety cases: elements of analysis / K. I. Lobachova // Радіоелектронні і комп’ютерні системи. - 2009. - № 7. - С. 261–267. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2009_7_48
The safety case and trust case concepts are presented, several development methodologies are discussed. The structures of the three most common notations for representing safety cases are reviewed, with their main elements being thoroughly described and the notation argument models schematically illustrated and analyzed. Different safety systems are compared in terms of the development approaches, presentation techniques and information sources used for safety cases implementation. The general scope, goals and main principles of ForSyDE Modelling Framework are introduced.
  Повний текст PDF - 372.315 Kb    Зміст випуску     Цитування публікації

Цитованість авторів публікації:
  • Lobachova K.

    • Бібліографічний опис для цитування:

    Lobachova K. I. The concept and architecture of safety cases: elements of analysis / K. I. Lobachova // Радіоелектронні і комп’ютерні системи. - 2009. - № 7. - С. 261–267. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2009_7_48.
      Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
     
    Відділ інформаційно-комунікаційних технологій
    Пам`ятка користувача

    Всі права захищені © Національна бібліотека України імені В. І. Вернадського