a) Why it is useful to think of safety as a relative and not an absolute concept.
b) Why does Reason's distinction between latent and active failures have important implications for the development of safety critical software.
c) Briefly explain at least two ways in which confidential incident reporting systems can be used to support the development of safety-critical computer systems.
Section 5. Specify Non-Functional Requirements. Non functional requirements are constraints on the system design. They may arise from user requirements, technical disciplines or the external environment. They are often "ilities", can be divided into product or support constraints and include the following areas:
UK Ministry of Defence, Smart Procurement Initiative (SPI)
a) Proide a briefly definition for each of the non-functional requirements mentioned in the Smart Procurement Initiative (SPI) document and explain how they relate to Laprie's concept of dependability.
b) Briefly provide an explanation of why the MOD SPI document includes the following sentence: "Blanket application of individual non-functional requirements will be unnecessarily costly and should be avoided."
c) With an example drawn from any of the case studies that have been introduced in this course, explain why it is so difficult to maintain an adequate safety case for a safety-critical computer system.
a) Briefly explain the differences between hardware and software that are increasingly complicating the development of safety-critical systems.
b) What are kernel requirements and why is it necessary to identify the intent of a safety-critical specification?
c) Why is it important to explicitly identify completeness requirements for safety-critical software? Illustrate your answer by explianing how the lack of these criteria may have contributed to one of the incidents or accidents that you have studied during this course.
Using the lessons learnt from recent accidents, explain why safety culture can be less important than the application and oversight of safety-critical standards.
There are sample solutions for this paper. Send me your solutons and I'll email you the URL.