• 제목/요약/키워드: Safety Critical System

검색결과 872건 처리시간 0.025초

철도시스템 통신 안전성 확보를 위한 방법 제시 및 도구 구현 (Implementation of Methodology & Tool for Communication Safety Guarantee in Railway System)

  • 조현정;황종규;김용규
    • 전기학회논문지P
    • /
    • 제59권1호
    • /
    • pp.10-17
    • /
    • 2010
  • Safety-critical systems related to the railway communications are currently undergoing changes. Mechanical and electro-mechanical devices are being replaced by programmable electronics that are often controlled remotely via communication networks. Therefore designers and operators now not only have to contend with component failures and user errors, but also with the possibility that malicious entities are seeking to disrupt the services provided by theirs systems. Recognizing the safety-critical nature of the types of communications required in train control operations, the communications infrastructure will be required to meet a number of safety requirements such as system faults, user errors and the robustness in the presence of malicious attackers who are willing to take determined action to interfere in the correct operation of a system. In this paper, we proposed the safety strategies employed in the railway communications and a security mechanism for Korean railway communication system. Also, we presented the developed means for validation and determination of communication safety based on the proposed security mechanism in the railway system.

Safety-Critical Real-Time Operating System의 설계 및 구현 (Design and Implementation of Safety-Critical Real-Time Operating System)

  • 윤기현;김용희;박희상;성영락;이철훈
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (A)
    • /
    • pp.226-228
    • /
    • 2003
  • 실시간 운영체제(Real-Time Operating System)는 그 실행환경상 시스템이 예상치 못한 특정 이벤트가 발생하는 악 조건속에서도 태스크 수행의 데드라인을 초과하지 않도록 시간적인 측면의 determinism을 보장하는 안정된 스케줄링 기능을 갖춘 운영체제이다. 또한, 예상치 못한 fault 를 미연에 방지할 수 있는 장치를 가지고 있어야 한다. 본 논문에서는 예상치 못한 fault 를 미연에 방지하기 위하여 필요한 운영체제를 설계 및 구현하는데 그 목적이 있다.

  • PDF

도로터널 화재시 경사도에 따른 임계풍속산정에 관한 실험적 연구 (Experimental Study on Calculation of Critical Velocity in Accordance with Gradient of a Road Tunnel at Fire)

  • 김종윤;서태범;이동호;임경범;유지오
    • 한국안전학회지
    • /
    • 제21권5호
    • /
    • pp.1-5
    • /
    • 2006
  • This study provides a basic data necessary to design a facility of smoke management after calculating the critical velocity of the gradient scale model tunnel and reviewing its adequacy to establish an optimum disaster prevention system for a road tunnel at fire. The experiment is carried out by using Froude scaling to a scale model which is about 1/29 as big as the real tunnel, and its critical velocity calculation is calculated to the 0-2% gradient of the tunnel. The result shows that the higher the gradient is, the stronger the critical velocity, but that it doesn't affect the critical velocity so much when the gradient is less 2%. In addition, this result is studied in comparison with the results done by other researchers to review the adequacy of the critical velocity.

철도응용분야에서의 갈릴레오 시스템의 적용방안 연구 (The study on the applicability of Galileo system in railway application)

  • 신경호;정의진;이준호;정락교
    • 한국철도학회:학술대회논문집
    • /
    • 한국철도학회 2007년도 춘계학술대회 논문집
    • /
    • pp.947-952
    • /
    • 2007
  • EU is in the process of developing a new european global navigation satellite system - Galileo project - which technologies and capitals from member states of EU are put into, after determining to set up a separate GPS against that of US late in the 1990s. Galileo system is commercial global navigation satellite system, which allows other else nations outside of EU to participate in system development and operation, different from GPS. Korea also decided to join in the project on February in 2005. Galileo system provide 5 Services - Open Service, Safety of Life, Commercial Service, Public Regulated Service, Search and Rescue Service, and especially it can be applicable to safety-critical areas, and is to provide its part of services certified. In this paper, we are to compare the services of Galileo system, and to present necessary factors to be considered, and the applicability to use the Galileo system in safety-critical application areas, such as train control system

  • PDF

