• Proceedings of the Korea Contents Association Conference
• /
• 2007.11a
• /
• pp.490-494
• /
• 2007

The chemical process plant information is used and updated during design, construction, operation, and maintenance of plant. This special type of information should be utilized as the DW(datawarehouse) which conforms to the standard format. The DW should be design in consideration of connectivity to application softwares. The application softwares are different from each other in the context of their objects such as design, management, decision-making, and so on. In this paper, some considerable facts in dealing with chemical process plant information on the framework of developing application software including datawarehousing, model building, interfacing. As a case study, the development of decision-making support system for environmental policy is illustrated for the related discussion.

• Proceedings of the KSR Conference
• /
• 2010.06a
• /
• pp.1669-1679
• /
• 2010

Related to the on-going "Train Control System Project of Pilot Line Construction for Urban MAGLEV Train", activities by each phase shall be conducted to achieve SIL4 level and obtain safety certification from the Independent Safety Assessment(ISA), based on the IEC standards((IEC 62278/62279 and IEC 62425) for the first time in Korea. This thesis describes the introduction of IEC standards, system assurance activities (such as plan, analysis, test, verification and validation) in compliance with requirements management and project life-cycle and relations with the safety assessment activities; and certification activities (such as document reviews and audits) through system RAMS activities, software quality assurance activities and safety assessment, for the purpose of achieving a successful safety certification at the time of completing the project as system assurance activities including software and safety certification activities in order to acquire the safety certification for train control system which does not exist at all in domestic cases. It is believed that overall system safety assurance activities in this project will contribute to develop more upgraded products of the domestic train control system on the quality and safety point of view, find overseas markets and establish a bridgehead in the future.

• The Journal of Information Systems
• /
• v.12 no.1
• /
• pp.87-116
• /
• 2003

One of the important applications for business-to-business electronic commerce is in procurement and inventory management using electronic data interchange(EDI). Using online catalogs and approved supplier lists, firms can easily create requisitions and purchasing documents. The emerging trend in EDI technology is changed from VAN(Value Added Network) based EDI to XML based EDI. This paper intends to suggest a component-based XML/EDI system using Unified Modeling Language(UML), as an application system for automobile part industry. Applying component based XML/EDI systems designed with UML methodology, we analyzed the workflow and the document on procurement process between trading partners and implemented a prototype of efficient XML/EDI system, as a surrogate of existing VAN/EDI. The result of applying object-oriented CBD(Component Based Development) technique is to minimize the risk of life cycle and facilitate the reuse of software as mentioned to limitation of information engineering methodology. It enables the interoperability with corporate legacy systems such as ERP(Enterprise Resource Planning), SCM(Supply Chain Management). This system proposes a solution to apply analysis phase and design phase in implementation of XML/EDI system. The implementation of XML/EDI system using CBD shows the ease of use in software reuse and the interoperability with corporate internal information system. The purchasing department with XML/EDI system can electronically communicate purchase orders, delivery schedules to external suppliers and interoperate with other application systems.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.04a
• /
• pp.791-796
• /
• 2000

컴포넌트를 기반으로 애플리케이션을 구축하는 패러다임이 제시되면서 특히, 비즈니스 영역에 대한 개발과 기반 연구가 활발히 진행되고 있다. 최근 소프트웨어가 사용되는 영역이 복잡하고 대형화됨에 따라서, 문제영역의 분석을 통한 요구사항을 추출하는 일련의 작업이 점점 어렵게 인식되고, 컴포넌트를 개발하기 위한 모델기반의 방법론은 외부로 나타나는 인터페이스와 실제 구현되는 내부를 분리해서 설계하는 추세를 보이고 있다. 또한, 요구사항 단계에서의 문제점이 전체적인 소프트웨어 개발에 커다란 영향을 미치는 문제점들을 해결하기 위하여 좀더 체계적이고 총괄적인 접근으로 요구공학의 중요성이 강조되고 있다. 본 논문에서는 비즈니스 컴포넌트 개발을 지원하기 위해 문제 영역에서 올바른 요구사항을 체계화하고 분석할 뿐만아니라, 컴포넌트의 내부와 외부 설계, 개발을 고려한 도메인과 서비스 두 가지 관점을 포함한 요구공학 라이프사이클 정의하고자 한다. 또한, 도메인과 서비스 관점을 추출하기위해서 간략한 스펙을 제시하며 사례를 통해, 사용자가 원하는 실세계의 비즈니스 개념을 올바르게 적용하고, 분석, 설계, 개발단계에 유용한 정보로 사용되도록 한다.

• Journal of the Korean Society of Manufacturing Process Engineers
• /
• v.20 no.10
• /
• pp.102-111
• /
• 2021

Maintainability is a major design parameter that includes availability as well as reliability in a RAM (reliability, availability, maintainability) analysis, and is an index that must be considered when developing a system. There is a lack of awareness of the importance of predicting and analyzing maintainability; therefore, it is dependent on past-experience data. To improve the utilization rate, maintainability must be managed as a key indicator to meet the user's requirements for failure maintenance time and to reduce life-cycle costs. To improve the maintainability-prediction accuracy in the detailed design stage, we present a maintainability-prediction method that applies Method B of the Military Standardization Handbook (MIL-HDBK-472) Procedure V, as well as a Korean maintainability-prediction software package that reflects the system complexity.

• International Journal of Computer Science & Network Security
• /
• v.21 no.7
• /
• pp.191-204
• /
• 2021

The software development life cycle (SDLC) is a procedure used to develop a software system that meets both the customer's needs and real-world requirements. The first phase of the SDLC involves creating a conceptual model that represents the involved domain in reality. In requirements engineering, building such a model is considered a bridge to the design and construction phases. However, this type of model can also serve as a basic model for identifying business processes and how these processes are interconnected to achieve the final result. This paper focuses on process modeling in organizations, per se, beyond its application in the SDLC when an organization needs further documentation to meet its growth needs and address regular changes over time. The resultant process documentation is created alongside the daily operations of the business process. The model provides visualization and documentation of processes to assist in defining work patterns, avoiding redundancy, or even designing new processes. In this paper, a proposed diagrammatic representation models each process using one diagram comprising five actions and two types of relations to build three levels of depiction. These levels consist of a static description, events, and the behavior of the modeled process. The viability of a thinging machine is demonstrated by re-modeling some examples from the literature.

• The Transactions of the Korea Information Processing Society
• /
• v.2 no.4
• /
• pp.509-523
• /
• 1995

With the diversified and enlarged softwares, the issue of software maintenance became more complex and difficult consequently, the cost of software maintenance took up the highest portion in the software life cycle. At the same time, in order to develop or use software for general computers the development environment will be changed to incorporate user-friendly 4GL (Fourth generation Language). Therefore, it is required to take a closer look at the languages such as COBOL, C, FORTRAN, PASCAL which have source code comprised of 4GL and investigate the method of analysis and reuse for program understanding since a lot of research has been done with these languages in program maintenance. The purpose of this paper is to propose reverse engineering tool in 4GL and find an effective way of understanding and maintaining the program by transforming source code comprised of 4GL to meta language and designing and implementing Document Generator, Report Generator, Module Generator, Code Translator for program understanding.

• Journal of Internet Computing and Services
• /
• v.14 no.1
• /
• pp.23-30
• /
• 2013

Test effort estimated so far is as a by-product of the development effort estimation activity which is based on the FP, UCP, COCOMO model, or calculated data from the project knowledge base which is containing test effort information for the test phase on software development life cycle. In this paper, test effort estimation model and calculating procedures are suggested, which is independent from software development effort estimation model. Generally test efforts is depends on the number and the complexity of test cases, and also maturity of test organization that performs test activities, such as integration test, system test, acceptance test and so on. The estimated results with the suggested test effort estimation model has deviation of 4.7% compare to the corresponding test efforts generated by the development effort estimationprocedures. The suggesting model will be accurate more and more with refinements of coefficients which reflect the technical and environmental maturity level of test organization, and also including the software complexity level of projects.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.24 no.1
• /
• pp.171-182
• /
• 2014

Common Criteria is a scheme that minimize IT products's vulnerabilities in accordance with the evaluation assurance level. SSDLC(Secure Software Development Lifecycle) is a methodology that reduce the weakness that can be used to generate vulnerabilities of software development life cycle. However, Common Criteria does not consider certificated IT products's vulnerabilities after certificated it. So, it can make a problem the safety and reliability of IT products. In addition, the developer and the evaluator have the burden of duplicating evaluations of IT products that introduce into the government business due to satisfy both Common Criteria and SSDLC. Thus, we researched the relationship among the Common Criteria, the static code analysis tools, and the SSDLC. And then, we proposed how to combine SSDLC into Common Criteria.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.28 no.3
• /
• pp.605-615
• /
• 2018

Due to the rapid growth of the Internet of Things market, the use of the C/C++ language, which is the most widely used language in embedded systems, is also increasing. To improve the quality of code in the C/C++ language and reduce development costs, it is better to use static analysis, a software verification technique that can be performed in the first half of the software development life cycle. Many programs use static analysis to verify software safety and many static analysis tools are being used and studied. In this paper, we use Clang static analysis tool to check security weakness detection performance of verified test code. In addition, we compared the static analysis results of the test codes applied with the source obfuscation techniques, layout obfuscation, data obfuscation, and control flow obfuscation techniques, and the static analysis results of the original test codes, Analyze the detection ability impact of the Clang static analysis tool.