Maximize
发表于 2025-3-25 04:30:37
A Novel Approach to HW/SW Integration Testing of Route-Based Interlocking System Controllersesigns of realistic “real-world” complexity is possible and ready for industrial application. In this paper, we present a new model-based testing strategy for interlocking system controllers that exploits the fact that the design has already been verified, so that it can be used as a reference model
发起
发表于 2025-3-25 08:59:24
http://reply.papertrans.cn/83/8265/826427/826427_22.png
针叶
发表于 2025-3-25 12:06:43
Operational Security – A Coming Evolution of Railway Operational Procedures Under the IT Security Thlly evolved into a centralize- and digital-controlled, information- and communication-based system. IT security was not considered during the system (re)design. This paper begins with discussing the need and absence of procedures to sustain operations when an IT security breach has occurred or is su
CHASE
发表于 2025-3-25 17:18:58
Risk Assessment of the ,in ERTMS (.) is a symmetric encryption algorithm currently used in the European Traffic Management System (ERTMS) for integrity and authentication purposes. In a recent publication [.], .has been withdrawn in favour of Advanced Encryption Standard (.) [.] (The National Institute for Science and Technology (
陪审团
发表于 2025-3-25 22:48:57
http://reply.papertrans.cn/83/8265/826427/826427_25.png
Prostaglandins
发表于 2025-3-26 03:48:52
Correct Formalization of Requirement Specifications: A V-Model for Building Formal Modelsrds for safety critical systems recommend or even require the use of formal methods. However, building a formal model for a given specification is challenging. This is, because verification results must be considered with respect to the validity of the model..This leads to the question: “Did I build
licence
发表于 2025-3-26 04:36:39
http://reply.papertrans.cn/83/8265/826427/826427_27.png
urethritis
发表于 2025-3-26 12:22:23
Verification of Railway Interlocking - Compositional Approach with OCRAin order to allow a safe operation of the train traffic. Interlockings are controlled by a software logic that relies on a generic software and a set of application data particular to the station under control. The verification of the application data is time consuming and error prone as it is mostl
Aura231
发表于 2025-3-26 14:01:25
http://reply.papertrans.cn/83/8265/826427/826427_29.png
HUMID
发表于 2025-3-26 19:05:07
http://reply.papertrans.cn/83/8265/826427/826427_30.png