nbhkdz.com冰点文库

基于有限状态机的人机交互界面软件设计方法

时间:


】 QQ    : 墨 C i   e T c n l i n  rd cs hn N w e h oo e a g sa dPo u l  信 息 技 术  基于有 限状态机 的人机交 互界 面软 件设 计方法  任 期  郭 锴  ( 苏省 交通 技 师 学院 信 息 系 ,江 苏 镇 江 22 0   江 106) 摘 要 : 本 文基 于嵌 入 式 系统 并 运 用模 块化 思想 ,设 计 了一种 相对 独 立 的通 用化 的 工 业 分析 仪表 人 机 交互界 面 系统 。程序 设计 基  于事 件 目标 驱动 模 型 ,以有 限状 态机 的方 式 ,在 实 时操 作 系统  C OS I中 ,用状 态机把 目标和 事件 联 系起 来, 实现OA ( bet  / —I 0  c — A t n)行 为模 式 完成人 机 交 互的过 程 ,开发 出符 合 工业 分析 仪 表应 用要 求 的人 机 交互 界 面软件 系统 ,并 实现 软件 与硬 件 的低耦 合  ci o 性 ,提 高代 码 的重 用率 ,降低 开发 周期 并提 高软件 设计 的 可靠性  关键词 :有 限状 态机 ;人机 交互界 面 ;u / 一Ⅱ C OS   中图 分类号 :T 2  P9 文 献标 识码 :B   l引 青  随 着 国 民经济 的 高速 发展 ,工业 过 程分  析 仪表 的 应用 越来 越 重要 及 广泛 ,对 工业 分  析 仪表 的性 能 的要 求也 越 来越 高 。作 为工业  分 析仪 表 的重 要组 成部 分 的 人机 交互 界 面 ,   对 T业 分 析仪 表 的性 能有 着重 要 的影 响 ,由   于 目前 C U的处 理能 力 已不 是 制 约工 业分 析  P 仪 表系 统应 用 和发 展 的主要 障碍 ,所 以人 机  交互 界 面 的设计 水 平 已经 成 为决 定整 个仪 表  系统 性能 的 主要 制 约 因素 。   工业 仪 表软 件开 发 的一 个 重要 问 题是 与  硬件 的耦合 过强 。本 文针 对前 T 业分 析仪 表  人 机界 面 设计 现状 和 问题 ,提 m 了一 种 “ 基  于小 型 化 实时 操作 系 统 ( C O — I 状 态    / S I )+ 机 的人 机界 面设 计方 法 ” :能 够较 好 地降 低  1 业 仪 表设 计 过程 中人 机 交互 界 面软 硬件 过  二 度耦 合 的 问题 ,提 高代 码 的重 用 效率 ,降低  开发 周期 并提 高软件 设计 的可 靠性 。   2 限状 态机 的形式 化描 述  有 2 1有 限状 态 机 。 有 限 状 态 机 ( i i   . Fnt e 机 ( 1 S1 ,S1 2,s 1 2 2 ,¥ 2),不 能被细 分的  子 状 态 机 被 称 为 基 状 态 机 ( 1 ,S1 S1 2,S 1  2, ¥ 2)。 2   一 一   一 真 ,则顺序 执行下列一些动作 :① 源状态 的退  出动 作 ;②转 换 动作 ;③ 目标状 态 的进 入 动  作。   对 状态定 义的信 号量 如下  e l QReev d in l nl m  sre sg  s a  {   、  / 一 /   墅 一   / - \ ~ 一i > - s "  "  r *   i; -    _I     l 2 一   ll 一一 … _ ▲   。     。  一   。 / …  j

赞助商链接