唐晨
- 作品数:3 被引量:0H指数:0
- 供职机构:同济大学电子与信息工程学院更多>>
- 发文基金:国家自然科学基金更多>>
- 相关领域:自动化与计算机技术交通运输工程更多>>
- 基于需求的安全例证获取与管理方法研究
- 2013年
- 基于形式化的需求验证技术是确保铁路安全苛求系统需求正确的有效手段,有效的组织和管理需求验证形成的安全例证是安全评估的关键.本文应用形式化语言Event-B方法对需求进行建模、分析和验证,能够发现潜在危险、提高系统安全性,同时结合GSN更高效地组织和管理Event-B提供的需求安全例证,增加安全例证的可信性和可阅读性,使论证逻辑更清晰、更适合安全审核和评估.
- 于小飞陈邦兴唐晨
- 基于Event-B的一种联锁逻辑的形式化建模研究
- 2013年
- 铁路车站信号联锁逻辑的形式化描述无论对计算机联锁软件的研发,还是对联锁软件的第三方测试都是非常重要的。基于Event-B方法,利用自动机模型和形式化语言对车站的一种信号联锁逻辑进行建模研究,并通过逐步精化的方法扩展联锁功能,依赖不变式技术形式化地保证了该模型的安全性。所建模型通过Rodin平台的验证,结果表明它们是安全的。
- 沈啸陈邦兴唐晨
- 关键词:形式化建模EVENT-B
- 基于Event-B的控制系统形式化建模方法研究
- 2014年
- 为降低形式化建模的难度,本文深入研究了基于Event-B的开发框架,并结合控制系统中控制器与被控环境之间的交互特征,提出了一套基于Event-B的控制系统有序模块化建模指导原则,能够帮助设计人员在开发的早期更加深入地理解系统需求,获得清晰的建模思路和开发策略,为设计高安全性的软件系统提供保障.最后,应用该方法完成了RBC(区域控制器)系统的形式化建模,说明了该方法的实用性.
- 唐晨陈邦兴陈祖希沈啸
- 关键词:控制系统形式化方法