• Asia pacific journal of information systems
• /
• 제20권2호
• /
• pp.87-101
• /
• 2010

Software as a service (SaaS) is one of the most-talked about trends in IT. Unlike traditional perpetual licensing model, software applications are sold on subscription bases and services are provided over web by the vendors. It is said that SaaS can make vendors to invest more on R&D than on marketing while offering its customers better quality software applications at lower costs. By empirically comparing vendors providing their software applications either by SaaS or by traditional perpetual licensing model, we examine whether or not SaaS really increases overall customer benefits in terms of cost efficiency, software quality, and customization. We show that SaaS may not provide better quality or cost efficient software applications than perpetual licensing does. Then we provide two practical tools which are useful for customers to evaluate whether SaaS is better than perpetual licensing for the purposes of software applications they want to adopt.

• 한국정보기술응용학회:학술대회논문집
• /
• 한국정보기술응용학회 2005년도 6th 2005 International Conference on Computers, Communications and System
• /
• pp.39-44
• /
• 2005

In recent years, embedded systems have become so complex and the development time to market is required to be shorter than before. As embedded systems include more functions for new services, embedded software gradually grow in size, and development costs and time are increasing. In order to overcome this serious matter, we need a customized design and test technique for embedded software. In this paper, we present a software architecture style for embedded software. It facilitates the composition of reusable functions and helps developers to reduce development time. Because the costs associated with revealing errors of embedded software in applications are rising. we propose a test method and tools for target environments.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2007년도 춘계학술대회 논문집
• /
• pp.272-279
• /
• 2007

Recently, train control system is adopting computer system replacing mechanical system and its software is taking more responsibility than ever. Train control system software is a safety-critical embedded software with realtime and high reliability requirements. In this paper, we propose a safety assessment method for the train control system software. We review characteristics of train control system software and analyze related international software safety standards to derive requirements for safety assessment. Testing tools used for embedded software are surveyed to find a feasible safety assessment architecture. The proposed safety assessment method is to use safety activity results generated during development processes and feed them to the runtime embedded software testing tool.

• 로봇학회논문지
• /
• 제5권2호
• /
• pp.169-176
• /
• 2010

Robotic software has been dramatically complicated as performing intelligent service tasks. These types of robots demand a very powerful software framework to make them easy. Robotic software framework means an integrated software environment that simplifies jobs of robotic software engineer by providing tools, reusable components, and runtime environments. Finally it reduces the project cost. There are lots of works related with them. Among them we focus on five frameworks that are MSRDS, ERSP, OROCOS, OpenRTM, and OPRoS. In terms of intelligent service robot, the study on robotic software frameworks is very important. And outlook on them is also very important in the sense of that the robotic software frameworks should be used to initiate service robot market.

• 서비스연구
• /
• 제8권1호
• /
• pp.59-72
• /
• 2018

서비스 관점에서 국제표준기구가 요구하는 수준의 인증 서비스를 SW 개발과정에 도입하는 것은 매우 중요하다. 그 이유는 우리 산업에서 ICT가 차지하는 비중이 매우 높을 뿐만 아니라, ICT 관련 SW에 대한 국제적인 수준의 인증은 필수적이기 때문이다. 그리고 이를 위해서 ADONIS와 같은 과학적이며 체계적인 도구를 기반으로 한 인증 서비스가 절대적으로 요구된다. 본 논문에서는 이러한 시대적, 사회적 요구에 부응할 수 있는 하나의 새로운 방법 체계를 제시하였다. 이 체계는 우리 산업에 국제적인 수준에서 요구되는 SW의 안전성에 대한 인증 서비스를 제공하였고, 이러한 서비스는 다른 영역에도 적용될 수 있다. 이러한 체계를 설명하기 위해 EU우주항공국의 표준안 중 ECSS-E-40의 인증을 위한 서비스의 설계와 이에 대한 보증이 어떻게 이루어지는지 서비스 공학 측면에서 살펴보고, ADONIS를 통해서 보여주고자 한다. 본 논문은 E-40 표준안의 항목 중 SW의 명세와 검증에 관해 집중하며, 검증의 대상은 안전성(Safety)을 우선으로 한다.

• 트랜스-
• /
• 제8권
• /
• pp.55-78
• /
• 2020

