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

摘要

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