swa omg tutorial slides - kelly

zzzzzzzzzzSoftware Safety CaseManagementDr Tim KellyDepartment of Computer ScienceUniversity of YorkE-mail: tim.kelly@cs.york.ac.uk© Copyright Tim Kelly, 2007 Not to be reproduced without permission of authorTutorial OverviewPart One: 1300-1515Introduction to Safety CasesThe Importance of Safety ArgumentsThe Goal Structuring Notation (GSN)Part Two: 1530-1745Software Safety CasesProblems with Current ApproachesThe Structure of a Typical Software Safety ArgumentEstablishing Hazard-Directed Software Safety ArgumentsLinking Process and Product ArgumentsSoftware Safety Case Management Tutorial – Tim Kelly 2© Copyright Tim Kelly, 2007 Not to be reproduced without permission of authorPage 1zzzzzzzzzPart 1: OverviewSafety Case concept and purposeRequirements from standardsSafety Case contentsSafety argumentspresenting clear argumentsGoal Structuring Notation (GSN)Creating Arguments in GSNWhere, When and How to Create Assurance ArgumentsSoftware Safety Case Management Tutorial – Tim Kelly 3© Copyright Tim Kelly, 2007 Not to be reproduced without permission of authorMotivationMany (UK) standards establish the need for production of a safety case, e.g.“Safety Cases are required for all new ships and equipment as ameans of formally documenting the adequate control of Risk and demonstrating that levels of risk achieved are As Low AsReasonably Practicable (ALARP).” (JSP430)A person in control of any railway infrastructure ...