logo
logo

Projects

Project Name: Cyber-Physical System

Research content : On-the-fly verification of Cyber-Physical System.

Grand : Korea National Research Foundation

Research period: Sep 2018 – Sep 2023

Project Name: Development of Refactoring Techniques and Supporting Tools for Low-Power     Software Development in Mobile Environment.

Research content : Development of refactoring technique and support tool for low power software  development in mobile environment

Grand : Korea National Research Foundation

Research period: May 2014 – April 2017

Project Name:SW basic source technology development business

Research Content: Study on management and evaluation system reflecting characteristics of SW research and development

Grand : Future Creation Science Division

Research period: July 2010 – June 2015

Project Name: Embedded Software Development Technique to Ensure Energy Efficiency of Smartphone Embedded Application Software

Research content :Embedded software development technique to guarantee energy efficiency of smartphone embedded application software

Grand : Korea National Research Foundation

Research period:May 2011 – April 2014

Project Name: Software Model Based Low Power Design Alternative Analysis Technique for Robot Application

Research content : Development of a technique to simulate alternative analysis of power consumption using object-oriented design model

Grand :Korea Science and Engineering Foundation

Research period: September 2008 – August 2011

Project Name: Low power embedded software development framework based on reusable components

Research content : Development of a component description language that considers power consumption and a method to utilize it in reuse-based software development

Grand :Korea Science and Engineering Foundation

Research period: November 2008 – October 2009

Project Name: TRC-SPIC, Software Process Improvement Technology Research

Research content : Process modeling and quantitative process analysis for software process  improvement

Grand : ITRC-SPIC, KAIST

Research period: September 2005 – December 2009

Project Name: Build interchangeability test evaluation procedure / method and test bed.

Research content : Development of procedures and test techniques for evaluation of interchangeability test of defense weapon system / non-weapon system

Grand : Ministry of National Defense Information Planning Office

Research period: April 2008 – September 2008

Project Name: Software process evaluation model and operation plan development

Research content : Korean evaluation model, evaluation method, and activation plan for software process improvement

Grand : Korea Software Development Agency

Research period: August 2006 – December 2007

Project Name: Development of adaptive documentation system for project management.

Research content : Development of adaptive documentation guidelines for software technology information management

Grand : Chungbuk IT-NURI

Research period: December 2005 – May 2006

Project Name: Mobile Business Solutions, M-CRM

Research content : Embedded software development of portable terminal for customer relationship management (CRM) based on WAP or WIPI

Grand : Small-Medium Business Administration

Research period: July 2005 – April 2006

Project Name: Developed embedded S / W design and verification technology for MPSoC

Research content : Simulation and code generation of embedded software modeling technique to develop software for SoC with multiprocessor Research on technique

Grand : Ministry of Information and Communication Leading Technology Development   Project (Seoul National University)

Research period: March 2005 – February 2008

Project Name: High-end equipment demand analysis and technology trend analysis

Research content : What is high-end equipment required by industry in IT and BT industries in Chungbuk area, and what is the trend of technology using them?

Grand : Chungbuk Techno Park

Research period: October 2004 – February 2005

Project Name: Analysis of technology and market trend for automatic generation of Embedded S / W source code

Research content : Identify the technologies required for the automatic generation of the source code of the embedded software, analyze them, and evaluate the future embedded software Technical Prediction for Source Code Generation.

Grand : ETRI (Korea Electronics and Telecommunications Research Institute)

Research period: September 2004 – December 2004

Project Name: CMMI-based software development process innovation

Research content : To systematically establish the development process for software development and operation, Research to support quality improvement

Grand : Dongwon Securities System Development Department

Research period: February 2003 – August 2004

Project Name: Reverse engineering and quality improvement for automotive embedded software

Research content : Extraction of design information through reverse engineering of control software embedded in automobile and embedded software by structural methodology Establish development method

Grand : Daewoo Precision Battlefield Division

Research period: March 2003 – November 2003

Project Name: Process improvement based on SW-CMM

Research content : In order to systematically establish the development process for financial software, project size estimation method and software development methodology  Research and application methods

Grand : First Bank System Support Department

Research period: December 2002 – October 2003

Project Name: Embedded software analysis and design dedicated to avionics

Research content : Analysis and design of software to be embedded in support equipment of electronic obstacle equipment mounted on an aircraft.

Grand : Agency for Defense Development

Research period: February 2000 – November 2002