【摘要】 提出了一个检测嵌入式实时软件需求规格说明的方法 .该方法将原型化方法 ,可执行的需求描述语言和动画显示集成为一体 ,并可模拟执行嵌入式实时软件的需求规格说明 .此外 ,也阐述了这个方法的基本原理和某些实现方法 .最后 ,讨论了这个方法及相关的支持环境的特点 .更多还原

【Abstract】 A method checking requirements specification of embedded real time software is presented. This method integrates with prototyping method, executable requirements specification model and animated representations, and can simulate and execute requirements specification of embedded real time software. In this paper, we introduce basic principles and some implementation technologies of the method. At last, characters of the method also be discussed.更多还原