시스템 안전성평가를 통한 효율적 요건 도출방안 연구 (A Study on the Safety Requirements Establishment through System Safety Processes)

  • 유승우;정진평;이백준
    • 항공우주시스템공학회지
    • /
    • 제7권2호
    • /
    • pp.29-34
    • /
    • 2013
  • Safety requirements for aircraft and system functions include minimum performance constraints for both availability and integrity of the function. These safety requirements should be determined by conducting a safety assessment. The depths and contents of aircraft system safety assessment vary depending on factors such as the complexity of the system, how critical the system is to flight safety, what volume of experience is available on the type of system and the novelty and complexity of the technologies being used. Requirements that are defined to prevent failure conditions or to provide safety related functions should be uniquely identified and traceable through the levels of development. This will ensure visibility of the safety requirements at the software and electronic hardware design level. This paper has prepared to study on promoting the efficiency of establishing hierarchical safety requirements from aircraft level function to item level through system safety processes.

안전필수(Safety-Critical) 시스템의 실시간 운영체제에 대한 안전성 평가 (Safety Evaluation on Real Time Operating Systems for Safety-Critical Systems)

  • 강영두;정길도
    • 한국산학기술학회논문지
    • /
    • 제11권10호
    • /
    • pp.3885-3892
    • /
    • 2010
  • 원자력발전소의 발전소보호계통과 같은 안전필수 시스템은 예상 가능한 사고로부터 인간과 자연을 보호하기 위한 중요 기능을 수행하는 시스템으로써, 어떠한 조건 하에서도 고유의 안전기능을 안정적으로 수행할 수 있도록 설계되어야 한다. 원자력발전소의 안전필수 기능을 수행하는 계측제어시스템에 적용되는 최신의 컴퓨터에는 다양한 하부기기를 감시 및 제어하고, 응용 프로그램을 실행시키기 위한 실시간 운영체제가 탑재되어 있으며, 이러한 실시간 운영체제는 가장 엄격한 소프트웨어 품질이 요구된다. 또한, 예상 가능한 조건에서도 안전필수 시스템의 기능이 적절히 수행될 수 있도록 설계, 분석 및 평가되어야 한다. 그러나 지금까지 국내 원자력발전소 안전필수 시스템에는, 원자력 기준과 품질등급에 따라 개발된 제품이 아닌 상용제품의 실시간 운영체제를 정성적 측면에서 승인(Commercial Grade Item Dedication)하는 방식으로 적용되어 왔다. 이로 인해 실시간 운영체제가 안전필수 기능을 수행하는 데 적합한지를 평가하는 상세 방법론과 경험이 매우 부족한 것으로 파악되고 있다. 특히, 안전필수 시스템에 적용함을 목적으로 신규 개발되는 실시간 운영체제의 경우, 안전성을 평가하기 위한 적절한 방법을 도출하기에 어려움이 있는 것으로 파악되고 있다. 본 논문에서는 원전의 안전필수 기능을 수행하는 실시간 운영체제의 설계요구사항을 기반으로, 안전필수 실시간 운영체제에 대한 안전성 분석 및 평가 사례를 제시하고자 한다. 본 논문에서 제시한 상세 안전성 평가의 방법과 사례는 향후 타 산업분야에서의 안전필수 실시간 운영체제 개발 및 안전성 평가에 활용될 수 있을 것으로 기대된다.

