• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.11a
• /
• pp.1342-1345
• /
• 2011

A valid scenario generation is essential for model checking software. This paper suggests an automated scenario generation technique through the analysis of function called-by graphs and call graphs of the program source code. We provide the verification process including the scenario generation and show application results on the Trampoline operating system using CBMC as a back-end model checker.

• Journal of Information Technology Applications and Management
• /
• v.12 no.4
• /
• pp.133-155
• /
• 2005

This Paper makes an attempt to suggest a process of automatically generating application software based on the Entity-Relationship model 1. The designer develops an E-R model of an real-world system. 2. The designer inputs the entity and relationship types, and attributes shown in the E-R model, and also the basic operations of the application system to the software generator. 3. The application generator produces database schema and link information between application programs, and then automatically generates a stereo-type application system. In order for the automated application generator to build the application system in a systematic way, four basic program generation rules have been suggested. A set of computer programs have been developed in order to show the applicability of the automated software generation process suggested in this paper. By following each rule with the generator, the designer can build an application in an efficient manner compared with traditional (manual programming) approaches. It has been demonstrated from the case study that the idea of applying an automated generator in systems development based upon the E-R model is feasible.

• International Journal of CAD/CAM
• /
• v.6 no.1
• /
• pp.199-211
• /
• 2006

Practical automated flat pattern generation with inbuilt production features for doubly curved sheet metal components (SMCs) is addressed here utilizing a new and unique Point Transformation Algorithm (PTA). This is the third in the series of papers on practical Flat Pattern Development (FPD) [8] and Production Loft Generation Systems (PLGS) [9] complementing the pioneering work [6,7]. In the first two publications, automated loft generation programs have addressed sheet metal components having a Principal Flat Surface (PFS) only. The flat pattern development of 3-D components that do not have the flat surface(termed as Non-PFS components) having complex features of double curvature in addition to cutouts and nibbled holes typical of aircraft components were so far not addressed due to lack of relevant published algorithms. This paper traces the evolution of developments and provides the record of fully illustrated, automated loft generation scheme for aircraft SMCs including the Non-PFS components which underwent validation through production tests by sponsors. Details of some of the unique features of the system like simplified surface model generation, termed as topological model and powerful algorithms deployed with potential for CAD/CAM applications are included.

• Journal of Digital Contents Society
• /
• v.2 no.1
• /
• pp.21-30
• /
• 2001

This paper presents the automated component generation system to support development of web application by the Model 2 framework on distributed environment. Model 2 framework is based on MVC(Model View Controller) model and this model capsulate the functionality of web application and have the benefits like extensibility, maintainability, resuability. In this paper, we propose a framework which is adapted in JSP environment and implement the automated component generation system. This system can efficiently utilized for web application development which require extensibility, maintainability, resuability as well as rapid web application development.

• Journal of the Korea Society for Simulation
• /
• v.23 no.4
• /
• pp.21-29
• /
• 2014

In general, a simulation project requires much time and money since we should develop a model that works similarly to the system at a level consistent with the project purposes. Therefore, more active research studies are required to reduce the time needed for the modeling process. This is achievable by minimizing the possible trial and error during the model development process through the appropriate conceptual model design and the automated generation of the simulation model. This paper presents a tool automatically generating an Arena model after developing a conceptual simulation model. Because our proposed tool is based on the popular Microsoft Excel and Visio, it is expected to be practically used at many industrial sites. Finally, we showed the effectiveness of the newly suggested tool by applying it to an imaginary simulation project.

• Journal of KIISE
• /
• v.44 no.12
• /
• pp.1307-1312
• /
• 2017

Due to their convergence with state-of-the-art ICT technologies, the complexity and reliability demands of industrial automation systems have been rapidly increasing. In recent years, to cope with these demands, several research works have been carried out to adopt formal methods to the application development cycle at the early design stage. In this paper, we propose an automated code generation framework for industrial automation applications, based on a timed automata model. As a case study, we developed a formal model for a traffic light control system and verified the timing properties described in the specification. We finally demonstrated that the operation of a test-bed based on the auto-generated native code was identical to that of the model specification.

• Journal of Aerospace System Engineering
• /
• v.17 no.2
• /
• pp.9-15
• /
• 2023

The task of generating a reduced thermal model of a satellite must be performed at least once in a satellite project to shorten the time of orbital thermal analysis and perform thermal analysis coupled to a launch vehicle. Although there are various methods for generating a reduced thermal model, an intuitive and convenient iso-thermal mesh generation method is used the most widely in practice. However, there is still a lack of research on automation of the isothermal mesh generation method. In this paper, we proposed an automated generation method of satellite reduced thermo-mathematical model based on the isothermal mesh generation method considering temperature tolerance and fixed nodes. The proposed method was validated using three different temperature tolerance cases. The average temperature difference satisfied the guidelines of ECSS.

• KIEE International Transactions on Electrophysics and Applications
• /
• v.5C no.1
• /
• pp.14-17
• /
• 2005

In this paper, an automated methodology for generating model parameters considering real manufacturing processes is presented with verified results. In addition, the outcomes of applications to the next generation of flash memory devices using the parameters calibrated from the process specification decision are analyzed. The test vehicle is replaced with a well-calibrated TCAD simulation. First, the calibration methodology is introduced and tested for a flash memory device. The calibration errors are less than 5% of a full chip operation, which is acceptable to designers. The results of the calibration are then used to predict the I-V curves and the model parameters of various transistors for the design of flash devices.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2024.05a
• /
• pp.753-756
• /
• 2024

This study integrates Rivet and Retrieved Augmented Generation (RAG) technologies to enhance automated report generation, addressing the challenges of large-scale data management. We introduce novel algorithms, such as Dynamic Data Synchronization and Contextual Compression, expected to improve report generation speed by 40% and accuracy by 25%. The application, demonstrated through a model corporate entity, "Company L," shows how such integrations can enhance business intelligence. Empirical validations planned will utilize metrics like precision, recall, and BLEU to substantiate the improvements, setting new benchmarks for the industry. This research highlights the potential of advanced technologies in transforming corporate data processes.

• Journal of Information Technology Application
• /
• v.3 no.4
• /
• pp.63-92
• /
• 2001

This paper makes an attempt to look at the process of automatically generating an application software system based on the Entity-Relationship (E-R) model. Basically, the process consists of five steps as follows: First, the designer develops an E-R model of an real-world system. Second, the software generator automatically generates a stereo-type application system. Third, the generator produces database schema and link information between application programs. Fourth, the designer designs the user interface including menu, screen design and so on. Finally, the generator completes the process integrating all the elements of an application system. Five basic program generation rules, three extended rules and a database generation rule have been suggested. By following each rule with the generator, the designer can build an application with an extremely efficient manner compared with traditional approaches. A case study has been included in order to show the applicability of the automated software generation process suggested in this paper. It has been demonstrated from the case study that the idea of applying an automated generator in systems development based upon the E-R model worked well.