C. O'Halloran. Assessing Safety Critical COTS Systems. In F. Redmill, T.Anderson. (eds), Towards System Safety, Proc. 7 th Safety-Critical Systems Symposium. UK. 1999, 65-74. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
On Systematic Design of Protectors for Employing OTS Items - Peter Popov Steve (2001) (1 citation) (Correct)
....there is a need for systematic general solutions. Paper [VP98] shows how to build wrappers using results of the testing of the OTS item and of fault injection (at its interface) This allows the wrapper to intercept certain inputs and outputs and make their intended recipients ignore them. Paper [O99] discusses how OTS items can be used in safety critical systems and proposes to completely isolate them from the rest of the system using encapsulation mechanisms (this approach cannot be applied when relying on OTS items in delivering all types of services) A very interesting approach to ....
C. O'Halloran. Assessing Safety Critical COTS Systems. In F. Redmill, T.Anderson. (eds), Towards System Safety, Proc. 7 th Safety-Critical Systems Symposium. UK. 1999, 65-74.
Safety Assurance of Commercial-Off-The-Shelf Software - Lindsay, Smith (2000) (Correct)
....and demonstrate that emergent safety requirements derived elsewhere in the safety case are met. The complexity of this task is reduced if the proofs can be discharged automatically by a model checking (exhaustive simulation) tool as in the proposed approach of the Systems Assurance Group at DERA [O Halloran99]. Where behaviour of an item is uncertain, this approach models the item pessimistically to allow for worst case scenarios. Similarly, it incorporates fault injection to allow for errors in the COTS and bespoke components. Safety Assurance of COTS Software SEA 2000 P. Lindsay G. Smith, ....
....design. In particular, all possible influences of COTS components need to be established, including possible interference from dormant code and use of common resources. One way of restricting the influence of COTS components is by isolating them using encapsulation mechanisms such as wrappers [Brown98, O Halloran99]. Wrappers provide two roles: they can prevent certain inputs from reaching the COTS component and thus prevent it from performing particular functions, and they can check outputs from the COTS component and ensure they meet certain requirements [Voas98] This can ensure that the COTS component ....
C. O'Halloran. Assessing Safety Critical COTS Systems. Journal of the System Safety Society, 35(2), 1999.
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