4.Appendices K, L and M (ZSA, PRA, and CMA) describe the techniques which may aid in the generation of independence requirements (both physical-installation and functional) in support of the independence principles identified in the PASA.
附录K,L和M(ZSA,PRA和CMA)描述了可以帮助产生独立性要求(物理安装和功能)的技术,以支持PASA中确定的独立性原则。