대중음악 작곡가가 시도하는 다양한 작곡 방법 중에서도 DAW 소프트웨어를 통한 작곡 방법은 가장 많이 사용되는 방법일 것이다. 특히 K-POP 등의 상업 음악에 있어서 이러한 프로그램을 이용하여 작곡하는 비율은 절대적으로 높은 편이고, 이 과정에서 작곡가는 소프트웨어를 사용하기 전과는 전혀 다른 양상의 창작 과정을 거친다. 음악창작의 과정에서 DAW 소프트웨어의 사용자 인터페이스는 사용 편의성이나 시각적인 측면에서 작곡가의 창작 과정에 지대한 영향을 미친다. 본 연구는 Avid사의 Pro Tools에 나타난 UI에 내재된 특성을 음악창작 과정에서 미치는 실제적인 효과중심으로 분석한다. Pro Tools의 Edit Window에 나타난 UI 요소를 Grid, Track, Slip, Clip, Fade로 분류하여 각각을 모건의 예술 창작 과정의 네 단계이론을 통해 대입하는데, 이로써 DAW 소프트웨어의 시각적인 인터페이스가 어떻게 음악창작 현장에서 세부적으로 작용하는지 밝힐 수 있다.

• 한국정밀공학회지
• /
• 제20권1호
• /
• pp.229-239
• /
• 2003

The design process of machine tools is regarded as a sequential, discrete, and inefficient works as it requires various kinds of design tools and many working hours. This paper describes an integrated design system embedding a design methodology that can support efficiently and systematically the conceptual structural design of machine tools. The system is a knowledge-based design system and has four machine-tool-specific functional modules including configuration design, configuration analysis, structure design, and structural analysis support module. Through the configuration design and analysis module, a machine configuration appropriate for design requirements is selected, and then the arrangement of ribs fer each structural part is decided in the structure design module. Also, the structural analysis support module is used to evaluate design result by utilizing structural analysis software, ANSYS. The system is applied to design of a tapping machine, and shows that the machine structure can be designed fast and conveniently by processing each design step interactively.

• 한국생물정보학회:학술대회논문집
• /
• 한국생물정보시스템생물학회 2004년도 The 3rd Annual Conference for The Korean Society for Bioinformatics Association of Asian Societies for Bioinformatics 2004 Symposium
• /
• pp.13-20
• /
• 2004

Grid system has the potential to resolve the current need of bioinformatics for super-computing environment inexpensively. There are already several Grid applications of bioinformatics tools. To solve the real-world bioinformatics problems, however, the various integration of each tool is necessary in addition to the implementation of more basic tools. Workflow based problem solving environment can be the efficient solution for this type of software development. There are still heavy overhead, however, to develop and implement workflow model on current Grid system. He re we propose a model of simple problem solving environment that enables component based workflow design of integrated bioinformatics applications on Grid environment by using Condor functionalities. We realized this model for practical bioinformatics solutions of a genome sequence analysis and a comparative genome analysis. We implemented necessary bioinformatics tools and interfacing tools as the components, and combine them in the workflow model of each solution by using the tools presented in Condor.

• 전기학회논문지P
• /
• 제62권1호
• /
• pp.30-35
• /
• 2013

Many function of railway signalling system which is in charge of most core function in a railway system are being operated by the software according to the development of computer technology. Accordingly, the source code testing to verify the safety of the railway signalling system software becomes to be more important, and related international standards highly recommend verifications on the source code also. For this reason, several related studies on vital source code verification were executed from several years ago in Korea. This paper performed tests through the application to railway signalling system being applied to the existing actual domestic railway sites through automated testing tools for coding rules of signalling system software and another signaling system software under development in Korea recently, and analyzed their results.

• International Journal of Safety
• /
• 제3권1호
• /
• pp.38-46
• /
• 2004

This paper introduces the software life-cycle V&V (verification and validation) tasks for the KNICS (Korea nuclear instrumentation and control system) project. The objectives of the V&V tasks are mainly to develop a programmable logic controller (PLC) for safety critical instrumentation and control (I&C) systems, and then to apply the PLC to developing the prototype of an engineered safety features-component control system (ESF-CCS) in nuclear power plants. As preparative works for the software V&V, various kinds of software plans and V&V task procedures have been developed according to the software life-cycle management. A number of software V&V tools have been adopted or developed to efficiently support the V&V tasks. The V&V techniques employed in this work include a checklist-based review and inspection, a requirement traceability analysis, formal verification, and life-cycle based software testing.