• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2004.05a
• /
• pp.603-606
• /
• 2004

Automatic test case generation for testing an embedded software is considered. Existing tools for test case generation such as finite state machine or mutant test usually adopt top down approach and depend upon graphical transition and decision table, which makes it difficult to find out where the bugs exist. Also it is hard to describe the special features of embedded systems such as concurrent execution of individual components. Most of embedded systems interacts with the real world, receiving signals through sensors or switches and sending output signals to actuators that somehow manipulate the environment. Embedded software controls the entire system based on the logics such as interpreting the sensor inputs and making the actuators to start or stop their intended operation. This study proposes an automatic test case generation procedure that tests the system starting from the control logics of sensors, switches and actuators and then their concurrent execution controls, and finally the entire system operation. Such a stepwise approach makes it easy to generate test cases to tell where the bugs of embedded software exist.

• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 1999.12a
• /
• pp.769-781
• /
• 1999

Manufacturing systems are usually large, complex, and concurrent in nature that makes it difficult to model and simulate the behavior in advance. The paper proposes an approach, called OPNets, for modeling and validating manufacturing systems. The approach is based on object-oriented high-level Petri nets in which modeling components of Petri net are constructed into object hierarchy. The objects communicate with each other by passing messages. To enhance the reusability and maintainability, a system are developed by object hierarchy. Inheritance among object hierarchy is also supported in OPNets. The modeling scheme of OPNets tries to resolve the complexity problems of Petri net.

• Journal of Korea Multimedia Society
• /
• v.9 no.12
• /
• pp.1617-1627
• /
• 2006

The concept of middleware for digital TV receivers is not new one. Using middleware for digital TV development has a number of advantages. It makes it easier for manufacturers to hide differences in the underlying hardware. It also offers a standard platform for application developers. Digital TV middleware enables set-top boxes(STBs) to run video, audio, and applications. The main concern of digital TV middleware is now to reduce its memory usage because most STBs in the market are small footprint. In this paper, we propose several ideas about how to reduce the required memory size on the runtime area of DTV middleware using a new native process technology. Our proposed system has two components; the Efficient Native Process Module, and Enhanced Native Interface APIs for concurrent native modules. With our approach, the required memory reduced from 50% up to 75% compared with the traditional approach. It can be suitable for low end STBs of very low hardware limitation.

• Journal of Mechanical Science and Technology
• /
• v.16 no.3
• /
• pp.302-309
• /
• 2002

This paper presents a technique for localization of a mobile robot using sonar sensors. Localization is the continual provision of knowledges of position that are deduced from its a priori position estimation. The environment of a robot is modeled by a two-dimensional grid map. We define a physically based sonar sensor model and employ an extended Kalman filter to estimate positions of the robot. Since the approach does not rely on an exact geometric model of an object, it is very simple and offers sufficient generality such that integration with concurrent mapping and localizing can be achieved without major modifications. The performance and simplicity of the approach are demonstrated with the results produced by sets of experiments using a mobile robot equipped with sonar sensors.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.34 no.3
• /
• pp.8-15
• /
• 2011

The computer-based simulation tools are currently used overwhelmingly to simulate the performance of automotive designs. Then, the search for an optimal solution that satisfies a number of performance requirements usually involves numerous iterations among several simulation tools. Therefore, meta-modeling techniques are becoming widely used to build approximations of computationally expensive computer analysis tools. The set-based approach proposed in the first report of a four-part paper has been a test bed for the innovation of vehicle structure design process in the Structural Design and Fabrication Committee of JSAE(Society of Automotive Engineers of Japan). In the second report, the proposed design approach is illustrated with a side-door impact beam design example using meta-modeling techniques.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.11
• /
• pp.2874-2890
• /
• 1997

This paper describes a methodology for translation of concurrent software expressed in operating system (OS) calls to Ada. Concurrency is expressed in some legacy software by OS calls that perform concurrent process/task control. Examples considered in this paper are calls in programs in C to Unix and calls in programs in CMS-2 to the Executive Service Routines of ATES or SDEX-20 other software re/reverse engineering research has focused on translating the OS calls in a legacy software to calls to another OS. In this approach, the understanding of software has required knowledge of the underlying OS, which is usually very complicated and informally documented. The research in this paper has focused on translating the OS calls in a legacy software into the equivalent protocols using the Ada facilities. In translation to Ada, these calls are represented by Ada equivalent code that follow the scheme of a message-based kernel oriented architecture. To facilitate translation, it utilizes templates placed in library for data structures, tasks, procedures, and messages. This methodology is a new approach to modeling OS in Ada in software re/reverse engineering. There is no need of knowledge of the underlying OS for software understanding in this approach, since the dependency on the OS in the legacy software is removed. It is portable and interoperable on Ada run-time environments. This approach can handle the OS calls in different legacy software systems.

• Korean Journal of Child Studies
• /
• v.26 no.5
• /
• pp.263-279
• /
• 2005

