面向嵌入式实时系统的需求模型研究与实现

本项目通过分析需求工程这一国内外很热门但又很困难的研究领域的现状和不足，从理论方面提出了将属性，时间特性与有穷状态机有机地结合为一体的需求模型，从而使得该模型能用于描述和分析嵌入式实时系统的需求，并导致新的需求验证方法的产生。此研究内容是需求工程领域的一个新研究内容，其将有助于提高软件生产自动化的程度和软件开发效率。