• Title/Summary/Keyword: Signaling Control System

Search Result 277, Processing Time 0.025 seconds

Formal Verification and Performance Analysis of New Communication Protocol for Railway Signaling Systems (철도 신호시스템을 위한 새로운 통신 프로토콜의 성능해석 및 검증)

  • 이재호;황종규;박용진;박귀태
    • The Transactions of the Korean Institute of Electrical Engineers B
    • /
    • v.53 no.6
    • /
    • pp.380-387
    • /
    • 2004
  • In accordance with the computerization of railway signaling systems, the interface link between the signaling systems has been replaced by a digital communication channel. At the same time, the importance of the communication link has become increasingly significant. However, there are some questionable matters in the current state of railway signaling systems in KNR. First, different communication protocols have been applied to create an interface between railway signaling systems although the protocols have the same functions. Next, the communication protocols currently used in the railway fields have some illogical parts such as structure, byte formation, error correction scheme, and so on. To solve these matters, the standard communication protocol for railway signaling systems is designed. The newly designed protocol is overviews in this paper. And the simulation is performed to analysis the performance of data link control for designed protocol. According to this simulation, it is identified that the link throughput of new protocol is improved about 10% and the frame error rate is improved than existing protocol. And it is verified the safety and liveness properties of designed protocol by using a formal method for specifying the designed protocol. It is expected that there will be an increase in safety, reliability and efficiency in terms of the maintenance of the signaling systems by using the designed communication protocol for railway signaling.

Applying an Expert System to Statistical Process Control (통계적 공정 제어에 전문가 시스템의 적용에 관한 연구)

  • 윤건상;김훈모;최문규
    • Proceedings of the Korean Society of Precision Engineering Conference
    • /
    • 1995.10a
    • /
    • pp.411-414
    • /
    • 1995
  • Statistical Process Control (SPC) is a set of methodologies for signaling the presence of undesired sources of variation in manufacturing processes. Expert System in SPC can serve as a valuable tool to automate the analysis and interpretation of control charts. In this paper we put forward a method of successful application of Expert System to SPC in manufacturing process.

  • PDF

E3 ubiquitin ligases and deubiquitinases as modulators of TRAIL-mediated extrinsic apoptotic signaling pathway

  • Woo, Seon Min;Kwon, Taeg Kyu
    • BMB Reports
    • /
    • v.52 no.2
    • /
    • pp.119-126
    • /
    • 2019
  • The tumor necrosis factor (TNF)-related apoptosis-inducing ligand (TRAIL) initiates the extrinsic apoptotic pathway through formation of the death-inducing signaling complex (DISC), followed by activation of effector caspases. TRAIL receptors are composed of death receptors (DR4 and DR5), decoy receptors (DcR1 and DcR2), and osteoprotegerin. Among them, only DRs activate apoptotic signaling by TRAIL. Since the levels of DR expressions are higher in cancer cells than in normal cells, TRAIL selectively activates apoptotic signaling pathway in cancer cells. However, multiple mechanisms, including down-regulation of DR expression and pro-apoptotic proteins, and up-regulation of anti-apoptotic proteins, make cancer cells TRAIL-resistant. Therefore, many researchers have investigated strategies to overcome TRAIL resistance. In this review, we focus on protein regulation in relation to extrinsic apoptotic signaling pathways via ubiquitination. The ubiquitin proteasome system (UPS) is an important process in control of protein degradation and stabilization, and regulates proliferation and apoptosis in cancer cells. The level of ubiquitination of proteins is determined by the balance of E3 ubiquitin ligases and deubiquitinases (DUBs), which determine protein stability. Regulation of the UPS may be an attractive target for enhancement of TRAIL-induced apoptosis. Our review provides insight to increasing sensitivity to TRAIL-mediated apoptosis through control of post-translational protein expression.

