• Journal of Electrical Engineering and Technology
• /
• v.4 no.1
• /
• pp.87-92
• /
• 2009

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 errors of overlooked requirement specification can be detected using the 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 proposed an eclectic approach to incorporate Z(Zed) formal language and 'Statemate MAGNUM', formal method tools using Statechart. Also we applied the proposed method to train control systems for the formal requirement specification and analyzed the specification results.

• Proceedings of the KIEE Conference
• /
• 2009.07a
• /
• pp.1156_1158
• /
• 2009

A train control system(TCS) becomes a large scale and complex as other computer based control systems. So, it is necessary to manage rigorously system requirements specification of the train control system at the early phase. This paper describes Use Cases and activity diagrams of the TCS functions requirements of TCS. Basic functions of the train control system suggested refer to IEC62290-1. And the basic functions includes train operation without a driver.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2002.12a
• /
• pp.317-320
• /
• 2002

In this paper, an automatic histogram specification method is proposed for image enhancement, Fuzzy membership value is adopted for the representation of image histogram. The desired PDF is automatically constructed by the fuzzy membership value. Fuzzy membership value is extracted from dark membership, bright membership function and original histogram. The effectual results are demonstrated by desired PDF which meet the image enhancement requirements. The performance and effectiveness are shown by the analysis and the resultant image in comparison with histogram equalization method.

• Journal of the Korea Society of Computer and Information
• /
• v.24 no.7
• /
• pp.19-29
• /
• 2019

Requirements traceability is regarded as one of the important quality attributes in software requirements engineering field. If requirements traceability is guaranteed then we can trace the requirements' life throughout all the phases, from the customers' needs in the early stage of the project to requirements specification, deployment, and maintenance phase. This includes not only tracking the development artifacts that accompany the requirements, but also tracking backwards from the development artifacts to the initial customer requirements associated with them. In this paper, especially, we dealt with the traceability between functional requirements and non-functional requirements. Among many Information Retrieval (IR) techniques, we decided to utilize Latent Semantic Indexing (LSI) and Latent Dirichlet Allocation (LDA) in our research. Ultimately, we conducted an experiment on constructing traceability by using two techniques and analyzed the experiment results. And then we provided a comparative study between two IR techniques in constructing traceability between functional requirements and non-functional requirements.

• 시스템엔지니어링워크숍
• /
• s.4
• /
• pp.17-22
• /
• 2004

This paper present the brief generation process of system requirements or mart UAV from a development obejective. The current Snart UAV requirements deal with the restricted life cycle from development to test and verification exclusive of full life cycle beacuse of the new technology demonstration research program funded by goverments. The Smart UAV system consists of flight vechicle, avionics, communication link, payload, ground control stationand ground supporting system. In thus paper, top-down flown requirememts are intoduced how to allocate to each sub-system.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.41 no.4
• /
• pp.160-170
• /
• 2018

This paper is an exploratory study on the success factors of Defence Quality Management System (DQMS) which is the certification system granted by the military for improving the quality of munitions. DQMS is established by adding military requirements to the ISO standard, thus, we especially focus on the additional requirements to figure out success key factors of DQMS certification. The 51 additional requirements of Korean Defense Specification (KDS) are empirically investigated from 67 companies that acquired DQMS certification. Firstly, we conduct an independent t-tests on 51 additional requirements of KDS 0050-900-3 to determine if there is a difference between an easily certified company and a hard-to-certify company, and obtain 8 requirements such as 'Internal propagation of performance', 'Preparation of documented work instructions', 'Work instructions in the workplace', 'Documentation of equipment management', 'Inventory management', 'Packaging and identification', 'Guarantee of access to internal audit result for customers', 'Notification to the customer for improper product.' Secondly, we carry out an factor analysis to the 51 additional requirements for classification, and figure out that 4 requirements among the 8 requirements above mentioned are grouped together in the same factor. The 4 requirements are 'Preparation of documented work instructions', 'Work instructions in the workplace', 'Packaging and identification', and 'Guarantee of access to internal audit result for customers.' The result of this paper will provide useful information to the company preparing for DQMS.

• Journal of KIISE
• /
• v.45 no.1
• /
• pp.36-44
• /
• 2018

Due to the advent of the 4th Industrial Revolution, it is imperative that we aggressively continue to develop state-of-the-art, cutting edge ICT technology relative to autonomous vehicles, intelligent robots, and so forth. Especially, systems based on convergence IT are being developed in the form of CPSs (Cyber Physical Systems) that interwork with sensors and actuators. Since conventional CPS specification only expresses behavior of one system, specification for collaboration and diversity of CPS systems with characteristics of hyper-connectivity and hyper-convergence in the 4th Industrial Revolution has been insufficiently presented. Additionally, behavioral modeling of CPSs that considers more collaborative characteristics has been unachieved in real-time application domains. This study defines the non-functional requirements that should be identified in developing embedded software for real-time constrained collaborating CPSs. These requirements are derived from ISO 25010 standard and formally specified based on state-based timed process. Defined non-functional requirements may be reused to develop the requirements for new embedded software for CPS, that may lead to quality improvement of CPS.

• Proceedings of the Korean Radioactive Waste Society Conference
• /
• 2017.05a
• /
• pp.321-322
• /
• 2017

• Proceedings of the KSR Conference
• /
• 2007.05a
• /
• pp.1000-1007
• /
• 2007

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 the comparison of other formal specification methods, we choose the Z formal language for applying to the train control system. Using Z is able to realize higher correctness in the requirement specification, and we propose the Statemate of the best solution in formal verification tools for the system modeling and verification. The Statemate makes it possible to prove thoroughly the system execution from the simple graphical modeling of the complicated train control system. Then we can expect that the model-based formal method combining Z with Statemate will be utilized widely for the railway systems due to various strong points.

• Proceedings of the IEEK Conference
• /
• 2002.06a
• /
• pp.171-174
• /
• 2002

In this study, we proposed a specification which is able to estimate tile uncertainty more easily and quickly and also able to maintain a confidence level when measuring tile magnitude and phase of 1-port and 2-port transmission.reflection coefficient using a VNA and attached coaxial cable probes. This proposed specification is available when it needs extra special condition of uncertainty estimation and when there is no additional standard equipment like as beadless airline or mismatch standard at the measurement institute. We compared and examined this proposed uncertainty estimation method with recommended EA specification and Agilent specification. As a result, we think that this proposed specification can be used as a reference for uncertainty estimation and calculation of VNA system, that is, a reference based on the IS0/1EC 17025 requirements.