• Journal of KIISE:Software and Applications
• /
• v.26 no.12
• /
• pp.1428-1444
• /
• 1999

MSC는 ITU에 의해 표준화된, 병행 시스템의 명세를 기술하기 위한 그래픽 형태와 텍스트 형태를 제공하는 언어로서 실시간 시스템 특히 통신 교환 시스템의 특성을 기술하기 위해 자주 사용된다. 통신 시스템이 제대로 동작함을 보이기 위해서는 정형적인 방법을 사용하여 시스템 행위를 검증할 필요가 있다. 통신 소프트웨어를 검증하는 방법 중 하나의 방법으로 유한 상태를 기반으로 하는 방법이 있다. 유한 상태를 기반으로 하는 방법에서는 먼저 시스템 명세에 해당하는 전체 상태 전이 그래프를 생성한 후 이를 바탕으로 model-checking 등의 방법을 사용하여 시스템의 특성을 검증한다. 본 논문에서는 MSC로 기술된 통신 소프트웨어 명세로부터 전체 상태 전이 그래프를 생성하는 방법에 초점을 맞추었다. 시스템 명세에 해당하는 상태 전이 그래프를 생성하기 위해 보다 직관적으로 MSC의 의미론을 표현할 수 있고, 또한 쉽게 전체 상태 전이 그래프를 생성할 수 있는 행위 종속 그래프를 제안하였다. MSC 명세는 일단 행위 종속 그래프로 변환이 되고 이 행위 종속 그래프를 이용하여 전체 상태 전이 그래프가 생성된다.Abstract Message Sequence Chart (MSC) standardized by International Telecommunication Union is a graphical and textual language for describing the specification of concurrent systems. It is frequently used both formally and informally for specifying the behavior of real-time systems, in particular telecommunication switching systems. To ensure that a communication system operates properly, the verification process showing the correctness of system's behavior formally is necessary. One of the verification methods is a finite-state method. In the finite-state method, the global state transition graph (GSTG) is constructed and then safety and liveness properties of systems are verified through a well-known method such as model checking. In this paper, we forcus on the construction of GSTG from the specifications of telecommunication software written in MSC. We suggest Action Dependency Graph (ADG) which can present the semantics of MSC intuitively and also provide a GSTG construction method from ADG. MSC specifications are translated to ADGs and, in turns, the GSTGs are constructed by using these ADGs.

• The Transactions of the Korea Information Processing Society
• /
• v.2 no.5
• /
• pp.797-806
• /
• 1995

The Client-Server model is a computing technique that efficiently uses distributed resources via networks. But, generating an application using Client- Server model requires many different expertises to developers in comparison to that of using the centralized computing method. That is, and application developer must be familiar with network programming and GUI(Graphical User Interface) techniques in addition to conventional programming skills. Accordingly, the time and man power have been issued for building a Client-Server system. To alleviate these problem, the Client-Server applications development tools are needed To meet such a need, we developed a GUI based tool, called Hanuri/C, for generating Client-Server application programs. In comparison to existing Client-Server tools, Hanuri/C is reinforced Multimedia facilities, Hanuri/C is reinforced Multimedia facilities. Hanuri/C is considered as a front-end part of distributed system software. That is, Hanuri/C is a Client-Server tool similar to Forth Generation Language(4GL) supporting multimedia application on top of the Distributed Computing environment(DCE). In this paper, we present the design and implementation method of the middleware part of Hanuri/c.

• The Transactions of the Korea Information Processing Society
• /
• v.1 no.3
• /
• pp.299-310
• /
• 1994

Re-engineering tools can substantially increase software maintenance productivity and the quality of maintenance work. Re-engineering usually involves changing the form(e.g.changining objects names and definitions, restructuring process logic) of a program. In this paper, we describe the design and implementation of InMaC＋＋ that is a software tool oriented towards maintenance of C＋＋ object oriented programs. With InMaC＋＋, programms can be displayed and edited in two forms : as the code and as the diagram InMaC＋＋ also contains transformations in both directions, i,e. from code to diagram and from diagram to skeletons of code. Hence, it is suitable for re-engineering and maintenance of existing code. Specially designed browsers implement the graphical interface. InMaC＋＋ contains a database that is based on a simple but effective data model of InMaC＋＋ programs. The model contains only four object classes and three relations, which makes the tool small, and easy to implement and use. A simple query language allows browsing through the database.

