Safety Requirements engineering and Proof of implementation

Transcription

1 Presetatio to DVClub commuity October 20 th 2015 Safety Requiremets egieerig ad Proof of implemetatio Test ad Verificatio Solutios Deliverig Tailored Solutios for Hardware Verificatio ad Software Testig

2 Safety stadards Idustrial ad Eergy: IEC (2010) core oe Fuctioal Safety of Electrical/Electroic/Programmable Electroic Safety-related Systems Nuclear: IEC (2010) Nuclear power plats. Istrumetatio ad cotrol importat to safety. Geeral requiremets for systems Avioics: DO-254 (2005) & DO-178C (2012) 254 Desig assurace guidelies for airbore Electroic Hardware 178C Software Cosideratios i Airbore Systems ad Equipmet Certificatio Rail: EN (2011) Software for railway cotrol ad protectio systems Medical: IEC (2010) for the safety ad effectiveess of medical electrical equipmet Automotive: ISO (2011 [2018]) Fuctioal Safety stadard ext oe icl. motorbikes ad toes Copyright TVS Limited Private & Cofidetial Page 2

3 ISO Safety Culture Safety Culture - The orgaizatio shall create, foster, ad sustai a safety culture that supports ad ecourages the effective achievemet of fuctioal safety. Traiig - awareess of Safety Provig - staff Processes are prove by periodic process audits ad qualificatio Rewards - reward system may ot favour cost ad schedule over safety ad quality Timely -Safety culture ad processes were itegrated throughout the product lifecycle Idepedece - i desig partitioig, test patters ad i assessmet Resourcig - prove to have required resources of sufficiet competece Cotiuous improvemet - lessos ot oly leared but actually reacted to ad improvemets prove to be implemeted Defied, traceable ad cotrolled process i the followig Copyright TVS Limited Private & Cofidetial Page 3

4 Defied, traceable ad cotrolled process Maagemet Safety maagemet, esurig culture ad adherece, defiig roles ad resposibilities, distributig developmet ad documetig reviewig etc Egieerig esurig good safety desig such as freedom from iterferece, fault ijectio, ecc error correctio/detectio etc Developmet iterfaces Hardware to software, pre-silico to post, to SOC etc.. May differ i process ad iclude iterface process Verificatio may use commo methodologies such as UVM or AGILE etc documeted ad prove Validatio Evidece of compliace with Safety goals ad that they are correct Fuctioal safety audit evaluates the implemetatio of the processes required for the fuctioal safety Fuctioal safety assessmet evaluates the fuctioal safety achieved by the item. Copyright TVS Limited Private & Cofidetial Page 4

5 Stage oe: What Requiremets Maagemet The maagemet of safety requiremets icludes maagig requiremets, obtaiig agreemet o the requiremets, obtaiig commitmets from those implemetig the requiremets, ad maitaiig traceability semi-formal otatio descriptio techique whose sytax is completely defied but whose sematics defiitio ca be icomplete EXAMPLE System Aalysis ad Desig Techiques (SADT); Uified Modelig Laguage (UML). Copyright TVS Limited Private & Cofidetial Page 5

6 Stage oe: Describe the What MBSE Model Based systems egieerig Icose group bcat=model_based_systems_egieerig Cesar Project Boilerplate Copyright TVS Limited Private & Cofidetial Page 6

7 Stage two: How will we prove it Verificatio A appropriate combiatio of the verificatio methods listed i Table 2 shall be applied to verify that the safety requiremets comply with the requiremets i this clause ad that they comply with the specific requiremets o the verificatio of safety requiremets withi the respective parts of ISO where safety requiremets are derived. Copyright TVS Limited Private & Cofidetial Page 7

8 Stage Three: Proof of Implemetatio Requiremets stages Of good quality Correctly refied Implemeted Prove to be implemeted How to prove By test By review By justificatio By documetatio Copyright TVS Limited Private & Cofidetial Page 8

9 Excel Doors Polaria Itegrity Eovia Powerpo iit PDF Excel Word CSV ReqIF XML Verbal Jama Visure Cradle Reqtify Mediiaalyse Requiremets Drive Verificatio ad Test Requiremets iput Requiremets Quality Gateway REUSE Quality maager Modellig Test maagemet Excel Word PDF HW/SW Domai test maagers Copyright TVS Limited Private & Cofidetial Page 9

10 Mappig test pla ito test results Test maagemet/pla(s) Test maagemet/pla(s) Maual review Itegratio Formal Structural coverage Parametric Assertios Directed Structural Test Software Maual coverage scripts review Soc Parametric Itegratio Formal Software Itegratio Assertios Directed Soc Maual review Formal Test scripts Structural coverage Parametric Software Assertios Soc Directed Test scripts Copyright TVS Limited Private & Cofidetial Page 10

11 Auditability Provig its bee implemeted Requiremets, eed to be mapped to test ad test to results Copyright TVS Limited Private & Cofidetial Page 11

12 MetaData Esure all the iformatio gathered is reproducible Copyright TVS Limited Private & Cofidetial Page 12

13 Variat maagemet Reusability ad maagemet Copyright TVS Limited Private & Cofidetial Page 13

14 Ay questios? Copyright TVS Limited Private & Cofidetial Page 14

15 Safety Culture Copyright TVS Limited Private & Cofidetial Page 15