철도안전업무종사자의 적성관리 개선을 위한 실증 연구: 스트레스 요인의 관리방안을 중심으로 (An Empirical Study for Improving the Aptitude Management of the Railway's Safety-Critical Workers: Focusing on the Way of Stress Management)

  • 신택현
    • 한국철도학회논문집
    • /
    • 제12권5호
    • /
    • pp.605-612
    • /
    • 2009
  • 본 논문은 철도안전업무종사자가 변화된 직무환경에서 일상적인 업무수행과정에서 겪는 스트레스 요인이 무엇인지를 실증적으로 밝히고, 이들 요인을 제도적으로 관리할 필요가 있다는 관점에 입각하여, 특히 서구에서 시행되고 있는 스트레스상황 및 비상상황대처능력, 단독 업무수행능력을 중심으로 그 제도화의 가능성과 여타의 스트레스 관리방안을 다루었다.

A Comparative Study of Formal Methods for Safety Critical Software in Nuclear Power Plant

  • Sedo Sohn;Seong, Poong-Hyun
    • Nuclear Engineering and Technology
    • /
    • 제32권6호
    • /
    • pp.537-548
    • /
    • 2000
  • The requirement of ultra high reliability of the safety critical software can not be demonstrated by testing alone. The specification based on formal method is recommended for safety system software. But there exist various kinds of formal methods, and this variety of formal method is recognized as an obstacle to the wide use of formal method. In this paper six different formal method have been applied to the same part of the functional requirements that is calculation algorithm intensive. The specification results were compared against the criteria that is derived from the characteristics that good software requirements specifications should have and regulatory body recommends to have. The application experience shows that the critical characteristics should be defined first, then appropriate method has to be selected. In our case, the Software Cost Reduction method was recommended for internal condition or calculation algorithm checking, and statechart method is recommended for the external behavioral description.

  • PDF

임상간호사의 비판적 성찰 역량, 전문직 자부심, 인간중심간호 수행이 환자안전간호활동에 미치는 영향 (Effects of Clinical Nurses Critical Reflection Competency, Professional Pride, and Person-Centered Care Practice on Patient Safety Management Activities)

  • 이수빈;신수진
    • 중환자간호학회지
    • /
    • 제16권3호
    • /
    • pp.87-98
    • /
    • 2023
  • Purpose : This descriptive survey investigated the effects of clinical nurses' critical reflection competency, professional pride, and person-centered care practices on patient safety management activities. Methods : The participants were 183 clinical nurses working at a tertiary hospital in South Korea. The questionnaires consisted of the Critical Reflection Competency Scale for Clinical Nurses Professional Pride the Person-Centered Nursing Assessment Tool and Patient Safety Management Activities. The collected data were analyzed using descriptive statistics, t-tests, ANOVA, Tukey's HSD, Pearson's correlation coefficient, and multiple regression using SPSS 29.0. Results : The mean score for patient safety management activities was 4.65±0.34 out of 5. There were significant differences in patient safety management activities according to age (F=3.90, p =.010), education level (t=-2.56, p =.013), total work experience (F=3.87, p =.010), and the number of healthcare accreditation system experiences (F=5.22, p =.006). Patient safety management activities were positively correlated with critical reflection competency (r=.337, p <.001), professional pride (r=.271, p <.001), and person-centered care practices (r=.399, p <.001). The results indicated that person-centered care practices affected patient safety management activities (𝛽=.358, p <.001) with the explanatory power of 22.5%. Conclusion : To improve clinical nurses' patient safety management activities, it is necessary to develop participatory educational programs that can integrate skills and attitudes based on conceptual knowledge of person-centered care. Intervention studies are needed to test the effect of person-centered care on patient safety when applied in clinical practice.

ISO 22000 국제규격 제정에 따른 한국형 식품안전경영시스템(FSMS) 구축모델과 적용방안 (A Korean Food Safety Management System(FSMS) Based on the Premises of ISO 22000)

  • 문재승;유왕진;이철규
    • 품질경영학회지
    • /
    • 제33권3호
    • /
    • pp.41-46
    • /
    • 2005
  • The production, processing, sale and service of food materials are not subject to attainment via a single country. In accordance with internationalization of the world, issues related to food safety have emerged as critical international concerns and they are closely associated with the health and interest of domestic consumers, producers, manufacturers, and distributors. As a third party certification standards, ISO 22000 is in progress International Organization for Standardization(ISO) and the Draft International Standard(DIS) has already been presented on December 2004. The purpose of this study is to analyze the international standards, guidelines and legislation in regard of Food Safety Management System(FSMS) including ISO 9001, Hazard Analysis Critical Control Point(HACCP) and Product Liability(PL) so as to present Korean-model Food Safety Management System requirements and system establishment model.