• The Transactions of the Korea Information Processing Society
• /
• v.6 no.6
• /
• pp.1520-1531
• /
• 1999

In this paper, we present a first step for developing a method of verifying both safety and correctness of object-oriented design specification. As first, we analyze the discrepancies, which can occur between requirements specification and design specification, to make clear target faults. Then, we propose a new design verification method which aims at detecting faults in the design specification. The key idea of the proposed framework is that all elements to be verified can be extracted based on the requirements specification, safety standards, and design specification given for the target product These elements are expressed using three kinds of tables for verification, and thus, the verification steps can be greatly simplified. Here, we assume that component library, standards for safety and design specification obtained from the Booch's object-oriented design method are given. At the beginning, the designers construct a design table based on a design specification, and the verifiers construct a correctness table and a safety table from component library and standards for safety Then, by comparing the items on three tables, the verifiers verification a given design specification and detect faults in it. Finally, using an example of object-oriented design specification, we show that faults concerning safety or correctness can be detected by the new design verification method.

• Journal of the Korean Society of Systems Engineering
• /
• v.10 no.1
• /
• pp.81-86
• /
• 2014

Systems Engineering application focused on requirement definition and management for SURION System Development Project is described in this paper. To perform the development process effectively based on systems engineering processes; Requirements Definition, Design Review, Configuration Management, Quality Assurance, Data Management, are applied in this project. In this processes, the Stakeholder's Requirements are transferred to Specifications verified with design reviews, prototyping inspections, and integration tests. All engineering data, especially verification plan & results are recorded, and traced to each requirements of system specification in Surion database. Therefore, it could be assured that all requirements of specification are evaluated and verified successfully in Surion Project.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.16 no.6
• /
• pp.779-788
• /
• 2013

The load requirements should be known to design mechanical structure. This paper proposes a generation method of load requirements using U.S. military specification to design the external mounting structure of the helicopters of which the flight environments such as aerodynamic forces and inertia forces are unknown. In this study, the load requirements which were applied at the design of the pod structure for helicopter captive flight test could be computed by using this method. The validation of proposed method was confirmed from the test flight using developed pod system.

• Journal of the Semiconductor & Display Technology
• /
• v.22 no.1
• /
• pp.88-93
• /
• 2023

In software engineering, requirement analysis is an important task throughout the process and takes up a high proportion. However, factors that fail to analyze requirements include communication failure, different understanding of the meaning of requirements, and failure to perform requirements normally. To solve this problem, we derived actors and behaviors using morpheme analysis and BERT algorithms in the Korean requirement document and constructed them as ontologies. A chatbot system with ontology data is constructed to derive a final system event list through Q&A with users. The chatbot system generates the derived system event list as a requirement diagram and a requirement specification and provides it to the user. Through the above system, diagrams and specifications with a level of coverage complied with Korean requirement documents were created.

• Journal of Satellite, Information and Communications
• /
• v.8 no.2
• /
• pp.74-79
• /
• 2013

For the purpose of drawing out a requirements (draft) for the development of low Earth orbit meteorological satellite payload, the present development situation of the foreign low Earth orbit meteorological satellite payload was analyzed, and survey and analysis on the questionnaire of the low Earth orbit meteorological satellite payload users' requirements were carried out. Through this research, some key required performance specifications (draft) were made on the basis of technological requirements such as frequency, radiation measurement, spacial, and antenna efficiency requirements, and the low Earth orbit meteorological satellite payload users' requirements.

• Nuclear Engineering and Technology
• /
• v.32 no.6
• /
• pp.537-548
• /
• 2000

The requirement of ultra high reliability of the safety critical software can not be demonstrated by testing alone. The specification based on formal method is recommended for safety system software. But there exist various kinds of formal methods, and this variety of formal method is recognized as an obstacle to the wide use of formal method. In this paper six different formal method have been applied to the same part of the functional requirements that is calculation algorithm intensive. The specification results were compared against the criteria that is derived from the characteristics that good software requirements specifications should have and regulatory body recommends to have. The application experience shows that the critical characteristics should be defined first, then appropriate method has to be selected. In our case, the Software Cost Reduction method was recommended for internal condition or calculation algorithm checking, and statechart method is recommended for the external behavioral description.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.34 no.3
• /
• pp.79-89
• /
• 2011

Since commercial operation of Kori-1 nuclear power plant in 1978, twenty units are under operation and six units are under construction at 2011 present. Nuclear power become a main energy source in our country. However, the plant was constructed by a USA vendor in its beginning period, the Quality Assurance requirements of USA was applied. Even though Quality Assurance requirements were newly established to the Korea Atomic Energy Act, its contents are quite similar to those of USA. And 10 CFR 50 App.B, ASME NQA-1 apply to most of nuclear industries as a quality assurance plan. In this paper, Quality Assurance requirement of domestic nuclear industries has been investigated and applicable method of ISO Quality Assurance application to the nuclear industries is suggested by a comparison ISO 9000 and nuclear quality assurance specification.

• Proceedings of the KOR-KST Conference
• /
• 1998.09a
• /
• pp.65-70
• /
• 1998

Economic evaluation methodologies for railway investments of China and Korea are comparatively analyzed. Chinese procedures specified in the new economic evaluation manual of 1997 were compared with those of Korea based on the economic evaluation manual of 1982. As expected those procedures reflect general economic requirements of the respective countries. Several differences in the specification are also noted. Details of the specification of Chinese procedure far exceed Korean specification, while Korean manual is rich of explanation on the fundamental theory. Differences in the procedure of calculating benefits of investments are most conspicuous, and specific requirements of carrying out a optimum opening year analysis in Korean procedure is notable. Despite of these differences in the procedure, two methodologies share same objective of ensuring selection of economically and financially sound railway projects. Both procedures of China and Korea, however, limit their evaluation scope on railways alone. Therefore, they are needed to expand scope of evaluation to encompass the idea of multi-modal or inter-modal evaluation, which will eventually contribute to build truly efficient national comprehensive transportation system.

• Journal of Internet Computing and Services
• /
• v.13 no.1
• /
• pp.99-106
• /
• 2012

It is an important and a difficult task to analyze external inputs and interactions between objects for designing and modeling a reactive system consisting of multiple object. Also the reactive system is required huge efforts on confirm it can satisfy requirements under all possible circumstances. In this paper, we build from requirements to a scenario-based specification model using LSC(Live Sequence Chart) extending MSC(Message Sequence Chart) with richer syntax and semantic. Then the reactive system model satisfying all requirements for each object in this system can be automatically created through LTL Synthesis. Finally, we propose a method of reactive system development by iterative process transforming a reactive system model to codes.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.14 no.3
• /
• pp.85-100
• /
• 2004

All information system is information security system that enforced security function. To improve qualify of information security system, suity requirement analysis and specification must be Performed by consistently and typically at early requirement analysis step. In this paper, we propose a security requirements analysis and specification model and process by using Misuse Case Model that extends UML's Use Case Model. And, we propose a cost-effective security product selection algorithm that security product is sufficient of all constructed security functional requirements. It may raise quality of information security system that developed through proposed model and process.