Forth, depending on a limited syntax language, a research on the method and process of the semi-formal specification of the top level function is developed. This top level specification paves the way for the system verification and the covert channel analysis. 第四,借助一种受限的句法语言,研究了对系统顶层功能进行半形式化规范的方法和过程,而顶层功能规范则为系统验证、隐蔽通道分析等后继工作奠定了基础。
This security target is a summary specification of the system and the base for the top level function specification. 该安全目标既是系统的一份概要设计说明书,也是系统顶层功能规范的基础。
Software communications architecture ( SCA ) provides a standard, open and inter-operational wireless telecommunication platform, and is a top level design specification of joint tactical radio system ( JTRS ). 软件通信体系结构(SCA)提供了一种标准、开放、可互操作无线电通信软件平台,是联合战术无线电系统(JTRS)的顶层设计规范。