• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.11a
• /
• pp.421-424
• /
• 2004

Product-Line 기반의 소프트웨어 개발은 특정 도메인의 소프트웨어 제품군 내의 공통성과 가변성 분석을 통한 공통 아키텍처의 추출과 재사용으로 개발의 생산성과 효율성을 향상시킨다. 일반적인 Product-Line 기반 방법론에 따르면, 재사용되는 핵심자산은 아키텍처, 컴포넌트, 등의 소프트웨어 내부 비즈니스 로직에 한정되어 있으며, 실제로 소프트웨어 개발에 있어 많은 비용이 지출되는 UI(User Interface), 데이터베이스 등의 설계 및 개발에 대한 내용은 언급되어 있지 않은 실정이다. 본 논문에서는 소프트웨어 개발에 필요한 UI 모듈을 핵심자산의 형태로 Product-Line 에서 사용할 수 있도록 하는 방법을 제안한다. UI 모듈을 설계하여 명세하는 방법과 설계된 UI를 디자인 템플릿과 연결하여 내부 로직과 연계하는 방법에 대해 설명한다. 이 방법을 이용하면 Product-Line을 위한 핵심자산 구성시 UI 모듈을 포함할 수 있어 생산성과 효율성을 향상시킬 수 있을 것으로 생각된다.

• Journal of Korea Society of Industrial Information Systems
• /
• v.24 no.4
• /
• pp.9-19
• /
• 2019

As light-weight embedded devices become widely used in the area of low-power networking and high-precision sensor data acquisition, support for time-critical applications becomes essential for the light-weight embedded devices. This paper addresses the accuracy issue of a software timer for small or tiny embedded devices equiped with light-weight MCUs(Micro controller units). We first explore the characteristics of overhead in a typical implementation of a software timer, and then measure the overhead through a realistic implementation. Using the measurement result, we propose an overhead compensation technique which reduces the overhead from the hardware timer-tick.

• The KIPS Transactions:PartD
• /
• v.12D no.7 s.103
• /
• pp.931-936
• /
• 2005

There may be subtle errors in embedded software since its functionality is very complex. Thus formal verification for detecting them is very needed. Model checking is one of formal verification techniques, and SLAM is a well-known software model checking tool for verifying safety properties of embedded C program. In this paper, we develop a software model checker like SLAM for verifying embedded Java program Compared to SLAM, our tool allows to verify liveness properties as well as safety ones. As a result, we verify some desired properties in embedded Java program for controlling REGO robot.

• Journal of KIISE:Software and Applications
• /
• v.34 no.8
• /
• pp.697-707
• /
• 2007

Since embedded software is very dependent for target hardware architecture, characteristics of the platform must be considered when designing the software. Furthermore, MPSoCs consists of heterogeneous hardware components that are specified in micro level. Thus mapping of embedded software for MPSoCs should be considered the characteristics. In this paper, we provide an approach to automatic mapping PIM (Platform Independent Model) of an embedded software to PSM(Platform Specific Model) for MPSoC(Multi Processor System On Chip) and verify its effectiveness with simulation. In the proposed approach, tasks are derived from an object oriented model based on the UML (Unified Modeling Language). And then the types of the derived tasks are identified. With the identified types and inter relationship between tasks, the tasks are assigned to appropriate heterogeneous hardware components. We expect that the approach improve accuracy of the assigning and concurrency of the deployed software.

• Journal of Software Engineering Society
• /
• v.24 no.2
• /
• pp.55-66
• /
• 2011

Component-based Software development(CBSD) is widely used in various area due to its efficiency of time, cost and effort. In the embedded software which has high dependency of platform and can be developed by product family, the efficiency of CBSD is maximized by reuse. These embedded software has various limitations of the resources. Specially, the effective energy consumption is very important in the portable embedded software such as smart phone and tablet PC, because they are operated with limited energy source like a battery. Therefore, energy efficient problem became very important issue in the CBSD. In this paper, we identified characteristics and environment that influence energy consumption of components. Afterward, we defined a component specification language which is consisted to describe energy characteristics of the components. This supposed specification language can be utilized to energy efficient component search and selection.

