• 한국IT서비스학회지
• /
• 제14권2호
• /
• pp.15-31
• /
• 2015

Software piracy is widespread throughout the world. It has negative effects on the software industry and the intellectual property market. Despite various deterrent policies, the phenomenon has been getting severe. The current study investigated the antecedents of software piracy attitudes and intention. In order to identify factors and their relationship, a research model for illegal piracy behavior was developed and empirically examined through a path analysis using structural equation model. Also, this study employed a multiple group structural equation model to investigate differences in structural weights across PC software user group and smartphone application user group. It was revealed that perceived benefit, habit, social factor, self-efficacy had positive effect on attitude toward software piracy, whereas perceived risk had a decreasing influence on attitude. Relationships between piracy attitudes and intentions were significant as well. Furthermore, the cross validation between two groups showed the path coefficients of habit to attitude and attitude to intention were significantly different. Implications for research and practice are discussed.

• 전기학회논문지P
• /
• 제65권4호
• /
• pp.242-249
• /
• 2016

The railway system is being converted to the computer system from the existing mechanical device, and the dependency on software is being increased rapidly. Though the size and degree of complexity of software for railway system are slower than the development speed of hardware, it is expected that the size will be grown bigger gradually and the degree of complexity will be increased also. Accordingly, the validation of reliability and safety of embedded software for railway system was started to become influential as the important issue. Accordingly, various software test and validation activities are highly recommended in the international standards related railway software. In this paper, we presented a software coding analysis tool using symbolic execution for railway system, and presented its result of implementation.

• 전기전자학회논문지
• /
• 제19권3호
• /
• pp.431-439
• /
• 2015

최근 무기체계에서 소프트웨어가 담당하는 기능이 많아지고, 복잡해지면서 소프트웨어의 품질의 중요성에 대해서 대두가 되고 있다. 소프트웨어의 품질요소는 기능성, 사용성, 유지보수성, 신뢰성이 있으며, 이중 최근 들어 중요시되는 항목이 신뢰성 분야이다. 신뢰성 시험은 분석을 통한 정적 시험과 수행을 통한 동적 시험방법이 있으며, 실수행을 통해 검증하는 동적시험은 정적시험에 비해 많은 기간이 필요하며 복잡성이 높아질 경우 더욱 증가되는 경향을 보인다. 본 논문에서는 다기능 레이더 소프트웨어 개발시 수행한 신뢰성시험 절차 및 결과를 기술하고 이를 통해 효과적으로 시험기간을 줄일 수 있는 신뢰성시험 방법을 제안한다.

• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 2007년도 Proceedings of ISRS 2007
• /
• pp.175-178
• /
• 2007

COMS (Communication Ocean Meteorological Satellite) is the geostationary satellite being developed by Korea Aerospace Research Institute for multi-mission: experimental communication, ocean monitoring and meteorological observations. The COMS operation is controlled by the on-board software running on the spacecraft central computer. The software is written in ADA language and developed under the software life cycle: Requirement analysis, Design, Implementation, Component test and Integration test. Most functional requirements are tested at component level on a software component testing tool, ATTOL. ATTOL provides a simple way to define the test cases and automates the test program generation, test execution and test analysis. When two or more verified components are put together, the integration test starts to check the non-functional requirements: real-time aspect, performance, the HW/SW compatibility and etc. This paper introduces the COMS on-board software and explains what to test and how to test the on-board software at component level using ATTOL.

• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 2007년도 Proceedings of ISRS 2007
• /
• pp.460-463
• /
• 2007

COMS (Communication Ocean Meteorological Satellite) is the geostationary satellite being developed by Korea Aerospace Research Institute for multi-mission: experimental communication, ocean monitoring and meteorological observations. The COMS operation is controlled by the on-board software running on the spacecraft central computer. The software is written in ADA language and developed under the software life cycle: Requirement analysis, Design, Implementation, Component test and Integration test. Most functional requirements are tested at component level on a software component testing tool, ATTOL. ATTOL provides a simple way to define the test cases and automates the test program generation, test execution and test analysis. When two or more verified components are put together, the integration test starts to check the non-functional requirements: real-time aspect, performance, the HW/SW compatibility and etc. This paper introduces the COMS on-board software and explains what to test and how to test the on-board software at component level using ATTOL.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2008년도 춘계학술대회 논문집
• /
• pp.952-963
• /
• 2008

