基于四变量模型的系统需求建模方法研究

Research on System Requirement Modeling Method Based on Quadratic Variable Model

近年来,基于模型的系统需求分析是实时嵌入式安全关键系统工程领域中的一个重要研究方向,得到了工程师的广泛关注。其基本思想是在设计过程中对系统进行需求分析研究。笔者介绍的分析方法主要是基于四变量模型的系统需求分析方法。四变量模型是在系统需求层次上描述所需的系统行为及软件行为,通过指明系统需求以及系统的输入和输出硬件接口来限制软件需求,包括系统与外界的交互行为以及系统内部的状态、模式变化的行为特征描述等,再进行SCR方法形式化。

In recent years,model-based system requirements analysis is an important research direction in real-time embedded security key system engineering field,and has attracted the attention of engineers.The basic idea is to carry on the demand analysis research on the system in the design process.The analysis method introduced by the author is mainly based on the four-variable model of system requirements analysis method.The four-variable model describes the required system behavior and software behavior at the system requirements level.It limits the software requirements by specifying the system requirements and the system's input and output hardware interfaces,including the interaction between the system and the outside world and the state,mode change of the system,and then performs the SCR method formalization.