学习SDL的一些资料（整理）

2019独角兽企业重金招聘Python工程师标准>>>

在通信协议设计时，需要先画SDL，然后进行一些可达性、一致性之类的验证。

软件：Telelogic公司的SDL_TTCN_Suite4.4

资料：《通信软件设计基础》（第2版）主编宋茂强

《网络协议工程》吴礼发

百度文库中的《SDL软件设计技术》《第5章-协议验证技术》，用SDL、通信软件设计可以搜索到一些资料。但是这些只能是用来熟悉SDL。这真要用SDL_TTCN_Suite4.4画协议的SDL图，还是要看帮助文档sdl.chm。

用SDL实现协议的流程：

①画出SDL

文件夹...\Telelogic\SDL_TTCN_Suite4.4\examples\bitprotocol下有一个例子可以作为参照。

数据类型这类的问题，可以查阅帮助文档中第三章(SDL Suite Methodology)第二节(Data Types)

②检错、验证

analysis可以分析静态语法错误。

simulator可以用来验证状态可达性的，并且可以生成MSC文档。

第七章第四节

validator可以用来验证一些动态错误。

可以查阅帮助文档第五章（User's Guide）52（The SDL Validator）、53(Validating a System)

TTCN套件可以用来做一致性验证。

第七章（User's Guide）34（The TTCN-SDL Co-Simulator）

转载于:https://my.oschina.net/liyong1689/blog/65206

学习SDL的一些资料（整理）相关推荐

用于跑深度学习的嵌入式硬件平台资料整理（二）
博主之前已经有一篇博客有这方面的介绍,这段时间自己也熟悉了下树莓派(前面已有很多关于此的系列博客),所以这篇博客探讨的会更深入些,为后面的实战做准备. 用于跑深度学习的嵌入式硬件平台资料整理_竹叶青l ...
用于跑深度学习的嵌入式硬件平台资料整理（一）
本来想温习下数电,模电,单片机,电路设计,外围配套端口和设备方面的知识,往底层硬件方面去,鉴于精力有限,初衷点是想把算法和硬件相结合,考虑到这些年主要是算法方面(图像处理.3D点云处理.深度学习)的积 ...
联邦学习 Federated Learning 相关资料整理
代码微众银行+杨强教授团队的联邦学习FATE框架代码:https://github.com/WeBankFinTech/FATE 谷歌联邦迁移学习TensorFlow Federated (TFF) ...
因果推断学习——人工智能前沿讲习资料整理
为啥要做在平安实习时候,部门领导想听,获取idea 相关的一些描述人类现存的知识大部分以因果形式存在,当下的人工智能展现基于统计相关的智能,那么世界本身究竟以因果存在还是概率存在就很重要了,显然, ...
量化投资学习——joinquant上精品资料整理
什么是一个好策略呢,我觉得主要是回撤控制要好, 看魔术老哥就对了,非常吊 https://www.joinquant.com/user/f911cadef5eb6f7c197f3766d7b16f9f ...
程序员优秀学习资料整理（不断更新中）
如果你发现自己陷入各种新技术.工具包围中,而纠结于该选择哪些学习,读读这篇文章,技术的执念. 综合资源资源链接汇集 awesome - 各种主流语言的优秀项目汇集 :+1: lists - 资源集合 ...
Go语言学习资料整理
整理网上找到的Golang语言学习资料基础基础教程书籍在线版 Go 指南-A Tour of Go Go语言圣经(中文版) Effective Go中文版 Go Web编程 build-web- ...
计算机视觉笔记及资料整理（含图像分割、目标检测小方向学习）
前言 1.简单聊聊: 在我脑海中我能通过这些年听到的技术名词来感受到技术的更新及趋势,这种技术发展有时候我觉得连关注的脚步都赶不上.简单回顾看看,从我能听到的技术名词来感受,最开始耳闻比较多「云计算」 ...
五一干货资料整理，在学习上的劳动才是最好的劳动！（包括：ML、DL、RL、Paper、NLP、CV、KG等）...
来自 Datawhale [导读] 本文由知名开源平台,AI技术平台以及领域专家:Datawhale,ApacheCN,AI有道和黄海广博士联合整理贡献,内容涵盖AI入门基础知识.数据分析\挖掘.机器 ...

学习SDL的一些资料（整理）

学习SDL的一些资料（整理）相关推荐

最新文章

热门文章