• Journal of Convergence Society for SMB
• /
• v.2 no.1
• /
• pp.33-40
• /
• 2012

Recently, embedded environment suffers a huge change, by growth of hardware and turning to be software-controlled. This has improved embedded software complexity. It also brought us the limit of the old development way to resolve the problem. Model-driven development is one solution to solve the limit common software development by previous way, and it became a one uses for embedded environment also. In this paper, we propose model based development approach for embedded software, witch consists of diagram editor and automatic code generator. The diagram editors are implemented by GMF, which include additional functions to solve memory restrictions and concurrent execution problems without OS environment to a automatic code generator. In order to verify the generated code, it will be tested in main control model of UAV by replacing existing module with generated one.

• Proceedings of the KSR Conference
• /
• 2010.06a
• /
• pp.2223-2231
• /
• 2010

Recently, an important physical device of transportation, such as car, railroad, ship and aircraft has changed into electronic control unit. According to accident reports, the most of car accidents are caused by faults of embedded software loaded to computer control unit. The facts implies that the test to find defects in embedded software haven't performed sufficiently. As a result, it is necessary to establish the test procedures of embedded software based on safety assessment criteria. The objective of this proposal is to provide a unit test procedure complied with the safety assessment criteria for the embedded software. In addition, an effective unit testing procedure and defect analysis methods are proposed and a testing procedure using a safety criteria built-in tool is presented.

• The KIPS Transactions:PartD
• /
• v.13D no.7 s.110
• /
• pp.923-930
• /
• 2006

In this paper we design the system test model for the weapon system embedded software based on the Time Factor Method(TFM) considering time factors and suggest the results through the case study. For doing this, we discuss the features, system tests and the object-oriented model based UML notations of the weapon system embedded software. And we give a test method considering time factors, a measuring method to time factors, and a test case selection algorithm as an approach to the TFM for designing the system test model. The TFM based system test model consists of three factors (X, Y, Z) in the weapon system embedded software. With this model, we can extract test cases through the selection algorithm for a maximum time path in 'X', identify the objects related to the Sequence Diagram in 'Y' and measure the execution time of each objects which is identified by the Timing Diagram in 'Z' Also, we present the method of extracting the system test cases by applying the proposed system test model to the 'Multi-function missile defense system'.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.17 no.3
• /
• pp.336-342
• /
• 2007

Industrial HMI(Human Machine Interface) system is the main element among the factory automation processes and have been used to monitor and control operation and status of machine in factory with PLC. This HMI often brings heavy loads to the system development and difficult decreasing the system because it tends to use a specific system per each manufacturer. Therefore, in this thesis, we have developed an embedded linux-based embedded industrial HMI software modules which can be used for touch panel embedded system to solve these problem. In this module, we have used the Qt/Embedded software component because it can be used by all systems which support C++ compiler without modifying the existing codes. We can design more flexible system and network configuration because we have used the wireless communication module. In this thesis, we implement linux-based HMI software modules which are capable of wireless communication as well as bringing the mobility to the overall system and finally decreasing the system development loads by using the general purpose OS with competitive price.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.13 no.4
• /
• pp.49-56
• /
• 2017

It is the approach of embedded system design that finds 3D scanning technology to analyze a real object or environment to collect data on its shape and appearance. 3D laser scanning developed during the last half of 20th century in an attempt to accurately recreate the surfaces of various objects. 1960s, early scanners used lights, cameras, and projectors to carry out the scanning in the lacks of performance which encountered many difficulties with shiny, mirroring, or transparent objects. The 3D scanning technology has leveled-up with helpful of embedded software platform research and design. In this paper, First we designed the hardware of laser/camera setup and turntable moving part which is the base of object. Second, we introduced the process of scanning 3D data with software and analyzed the resulting scanned image on the web server. Last, we made the 3D scanning embedded device with 3D printing model and experimented the 3D scanning performance with Raspberry Pi.