登陆
注册
轨交功能安全之形式化方法与应用
有150人正在学习
上海控安
2020-09-01 09:26
1. 形式化开发方法与传统软件开发方法对比；
2. 自然语言需求的形式化；
3. 安全需求在各平台下的描述形式；
4. 水平验证与垂直验证。
侯锡立
侯锡立，通号粤港澳交通科技有限公司 研发部经理。轨道交通行业12年工作经验，先后参与武广高铁、京沪高铁、北京地铁8号线、广州黄埔有轨电车1号线等关键信号设备开发，开发产品涉及RBC、ZC、CBI、OBCU、以及系统、子系统仿真测试环境、软件自动化测试环境等，目前主要从事MBSE及形式化方法研究和应用。
