rtcase在实时系统软件需求分析中的应用

《rtcase在实时系统软件需求分析中的应用》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、RTCASE在实时系统软件需求分析中的应用结合实时系统软件的需求分析和具体实例，介绍RTCASE软件开发工具在实时系统软件需求分析中的应用。关键词：RTCASE；需求分析；实时系统　　当前实时系统软件需求分析方面，国内大多采用onitor_System_Context”,并用鼠标点击OK按钮。这时将会弹出空的数据流/控制流图窗口。2)在系统环境图中添加“汽车巡航控制与监控”处理：在“ObjectBar”“Flo”工具栏中，鼠标点击“Process”图标->然后按住鼠标左键拖动光标到系统环境图中心并释放鼠标->在弹出的“EditProcess”对话框中，在“Name”栏中输入“汽车巡航

2、控制与监控”，在“Caption”栏与“Identifier”栏中输入“Cruise_Control_Monitor_Auto”，在“Number”栏中输入“0”，清除“IsPrimitive”选择项，点击“OK”。3)添加终端：在“ObjectBar”“Flo”工具栏中，鼠标点击“Terminator”图标->然后按住鼠标左键拖动光标到系统环境图中适当位置并释放鼠标->在弹出的“Neinator”对话框中，在“Name”栏中输入“巡航控制杆”，在“Caption”栏与“Identifier”栏中输入“Cruise_Control_Lever”->选择OK按钮完成终端“巡航控制杆”创

3、建->按照上面步骤创建如下其它“终端”：校准按钮（Calibration_Buttons）、维护按钮（Maintenance_Buttons）、驱动轴（Drive_Shaft）、引擎（Engine）、油箱（Gas_Tank）、调速机构（Throttle_Mechanism）、制动机构（Brake_Mechanism）、显示系统（Display）。4)添加数据流:从工具栏中鼠标点击“CreateDataFlos”栏输入“轴转数”->通过选择“Add/Remove”按钮可以将此数据项增加到此数据流清单中->选择OK按钮即完成此数据流创建，您会注意到此时在数据流图中数据项名有一星号标记，表

4、明此数据项尚未定义->在数据词典中鼠标右击“轴转数”，从弹出的子菜单中选择执行“EditAttributes”命令可以为创建的数据项设置相应的标识符与别名为“Shaft_Rotation_Count”->使用同样方法可以创建其它数据流：“显示信息”（Display_Information）、“油量”（Fuel_Amount）、“调速值”（Throttle_Value）。5)添加控制流：方法与添加数据流方法相同，只不过所选择的工具图标不一样，创建控制流图使用“CreateControlFloand）、“校准命令”（Calibration_mand）、“维护命令”（Maintenance

5、_mand）、“引擎状态”（Engine_Status）、“制动”(Braking)。6)接下来为整个项目创建“处理说明”。打开系统环境图，将鼠标光标定位在系统环境图的空白处->点击鼠标右键，这时会弹出一子菜单->选择“GotoAssociatedP-spec”。这时会显示一空白的“处理说明”窗口，在此窗口中输入如下信息：“此模型表示汽车巡航控制与监控系统，此系统不仅具有通常的巡航控制功能，同时具有系统校准功能，并且具有维护监控功能。”3.2分解系统环境图1)添加处理。具体添加方法和上一小节描述的一致，这里基本处理可以分解为下面四个处理：“巡航控制”（Cruise_Control）、

6、“校准”（Calibrate）、“测量距离与速度”（Distance_Speed_Measure）和处理“汽车监控”（Automobile_Monitor）。2)添加数据流和控制流。添加方法和上一小节描述一致。3)添加数据存储。方法同处理的添加，在这层分解中涉及三个数据存储，它们分别是：“校准常数”、“当前速度”和“累积距离”。4)数据流/控制流平衡性检查。方法同上一小节平衡性检测方法，这里不详细描述。5)添加控制条。未使用到的数据项是控制信息，需要通过添加控制处理来使用这些数据项。在数据流/控制流图中，控制处理使用控制条表示，控制条图形上表示为粗斜线。添加方式同处理的添加方式。创建

7、一控制流指向此控制条（即控制处理），此控制流包含如下数据项：“启动巡航”、“关闭巡航”、“校准命令”、“引擎状态”。经过上述步骤将形成的分解后的数据流/控制流图如图2所示：图2分解后数据流/控制流图3.3添加控制说明这里采用状态转移图来描述控制说明，在本例中有三个状态：：“校准状态”(Calibrating)、“初始状态”(Initial)及“巡航控制状态”(Cruising_Control)。最终形成的状态转移图如图3所示：图3分解后数据流/控制流图