• 한국경영정보학회:학술대회논문집
• /
• 2007.11a
• /
• pp.487-492
• /
• 2007

This research focuses on the development and empirical validation of a model of software piracy behavior on the basis of deterrence theory, expected utility theory and the theory of reasoned action. The total of sample numbered 86 and PLS (Partial Least Square) was utilized for analysis. The test of this study revealed that punishment severity was the greatest significant factor to influence to software piracy and subjective norms was also significantly related to it. However punishment certainty and software cost do not significantly affect to software piracy.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.48 no.8
• /
• pp.631-640
• /
• 2020

Currently, aircraft simulator has drawn a great attention because it has significant advantages of economic, temporal, and spatial costs compared with pilot training with real aircraft. Among the components of the aircraft simulator, flight dynamic model plays a key role in simulating the flight of an actual aircraft. Hence, it is important to verify the fidelity of flight dynamic model with an automated tool. In this paper, we develop a software to automatically verify the fidelity of the flight mechanics model for the efficient development of the aircraft simulator. After designing the software structure and GUI based on the requirements derived from the fidelity verification process, the software is implemented with C # language in Window-based environment. Experimental results on CTSW models show that the developed software is effective in terms of function, performance and user convenience.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2004.05a
• /
• pp.142-147
• /
• 2004

It is very difficult to acquire high-fidelity flight test data for small airplanes such as typical unmanned aerial vehicles because MEMS-type small sensors used in the tests do not present reliable data in general. Besides, it is not practical to conduct expensive flight tests for low-cost small airplanes in order to simulate their flight characteristics. A practical approach to obtain acceptable flight data, including stability and control derivatives and data of weight and balance, is proposed in this study. Aircraft design software such as Darcorp's AAA is used to generate aerodynamic data for small airplanes, and moments of inertia are calculated using CATIA, structural design software. These flight data from simulation software are evaluated subjectively and tailored using simulation flight by experienced pilots, based on the certified procedures in FAA AC 120-45A and 40B, which are used for manned airplane simulators.

• The KIPS Transactions:PartD
• /
• v.8D no.6
• /
• pp.691-698
• /
• 2001

Component-based development methods are regarded as one of the most important tools for us to cope with ever-increasing software complexity and, at the same time, to improve productivity in software development. This paper presents how to generate test-cases for integrated software from those of member components and how to validate composition of components, by the analysis of domain relations of components. This paper shows the applicability of the proposed technique by the real experiment. This study is based on the dataflow systems architecture and process components, and the technique developed here is an application of domain testing technique.

• International Journal of Railway
• /
• v.2 no.3
• /
• pp.99-106
• /
• 2009

Checks and tests before putting safety facilities into service as well as the results of these tests are essential, time consuming and may show great variations between each other. Economic constraints and the increasing complexity associated with the development of computerized tools tend to limit the capacity of the classic approval process (manual or automatic). A reduction of the validation cover rate could result in practice. This is not compatible with the French national plan to renew the interlocking systems of the national network. The method and the tool presented in this paper makes it possible to formally validate new computerized systems or evolutions of existing French interlocking systems with real-time functional interpreted Petri nets. The aim of our project is to provide SNCF with a method for the formal validation of French interlocking systems. A formal proof method by assertion, which is applicable to industrial automation equipment such as interlocking systems, and which covers equally the specification and its real software implementation, is presented in this paper. With the proposed method we completely verify that the system follows all safety properties at all times and does not show superfluous conditions: it replaces all the indoor checks (not the outdoor checks). The advantages expected are a significant reduction of testing time and of the related costs, an increase of the test coverage rate, an answer to the new demand of railway infrastructure maintenance engineering to modify and validate computerized interlocking systems. Formal methods mastery by infrastructure engineers are surely a key to prove that more safety is not necessarily more expensive.

• Advances in nano research
• /
• v.12 no.2
• /
• pp.197-212
• /
• 2022

