随着我国经济的迅速发展,城市的人口大量增加,城市交通运输压力不断增大。城市轨道交通以其速度快、运输力强、舒适性高以及对环境......

在城市轨道交通信号系统中,联锁系统是保证行车安全的重要设备,同样也是安全关键系统,必须满足安全完整性等级SIL-4级安全需求,它......

基于SCADE实现的列控中心区间占用逻辑检查的部分功能,在一定程度上达到了软件系统需求、结构设计、编码实现及测试验证的一致性和......

为保证列车测速定位软件的安全性,研究了测速定位原理,提出一种新的测速定位模型,在此基础上引入SCADE开发方式,建立测速定位软件......

为解决核电厂数字化仪控系统(digital instrument and control system,DCS)研发过程中测试成本高、技术难度大的问题,提出一种基于......

基于SCADE实现的列控中心区间占用逻辑检查的部分功能，在一定程度上达到了软件系统需求、结构设计、编码实现及测试验证的一致性和......

为保证SCADE软件开发的安全性，研究了SCADE形式化验证技术，指出其不足，提出了基于代码生成器的解决方法。该方法对安全特性属性引入了......

针对安全状态机缺乏时间描述能力的缺点,利用反应式系统的同步设计方法,提出了时间安全状态机TSSM(timed safe state machine)建模......

高安全性应用开发环境(SCADE)的形式化验证组件Design Verifier能够验证航空航天领域嵌入式软件系统的安全性质,但不能充分描述拥......

高速铁路ATO系统是在既有高速铁路列车控制系统基础上实现列车自动驾驶功能的列控系统,通过对ATO系统的地面关键设备TSRS进行软、......