PPT-Software Specification

and Configuration Management    Patrick Bong LBNL Interlock SME Requirements Specification and Configuration Management These concepts are critical to software design and control of safety interlock software at LBNL . Lecture 1. 1. Chapter 12 Dependability and Security Specification. Topics covered. Risk-driven specification. Safety specification. Security specification. Software reliability specification. 2. Chapter 12 Dependability and Security Specification. Introduction. SRS is:. Requirements specification.  for a . software system. May . include a set of . use cases..  . Also . contains non-functional . requirements.. Topics. IEEE 830 format explored under 5 subtopics:. 1. Chapter 12 Dependability and Security Specification. Topics covered. Risk-driven specification. Safety specification. Security specification. Software reliability specification. 2. Chapter 12 Dependability and Security Specification. COMP 201. Lecturer: . Sebastian . Coope. Ashton Building, Room G.18. E-mail: . coopes@liverpool.ac.uk . COMP 201 web-page:. http://www.csc.liv.ac.uk/~coopes/comp201. Lecture 11 – Formal Specifications. COMP 201. 1. COMP201 - Software Engineering. Lecturer: . Sebastian . Coope. Ashton Building, Room G.18. E-mail: . coopes@liverpool.ac.uk . COMP 201 web-page:. http://www.csc.liv.ac.uk/~coopes/comp201. Topics Covered:. Software requirement specification(SRS). Authors of SRS. Need of SRS. Characteristics of SRS. Components of SRS. Behavioral /Non-. behavioral. requirements. Software Requirement Specification(SRS). Lecture 5. André . van der . Hoek. Today’s Lecture. Requirements engineering. Requirements specification. Recurring, Fundamental Principles. Rigor and formality. Separation of concerns. Modularity. Lecture 1. 1. Chapter 2 Software Processes. Topics covered. Software process models. Process activities. Coping with change. The Rational Unified Process. An example of a modern software process. . 2. Verlässliche Software. Logiciel fiable. 9.5. Dr. . . Jean-Charles Tournier. CERN, Geneva, Switzerland. Industrial Automation. Automation Industrielle. Industrielle Automation. The material of this course has been initially created by Prof. Dr. H. . 1. System dependability. For. many computer-based systems. ,. the . most important system property is the dependability of the system.. The dependability of a system reflects the user’s degree of trust in that system. . a Nutshell. 8/24/2016. 1. Introduction. Getting started with software engineering. Objectives. To introduce software engineering and to explain its importance. To set out the answers to key questions about software engineering. Electronic Measure and Test Unit 53. Task 4 (P4). A plan that clearly details the tests that will be performed . What to test. How to test (step by step). How often to test. What is a Test Specification?. Topics covered. Software processes and process models. Generic models:. Waterfall. i. ncremental development. Reuse-oriented software engineering. Basic process activities:. Specification. Development. Patrick Bong. LBNL Interlock SME. Introduction. The BELLA Terra-Watt interlock upgrade . Expanded the number of lasers used in the LPA to a primary beam and a secondary beam. Added a new laser bay. Eliminated the relay based interlock system .