CODARTS建模方法在嵌入式软件开发中的应用(2)

（2）处理环境图

CODARTS方法使用COBRA方法开发系统环境模型。系统环境模型描述了系统运行时所处的外部客观环境，包括系统的输入和输出。其关键问题是确定与系统之间存在接口的外部实体——终端。终端通常代表数据源或数字接收者或两者的结合。判断终端的标准通常是观察外部实体是否直接与系统连接。根据问题域的描述，系统外部环境由上位PC、系统时钟、电源监控、各种工作参数传器、本地键盘、本地LCD和工作区解发开关组成。由图1可见，系统环境外部实体均为真实环境中的外部I/O设备。

（3）子系统环境图

通常所开发的系统都是复杂的，所以COBRA要求将系统分解成为子系统，各个子系统之间应该是相对独立的和松散耦合的。子系统内部要求具有较强的内聚性，并且要求合理定义子系统之间的接口，这样子系统可以独立进行设计。子系统划分原则：①子系统可以由一个或多个功能紧密联系的对象构成；②外部实体仅与一个子系统存在接口；③数据存储应该封装在一个子系统中；④一个控制对象应该构成一个子系统。按照上面的标准，结合系统环境图进行分解可以得到子系统环境图，如图2所示。

系统分解为系统控制和检测两个子系统。这两个子系统之间的接口有两个，分别是启动检测事件和检测结果。

（4）建立系统行为模型

行为模型是指描述系统在外部环境输入的作用下的响应。通常，系统的响应是基于系统状态的，因此，要用状态/数据转换图作为描述系统行为的方法是十分直观和有效的。图2中“系统控制”子系统通过控制转化图进行行为建模，如图3所示。

从图3中可以看到，“系统控制”子系统的状态转化均是基于外部环境事件和系统内部事件触发而产生的。因此在开发了控制状态转换图之后，设计人员需要考虑来自外部环境的输入，即开发场景。每个场景都是由若干外部事件的序列组成的。采用不同场景作为输入，可以很好地验证系统控制状态转换的正确性。

（5）划分对象、确定相应功能

对象和功能是系统中最