This study explored the participant roles and the cross-sectional and longitudinal relationships between interpersonal behavior characteristics and bullying/victimization. The subjects were 4th and 5th grade children and instruments were the Participant Roles Scale, Self-Report Coping Scale, Teenage Inventory of Social Skills, and Social Anxiety/Avoidance. They were contacted again one year later. In the distribution of participant roles at Time 1, defender of the victim was highest, then outsider; at Time 2 outsider was the highest and then defender. There was a tendency of gender difference in distribution of participant roles only at Time 1. Males were more in the group of reinforcer; females were more in the group of defender and victim. There were high positive correlations among bully/reinforcer/assistant scores. In the concurrent view, children who used approach coping strategies and showed higher social skills were more likely to be defender. Children who had lower social skills and higher social anxiety and social avoidance were more likely to be victim. In the longitudinal view, children who had developed higher social skills were more likely to be defender. Children who had employed less approach coping strategies and had showed lower social skills and higher social avoidance were more likely to be victim.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.9 no.6
• /
• pp.2050-2077
• /
• 2015

One of the major issues in emerging cloud management system needs the efficient service level agreement negotiation framework, with an optimal negotiation strategy. Most researchers focus mainly on the atomic service negotiation model, with the assistance of the Agent Controller in the broker part to reduce the total negotiation time, and communication overhead to some extent. This research focuses mainly on composite service negotiation, to further minimize both the total negotiation time and communication overhead through the pre-request optimization of broker strategy. The main objective of this research work is to introduce an Automated Dynamic Service Level Agreement Negotiation Framework (ADSLANF), which consists of an Intelligent Third-party Broker for composite service negotiation between the consumer and the service provider. A broker consists of an Intelligent Third-party Broker Agent, Agent Controller and Additional Agent Controller for managing and controlling its negotiation strategy. The Intelligent third-party broker agent manages the composite service by assigning its atomic services to multiple Agent Controllers. Using the Additional Agent Controllers, the Agent Controllers manage the concurrent negotiation with multiple service providers. In this process, the total negotiation time value is reduced partially. Further, the negotiation strategy is optimized in two stages, viz., Classified Similarity Matching (CSM) approach, and the Truncated Negotiation Group Gale Shapely Stable Matching (TNGGSSM) approach, to minimize the communication overhead.

• Nuclear Engineering and Technology
• /
• v.48 no.4
• /
• pp.1047-1057
• /
• 2016

Design engineering process for field programmable gate array (FPGA)-based reactor trip functions are developed in this work. The process discussed in this work is based on the systems engineering approach. The overall design process is effectively implemented by combining with design and implementation processes. It transforms its overall development process from traditional V-model to Y-model. This approach gives the benefit of concurrent engineering of design work with software implementation. As a result, it reduces development time and effort. The design engineering process consisted of five activities, which are performed and discussed: needs/systems analysis; requirement analysis; functional analysis; design synthesis; and design verification and validation. Those activities are used to develop FPGA-based reactor bistable trip functions that trigger reactor trip when the process input value exceeds the setpoint. To implement design synthesis effectively, a model-based design technique is implied. The finite-state machine with data path structural modeling technique together with very high speed integrated circuit hardware description language and the Aldec Active-HDL tool are used to design, model, and verify the reactor bistable trip functions for nuclear power plants.

• Radiation Oncology Journal
• /
• v.36 no.1
• /
• pp.17-24
• /
• 2018

Purpose: This study aimed to assess complications and outcomes of a new approach, that is, combining short course radiotherapy (SRT), concurrent and consolidative chemotherapies, and delayed surgery. Materials and Methods: In this single arm phase II prospective clinical trial, patients with T3-4 or N+ M0 rectal adenocarcinoma were enrolled. Patients who received induction chemotherapy or previous pelvic radiotherapy were excluded. Study protocol consisted of three-dimensional conformal SRT (25 Gy in 5 fractions in 1 week) with concurrent and consolidation chemotherapies including capecitabine and oxaliplatin. Total mesorectal excision was done at least 8 weeks after the last fraction of radiotherapy. Primary outcome was complete pathologic response and secondary outcomes were treatment related complications. Results: Thirty-three patients completed the planned preoperative chemoradiation and 26 of them underwent surgery (24 low anterior resection and 2 abdominoperineal resection). Acute proctitis grades 2 and 3 were seen in 11 (33.3%) and 7 (21.2%) patients, respectively. There were no grades 3 and 4 subacute hematologic and non-hematologic (genitourinary and peripheral neuropathy) toxicities and perioperative morbidities such as anastomose leakage. Grade 2 or higher late toxicities were observed among 29.6% of the patients. Complete pathologic response was achieved in 8 (30.8%) patients who underwent surgery. The 3-year overall survival and local control rates were 65% and 94%, respectively. Conclusion: This study showed that SRT combined with concurrent and consolidation chemotherapies followed by delayed surgery is not only feasible and tolerable without significant toxicity but also, associated with promising complete pathologic response rates.