• 한국정보과학회논문지:소프트웨어및응용
• /
• 제26권1호
• /
• pp.106-106
• /
• 1999

When we design real-time software target system is analyzed and then we structure sequential executive modules into concurrent tasks. As a result of the analysis, control flow and dataflow diagram based on the RTSA notation is produced. This diagram is structured into concurrenttasks under the condition that performance problem is not serious. The criteria structuring concurrenttasks are introduced as Concurrent Design Approach for Real-Time System(CODARTS) by Gomaa.But structuring concurrent tasks using the criteria of CODARTS is somewhat difficult because thecriteria are dependent on designer's experience. CODARTS is an wide-range and abstractmethodology. As a result, the design can be inconsistent and peoples can understand it differently Inthis paper, we restructure the CODARTS methodology, propose a revised CODARTS structure andrepresent the task structuring steps for this new framework to overcome the understanding andinconsistency problems. The revised CODARTS framework and task structuring steps can be used toautomate the design of real time concurrent software systems. Finally, we show an example of taskstructuring in revised CODARTS framework.

• 전자통신동향분석
• /
• 제35권4호
• /
• pp.135-148
• /
• 2020

Virtualisation in cloud computing is vital for maintaining maximum resource utilization and easy access to operation and storage management of components. Platform virtualisation technology has the potential to be easily implemented with the support of scalability and security, which are the most important components for cloud-based services. Virtual resources must be allocated to a centralized pool called the cloud, and it is considered as cloud computing only when the virtual resources are orchestrated through management and automation software. Therefore, research and development on the latest technology for such a virtualisation platform provides both academia and industry the scope to deploy the fastest and most reliable technology in limited hardware resource. In this research, we reviewed and compared the popular current technologies for network and service management and automation technology.

• 한국산업정보학회:학술대회논문집
• /
• 한국산업정보학회 1999년도 춘계학술대회 발표논문집
• /
• pp.124-132
• /
• 1999

본 논문에서는 OLE 자동화를 이용한 GIS의 사용자 인터페이스를 개발하는 방법을 제시하였다. 사용자 인터페이스의 개발에 있어서는 윈도우즈 프로그래밍 기술과 컴포넌트 소프트웨어 제작 기술의 적용이 중요하다. 본 논문에서는 컴포넌트 소프트웨어 제작 기술인 OLE 자동화와 비주얼 베이직 언어를 이용하여 사용자 인터페이스를 개발하는 방법을 제시하고, 사례 연구로서 주제도 중첩, 속성 테이블 조회, 그래프 분석, 분포도 분석 등의 기능을 수행할 수 있는 사용자 인터페이스를 개발하였다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1997년도 추계학술대회 논문집 학회본부
• /
• pp.106-108
• /
• 1997

Many new office buildings are being built as intelligent buildings equipped with building automation(HA) systems, office automation(OA) systems, and telecommunication(TC) systems in order to provide pleasant building environment and the ease of maintenance and facility management. Building control systems which are employed in intelligent buildings require varieties of advanced control systems and network systems for efficient integrated management. Design and installation of these types of advanced building control systems take a lot of efforts and also they are costly. In order to design these systems, it is necessary for the designers to have the integrated simulator including proper network system simulation. In this paper, the integrated simulator that consist of HVAC system, lighting system, elevator system, parking system based on the network system is presented. For the development of integrated simulator, AHENA which is the general-purpose software tool for a simulation with reinforced GUI is used.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1997년도 추계학술대회 논문집 학회본부
• /
• pp.149-151
• /
• 1997

This paper proposed a new method for the measurement of optical encoder. So far several methods were used for the encoder measurements, there were noise problems and needed many space to realize it. Specially, it is more serious under the multi-motor system. In this paper, we adapted the PIC microcontroller and replaced the TTL logics with the PIC software. Therefore, the effects of noise can be reduced, and we can realize the measuring method for the optical encoder under multi-motor system within one millisecond time base.

• 한국기계가공학회지
• /
• 제14권2호
• /
• pp.127-133
• /
• 2015

In this study, an analytical model was developed for one-dimensional finite element analysis (1D FEA) of a spindle system of machine tools and then implemented to automate the FEA as a tool. FEA, with its vibration characteristics such as natural frequencies and modes, was performed using the universal FEA software ANSYS. VBA of EXCEL was used to provide the programming environment for its implementation. This enabled graphic user interfaces (GUIs) to be developed to allow interactions of users with the tool and, in addition, an EXCEL spreadsheet to be linked with the tool for data arrangement. The language of ANSYS was used to develop a code to perform the FEA. It generates an analytical model of the spindle system based on the information at the GUIs and subsequently performs the FEA based on the model. Automation helps identify the near-optimal design of the spindle system with minimum time and efforts.

• 국제학술발표논문집
• /
• The 9th International Conference on Construction Engineering and Project Management
• /
• pp.1253-1253
• /
• 2022