• Journal of the Korea Society of Computer and Information
• /
• v.18 no.1
• /
• pp.123-136
• /
• 2013

The Feature model can not be guaranteed the syntactic accuracy of its model and be difficult the validation using automatic tool for its syntax, because this model is expressed by a graphical and informal structure in itself. Therefore, there is a need to formalize and check for the feature model, to precisely define syntax for construct of the model. This paper presents a Z formal specification and a model checking mechanism of the feature model to guarantee the correctness of the model. It first defines the translation rules between feature model and Z, and then converts the syntax of the feature model into the Z schema specification by applying these rules. Finally, the Z schema specification is checked syntax, type, and domain errors using the Z/Eves validation tool to assure the correctness of its specification, With the use of the proposed method, we may express more precisely the construct of the feature model. Moreover the domain analyst are able to usefully verify the errors of the generated feature model.

• Annals of Laboratory Medicine
• /
• v.38 no.6
• /
• pp.512-517
• /
• 2018

Background: Complete blood count (CBC) results play an important role in peripheral blood smear (PBS) examinations. Many descriptions in PBS reports may simply be translated from CBC parameters. We developed a computer program that automatically generates a PBS draft report based on CBC parameters and age- and sex-matched reference ranges. Methods: The Java programming language was used to develop a computer program that supports a graphical user interface. Four hematology analyzers from three different laboratories were tested: Sysmex XE-5000 (Sysmex, Kobe, Japan), Sysmex XN-9000 (Sysmex), DxH800 (Beckman Coulter, Brea, CA, USA), and ADVIA 2120i (Siemens Healthcare Diagnostics, Eschborn, Germany). Input data files containing 862 CBC results were generated from hematology analyzers, middlewares, or laboratory information systems. The draft reports were compared with the content of input data files. Results: We developed a computer program that reads CBC results from a data file and automatically writes a draft PBS report. Age- and sex-matched reference ranges can be automatically applied. After examining PBS, users can modify the draft report based on microscopic findings. Recommendations such as suggestions for further evaluations are also provided based on morphological findings, and they can be modified by users. The program was compatible with all four hematology analyzers tested. Conclusions: Our program is expected to reduce the time required to manually incorporate CBC results into PBS reports. Systematic inclusion of CBC results could help improve the reliability and sensitivity of PBS examinations.

• Journal of the Korean Society for Precision Engineering
• /
• v.13 no.5
• /
• pp.84-94
• /
• 1996

In order to prevent shell sticking by providing sufficient lubrication between the strand and the mold, the mold oscillation has been used. Now it is well known that the shape of the oscillation curve has a decisive effect on the surface quality of the cast product. Besides, oscillation parameters such as stroke and frequency are also very important. In order to guarantee that parameters which have been found to be optimal for a certain grade of steel do not change with time, periodical checks of the physical condition of the whole equipment are necessary. The portable mold oscillation analyzer with integrated computer, developed by POSCO, records the movement of the mold in every spatial direction. The system uses the gap sensors to measure the mold movement (displacement ) in the two horizontal directions according to the mold narrow and broad faces and the vertical strokes in the four corners of mold. The gap sensor is a non-contacting minute displacement measuring device using the principle of high frequency eddy current loss. The mold oscillation diagnosis system integrates the gap sensors, their converters and the industrial portable computer with plug-in data acquisition boards. The all programs, such as the fast Fourier transformation module (amplitude and phase spectrums) and harmonic analysis module, was coded by LabVIEW$^{TM}$ software as the graphical language. In an own 'expert module' which is included in the diagnosis program, one can obtain much information about the mold oscillation equipment.

• Smart Media Journal
• /
• v.7 no.1
• /
• pp.37-44
• /
• 2018

