• 한국컴퓨터정보학회논문지
• /
• 제20권8호
• /
• pp.69-75
• /
• 2015

Nowadays, software plays various roles in applications in wide areas. However, the security problems caused by software vulnerabilities increase. So, it is necessary to improve software security and safety in software execution. In this paper, we propose an approach to improve the safety of software execution by managing information used in software through static data access analysis. The approach can detect the exposures of secure data in software execution by analyzing information property and flows through static data access analysis. In this paper, we implemented and experimented the proposed approach with a base language, and verify that the proposed approach can effectively detect the exposures of secure information. The proposed approach can be applied in several areas for improving software safety by analysing vulnerabilities from information flows in software execution.

• Nuclear Engineering and Technology
• /
• 제40권5호
• /
• pp.397-408
• /
• 2008

This paper describes the application of a software fault tree analysis (FTA) as one of the analysis techniques for a software safety analysis (SSA) at the design phase and its analysis results for the safety-critical software of a digital reactor protection system, which is called the KNICS RPS, being developed in the KNICS (Korea Nuclear Instrumentation & Control Systems) project. The software modules in the design description were represented by function blocks (FBs), and the software FTA was performed based on the well-defined fault tree templates for the FBs. The SSA, which is part of the verification and validation (V&V) activities, was activated at each phase of the software lifecycle for the KNICS RPS. At the design phase, the software HAZOP (Hazard and Operability) and the software FTA were employed in the SSA in such a way that the software HAZOP was performed first and then the software FTA was applied. The software FTA was applied to some critical modules selected from the software HAZOP analysis.

• 전기전자학회논문지
• /
• 제16권2호
• /
• pp.145-152
• /
• 2012

This paper is the Software Hazard Analysis (SWHA) which will study the managerial process and the technical methode and techniques inherent in the performance of software safety task within the Military Aircraft System Safety program. This SWHA identifies potential hazardous effects on the software intensive systems and provides a comprehensive and qualitative assessment of the software safety. The purpose of this paper is to identify safety critical functions of software in Military A/C. The identified software hazards associated with the design or function will be evaluated for risks and operational constraint to further improve the software design requirement, analysis and testing efforts for safety critical software. This common SWHA, the first time analysis in KOREA, was review all avionics OFP(Operational Flight Program), and focus only on software segments which are safety critical. This paper provides a important understanding between the customer and developer as to how the software safety for the Military A/C will be accomplished. It will also provide the current best solution which may as one consider the necessary step in establishing a credible and cost-effective software safety program.

• 한국전자거래학회지
• /
• 제7권2호
• /
• pp.173-190
• /
• 2002

Over the past decade, numerous software managers and engineers have been concerned with measuring the size and complexity of software systems. Function point analysis technique is one of the most popular software sizing techniques. A reasonable software development plan through cost and time estimation should be a prerequisite for the successful project at the beginning stage of the project. It is generally known that software size measurement is useful for this kind of estimation and the function point analysis technique would be more effective than the others. However, it is difficult to apply the technique to object-oriented methodology widely used in the software industry. Thus, the purpose of this study is to present a case study on how to apply function point analysis technique to sizing of the software systems based on UML. The results of this study can be useful to managers and engineers.

• Nuclear Engineering and Technology
• /
• 제48권2호
• /
• pp.404-418
• /
• 2016

This paper presents a documentation and development method to facilitate the certification of scientific computing software used in the safety analysis of nuclear facilities. To study the problems faced during quality assurance and certification activities, a case study was performed on legacy software used for thermal analysis of a fuelpin in a nuclear reactor. Although no errors were uncovered in the code, 27 issues of incompleteness and inconsistency were found with the documentation. This work proposes that software documentation follow a rational process, which includes a software requirements specification following a template that is reusable, maintainable, and understandable. To develop the design and implementation, this paper suggests literate programming as an alternative to traditional structured programming. Literate programming allows for documenting of numerical algorithms and code together in what is termed the literate programmer's manual. This manual is developed with explicit traceability to the software requirements specification. The traceability between the theory, numerical algorithms, and implementation facilitates achieving completeness and consistency, as well as simplifies the process of verification and the associated certification.

• 한국컴퓨터정보학회논문지
• /
• 제23권12호
• /
• pp.123-129
• /
• 2018

