http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
이영준(Lee Young-Jun),최종균(Choi Jong-Gyun),차경호(Cha Kyung-Ho),천세우(Cheon Se-Woo),이장수(Lee Jang-Soo),권기춘(Kwon Ki-Choon),정의진(Jung Ui-Jin) 한국철도학회 2008 한국철도학회 학술발표대회논문집 Vol.- No.-
The Railroad Safety Act"s regulation reads as follows. “The Minister of Construction and Transportation may qualify and authorize the product to guarantee performance and safety of parts, machine, and device used in Railway fields.” Another regulation reads as follows. “The guidelines about targets, standards, and procedures of Quality and Authority in first provision are decided as Ministry of Construction and Transportation Decree.” The software used in rail cars and facilities is considered as a railway product. Therefore, it is qualified and authorized for acquiring the safety of rail cars and facilities. The software businesses shall again a Quality and Authority for applying a software to the rail cars and facilities. This paper regulates some guidelines that are needed to develop a software. The procedures that a software developer performs are divided by plan, requirement, design, implementation, and maintenance. The procedures that a software verification person performs are classified by verification plan, requirement verification, design verification, implementation verification, testing verification, maintenance verification, and safety activity. The entire processes and detailed activities to develope and verify a software are described as new guidelines.
이영준(Lee Young-Jun),김장열(Kim Jang-Yoel),차경호(Cha Kyung-Ho),천세우(Cheon Se-Woo),이장수(Lee Jang-Soo),권기춘(Kwon Ki-Choon) 한국철도학회 2007 한국철도학회 학술발표대회논문집 Vol.- No.-
The systems such as the railway control system, satellite control system and nuclear power plant control system are the safety critical systems because the failure of them could lead to risk significant events. These softwares of digital systems must follow the life cycle process from the beginning of software development to guarantee their safety and reliability. The NRC(Nuclear Regulatory Commission) Reg Guide of nuclear fields, the RTCA/DO-178B standard which is used to acquire the certification for software in industrial aero field in European Union and United State, the DEF STAN 00-55 standard for the safety of electronic weapon in England, the IEC 601-1-4 for medical equipment and the IEC 62279 for railway system recommended the development life cycle. This paper introduces the development process and compares each other. Also it indicates applicable development criteria for the software of systems related to railway fields and describes the detailed procedure of development criteria. We describe the procedure to make the software development criteria in nuclear filed. For the software development related to railways, the process from plan phase to maintenance phase must be satisfied. The safety and reliability is guaranteed through these standards.
Sequence Diagram을 이용한 안전등급 PLC 운영체제의 인터페이스 설계
이영준(Young-Jun Lee),권기춘(Kee-Choon Kwon),이장수(Jang-Soo Lee),김장열(Jang-Yeol Kim),차경호(Kyung-Ho Cha),천세우(Se-Woo Cheon),손한성(Han-Seong Son) 한국정보과학회 2005 한국정보과학회 학술발표논문집 Vol.32 No.1
본 논문은 Sequence Diagram을 이용한 안전등급 PLC(Safety-Grade Programmable Logic Controller) 운영체제의 인터페이스 설계명세를 기술한다. 원자력발전소에 사용하기 위한 안전 소프트웨어(Safety Software)의 규제기준인 Reg. Guide 는 IEEE Std 1016, IEEE Std 1016.1 의 설계명세서 작성표준에 따라 작성하도록 요구하며, 이러한 규제기준과 기술표준을 안전등급 PLC를 위한 운영체제 소프트웨어의 설계명세서도 만족해야 한다. 특히 운영체제와 외부 장치들 사이의 인터페이스를 위해 실시간 특성의 표현에 장점을 갖는 Sequence Diagram을 적용함으로써 운영체제의 인터페이스에 대한 정확성, 완전성, 그리고 일관성을 향상시킬 수 있었다.
HAZOP을 이용한 안전등급 제어기기 운영체제의 안전성분석
이영준(Young-Jun Lee),권기춘(Kee-Choon Kwon),이장수(Jang-Soo Lee),김장열(Jang-Yeol Kim),차경호(Kyung-Ho Cha),천세우(Se-Woo Cheon) 한국정보과학회 2004 한국정보과학회 학술발표논문집 Vol.31 No.2Ⅰ
본 논문은 안전등급 제어기기(Programmable Logic Controller)에서 동작하는 실시간 운영 체제의 안전성을 요구사항 단계에서 평가할 수 있는 검토항목을 개발하고 HAZOP(Hazard and Operability) 을 이용하여 현재 개발중인 PLC 운영체제에 적용한 경험을 기술한다. HAZOP 은 화학공장과 같은 산업에서 안전성을 평가하기 위한 방법으로 사용했던 방법론이다. 원자력발전소에 적용하기 위해 운영체제가 갖추어야 할 안전성 요건은 NUREG-0800의 BTP-14(Branch Technical Position)의 소프트웨어 기능특성 및 공정특성에 기술되어 있다. 이러한 기능적인 특성을 정확도, 신뢰성, 타이밍/사이징, 기능성, 강인성, 보안성 항목으로 나누고 세부적인 검토리스트를 만들어 HAZOP을 적용하여 평가하였다.