Utilizing sequence control and numerical computing, embedded devices are used in a variety of automated systems, including those at industrial sites, in accordance with their control program. Since embedded devices are used as a control system in corporate industrial complexes, nuclear power plants and public transport infrastructure nowadays, deliberate attacks on them can cause significant economic and social damages. Most attacks aimed at embedded devices are data-coded, code-modulated, and control-programmed. The control programs for industry-automated embedded devices are designed to represent circuit structures, unlike common programming languages, and most industrial automation control programs are designed with a graphical language, LAD, which is difficult to process static analysis. Because of these characteristics, the vulnerability analysis and security related studies for industry automation control programs have only progressed up to the formal verification, real-time monitoring levels. Furthermore, the static analysis of industrial automation control programs, which can detect vulnerabilities in advance and prepare for attacks, stays poorly researched. Therefore, this study suggests a method to present a discussion on an industry automation control program designed to represent the circuit structure to increase the efficiency of static analysis of embedded industrial automation programs. It also proposes a medium term translation technology exploiting LLVM IR to comprehensively analyze the industrial automation control programs of various manufacturers. By using LLVM IR, it is possible to perform integrated analysis on dynamic analysis. In this study, a prototype program that converts to a logical expression type of medium language was developed with regards to the S company's control program in order to verify our method.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.37 no.2C
• /
• pp.206-216
• /
• 2012

Today's war fields can be characterized by net-centric wars where a variety of independent weapon systems are operated in connection with each other via networks. As such, weapon systems become dramatically advanced in terms of complexity, functionality, precision and so on. It is then obvious that the defense R&D of those requires systematic and efficient development tools enabling the effective management of the complexity, budget/cost, development time, and risk all together. One viable approach is known to be the development methods based on systems engineering, which is already proved to successful in U.S. In this paper, a systems engineering approach is studied to be used in the conceptual design of advanced weapon systems. The approach is utilizing some graphical models in the design phase. As a target system, an unmanned aerial vehicle system is considered and the standard SysML is also used as a modeling language to create models. The generated models have several known merits such as ease of understanding and communication. The interrelationships between the models and the design artifacts are identified, which should be useful in the generation of some design documents that are required in the defense R&D. The result reported here could be utilized in the further study that can eventually lead to a full-scale model-based systems engineering method.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.12
• /
• pp.3275-3284
• /
• 1998

In this paper, we deseribe a Medical Image Information System. Our system stores and manages 5 dimensional medical image data and provides the 3 dimensional medical data via the Internet. The Internet standard VR format. VRML(Virtual Reality Modeling Language) is used to represent the 3I) medical image data. The 3D images are reconstructed from medical image data which are enerated by medical imaging systems such ans CT(Computerized Tomography). MRI(Magnetic Resonance Imaging). PET(Positron Emission Tomograph), SPECT(Single Photon Emission Compated Tomography). We implemented the medical image information system shich rses a surface-based rendering method for the econstruction of 3D images from 2D medical image data. In order to reduce the size of image files to be transfered via the Internet. The system can reduce more than 50% for the triangles which represent the surfaces of the generated 3D medical images. When we compress the 3D image file, the size of the file can be redued more than 80%. The users can promptly retrieve 3D medical image data through the Internet and view the 3D medical images without a graphical acceleration card, because the images are represented in VRML. The image data are generated by various types of medical imaging systems such as CT, MRI, PET, and SPECT. Our system can display those different types of medical images in the 2D and the 3D formats. The patient information and the diagnostic information are also provided by the system. The system can be used to implement the "Tele medicaine" systems.

• The Journal of the Korea Contents Association
• /
• v.16 no.10
• /
• pp.598-607
• /
• 2016

The purpose of this study is to suggest necessity of idea expression method suitable for people in our country and deduct Graphic Ideation method by grasping problems of existing idea expression method. The idea expression method (association stimulating method, conceptual shifting method, information combination method) used by many graphic designers is effective in suggesting initial keyword, but has difficulty in the course of deducting the concept. Though deduction of core keyword is important to develop as a concept, the course of separation, combination in keyword connection play an important role, and most of idea expression methods are unavailable for suggesting concrete method for the course. Also as most of idea expression methods were developed and delivered in English-speaking world, it is suitable in English-speaking world culture which has thinking focused on words, but people in our country, which have thinking focusing on narration, cannot consider difference in language thinking due to limitation in idea for each stage. This study deducted idea expression method suitable for emotion of people in our country by proving the value of this idea expression method with style of suggesting and demonstrating 4 hypotheses in order to make the course for easy connection, separation, combination of keyword deducted by existing idea expression method, as well as suggesting idea expression method design based on these hypotheses. This idea expression method used rhetoric so that it is suitable for people our country who are strong for narration expression.