• Journal of KIISE
• /
• v.44 no.9
• /
• pp.893-907
• /
• 2017

In safety-critical systems, software defects may have serious consequences. Therefore, defects should be considered during the requirements specification process, which is the first step of a software development lifecycle. Stakeholder requirements that are usually written in natural language are difficult to derived, and there may also be defects due to ambiguity and inaccuracy. To address these issues, we propose a requirement specification method using a standardized Boilerplate and a GSN Model. The Boilerplate is a semi-standard language that follows a predefined format. Due to its ability to provide a consistent representation of the requirements, boilerplate helps stakeholders avoid ambiguities about what they mean and to define the exact meaning of the requirement. Meanwhile, GSN is recognized notation to prepare a Safety Case to prove to authorities that a system is safe. It can be expressed as a functional goal, e.g., Safety Evidence, etc. The proposed study allows an analyst to easily identify a fault from the early stage of the software development lifecycle. The Boilerplate and GSN Model are designed to specify the requirements of safety critical systems and to prove safety conformity through a connection with Safety Evidence. In addition, the proposed approach is also useful to develop secure software by correcting deficiencies in the requirements found during this process.

• Journal of Ship and Ocean Technology
• /
• v.1 no.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.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.59 no.12
• /
• pp.2298-2305
• /
• 2010

The paper presents the Model Based Design(MBD) method which design and verify control algorithm for safety power window. Safety power window are required to work together with the anti-pinch function and have to meet FMVSS118 S5 requirements and equivalent ECC requirements. To meet the requirements, this paper presents the establishment of SILS and RCP environments. The design process can reduce time and support more performance-assured design. As a result of study, it met the regulations and achieved reaction force that close to common products.

• Proceedings of the KSR Conference
• /
• 2007.11a
• /
• pp.1858-1863
• /
• 2007

Railway systems are one of the best mass transit systems and many people have prevented incidents/accidents and reduced fatalities remarkably. Especially we have tried analyzing and finding the measures to prevent catastrophic accidents like train collision, derailment and fire because of their severities. It is important to assess the safety performances of railway systems like crash-worthiness analysis, body, derailment affecting factor analysis and so on for reducing and finding out the reasonable causes of disastrous accidents. In this paper the refined top-level system requirements to build-up national infra for assessing railway safety performance and the procedures and methodology for reviewing, verifying and validating infra requirements are explained. Basically the authors have used system engineering processes to analyze and verify the requirements and installation procedures and have tried maximizing the practicality of the various safety assessment systems.

• Journal of Applied Reliability
• /
• v.14 no.1
• /
• pp.81-91
• /
• 2014

The IEC 61508 standard was established to specify the functional safety of E/E/PE safety-related systems. Safety life cycle to provide the framework and direction for the application of IEC 61508 is included in this standard. In this paper, we describe overviews, objects, scopes, requirements and activities of each phase in safety life cycle. In addition, we introduce safety integrity level(SIL) which is used for verifying the safety integrity requirements of E/E/PE system and perform a case study to estimate hardware SIL by FMEDA. The SIL is evaluated by two criteria. One of them is the architectural constraints which restrict the maximum SIL by combination of SFF and HFT. The other is the probability of failure which is classified into PFD and PFH based on frequency of demand and calculated by safe or dangerous failure rates.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2008.11a
• /
• pp.661-662
• /
• 2008

• Safety and Health at Work
• /
• v.6 no.2
• /
• pp.146-150
• /
• 2015

