• Journal of Electrical Engineering and Technology
• /
• 제4권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.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2009년도 제40회 하계학술대회
• /
• 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.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2002년도 추계학술대회 및 정기총회
• /
• 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.

• 한국컴퓨터정보학회논문지
• /
• 제24권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.

• 시스템엔지니어링워크숍
• /
• 통권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.

• 산업경영시스템학회지
• /
• 제41권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.

• 정보과학회 논문지
• /
• 제45권1호
• /
• pp.36-44
• /
• 2018

4차 산업혁명의 도래로 인하여 자율주행 자동차, 지능 로봇 등을 구현을 위한 ICT 분야의 기술 개발이 시급히 요구되고 있다. 특히 융합 IT를 기반으로 하는 모든 시스템들이 센서나 액추에이터와 연동하는 CPS(Cyber Physical Systems) 형태로 개발되고 있다. 기존의 CPS 명세는 단일 시스템의 행위만을 명세하였기 때문에, 초연결성과 초융합성을 갖는 4차 산업혁명 시대의 CPS 시스템이 갖는 협업 및 다양성 측면에 명세는 충분히 제시되지 못하였다. 특히 실시간적 특성을 갖는 다양한 응용에서는 더욱 협업적 특성을 고려한 행위 모델링이 이루어지지 못하였다. 본 논문에서는 이러한 실시간 협업 환경에서 임무를 수행하는 CPS용 임베디드 소프트웨어를 개발할 때, 어떠한 비기능 요구사항이 식별되어야 하는가를 정의한다. 이러한 요구사항은 ISO 25010 표준에 근거하여 도출하며, 실시간 협업을 위해 상태 기반의 Timed Process를 이용하여 정형적으로 명세한다. 도출된 비기능 요구사항들은 추후 CPS 기반의 새로운 임베디드 소프트웨어에 대한 요구사항을 정의하기 위해 재사용될 수 있을 것이며, 이를 통해 CPS의 품질만족도를 향상시킬 수 있을 것이다.

• 한국방사성폐기물학회:학술대회논문집
• /
• 한국방사성폐기물학회 2017년도 춘계학술논문요약집
• /
• pp.321-322
• /
• 2017

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2007년도 춘계학술대회 논문집
• /
• 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.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2002년도 하계종합학술대회 논문집(1)
• /
• 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.