Presentation on theme: "T Safety Critical Systems (4 cr)"— Presentation transcript:
1 T-79.5303 Safety Critical Systems (4 cr) This is a basic course on Safety Critical Systems and the use of Formal Methods to verify and validate safety systems. Subjects covered this year are: Requirement Engineering, Hazard/Risk Analysis Methods, System Reliability, Safety Critical Hardware/Software and Verification/Validation Tools. We will be particularly interested in the B-method for specification and verification (used by e.g. Airbus).
2 Pass the course The course consists of: lectures (2 h per week) tutorials (1 h per week right after the lecture/ or additional home assignments)a compulsory home assignmentIn order to pass the course you have to:pass the final home assignment
3 LecturesLectures by Ilkka Herttua and Teemu Tynjälä will take place on Thursdays from 1700 hrs to 1900 hrs in Computer Science building lecture room T5.Course material: Safeware: System safety and Computers (N.Leveson) and Safety Critical Computer Systems (N.Storey) and lecture notes.
4 Lectures spring 2008Jan. 17 (Ilkka Herttua & Teemu Tynjälä) IntroductionJan. 24 (Teemu Tynjälä) Formal methods introduction & diffusionJan. 31 (Ilkka Herttua) Requirements Engineering and safety systemsFeb. 7 (Ilkka Herttua) Risk Analysis and SafewareFeb. 14 (Ilkka Herttua) Formal Methods and Formal SpecificationFeb. 21 (Teemu Tynjälä) B-method: Basic StructuresFeb. 28 (Teemu Tynjälä) B-method: Functions, RelationsMar NO LECTUREMar. 13 (Teemu Tynjälä) B-method: Tool supportMar NO LECTUREMar. 27 (Ilkka Herttua) Verification, Validation & TestingApr. 3 (Ilkka Herttua) Tools and ApplicationApr. 10 (Teemu Tynjälä) B-method: reviewApr. 17 (Ilkka Herttua) Tools and Applications
5 V - Lifecycle model Knowledge Base * Requirements Test Scenarios SystemAcceptanceIntegration & TestModuleRequirementsAnalysisRequirements ModelTest ScenariosSoftwareImplementation& Unit TestDesignDocumentSystemsAnalysis & DesignFunctional /Architechural - ModelSpecificationKnowledge Base ** Configuration controlled Knowledgethat is increasing in Understandinguntil Completion of the System:Requirements DocumentationRequirements TraceabilityModel Data/ParametersTest Definition/Vectors
Your consent to our cookies if you continue to use this website.