• 산업공학
• /
• 제7권2호
• /
• pp.25-30
• /
• 1994

ISO 9000 is a series of several standards(ISO 8402, 9000, 9001, 9002, 9003, 9004,...). ISO 9000 is a standard explaining fundamental concepts, defining important terms, and providing guidance for selecting among the other standards. ISO 9001, the most comprehensive standard to ensure quality in design, development, production, installation, and servicing. ISO 9002 is used to assure conformance to specification, installation and servicing. ISO 9003 has the least requirement among three standards and applies to inspection and final testing. ISO 9004 is a standard developed for internal use only and not applicabe to contractual arrangements. In this paper, quality system requirements for ISO 9000 series are also specified.

• Journal of Ship and Ocean Technology
• /
• 제1권2호
• /
• pp.31-40
• /
• 1997

The paper begin by examining shipbuilding in the context of competitiveness, specification and cost-effectiveness before considering the impact of safety requirements in the its operations. The basis of the safety case approach is then given, and its application to shipbuilding is illustrated by an example based on the use of staging in ship construction. The key conclusion is that the safety case approach provides the management with a technique for treating potential hazards in shipbuilding so that their risks can be kept within an acceptable level.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2008년도 춘계학술대회 논문집
• /
• pp.596-602
• /
• 2008

Recently, there are increasing social needs for safe operation of trains and comforting for passengers. But lightning surges are responsible for serious disturbances such as damage, permanent degradation or temporary erratic operation of sensitive electronics circuits and systems. The purpose of this paper is to identify the requirements for Surge Protective Devices(SPDs) used in protecting railway signalling system. In this paper, we describes tests and requirements which establish methods for testing SPDs and determining their performance.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2005년도 추계학술대회 논문집
• /
• pp.575-580
• /
• 2005

In this study, safety requirement & criteria for high-speed rail system were developed for safety verification as a national rules and regulations. Safety criteria were presented through analysis of high-speed rail development specification, survey of related regulations for safety requirements. and review of operation compatibility with domestic rail system. Finally, safety rule consist of system safety requirements and safety criteria for technical parts.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (2)
• /
• pp.337-339
• /
• 2004

항공 및 국방 산업 둥에서는 고안전성 임베디드 시스템의 신뢰성과 안전성을 보장하기 위해 임베디드 시스템의 설계 및 구현에 정형기법을 적용하고 있다. 본 논문은 그러한 정형기법을 적용하여 임베디드 시스템 소프트웨어의 요구사항 명세(Software Requirements Specification : SRS)와 요구명세를 바탕으로 실제 구현을 위한 설계명세(Software Design Specification : SDS)를 정형기법을 이용하여 명세하였다. 본 논문은 정형 명세 언어로 작성된 요구명세와 설계명세 간의 부합성 검사를 하고 더 나아가 임베디드 시스템 요구 분석에서 더 정확하게 소프트웨어를 구현할 수 있는 방법을 제시하고자 한다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2004년도 추계학술대회 논문집
• /
• pp.1241-1246
• /
• 2004

The verification confirms a correspondence between requirements and a specification before implementing. The problem in the formal method verifying a protocol specification using model checking is that the protocol behaviors must be always specified in L TS(Label Transition System). But if Region Automata is applied to the model checking, it is enable to verify whether properties are true on specification specified in I/O FSM(Input/Output Finite State Machine) as well as LTS. In this paper, we verify the correctness of rail signal control protocol type 1 specified in I/O FSM by using model checking method and region automata. This removes many errors and ambiguities of an informal method used in the past and saves down expenditures and times required in the protocol development. Therefore it is expected that there will be an increase in safety, reliability and efficiency in terms of the maintenance of the signaling system by using the proposed verification methods.

• 전기학회논문지P
• /
• 제57권2호
• /
• pp.65-71
• /
• 2008

Recently, many critical control systems are developed using formal methods. When software applied to such systems is developed, the employment of formal methods in the software requirements specification and verification will provide increased. assurance for such applications. Earlier error of overlooked requirement specification can be detected using formal specification method. Also the testing and full verification to examine all reachable states using model checking to undertake formal verification are able to be completed. In this paper, we propose an eclectic approach to incorporate Z(Zed) formal language and 'Statemate MAGNUM' which is formal method tools using Statechart for applying to the railway signaling systems.

• 자동차안전학회지
• /
• 제12권1호
• /
• pp.46-51
• /
• 2020

Korea is the only country in the world where the regulation of vehicle homologation has been changed from "Type Approval" to "Self-Certification". But there are some regulations that have not been fully changed, so they became double-regulations. In this research, we find out double-regulations in Self-Certification systems focused on "Specification Notice Procedure", and suggest a proposal of amendment to avoid duplication. Through the research, we can reduce unnecessary requirements about homologation, management of vehicle and administrative procedure significantly.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2004년도 ICCAS
• /
• pp.1360-1364
• /
• 2004

This paper propose an extended model for role-permission assignment based on locations called "Enhanced Role-Based Access Control (ERBAC03)". The proposed model is built upon the well-known RBAC model. Assigning permissions to role is considered too complex activity to accomplish directly. Instead we advocate breaking down this process into a number of steps. The concept of jobs and tasks is specifically introduced to facilitate role-permission assignment into a series of smaller steps. This model is suitable for any large organization that has many branches. Each branch consists of many users who work in difference roles. An administration tool has been developed to assist administrators with the administration of separation of duty requirements. It demonstrates how the specification of static requirements can be done based on "conflicting entities" paradigm. Static separation of duty requirements must be enforced in the administration environment. Finally, we illustrate how the ERBAC03 prototype is used to administer the separation of duty requirements.

• Journal of Positioning, Navigation, and Timing
• /
• 제8권4호
• /
• pp.215-223
• /
• 2019

This paper analyzes navigation performances of the Korean Positioning System (KPS) constellation with respect to the orbit parameters which fulfills the specification requirements. Specifically, the satellite configuration and navigation requirements of KPS are explained, and the daily mean horizontal dilution of precision (HDOP) and satellite visibility on KPS coverage are analyzed to confirm the adequate orbit parameters. However, due to orbital slot saturation, geostationary-orbit (GEO) satellites may not be allocated in the original orbit as specified in the KPS requirements. Therefore, in a spanned window of 4 degrees from the reference longitude the navigation performance of each GEO satellite orbit is investigated.