搜索结果: 1-2 共查到“安全科学技术 Verification”相关记录2条 . 查询时间(0.093 秒)
Verification of the safety communication protocol in train control system using colored Petri net
EURORADIO The safety communication protocol Colored petri net Verification
2012/4/16
This paper deals with formal and simulation-based verification of the safety communication protocol in ETCS (European Train Control System). The safety communication protocol controls the establishmen...
Practical Implementation of Safety Verification in LNG Production Facilities
Safety Design, IEC-61508 Standards, Process Safety Management (PSM) Safety Life Cycle Safety Verification Framework Automated Hazard and Fault Propagation Analysis
2013/1/28
Many energy and production facilities are operating without clear formal safety requirements, which are con- sidered the base for good process safety management practices. Safety requirements are typi...