Robert Young Chul Kim

Adapting Model Transformation Approach for Android Smartphone Application

The current smart phone applications are developed subordinately to its platform. In other words, applications are developed according to its own unique platform by each relevant vender, such as Cocoa for Apple, Android for Google and Windows Mobile for Microsoft. This paper suggests adapting the whole process of MDD (Model Driven Development) for the development of heterogeneous smart applications. Our proposed MDD is composed of Model-to-Model Transformation, which separates the independent from the dependent platform and transforms the independent model to the dependent model through rules on model transformation, and Model-to-Text Transformation, which forms codes from each dependent model. Model, metamodel and model transformation language are required to achieve Model-to-Model Transformation while model, metamodel and code template are needed for Model-to-Text Transformation. UML model, UML metamodel, ATL model transformation language and Acceleo code generation language also are adapted MDD in smart phone development environment. This paper also mentions a case of applying MDD in SnakePlus game.

Semi-automatic Software Development Based on MDD for Heterogeneous Multi-joint Robots

It might be necessary to develop the multi-joint robots that can work very dedicated movable like a kind of unmanned ground vehicles on very complicated and hazardous environments. These typed robots might be difficultly so controlled and developed that they should control plenty of servo-motors and also diverse hardware. It will be very hard to reuse the software source codes associated with these own robots, much less for heterogeneous ones. It is very difficult to develop heterogeneous multi-joint robots. So we propose the semi-automatic software development based on MDD (model driven development) for heterogeneous multi-joint robots.

A Study on Test Case Generation Based on State Diagram in Modeling and Simulation Environment

In the conventional tests, test case is generated in the design stage. However, actual test can be executed after its embodiment. As there is as much time difference between the design and execution of the test, the errors in the designs of test and software are checked out late. This paper is proposing the test case generation method so as automatic test can be carried out in the virtual simulation environment. The method proposed generates the test case automatically based on the state diagram and executes it in the virtual simulator. It can reduce the time difference between the design and execution of test, accordingly, to find out the error in the test case and problems in the design promptly. As a result, it can identify the error in the beginning stage of software development and save the time and expense need for the development.

Design of Code Template for Automatic Code Generation of Heterogeneous Smartphone Application

Development of heterogeneous application becomes an issue recently as of the diversification of smartphone platform. It is possible to develop heterogeneous smartphone application when using the e-MDD (Embedded Model Driven Development). While e-MDD is divided into Model-to-Model and Model-to-Text transformations, we have been converting target independent model to the target dependent model using the Model-to-Model transformation in the past. This paper is regarding the creation of code for target dependent model mentioned in the above using the Model-to-Text transformation. Template-based approach has been used for the creation of code. Code template has been made for Windows Mobil and Android as an example of application, and the code was created using Acceleo.

User Behavior Analysis Framework (UBAF) : Mapping HCI with SE

This paper suggests to mapping HCI (human computer interface) with SE (software engineering) for developing the new coming ubiquitous related systems or appliances against the current existing system developments. To do this, we propose the user behavior analysis framework (UBAF) to develop the future ubiquitous products of new paradigm through the user behavioral analysis before the requirement stage of software development activities. To illustrate the proposed approach we show one case study.

Metamodel Design for Model Transformation from Simulink to ECML in Cyber Physical Systems

It popularly uses Simulink to design embedded system on Model oriented design platform, and to simulate dynamic system for multi-domain simulation. So, Electrics Telecommunication Research Institute (ETRI) is researching for model transformation from Simulink model to ECML model for Cyber Physical Systems Project. This paper shows how to transform Simulink model to ECML model. We propose an automatic transformation method to transform ECML model from Simulink model based on model transformation technique that is very useful mechanism for heterogeneous model. And, we also design each metamodel of Simulink and ECML. With these metamodels of them, it easily execute model transformation even with models of any vendor’s tools.

A Test Management System for Operational Validation

NMS (Network Management System) is a central monitoring system that can manage equipment on network environments. This should be used for efficient and centralized management of network equipment. On NMS, it enables the real-time transmission and monitoring of the data on states, problems, composition, and statistics of equipment that make a network. But we need to verify whether it works on operations or functions of NMS operations or not. To do this, this paper suggests a test management system for the efficient verification of NMS environments. In order to develop a test management system, requirements from each NMS shall be extracted, and designed and materialized based on them. The suggested system enables efficient test management, result analysis, and comparative verification of test versions.

A Method of State Addreviation for Verification of Class Model

The Software defect management has become a critical issue with its increasing importance in sensor networks area. In this paper, it focuses on black box approach. Software defects can be found through model based testing. A state diagram is a good dynamic model that can test such a logical error of execution. However, the state diagram has a problem of complexity on the existing states and transitions. It is necessary to derive a state diagram in state based testing and find a method to solve its complexity problems. In order to use state diagram in software testing, its complexity has to be solved without the change of state and transition. This paper suggests a new notation called STMT (State Transition Mapping Tree) to solve the derived complexity without changing the state or transition. It also proposes an STMT automatic generation technique to derive a state diagram from a Java source code automatically. The suggested diagram can improve complexities partially, compared with UML state diagram.

Design and implementation of a remote control for IPTV with sensors

Existing TV remote controls using relative coordinates have some difficulties in selecting various types of IPTV content. This paper proposes an absolute coordinates based remote control to make the selection of IPTV channels more convenient. It uses a laser pointer to point at an IPTV, a camera mounted the remote control to locate the spot pointed at, and control software to calculate the absolute coordinates of the spot pointed to on the screen.

A Study on UML Model Convergence Using Model Transformation Technique for Heterogeneous Smartphone Application

Smart phones have various types of platform such as Android, Cocoa touch, and Windows Phone. As software is developed in one specific platform, it is impossible to use this software on different platforms. To solve this problem, this paper suggests UML model convergence with model conversion method to develop heterogeneous software per each platform. The suggested method consists of two stages: one TIM(target independent model) stage to abstract a model independent on the particular platform and other TSM(target dependent model) stage to convert the independent model into several target models based on the Model-to-Model transformation method. As a case study, a calculator model on Android oriented Platform is converted into another model on Windows oriented Platform.