The purpose of this paper is to draw a conclusion on the impact of intermediate software on enterprise results. In this paper, product innovation and product reliability are especially used as analytical factors. An exploratory analytical study is conducted on the competitiveness of intermediate software, in the hope of gaining a new understanding of the competitiveness of intermediate software. Data are analyzed using such quantitative analytical tools as SPSS and AMOS. Using reliability analysis, validity analysis and structural equation model analysis, the final results are achieved. According to the analysis results, we can draw the following conclusions: the competitiveness of intermediate software has a positive impact on the innovation of software products. The competitiveness of intermediate software doesn't have a positive impact on the reliability of software products. Product innovation has a positive impact on enterprise results. Product reliability also has a positive impact on enterprise results. By analyzing the conclusions, we can make certain suggestions and draw implications on the competitiveness of China's software industry.

• 융합정보논문지
• /
• 제8권3호
• /
• pp.107-114
• /
• 2018

최근 항공 산업이 활성화됨에 따라 복합재 관련 해석 소프트웨어의 개발이 요구되고 있다. 복합재 해석은 전문적인 구조 해석 및 시험 평가가 필요하다. 따라서 복합재 구조 해석을 위해서는 기존의 상용 소프트웨어를 사용할 수밖에 없으나 기존의 상용 소프트웨어들은 제한적인 기능만을 제공하고 있다. 특히 항공기 복합재 스파 구조물의 코너 부 구조 해석에 특화된 소프트웨어는 전무하기 때문에 구조 해석에 많은 인적 자원과 시간이 소비되고 있다. 이를 해소하기 위해서 기존의 코너 부 구조 해석 절차를 반영하고 복수의 파손 기준을 제공하는 사용자 친화적인 GUI 기반의 자동화 소프트웨어를 개발하였다. 개발한 소프트웨어의 구조 해석 결과에 대한 신뢰성을 검증하기 위해 기존의 구조 해석 결과와 비교한 결과, 구조 해석 성능에 문제가 없음을 확인하였다.

• 한국정보시스템학회지:정보시스템연구
• /
• 제26권4호
• /
• pp.227-246
• /
• 2017

Purpose: As the importance of software has been emphasized recently, the size of the software market is continuously expanding. The development of the software market is being adversely affected by software piracy. In this study, we try to classify countries around the world based on the macro environmental factors, which influence software piracy. We also try to identify the differences in software piracy for each classified type. Design/methodology/approach: The data-driven approach is used in this study. From the BSA, the World Bank, and the OECD, we collect data from 1990 to 2015 for 127 environmental variables of 225 countries. Cronbach's ${\alpha}$ analysis, item-to-total correlation analysis, and exploratory factor analysis derive 15 constructs from the data. We apply two-step approach to cluster analysis. The number of clusters is determined to be 5 by hierarchical cluster analysis at the first step, and the countries are classified by the K-means clustering at the second step. We conduct ANOVA and MANOVA in order to verify the differences of the environmental factors and software piracy among derived clusters. Findings: The five clusters are identified as underdeveloped countries, developing countries, developed countries, world powers, and developing country with large market. There are statistically significant differences in the environmental factors among the clusters. In addition, there are statistically significant differences in software piracy rate, pirated value, and legal software sales among the clusters.

• 품질경영학회지
• /
• 제28권1호
• /
• pp.175-195
• /
• 2000

In this study, we developed a statistical software for measurement systems analysis. This software is patterned after the Measurement Systems Analysis Reference Manual developed by the Automotive Industry Action Group (AIAG). This software includes stability analysis, bias and linearity analysis, and gage R&R studies. This software was developed by using Delphi(version 4.0) and can be implemented on MS Windows 95 or higher level.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제37권4호
• /
• pp.252-263
• /
• 2010

임베디드 시스템의 개발에서 저전력을 소모하는 소프트웨어 개발에 대한 요구가 증대하고 있다. 따라서 임베디드 소프트웨어 개발 과정에서 소모 전력에 대한 정량적인 예측을 가능하도록 하는 연구가 늘어나고 있는 추세이다. 기존의 소모 전력 분석은 소스 코드를 중심으로 이루어져왔으나 분석을 위한 노력 및 시간이 많이 요구된다는 단점으로 인하여, 소프트웨어 모델 기반의 소모 전력 분석 기법에 관심을 두는 추세이다. 본 논문은 UML 모델 기반의 임베디드 소프트웨어 모델링 과정에서 설계 모델을 이용한 소모 전력 분석에 주안점을 두었으며, 이를 위하여 OMG가 개발한 MARTE 프로파일을 확장하였다. 이러한 확장은 별도의 분석용 모델을 개발하지 않고, UML 다이어그램을 이용한 소모 전력 분석이 가능하도록 한다.