• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제15권4호
• /
• pp.1360-1388
• /
• 2021

Shipbuilding and repairing enterprise has the characteristics of many hazards and accidents. Therefore, the safety management ability of shipbuilding and repairing MIS (management information system) must be effectively guaranteed. The verification on safety management is the necessary measure to ensure and improve the safety management ability of MIS. Safety verification can not only increase the safety of MIS, but also make early warning of potential risks in management to avoid the accidents. Based on the authoritative standards in the field of safety in shipbuilding and repairing enterprise, this paper applied modeling and verification method based on ontology to safety verification of MIS, extracted the concepts and associations from related safety standards to construct axiom set to support safety verification on MIS of shipbuilding and repairing enterprise. Then, this paper developed the corresponding safety ontology modeling and verification tool-SOMVT. By the application and comparison of two examples, this paper effectively verified the safety of MIS to prove the modeling method and the SOMVT can improve the safety of MIS in a much more effective and stable way to traditional manual analysis.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2007년도 춘계학술대회 논문집
• /
• pp.1016-1022
• /
• 2007

It is demanded to produce the safety evidence documents in other to approval safety characteristic of railway signaling system which stands is included, it is demanding from IEC 62425 standards. Also it is express clearly that safety assessment if signaling system has to be verification of these safety evidence documents. This Safety Case has the results of safety activity through system life-cycle, such as hazard lists, hazard identification and analysis, risk assessment and countermeasure, verification and test results. Consequently, first of all, the analysis and verification of these Safety Case documents has to be accomplished to approval and acceptance of signaling system safety. And also if the safety assessor was want, it is able to be experimental test auditory which is, arbitrary faults injection test, to above described documents verification. In this paper, the contents and architecture of Safety Case are presented as first steps of safety assessment technology establishment for railway signaling system.

• 한국건축시공학회:학술대회논문집
• /
• 한국건축시공학회 2019년도 춘계 학술논문 발표대회
• /
• pp.51-52
• /
• 2019

Currently in domestic, it is difficult to the evacuation in fire due to the building is higher. Therefore it is necessary to evacuation safety design of building. To conduct the evacuation fire design of building, it should be done the Evacuation Safety Verification. But it is not sufficient the Study about Evacuation Safety Verification in currently domestic. Therefore in this study, we conducted the evacuation safety verification using people who they can't the evacuation themselves. The method of verification, we suggest the comparative that people who they can't the evacuation themselves and available safety evacuation time. Available safety evacuation time is determined by determined method from disaster statistics of casualties or equivalence with current standard requirement. it is doing to objectively judge of evacuation safety design validity in building.

• 한국정보통신학회논문지
• /
• 제10권8호
• /
• pp.1435-1442
• /
• 2006

안전성에 대한 이상적인 평가방법은 운영체제내의 모든 가능한 연산을 대상으로 실행 결과의 안정성 여부를 검사하는 것이다. 하지만 이는 현실적으로 불가능하다. 그러나 정형기법을 사용할 경우 운영체제 동작논리상의 안전성 보장 여부를 이론적으로 증명할 수 있다. 따라서 본 논문에서는 보안커널의 안정성 검증방법에 대하여 논하고, 정형검증의 대표적인 도구들에 대하여 비교분석을 수행하였다. 그리고 보안커널에 기반한 다중레벨 접근통제모델인 수정된 BLP(Bell & LaPadula) 모델을 검증하기에 적합한 PVS(Prototype Verification System) 검증도구를 선정하였다. 마지막으로 PVS 검증도구를 활용하여 정형명세를 작성하고, 작성된 정형명세의 검증을 통하여 수정된 BLP 모델이 안전한 보안모델이라는 것을 검증하였다.

• 제어로봇시스템학회논문지
• /
• 제2권1호
• /
• pp.53-59
• /
• 1996

An automatic verification method has been studied to determine the safety and operability of programmable logic controller (PLC) based systems. For the systematic and efficient verification, we have developed a conversion method from relay ladder logic (RLL) to the verification system description. RLL is a common representation used to document PLC programs for the sequential logic of the system such as the safety interlocks and the startup/shutdown procedures. Once the modules are developed, complex RLLs can be represented by the combination of modules. As a result we can verify complex PLC systems using the verification method including RLL modules. The developed modules are used to verify alarm systems and show that the method is valid.

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

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.

• 대한안전경영과학회:학술대회논문집
• /
• 대한안전경영과학회 2009년도 추계학술대회
• /
• pp.203-208
• /
• 2009

Government and company are unfolding greenhouse gas reduction activity to prevent the effects of global warming. Also, verification business through greenhouse gas inventory construction is spreaded variously. Greenhouse gas verification proceeds by document examination, risk analysis, field survey. Document investigates emission information, calculation standard, emission report, data management system. And through risk assessment result, establish field verification plan. Through study on risk assessment of greenhouse gas inventory verification, wish to reduce risk of verification.

• International Journal of Safety
• /
• 제3권1호
• /
• pp.38-46
• /
• 2004

This paper introduces the software life-cycle V&V (verification and validation) tasks for the KNICS (Korea nuclear instrumentation and control system) project. The objectives of the V&V tasks are mainly to develop a programmable logic controller (PLC) for safety critical instrumentation and control (I&C) systems, and then to apply the PLC to developing the prototype of an engineered safety features-component control system (ESF-CCS) in nuclear power plants. As preparative works for the software V&V, various kinds of software plans and V&V task procedures have been developed according to the software life-cycle management. A number of software V&V tools have been adopted or developed to efficiently support the V&V tasks. The V&V techniques employed in this work include a checklist-based review and inspection, a requirement traceability analysis, formal verification, and life-cycle based software testing.

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

Generally, a system or service is verified by requirements if it has met them in transforming customer requirements into a system or service. But as the national research and development projects to develope safety systems or standards or process in railway system domain, it can be quite limiting that the product or systems verification process presented the international or industrial standards to be applied. This paper has analyzed and made up for the general verification process and presented the effective and efficient verification process about safety system, safety standard, process, and safety documents and the methods to manage the outcomes of verification process.

• Journal of Electrical Engineering and Technology
• /
• 제1권4호
• /
• pp.513-519
• /
• 2006

As a very important part in development of the protocol, verifications for developed protocol specification are complementary techniques that are used to increase the level of confidence in the system functions by their specifications. Using the informal method for specifying the protocol, some ambiguity may be contained therein. This indwelling ambiguity in control systems can cause the occurrence of accidents, especially in the case of safety-critical systems. To clear the vagueness contained in the designed protocol, we use the LTS (Labeled Transition System) model to design the protocol for railway signaling. And then, we verify the safety and the liveness properties formally through the model checking method. The modal ${\mu}$-calculus, which is an expressive method of temporal logic, has been applied to the model checking method. We verify the safety and liveness properties of Korean standard protocol for railway signaling systems. To perform automatic verification of the safety and liveness properties of the designed protocol, a communication verification tool is implemented. The developed tools are implemented by C++ language under Windows XP. It is expected to increase the safety and reliability of communication protocol for signaling systems by using the developed communication verification tool.