Titlul original:
Model-Based Safety Analysis
Conținutul cărții:
Tehnicile de analiză a siguranței sistemelor sunt bine stabilite și sunt utilizate pe scară largă în timpul proiectării sistemelor de siguranță critice.
În ciuda acestui fapt, majoritatea tehnicilor sunt extrem de subiective și depind de priceperea practicianului. Deoarece aceste analize se bazează de obicei pe un model informal al sistemului, este puțin probabil ca ele să fie complete, coerente și lipsite de erori.
De fapt, lipsa unor modele precise ale arhitecturii sistemului și ale modurilor sale de defectare îi obligă adesea pe analiștii de siguranță să depună o mare parte din eforturile lor pentru a colecta detalii arhitecturale despre comportamentul sistemului din mai multe surse și pentru a încorpora aceste informații în artefactele de siguranță, cum ar fi arborii de defecțiuni. Acest raport descrie analiza de siguranță bazată pe model, o abordare în care inginerii de sistem și de siguranță împărtășesc un model de sistem comun creat utilizând un proces de dezvoltare bazat pe model. Prin extinderea modelului de sistem cu un model de defecte, precum și cu porțiuni relevante ale sistemului fizic care urmează să fie controlat, se poate oferi suport automat pentru o mare parte din analiza de siguranță.
Credem că prin utilizarea unui model comun atât pentru ingineria sistemelor, cât și pentru ingineria siguranței și prin automatizarea unor părți ale analizei siguranței, putem reduce costurile și îmbunătăți calitatea analizei siguranței. Prezentăm aici viziunea noastră asupra analizei siguranței bazate pe modele și discutăm avantajele și provocările legate de punerea în practică a acestei abordări.
