基于SDL的蓝牙HCI协议研究与实现

• 作者: 张晓霞
• 来源期刊: 汉口学院学报
• 学科: 工学
• 关键词: SDL MSC 面向对象的技术 蓝牙HCI协议
• 年，卷（期）: 2011,（1）
• 页码范围: 78-82
• 页数: 5页
• 分类号: TP393.04

摘要

简要介绍形式化描述语言SDL及其面向对象技术等特性，在此基础上，采用SDL语言对蓝牙HCI协议进行形式化设计，给出了协议的SDL系统级、功能块级和进程级详细描述，并对所开发HCI协议系统的语法语义和逻辑正确性进行仿真和验证。重点探索如何利用面向对象的技术对协议进行形式化开发，以及如何结合MSC对协议系统进行分析和验证。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张晓霞	汉口学院电子信息与通信工程学院	8	8	2.0	2.0