Occupational health and safety (OHS) is a broad field of professional practice, which involves specialists from different disciplines including but not limited to engineers, occupational health physicians, physical and biological scientists, economists, and statisticians. The preventive systems required to ensure workers are protected from injuries and illnesses dwell heavily on engineers; however, the extent to which the engineer can go regarding planning and implementing preventive measures is dependent on specific legal requirements, leadership commitment from the company, organization, and nation. The objective of this paper is to identify the areas of opportunities for improvements in OHS management in Ghana with regard to the nation's legal requirements, commitment of the Ghana government, and Ghanaian leadership as well as appropriate structuring of Ghanaian institutions responsible for monitoring and managing OHS in Ghana. This paper identified Ghana's fragmented legal requirements concerning OHS, which are under different jurisdictions with unclear responsibilities and accountabilities. The paper also highlights the training needs of Ghanaian academic institutions regarding OHS. Among other recommendations made including structuring of Ghanaian institutions to manage OHS in line with the ILO-OSH 2001, this paper aligns the recommendations with the articles and elements of International Labour Organization convention number 155 and OHSAS 18001 elements.

• Journal of the Korean Society for Railway
• /
• v.8 no.2
• /
• pp.161-169
• /
• 2005

In this paper, we provide safety requirements and advices to guarantee the safety of an interface in a level crossing system which is an interface between the conventional facilities and the new ATP (Automatic Train Protection) system, as well as we accomplish a safety management for the facilities of a country that has a different standard with already standardized ATP system. The system model has been made based on a safety activity of the international standard, and then a tolerance of a risk by the safety activity through PHA (Preliminary Hazard Analysis) has been analyzed. finally we achieved HIA (Hazard Identification and Analysis) for the assumptions that have been produced from a operating scenario and a functional interface. Thus, the safety requirements for the interface has been provided from the safety plan of HIA, and we showed the safety activity to guarantee the system safety through HIA which was depend on the design.

• Journal of Ship and Ocean Technology
• /
• v.5 no.3
• /
• pp.1-13
• /
• 2001

Present-day rules and regulations for the design and construction of ships are almost without exemption of a prescriptive and deterministic nature. Often it is argued that this situation is far from ideal; it does no right to the advances, which have been made during the past decades in engineering tools in marine technology, both in methodology and in computational power. Within IMO this has been realized for some time and has resulted in proposals to use Formal Safety Assessment(FSA) as a tool to improve and to modernize the rule making process. The present paper makes use of elements of the FSA methodology, but instead of working towards generic regulations or requirements, a Risk Assessment Approach, not unlike a 'safety case'; valid for a certain ship or type of ship is worked out. Delft University of Technology investigated the application of safely assessment procedures in ship design, in co-operation with Anthony Veder Shipowners and safety experts from Safely Service Center BV. The ship considered is a semi-pressurized-fully refrigerated LPG carrier. On the basis of the assumption that a major accident occurs, various accident, scenarios were considered and assessed, which would impair the safety of the carrier. In a so-called Risk Matrix, in which accident frequencies versus the consequence of the scenarios are depicted, the calculated risks all appeared lo be in the ALARP('as low as reasonable practicable') region. A number of design alternatives were compared, both on safety merits and cost-effectiveness. The experience gained with this scenario-based approach will be used to establish a set of general requirements for safety assessment techniques in ship design. In the view that assessment results will be most probably presented in a quasi-quantified manner, the requirements are concerned with uniformity of both the safety assessment. These requirements make it possible that valid comparison between various assessment studies can be made. Safety assessment, founded on these requirements, provides a validated and helpful source of data during the coming years, and provides naval architects and engineers with tools experience and data for safety assessment procedures in ship design. However a lot of effort has to be spent in order to make the methods applicable in day-to-day practice.

• Journal of the Korean Society for Railway
• /
• v.10 no.6
• /
• pp.751-757
• /
• 2007

This paper is concerned with the development of the requirements for railway safety support information systems. The five safety elements at the system level have been modeled based on the enterprise architecture approach. Specifically, the modeling has been carried out as follows. First, the requirements are derived according to EIA-632 process. Also, the possible scenarios on the accident-investigation-support are developed from the help of relevant personnel in the area. The developed scenarios are reflected in modeling the operational and system architectures of DoDAF approach using a CASE tool. From this architecture model, we can easily get the specifications required for the operations. These results can give the improved understanding of the railway safety system to the members of diverse teams and areas working for the system development.