• Proceedings of the Korean Reliability Society Conference
• /
• 2001.06a
• /
• pp.267-268
• /
• 2001

We consider some guidance on specifying required dependability characteristics in product and equipment specifications, together with specifications of procedures and criteria for verification.

• Proceedings of the Korean Nuclear Society Conference
• /
• 2003.05a
• /
• pp.87.2-87.2
• /
• 2003

• Fire Protection Technology
• /
• s.12
• /
• pp.21-30
• /
• 1992

This fire fighting systems engineering specification includes the design and installation requirements which normally adopted for petroleum refineries and petrochemical industries. Also, this shall be applied the Korean Fire Safety Law, in addition to the Korean Industry Safety & Health Law and NFPA Code.

• Proceedings of the Earthquake Engineering Society of Korea Conference
• /
• 2000.04a
• /
• pp.259-266
• /
• 2000

This study was conducted to investigate the seismic behavior assessment of circular reinforcement concrete bridge piers particularly with regard to assessing the displacement ductility curvature ductility response modification factor(R) and plastic hinge region etc, The experimental variables of bridge piers test consisted of transverse steel details amount and spacing different axial load levels etc. The test results indicated that reinforcement concrete bridge piers with confinement steel by the code specification exhibited suffcient ductile behavior and seismic performance. Also it is found that current seismic design code specification of confinement steel requirements may be revised.

• Proceedings of the Korea Concrete Institute Conference
• /
• 2000.04a
• /
• pp.369-374
• /
• 2000

This study was conducted to investigate the seismic behavior assessment of circlular-tied bridge piers, particularly with regard to assessing the displacement ductility. The experimental variables of bridge piers test consisted of transverse steel details, amount and spacing different axial load levels etc. The test results indicated that reinforcement concrete bridge piers with confinement steel by the code specification exhibited sufficient ductile behavior and seismic performance. Aldo, it is found that current seismic design code specification of confinement steel requirements may be revised.

• Proceedings of the CALSEC Conference
• /
• 1999.11a
• /
• pp.85-92
• /
• 1999

The current R＆B system has a lot of problems caused by complexity of the system and lack of IDE concept among the related offices and organizations. IDE concept is building Integrated database with data which applied standards and digitalized. So R＆D CALS system should be established for the related offices and organizations can use data which created during R＆D life-cycle in IDE. In this paper, I suggested system requirements and system quality factors for building IDE based upon SSS form.

• 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 the Korean Society of Systems Engineering
• /
• v.1 no.1
• /
• pp.32-38
• /
• 2005

This paper presents the brief generation process of system requirements for Smart UAV from a development objective. The current Smat UAV requirements deal with the restricted life cycle from development to test and verification exclusive of full life cycle because of the new technology demonstration research program funded by governments. The Smart UAV system consists of flight vehicle, avionics, communication link, payload, ground control station and ground supporting system. In this paper, top-down flown requirements are introduced how to allocate to each sub-system.

• Proceedings of the KSR Conference
• /
• 2006.11b
• /
• pp.1198-1202
• /
• 2006

MTBF(Mean Time Between Failure)와 MTBSF(Mean Time Between Service Failure) are two representative quantitative reliability requirements for railway systems. There are the case that both of the two requirements are presented and the case that only one of them is presented in the specification of railway systems. we deal with the redundancy allocation problem to meet the two reliability requirements. The redundancy increases MTBSF while it decreases MTBF. Parallel redundancy and the exponential lifetime distribution of components are considered for the series systems. Mathematical model and example are presented for the redundancy optimization problem of minimizing the cost subjecting to MTBF and MTBSF requirements.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.5
• /
• pp.1243-1256
• /
• 1997

Object modeling has been cinsidered as an efficient technique for eleciting user requirements and communicat-ing between developers and customers. But model itself is not easy to understand what recult will be after coding and whether it will be meet with the requirements of customers. In this paper, we developed the envuroment for visualization of object model for validating with rewuirnent at the early stage. Therefore, we defined correct and complete rules which can transform the object model.the delierables of Shler/Mellor's method, into a for-mal specification language of VDM(Vienna Development Methods) with a mathematical basis. This basis provides the means of proving that a specification is realizable and proving properties of a system.Therefore.the completeness, preciceness of object model can be verified by proving the transformed VDM specification and prototyping by constructing a visualization supporting enviroment.