实时进程非零性特征研究:检查方法与限制类分析
103 浏览量
更新于2024-06-17
收藏 340KB PDF 举报
实时进程的非零性特征研究及方法提出探讨了实时系统设计中的关键属性,即非Zenoness或时间进度。非零性特征是保证实时系统在有限时间内不出现无限循环转换的重要特性,这对于避免系统死锁和活锁至关重要。研究集中在一种特殊的实时进程子类,这些进程由不确定性因素和并行合成同步所驱动。
论文的焦点在于开发一种方法,能够有效地检测这种受限制的实时进程是否具备非零性特征。这种方法基于对进程的潜在有限状态空间建模,确保时间进度的有限表示。这种建模使得系统能够在设计阶段就能通过形式化的分析来验证其时间进度行为,从而提前预防潜在问题。
实时进程代数(如ACSR)和时间系统(如时间自动机和TS)等现有形式化方法在描述实时系统时有所差异,ACSR区分了定时动作和瞬时事件,前者代表固定持续时间的资源占用,后者用于进程同步。相比之下,时间系统强调事件的状态变化,允许时间在特定条件下流逝。
作者Jitka Str Brn和Insup Lee来自宾夕法尼亚大学计算机与信息科学系,他们的工作得到了多个机构的支持,包括GACR、NSF、ARO和DARPA等。研究结果发表在Elsevier的《电子笔记在计算机科学》(Electronic Notes in Theoretical Computer Science)上,并遵循CC BY-NC-ND许可,允许开放访问。
该研究的意义在于为实时系统设计提供了一套有效的工具,帮助工程师在早期阶段就确保系统的可靠性和有效性,从而提升实时系统的性能和稳定性。通过这种方法,系统设计师可以更加自信地预测和控制系统的动态行为,减少因时间进度问题导致的问题发生。
2021-07-21 上传
2021-07-21 上传
2021-07-21 上传
2023-04-05 上传
2023-04-07 上传
2023-04-05 上传
2023-06-09 上传
2023-06-28 上传
2023-06-09 上传
![](https://profile-avatar.csdnimg.cn/default.jpg!1)
cpongm
- 粉丝: 5
- 资源: 2万+
最新资源
- Lombok 快速入门与注解详解
- SpringSecurity实战:声明式安全控制框架解析
- XML基础教程:从数据传输到存储解析
- Matlab实现图像空间平移与镜像变换示例
- Python流程控制与运算符详解
- Python基础:类型转换与循环语句
- 辰科CD-6024-4控制器说明书:LED亮度调节与触发功能解析
- AE particular插件全面解析:英汉对照与关键参数
- Shell脚本实践:创建tar包、字符串累加与简易运算器
- TMS320F28335:浮点处理器与ADC详解
- 互联网基础与结构解析:从ARPANET到多层次ISP
- Redhat系统中构建与Windows共享的Samba服务器实战
- microPython编程指南:从入门到实践
- 数据结构实验:顺序构建并遍历链表
- NVIDIA TX2系统安装与恢复指南
- C语言实现贪吃蛇游戏基础代码