Lemos, R. d., Saeed, A., and Anderson, T. (1996). On the integration of requirements analysis and safety analysis for safety-critical software. Technical report, University of Newcastle upon Tyne, Department of Computer Science. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Risks Inside-Out - Cair, Barreiro, Solsona (Correct)
....phases) which parts are more subject to fail, and so project managers can a ord extra resources consumption on inspecting or testing those error prone components to see if they meet the requirements. Project managers should consider, for safety critical KBS, to apply detailed safety analysis [Lemos et al. 1996] to determine the risk associated with requirements speci cation and assess whether this is acceptable within the context of system risk. Safety analysis of software requirements speci cation gives a rough estimation of the overall system risk, contrary to the belief that safety analysis can only ....
Lemos, R. d., Saeed, A., and Anderson, T. (1996). On the integration of requirements analysis and safety analysis for safety-critical software. Technical report, University of Newcastle upon Tyne, Department of Computer Science.
What, Not How? - When Is "How" Really "What"? and Some Thoughts on .. - Berry (2001) (Correct)
....for a What specification. The same dilemma [5] exists for specifiers of robust, safety critical, and survivable systems. Reliability, safety, and survivability must be required from the beginning, but the potential errors and hazards cannot be known fully until implementation details are given [21, 10, 2, 11, 22]. Non Conflicting Features In telephony and other reactive CBSs to which features are constantly being added, it is necessary to investigate any proposed new feature to see # if it interacts any existing feature and # to make sure that the new feature does not conflict with any existing ....
de Lemos, R., Saeed, A., and Anderson, T., "On the Integration of Requirements Analysis and Safety Analysis for Safety-Critical Software," Technical Report, Department of Computer Science, University of Newcastle upon Tyne, UK, 1998.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC