• Journal of the Korea Institute of Military Science and Technology
• /
• 제17권2호
• /
• pp.213-222
• /
• 2014

In this paper, we introduce that MAAB style guideline has effects on the codes generated from Simulink models for static and dynamic software testing, when weapon system embedded software design and implementation are performed using the model based method. As showing the effects, MAAB guideline is helpful for defect prevention related with coding rules and run time errors associated with the DAPA weapon system embedded software guide. Thus, we check related items between MAAB and DAPA software reliability testing including static and dynamic analysis. And then we propose the criterion to select proper items from MAAB for DAPA guideline and show how to verify the relationship and the effects on reliability of models in Simulink. In addition, we show the needs for clear logics in conditional block models or statements and simple complexity models for Simulink model based design.

• Proceedings of the IEEK Conference
• /
• 대한전자공학회 2008년도 하계종합학술대회
• /
• pp.773-774
• /
• 2008

As an Embedded system get more complicated, the importance of the software test increases. Especially it is mandatory to test the embeded software for a charge degrade of the development company which is happened due to the error, a danger element clearance to the customer, a performance enhance of the system. In this paper, we propose efficient test method which discovers the bug an embedded system using suitable test case selection and automation test.

• The KIPS Transactions:PartD
• /
• 제15D권6호
• /
• pp.785-792
• /
• 2008

In spite of the various techniques on the testing of embedded software, operation failures of embedded systems such as robot or satellite applications, are occurred frequently. The critical reason of these failures is due to the fact that software is embedded into a target system with inherent faults. Therefore, in order to prevent the failure owing to such faults, it needs a technique to test the embedded software which operates in real environment. In this paper, we propose a testing technique, aspect-based On-the-Fly testing that is to test the functionality and performance at real operation time. Our proposed technique gives some benefits of real test of unexpected input conditions, prevention of software malfunction, and reusability of aspect components for the testing.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2003년도 ICCAS
• /
• pp.2116-2120
• /
• 2003

A frame buffer device is an abstraction for the graphic hardware. It allows application software to access the graphic hardware through a well-defined interface, so that the software doesn’t need to know anything about the low-level interface stuff. We develop a frame buffer driver for VIA’s CLE266 graphic system based on ‘Qplus’, an embedded linux operating system developed by ETRI. Then, it will be seen that our frame buffer system is applied to embedded solutions such as movie player and X server successfully.

• Journal of Internet Computing and Services
• /
• 제9권5호
• /
• pp.59-72
• /
• 2008

Computing systems in the modern era are expanding rapidly to include mobile-based businesses that make us of the various convergence distributed business process. This has lead to growing interest in the field of mobile embedded software development methodology, which has in turn lead to the proliferation of the embedded mobility. The use of CBD (Component Based Development) provides reusability, maintainability and portability, all of which are very important and focus issues to the business process. It also comes with the inherent productivity, quality and reliability of CBD. To make efficient use of CBD, though, clarified interface definitions for component integration are necessary. These definitions should be made up of collaborative hierarchical and horizontal architecture layers. Successful definitions should apply an effective framework made up of the architecture and process. In this paper, we describe an interface specification for small grained mobile embedded components(MEC) for the mobile embedded domain to meet maximum user requirements. We build and deploy the reconfigurable design patterns and components (in business domain categories) to make a component hierarchy and business logics for mobile embedded software. Proposed components specification plays a major role in development of the software for handling inconsistency in existing specification. It also includes plenty of specification information, using semantics and modeling based mechanisms to support business processes. We propose a development model of mobile embedded software using CBD for very complex and dynamic mobile business. We can apply it in a plug and play manner to develop the software. We verify that our framework supports very good productivity, quality and maintainability to meet the user's requirements in mobile business.

• Journal of Korea Multimedia Society
• /
• 제12권2호
• /
• pp.231-243
• /
• 2009

Currently interests of embedded software in various areas such as automotive field, ship field, robot field is increasing according to expand market of embedded systems. Various researches such as embedded operating systems, embedded software modeling technique, embedded software testing, and so on are going in progress. However systematic engineering approach in embedded system development is poor because embedded areas focus on hardware parts until now. Furthermore, framework-based de sign technique considering reusability is not reflected in embedded system development. Those development results in many of dead codes scattered in system, and results in poor reusability of system. This paper suggests a framework of embedded system for reusability and a static meta-model for reuse framework. Proposed meta-model expresses not only the structure of reuse framework, but also allows a designer to extend and design easily models of embedded system based on reuse framework according to various embedded system types.

• The Korean Journal of Applied Statistics
• /
• 제28권6호
• /
• pp.1257-1273
• /
• 2015

The development process of Embedded Software (SW) is gathering interest due to the increased importance of SW in mobile products. According to tough competition and the growing size of the Embedded SW, there is a demand for a new effective way to improve the SW development process, based on customer and market quality aspects, rather than focusing on defect removals in individual SW modules. We review 103 SW improvement projects from the area of mobile phones in order to check the effectiveness of Six Sigma which is the standard for the process improvement statistical tools and methods.

• The KIPS Transactions:PartD
• /
• 제16D권6호
• /
• pp.871-880
• /
• 2009

Along with the complexity and size growth of embedded software, it is critical to meet the nonfunctional requirements such as power consumption as well as functional requirements such as correctness. This paper, apart from the existing studies of source code-based power analysis, proposes an approach of model-based power analysis using UML 2.0. Specially, we focus on the development of energy library to analyze the power consumption of embedded software. Our energy library supports model-based power analysis, and also supports the easy adaption for the change of embedded application.

• Proceedings of the Korean Institute of Communication Sciences Conference
• /
• 한국통신학회 2004년도 추계종합학술대회 논문 초록집
• /
• pp.254-254
• /
• 2004

• 한국IT서비스학회:학술대회논문집
• /
• 한국IT서비스학회 2003년도 추계학술대회
• /
• pp.233-240
• /
• 2003

To develop high-quality software systems satisfying the customer's needs, user-centered design (UCD) process has been emphasized in the area of human-computer interaction. And component-based development (CBD) has been extensively studied to realize a systematic software reuse, thereby reducing the time-to-market and the development cost. Balanced integration of user-centered design process and CBD process will be a promising way for successful software construction, which effectively achieves three goals: the quality of software, the cost of software development, and the time-to-market. However, traditional CBD methodology seems to lack the concept of user-centered design process and the relevant methods. This paper proposes a way of incorporating user-centered design process into a CBD methodology. Firstly, this paper gives the brief introduction of UCD. Secondly, we explain typical UCD activities and methods along the phase of systems development lifecycle and propose the use of usability maturity model (UMM) for integrating UCD activities and methods with those of CBD methodology. Finally, as a case study, we describe the results of comparing the UCD activities to the activities of MaRMI-III, which has been developed as a CBD methodology at ETRI.