Although the construction industry is changing from a 2D-based to a 3D BIM-based management process, 2D drawings are still used as standards for permits and construction. For this reason, 2D deliverables extracted from 3D BIM are one of the essential achievements of BIM projects. However, due to technical and institutional problems that exist in practice, the process of extracting 2D deliverables from BIM requires additional work beyond generating 3D BIM models. In addition, the consistency of data between 3D BIM models and 2D deliverables is low, which is a major factor hindering work productivity in practice. To solve this problem, it is necessary to build BIM data that meets information requirements (IRs) for extracting 2D deliverables to minimize the amount of work of users and maximize the utilization of BIM data. However, despite this, the additional work that occurs in the BIM process for drawing creation is still a burden on BIM users. To solve this problem, the purpose of this study is to increase the productivity of the BIM process by automating the process of extracting 2D deliverables from BIM and securing data consistency between the BIM model and 2D deliverables. For this, an expert interview was conducted, and the requirements for automation of the process of extracting 2D deliverables from BIM were analyzed. Based on the requirements, the types of drawings and drawing expression elements that require automation of drawing generation in the design development stage were derived. Finally, the method for developing automation technology targeting elements that require automation was classified and analyzed, and the process for automatically extracting BIM-based 2D deliverables through templates and rule-based automation modules were derived. At this time, the automation module was developed as an add-on to Revit software, a representative BIM authoring tool, and 120 rule-based automation rulesets, and the combinations of these rulesets were used to automatically generate 2D deliverables from BIM. Through this, it was possible to automatically create about 80% of drawing expression elements, and it was possible to simplify the user's work process compared to the existing work. Through the automation process proposed in this study, it is expected that the productivity of extracting 2D deliverables from BIM will increase, thereby increasing the practical value of BIM utilization.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2005년도 ICCAS
• /
• pp.2290-2295
• /
• 2005

In this paper, it is developed simulator system of 3 D.O.F parallel robot for educate of expertness. This simulator system is composed of three parts ? 3 D.O.F parallel robot, controller (hardware) and software. First, basic structure of the robot is 3 active rotary actuator that small geared step motor with fixed base. An input-link is connected to this actuator, and this input-link can connect two ball joints. Thus, two couplers can be connected to the input-link as a pair. An end-plate, which is jointed by a ball joint, can be connected to the opposite side of the coupler. A sub-link is produced and installed to the internal spring, and then this sub-link is connected to the upper and bottom side of the coupler in order to prevent a certain bending or deformation of the two couplers. The robot has the maximum diameter of 230 mm, 10 kg of weight (include the table), and maximum height of 300 mm. Hardware for control of the robot is composed of computer, micro controller, pulse generator, and motor driver. The PC used in the controller sends commands to the controller, and transform signals input by the user to the coordinate value of the robot by substituting it into equations of kinematics and inverse kinematics. A controller transfer the coordinate value calculated in the PC to a pulse generator by transforming it into signals. A pulse generator analyzes commands, which include the information received from the micro controller. A motor driver transfer the pulse received from the pulse generator to a step motor, and protects against the over-load of the motor Finally, software is a learning purposed control program, which presents the principle of a robot operation and actual implementation. The benefit of this program is that easy for a novice to use. Developed robot simulator system can be practically applied to understand the principle of parallel mechanism, motors, sensor, and various other parts.

• 대한임베디드공학회논문지
• /
• 제14권6호
• /
• pp.329-338
• /
• 2019

Today's embedded software (SW) developments are mostly preceded by composing Software Requirement Specification (SRS). In particular, in the domain of weapon systems, it is essential to have a systematic method for the verification of the SW functionality. To be more specific, it is crucial to check if the SW functionality is implemented as described in SRS, so-called SW suitability verification. Unfortunately, existing static or dynamic SW testing methods are not sufficient to evaluate suitability with SRS since those testings only verify the robustness of the SW codes. In this paper, we propose an automatic embedded SW suitability verification framework which is based on a structured SRS. The major challenge in the automation of this verification framework is how to get rid of ambiguities in SRS. In order to overcome this challenge, we propose a structured SRS description framework and the supporting toolchain for that. We show how the proposed framework is applied to an actual SRS of a weapon system.

• 정보처리학회논문지D
• /
• 제17D권6호
• /
• pp.423-430
• /
• 2010

소프트웨어가 대형화 및 복잡화되고 품질보증 및 관리에 대한 요구가 한층 커짐에 따라 소프트웨어 테스트 활동이 중요시되고 있다. 소프트웨어 테스트 활동은 시스템에 존재하는 결함 발견과 처리가 주요 목적이지만, 현재 시스템의 위험요소를 관리하기 위한 요구 또한 존재한다. 하지만 일반적인 테스트 자동화 도구에서는 테스트케이스를 이용하여 동일한 순서로 테스트를 수행하며, 이러한 테스트 방식은 빈번하게 변경되는 소프트웨어를 테스트함에 있어 결함을 조기에 발견할 가능성이 낮아지고 처리되는 시간이 늦어지게 된다. 이에 따라 본 논문에서는 과거 테스트 이력을 이용하여 테스트케이스에 동적인 가중치를 부여함으로써 위험도가 높은 테스트케이스를 우선적으로 테스트 하여 결함을 빠르게 발견할 수 있도록 가중치를 이용한 테스트케이스 동적 관리 기법을 설계하였다.