电子发烧友App
创作
发文章
发帖 
提问 
发资料
发视频资料介绍
在软件的生命周期内，从需求分析到软件维护的任何阶段，都可能存在漏洞。因此工程师们期望在软件运行中尽可能早地（最好是在需求分析阶段）检测到错误。面对这样的挑战，本文提出一种用需求建模语言SPARDL用于为周期性控制系统建模。
SPARDL是一种用于控制系统的需求建模语言，尤其适用于基于模式的、有着混合的（连须的／离散的）状态、有限的周期行为和通信特征的控制系统。在每个周期中，系统都会并且只会精确地处在一个模式下，它可以停留在这个模式或者根据它现在的状态转换到另一个模式。作为一个轻量级的形式化语言，SPARDL可以在需求阶段消除不确定性，而这通常对于系统的正确性来说是一个挑战。
Event-B是一个重量级的形式化语言，它基于传统的谓词演算和定理证明。在Event-B中，事件（event）足一个主要的特征，因此它非常适合用来为周期行为建模。另外，Event-B还支持逐步精化地建立系统模型。用户可以在建模之初构建一个粗略的原型，然后不断地使用精化策略，使之成为一个更为复杂但实用的系统。在软件开发模型中，增量开发是运用于复杂系统开发的常见方式，能够极大地减少漏洞的出现。
Event-B中的精化机制使得在形式化的建模和分析中进行增量开发变得方便。本文首先根据基本需求建立一个粗略的SPARDL的Event-B模型，然后再根据更多的需求精化这个模型。用Event-B为SPARDL系统建模，可以在一定程度上用它对应的Rodin平台验证控制系统的需求。
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- B9B-XH-AM(LF)(SN)
- ThreadX(八)------事件集Event
- 树莓派4b原理图下载 118次下载
- 高性能电流模式PWM控制器UC2842B和UC3842B系列 9次下载
- MP3音频解码芯片VS1003B原理图下载 28次下载
- 华硕主板B85-PRO GAMER点位图 252次下载
- 无线充发射极芯片AC4B03B数据手册 20次下载
- 一种拥有较好可解释性的启发式多分类集成算法 13次下载
- 综述深度神经网络的解释方法及发展趋势 18次下载
- 采用SOP8-PP封装1A线性锂电池充电芯片HM4056B 18次下载
- 从SST25VF016B/032B移植到SST26VF016B和SST26VF032B/032BA.pdf
- 最新105个新电气名词解释说明 0次下载
- 关于红外检测技术的解释性论文 2次下载
- 基于Event-B的航天器内存管理系统 0次下载
- java是什么？java概念解释 0次下载
- 实践GoF的23种设计模式：解释器模式 470次阅读
- 有关MOST总线的详细解释 3350次阅读
- 万众期待的代码解释器上线了！ 548次阅读
- MATLAB文件读写和数据处理的详细解释 2566次阅读
- 如何安装Python解释器 5202次阅读
- KUKA使用SUBMIT解释器 3666次阅读
- Event Recorder的使用 1336次阅读
- 医学图像处理：从形成到解释 1728次阅读
- SystemVerilog中的电平敏感事件控制 1406次阅读
- 如何A2B技术和数字麦克风在新兴汽车应用中实现卓越性能 1447次阅读
- Systemverilog event的示例 1382次阅读
- 什么是“可解释的”? 可解释性AI不能解释什么 8329次阅读
- 用几个问答通熟易懂的解释上拉电阻与下拉电阻保证你快速了解 6574次阅读
- SSD多盒目标检测技术的直观解释 8141次阅读
- 命令解释程序工作流程 5091次阅读
上传资料赚积分下载排行
本周
- 1电子电路原理第七版PDF电子教材免费下载
- 0.00 MB | 1490次下载 | 免费
- 2单片机典型实例介绍
- 18.19 MB | 93次下载 | 1 积分
- 3S7-200PLC编程实例详细资料
- 1.17 MB | 27次下载 | 1 积分
- 4笔记本电脑主板的元件识别和讲解说明
- 4.28 MB | 18次下载 | 4 积分
- 5开关电源原理及各功能电路详解
- 0.38 MB | 10次下载 | 免费
- 6基于AT89C2051/4051单片机编程器的实验
- 0.11 MB | 4次下载 | 免费
- 7基于单片机和 SG3525的程控开关电源设计
- 0.23 MB | 3次下载 | 免费
- 8基于单片机的红外风扇遥控
- 0.23 MB | 3次下载 | 免费
本月
- 1OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234313次下载 | 免费
- 2PADS 9.0 2009最新版 -下载
- 0.00 MB | 66304次下载 | 免费
- 3protel99下载protel99软件下载(中文版)
- 0.00 MB | 51209次下载 | 免费
- 4LabView 8.0 专业版下载 (3CD完整版)
- 0.00 MB | 51043次下载 | 免费
- 5555集成电路应用800例(新编版)
- 0.00 MB | 33562次下载 | 免费
- 6接口电路图大全
- 未知 | 30320次下载 | 免费
- 7Multisim 10下载Multisim 10 中文版
- 0.00 MB | 28588次下载 | 免费
- 8开关电源设计实例指南
- 未知 | 21539次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935053次下载 | 免费
- 2protel99se软件下载(可英文版转中文版)
- 78.1 MB | 537791次下载 | 免费
- 3MATLAB 7.1 下载 (含软件介绍)
- 未知 | 420026次下载 | 免费
- 4OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234313次下载 | 免费
- 5Altium DXP2002下载入口
- 未知 | 233046次下载 | 免费
- 6电路仿真软件multisim 10.0免费下载
- 340992 | 191183次下载 | 免费
- 7十天学会AVR单片机与C语言视频教程 下载
- 158M | 183277次下载 | 免费
- 8proe5.0野火版下载(中文版免费下载)
- 未知 | 138039次下载 | 免费
工商网监
评论