Development of Static Testing Tool Related Int'l Standard for Railway Signaling Software (국제표준 기반 열차제어시스템 소프트웨어의 정적 테스팅 지원도구의 개발)

  • Hwang, Jong-Gyu;Jo, Hyun-Jeong
    • The Transactions of the Korean Institute of Electrical Engineers P
    • /
    • v.58 no.2
    • /
    • pp.108-115
    • /
    • 2009
  • Recent advances in computer technology have brought more dependence on software to train control systems. Hence, the safety assurance of the vital software running on the railway system is very critical task and yet, not many works have been done. While much efforts have been reported to improve electronic hardware's safety, not so much systematic approaches to evaluate software's safety, especially for the vital software running on board train controllers. In this paper, we have developed the static software testing tool for railway signaling, especially Fagan Inspection module and checklists supporting module. This static testing tool for railway signaling can be utilized at the assessment phase, and also usefully at the software development stage also. It is anticipated that it will be greatly helpful for the evaluation on the software for railway signalling system.

Functional Analysis between LTE-Railway and Public Safety-LTE (LTE 기반 철도통합망(LTE-R)과 재난통신망(PS-LTE)의 기능 분석)

  • Kim, Yong-Kyu;Yoon, Yong-Gi;Kim, Ju-Youp;Song, Yong-Soo;Choi, Sang-Won
    • Journal of the Korean Society for Railway
    • /
    • v.20 no.1
    • /
    • pp.20-30
    • /
    • 2017
  • Due to the evolution of wireless communications technology, Long Term Evolution (LTE), which is a $4^{th}$ generation mobile communications system, has been adopted as a railway communications system. This LTE Railway (LTE-R) system is composed of various elemental functions, which are largely categorized into public safety and wireless communications for train control. Research on the public safety functions of railway communications have their roots in TRS based national public safety communication systems, and research on wireless communications functions for train control have their roots GSM-R, which is utilized by the ETCS in Europe. Based on these circumstances, this paper first analyzes the requirements for developing public safety technology in LTE-R, and compares those requirements with the functions of public safety LTE (PS-LTE), which is being deployed for the first time in the world by the South Korean government. Based on an analysis of the common and specific functions of LTE-R and PS-LTE, we conclude that there is little problem in integrating LTE-R and PS-LTE from the perspective of functionality. Second, this paper provides a comparison of the LTE-R requirements for the Quality of Service (QoS) with those of GSM-R utilized by the ETCS. This offers a guideline to allow LTE-R to be applied to a 500km/h train control system.

Routing Control Algorithm for SS7 Signaling Traffic with Distributed Message Handling Processors (분산 메시지처리기 구조에서의 공통선 신호 트래픽루팅 제어 기법)

  • Cho, Young-So;Ryu, Keun-Ho
    • The Transactions of the Korea Information Processing Society
    • /
    • v.4 no.7
    • /
    • pp.1797-1803
    • /
    • 1997
  • Message handling function of the SS7(Signaling System N0.7) provides signaling traffic routing capabilities to transfer the signaling traffic to the destination nodes in the signaling network. This message handling function should be handled without any transfer delay for real time processing of large amount of signaling traffic for data communication service, and visual information service. In this paper, we suggest two routing algorithms working on the distributed message handling processors which were specially designed for message handling function. The one is an internal distributing algorithm for equal distribution of signaling traffic among the distributed message handling processors and the other is a distributing algorithm for distribution of signaling traffic in the multiple signaling routes. Both of algorithms are using signaling link selection codes labled in each signaling messages. It is shown that the suggested algorithms are very efficient for routing signaling traffic at the fault condition of signaling routes and the restoration of unavailable signaling routes.

  • PDF