The purpose of this study is to develop an automatic software system for bone age evaluation and to evaluate its accuracy in testing and feasibility in clinical practice. 20394 left-hand radiographs of healthy children (2-18 years old) were collected from China Skeletal Development Survey data of 1998 and China Skeletal Development Survey data of 2005. Three experienced radiologists and China-05 standard maker jointly evaluate the stages of bone development and the reference bone age was determined by consensus. 1020 from 20394 radiographs were picked randomly as test set and the remaining 19374 radiographs as training set and validation set. Accuracy of the automatic software system for bone age assessment is evaluated in test set and two clinical test sets. Compared with the reference standard, the automatic software system based on RUS-CHN for bone age assessment has a 0.04 years old mean difference, ±0.40 years old in 95% confidence interval by single reading, a 85.6% percentage agreement of ratings, a 93.7% bone age accuracy rate, 0.17 years old of MAD, 0.29 years old of RMS; Compared with the reference standard, the automatic software system based on TW3-C RUS has a 0.04 years old mean difference, a ±0.38 years old in 95% confidence interval by single reading, a 90.9% percentage agreement of ratings, a 93.2% bone age accuracy rate, a 0.16 years of MAD, and a 0.28 years of RMS. Automatic software system, AI-China-05 showed reliably accuracy in bone age estimation and steady determination in different clinical test sets.

• Journal of Platform Technology
• /
• v.8 no.4
• /
• pp.47-58
• /
• 2020

DO-330 Software Tool Qualification Considerations is a guideline for development of tools used to develop/verify software and hardware installed on aircraft. And among several processes, the verification process is very crucial as it occupies a large proportion for DO-330. Especially, in order to qualify tool with high safety level, test objectives must be performed with independence, accordingly, more time, cost, and manpower are required than other objectives. In addition, even if the test cases or test procedures are well defined, the higher the complexity of the test the higher probability of human error occurs. In this paper, we propose Script-based Test Automation Agent software structure for efficient DO-330 verification process of A661UAGEN tool developed by Hanwha Systems. Compared to the test performed manually by the test engineer, testing time of the Script-based Test Automation Agent is reduced by 87.5% and testing productivity is increased by 43.75%.

• International Journal of Automotive Technology
• /
• v.7 no.7
• /
• pp.841-846
• /
• 2006

This paper presents a numerical approach to optimizing vehicle fuel economy in a higway bus. The method described is based on using a commercial software vehicle simulation to identify the relative efficiency of each of the vehicle systems, such as the engine hardware, engine software calibration, transmission, cooling system and ancillary drives. The simulation-based approach offers a detailed understanding of which vehicle systems are underperforming and by how much the vehicle fuel economy can be improved if those systems are brought up to best-in-class performance. In this way, the optimum vehicle fuel economy can be provided to the vehicle customer. A further benefit is that the simulation requires only a minimum number of vehicle testing for initial validation, with all subsequent field test cycles performed in software, thereby reducing development time and cost for the manufacturer.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2004.10a
• /
• pp.1357-1360
• /
• 2004

In this paper, a prototype of agent-based engineering system is developed based on the AADE (autonomous agent development environment), a FIPA compliant agent platform. By applying several advanced technologies including software agents, Internet/Web, workflow and database, the developed prototype system is able to successfully fulfill our target of integrating personnel, design activities and engineering resources along a predefined engineering design project (workflow). A software prototype is implemented to integrate various engineering software tools including CAD, structural analysis (FEA), dynamic analysis, fatigue analysis. A wheel-axle-assembly (part of a bogie system) is chosen as a test case for the validation of the prototype system.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.14 no.5
• /
• pp.181-185
• /
• 2006

A study to get better vehicle fuel economy is described based on an express bus. The approach is based on using a commercial software vehicle simulation to identify the relative efficiency of each of the vehicle systems, such as the engine hardware, engine software calibration, transmission, cooling system and ancillary drives. The simulation-based approach offers a detailed understanding of which vehicle systems are underperforming and by how much the vehicle fuel economy can be improved if those systems are brought up to best-in-class performance. In this way, the optimum vehicle fuel economy can be provided to the vehicle customer. A further benefit is that the simulation requires only a minimum of vehicle testing for initial validation, with all subsequent field test cycles performed in software, thereby reducing development time and cost for the manufacturer.