Assessing Safety Critical COTS Systems
暂无分享,去创建一个
This paper gives a brief review of the problems of using Non-Developmental Items, NDI, (of which COTS products are a special case) in critical systems and approaches to dealing with them. The paper then concentrates on a particular technical approach which has been applied to a critical system comprising COTS, GOTS and legacy components from the point of view of demonstrating critical properties for certification Finally prospects for extending the approach to NDI in open architecture systems are considered.
[1] C. A. R. Hoare,et al. Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.
[2] Andrew William Roscoe,et al. The Theory and Practice of Concurrency , 1997 .
[3] C. O'Halloran. Controlling the risk of COTS via application programming interfaces , 1997 .