教育论文网

基于CCSL的时间需求分析方法研究与实现

硕士博士毕业论文站内搜索    
分类1:教育论文网→工业技术论文→自动化技术、计算机技术论文计算技术、计算机技术论文计算机软件论文程序设计、软件工程论文软件工程论文
分类2:教育论文网→工业技术论文→自动化技术、计算机技术论文计算技术、计算机技术论文一般性问题论文安全保密论文
基于CCSL的时间需求分析方法研究与实现
论文目录
 
摘要第1-5页
abstract第5-11页
第一章 绪论第11-17页
  1.1 课题研究背景第11-13页
  1.2 国内外研究现状及选题依据第13-15页
    1.2.1 国内外研究现状第13-15页
    1.2.2 选题依据第15页
  1.3 论文组织结构第15-17页
第二章 实时系统时间需求分析方法第17-29页
  2.1 时间需求分析基础第17-25页
    2.1.1 模态顺序图第17-19页
    2.1.2 EAST-ADL事件链模型第19-21页
    2.1.3 TADL时间模型第21-23页
    2.1.4 CCSL时钟模型第23-25页
  2.2 形式化建模与验证第25-27页
    2.2.1 形式化方法第25-26页
    2.2.2 模型检测方法第26-27页
  2.3 实时系统时间需求规约及验证方法第27-28页
  2.4 本章小结第28-29页
第三章 基于CCSL的时间需求描述第29-42页
  3.1 事件链的提取第29-33页
    3.1.1 消息的转换第29-31页
    3.1.2 可选片段的转换第31-32页
    3.1.3 循环片段的转换第32-33页
  3.2 时间约束与事件链的映射第33-35页
  3.3 时间需求的构建第35-41页
    3.3.1 事件链模型与时钟模型的关系第35-36页
    3.3.2 构建规则的建立第36-38页
    3.3.3 自动化构建算法的设计第38-41页
  3.4 本章小结第41-42页
第四章 时间需求的形式化建模与验证第42-53页
  4.1 时间自动机的语法和语义第42-45页
  4.2 模型检测工具UPPAAL第45-47页
  4.3 时间需求的时间自动机建模第47-51页
    4.3.1 CCSL的状态迁移语义第47-48页
    4.3.2 CCSL元素到时间自动机的映射第48-51页
  4.4 时间需求的验证第51-52页
    4.4.1 UPPAAL需求规约语言第51-52页
    4.4.2 时间约束的UPPAAL验证第52页
  4.5 本章小结第52-53页
第五章 电子刹车系统实例分析第53-64页
  5.1 系统概述第53-54页
  5.2 系统时间需求的描述第54-59页
    5.2.1 系统时间需求第54-55页
    5.2.2 系统事件链的提取第55-57页
    5.2.3 系统CCSL规范的建立第57-59页
  5.3 系统时间自动机的建模与验证第59-63页
    5.3.1 系统时间自动机模型第59-62页
    5.3.2 时间约束的验证第62-63页
  5.4 本章小结第63-64页
第六章 总结与展望第64-66页
  6.1 论文工作总结第64页
  6.2 未来工作展望第64-66页
参考文献第66-71页
致谢第71-72页
在学期间的研究成果及发表的学术论文第72页

本篇论文共72页,点击这进入下载页面
 
更多论文
基于CCSL的时间需求分析方法研究与
基于深度学习的软件缺陷预测技术研
基于DC规划的模糊核聚类算法研究
增强文本特征表示的短文本主题建模
流式大数据仿真生成及系统性能测试
基于AltaRica的模型转换与安全性验
带有时间约束的AADL模型一致性验证
深度加权多示例学习在不良图像识别
基于目的和规则推理的数据库访问控
内容中心网络缓存策略的研究
SDN层次网络中拓扑聚合和路由算法研
基于WEB的中文社交网站用户属性推测
面向Web应用内存膨胀的测试脚本预测
基于社交网络的信任机制研究与应用
采用3D打印技术的腰形筒压力传感器
光纤光栅低温特性及复合材料结构热
移动机器人多传感器冗余系统设计与
用于重装空投的张力传感器研制
声表面波扭矩传感系统的设计与实现
四足机器人步态规划与运动控制研究
两轮自平衡小车的鲁棒滑模控制技术
物联网环境下多移动机器人编队控制
时滞不确定离散系统的滑模预测容错
互联系统的分散式故障诊断与容错控
基于干扰观测器的2DOF柔性机械臂鲁
基于切换策略的飞机蒙皮检测机器人
多段柔性机械臂设计与控制研究
基于预编程的鸽子机器人户外飞行调
实时医疗监护系统的研究与设计
AGV多导引驱动单元协同路径跟踪控制
仿生机器魟鱼CPG控制系统设计及试验
基于ARM-Linux的机器人控制系统的开
搬运机器人嵌入式控制系统的研究
基于人工蜂群算法的改进机器人运动
激光导航AGV在特征地图中的全局定位
双CPM并联机器人系统设计及运动控制
基于介电型EAP的柔性位移传感特性研
EMA伺服驱动控制系统的算法及其性能
微型机器人执行器设计及其无线供能
基于PLCopen标准的多轴运动控制模块
基于关节转角反馈的工业机器人精度
六自由度工业机器人离线编程仿真系
基于FNN的随机非线性系统控制器设计
基于改进SMOTE非均衡支持向量机的建
IPMC人工肌肉驱动的胶囊机器人推进
四足机器人足端运动阻抗控制研究
空间仿壁虎机器人姿态调控与着陆碰
基于分解的多目标优化算法的研究
面向多标记/多模态数据的主动学习研
基于选择性集成学习的迁移学习算法
基于AADL的信息物理融合系统的建模
基于ARM的AGV控制系统研究
光纤Sagnac传感系统及其在冲击监测
两轮自平衡移动机器人组合导航技术
下料工业机器人控制系统设计与实现
基于无线通信技术的可组态气动机械
基于MPSoC的嵌入式数据处理加速技术
分布式信号采集传输系统的研究与设
 
软件安全性分析论文 时间需求论文 CCSL论文 时间自动机论文 模型检测论文
版权申明:目录由用户huang19921**提供,www.51papers.com仅收录目录,作者需要删除这篇论文目录请点击这里
| 设为首页||加入收藏||站内搜索引擎||站点地图||在线购卡|
版权所有 教育论文网 Copyright(C) All Rights Reserved