The collection of KTX trainset fault code is made by DEP software. We can improve software function and update data after understanding DEP software function and software structure. For the improvement of trainset function and its performance, the same improvement of performance and structure change as DEP software, which collects and analyzes train's fault information, are required. Accordingly, we made a research for functional strucfure of KTX fault code collection software, STR3F, variable declaration through Script.rxr file and code analysis method and proceeded research for realizing more improved user environment of DEL software and fault analysis method.

• Nuclear Engineering and Technology
• /
• 제38권3호
• /
• pp.259-276
• /
• 2006

As the use of digital systems becomes more prevalent, adequate techniques for software specification and analysis have become increasingly important in nuclear power plant (NPP) safety-critical systems. Additionally, the importance of software verification and validation (V&V) based on adequate specification has received greater emphasis in view of improving software quality. For thorough V&V of safety-critical systems, V&V should be performed throughout the software lifecycle. However, systematic V&V is difficult as it involves many manual-oriented tasks. Tool support is needed in order to more conveniently perform software V&V. In response, we developed four kinds of computer aided software engineering (CASE) tools to support system specification for a formal-based analysis according to the software lifecycle. In this work, we achieved optimized integration of each tool. The toolset, NuSEE, is an integrated environment for software specification and V&V for PLC based safety-critical systems. In accordance with the software lifecycle, NuSEE consists of NuSISRT for the concept phase, NuSRS for the requirements phase, NuSDS for the design phase and NuSCM for configuration management. It is believed that after further development our integrated environment will be a unique and promising software specification and analysis toolset that will support the entire software lifecycle for the development of PLC based NPP safety-critical systems.

• 융합정보논문지
• /
• 제9권7호
• /
• pp.33-40
• /
• 2019

최근 항공 관련 산업이 활성화됨에 따라 복합재 해석 소프트웨어의 범용화가 요구되고 있다. 지금까지는 복합재 해석에 상용 소프트웨어를 주로 사용해 왔으나 고가의 가격과 제한적인 기능으로 인해 사용에 어려움을 겪어왔다. 이런 문제를 해결하기 위해 해석 절차를 모두 온라인화하고 범용화한 면내 및 코너 부외 파손 자동 해석 소프트웨어가 최근에 개발되었다. 그러나 이들은 다중의 파손 기준으로 동시에 해석할 수 없는 단점이 있었다. 본 논문에서는 CUDA 코어를 장착한 GPU에서만 동작하는 병렬 처리 플랫폼을 이용하여 다중의 파손 기준에 대한 해석을 동시에 처리하면서 처리 속도를 획기적으로 향상시키는 방법을 제안한다. 방대한 구조물 데이터에 대해서 해석 처리 속도를 실험하였을 때 만족할 만한 결과를 얻었다.

• 한국신재생에너지학회:학술대회논문집
• /
• 한국신재생에너지학회 2006년도 추계학술대회
• /
• pp.269-272
• /
• 2006

Load analysis software enables to design wind turbines effectively and exactly. In this paper, Bladed software developed by Garrad Hassan and Partners is used for load analysis. When using Bladed software, many time is requested to input data which is called by pre-processing. So in this paper, pre-processing Is automated by in-house software(BX) With this BX software, we can reduce the total time for pre-processing about 90%.

• 산업공학
• /
• 제25권4호
• /
• pp.416-421
• /
• 2012

One of the activities to improve software quality in ISO 26262 is to apply the design principles for software unit design and implementation mentioned in ISO 26262-6, including the evaluation activity. Before evaluation activity, the tool is compared and selected for evaluation. Because the results of the tool a company selected might have an effect on product quality. In this paper, we suggest the method to compare industrial static analysis tools with some of "MISRA C : 2004 Exemplar Suite" and all lessons learned from comparing tools are described. The result on comparison shows that we just couldn't rely on a result of Static Analysis Tool and need to have another appropriate processes and guidelines to evaluate a software.