Bacterial Quorum Sensing and Anti-Quorum Sensing (세균의 적정밀도 인식을 통한 신호전달 및 신호전달 차단 연구)

  • 박순양;이정기
    • Microbiology and Biotechnology Letters
    • /
    • v.32 no.1
    • /
    • pp.1-10
    • /
    • 2004
  • Many bacteria monitor their population density and control the expression of specialized gene sets in response to bacterial cell density based on a mechanism referred to as quorum sensing. In all cases, quorum sensing involves the production and detection of extracellular signaling molecules, auto inducers, as which Gram-negative and Gram-positive bacteria use most prevalently acylated homoserine lactones and processed oligo-peptides, respectively. Through quorum-sensing communication circuits, bacteria regulate a diverse array of physiological functions, including virulence, symbiosis, competence, conjugation, antibiotic production, motility, sporulation, and biofilm formation. Many pathogens have evolved quorum-sensing mechanisms to mount population-density-dependent attacks to over-whelm the defense responses of plants, animals, and humans. Since these AHL-mediated signaling mechanisms are widespread and highly conserved in many pathogenic bacteria, the disruption of quorum-sensing system might be an attractive target for novel anti-infective therapy. To control AHL-mediated pathogenicity, several promising strategies to disrupt bacterial quorum sensing have been reported, and several chemicals and enzymes have been also investigated for years. These studies indicate that anti-quorum sensing strategies could be developed as possible alternatives of antibiotics.

Interoperability Test and Testing Tool for Railway Signaling System (철도신호시스템 상호운용성 검증 방법 및 지원도구의 개발)

  • Hwang, Jong-Gyu;Jo, Hyun-Jeong;Baek, Jong-Hyun
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.16 no.9
    • /
    • pp.5802-5809
    • /
    • 2015
  • Railway signaling system is the vital control system in charge of the core for safely train operation, its functional safety must be checked through sufficient verification. Until now, to verify the interoperability of developed railway signaling system, the on-site testing approaches have been applied after testing in laboratory with simulator. This approaches are some limited range of interoperable verification, so more systematic verification interoperability is required. In this paper, the three phases of interoperability verification for railway signaling system was proposed, and methodology for each phases are represented. And also The interoperability validation methodology and supported testing tool for railway signaling system is represented in this paper

Time-Efficient Event Processing Using Provisioning-to-Signaling Method in Data Transport Systems Requiring Multiple Processors

  • Kim, Bup-Joong;Ryoo, Jeong-dong;Cho, Kyoungrok
    • ETRI Journal
    • /
    • v.39 no.1
    • /
    • pp.41-50
    • /
    • 2017
  • In connection-oriented data transport services, data loss can occur when a service experiences a problem in its end-to-end path. To resolve the problem promptly, the data transport systems providing the service must quickly modify their internal configurations, which are distributed among different locations within each system. The configurations are modified through a series of problem (event) handling procedures, which are carried out by multiple control processors in the system. This paper proposes a provisioning-to-signaling method for inter-control-processor messaging to improve the time efficiency of event processing. This method simplifies the sharing of the runtime event, and minimizes the time variability caused by the amount of event data, which results in a decrease in the latency time and an increase in the time determinacy when processing global events. The proposed method was tested for an event that required 4,000 internal path changes, and was found to lessen the latency time of global event processing by about 50% compared with the time required for general methods to do the same; in addition, it reduced the impact of the event data on the event processing time to about 30%.

Verification of High Speed Performance for the Electronic Pedal using a Rotor (회전체를 이용한 전자페달의 고속 성능 검증)

  • KIM, Yong-Kyu;GO, Jun-Young;YOON, Yong-Ki;KIM, Ju-Yeop;LEE, Jong-Hyun
    • The Transactions of The Korean Institute of Electrical Engineers
    • /
    • v.65 no.8
    • /
    • pp.1450-1456
    • /
    • 2016
  • In this paper, we have checked a method of performance evaluation for electronic pedal, which is a core technology of HBD for detecting the axle temperature of high-speed train. As it is practically impossible to conduct train speed test of 500 km/h, we utilize a high speed rotor for evaluating high speed performance of the electronic pedal instead. According to this method, we found that the measurement results by the velocity measuring instrument is similar with the ones from this research through the high speed rotor. In conclusion, it will be possible to conduct reliability evaluation for high speed performance for Beacon, Balise and RFID, which are utilized for transmitting vital information of train control systems through using the rotor.