• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제16권6호
• /
• pp.637-647
• /
• 2010

최근 임베디드 시스템은 운영체제를 포함하는 복잡한 소프트웨어 계층 구조를 가지는 형태로 발전하고 있다. 이러한 소프트웨어의 성능을 분석하기 위해서는, 한 소프트웨어 계층에서의 성능 뿐 아니라 전체 소프트웨어 계층 구조를 모두 고려해야 한다. 본 논문에서는 리눅스 기반 임베디드 시스템의 모든 소프트웨어 계층 구조를 고려할 수 있는 성능 분석 도구를 설계하고 구현한 결과를 보인다. 제안하는 기법은 응용 프로그램이나 라이브러리에 대한 재컴파일 없이 모든 소프트웨어 계층의 성능 분석에 필요한 측정 정보를 수집한다. 이 기법을 통해 리눅스 기반 임베디드 시스템에서 응용 프로그램의 실행에 따라 발생하는 사용자 정의 함수, 미들웨어 라이브러리 함수, 커널의 시스템 호출, 커널 이벤트에 대한 다양한 성능 분석을 수행할 수 있다. 실험을 통해 본 연구를 통해 구현된 분석도구를 사용하여 실제 실행 경로 분석, 각 소프트웨어 계층의 함수나 이벤트의 소요시간 분석, 그리고 소프트웨어 계층간 실행 흐름 분석 결과를 확인할 수 있으며, 이를 통해 전체 소프트웨어 계층상의 성능 병목을 찾을 수 있음을 보인다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2008년도 춘계종합학술대회 A
• /
• pp.591-594
• /
• 2008

This paper explores how to characterise security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framework provides an explicit opportunity for software composers as well as software components to test a priori security properties of software components in a system composition. The proposed framework uses logic programming as a tool to represent security properties of atomic components and reason about their compositional matching with other components.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제32권7호
• /
• pp.592-600
• /
• 2005

프레임웍의 기능성을 철저하게 테스팅하기 위해서는 객체 지향 프레임웍의 재사용 시에 확장되는 가변 부위(hot spots)에 대한 체계적인 테스트 패턴 추출이 필수적이다. 본 논문에서는 프레임웍 가변부위의 설계 패턴을 분석하여 가변부위의 상호작용(interaction) 패턴으로부터 테스트 패턴을 추출하는 방법을 제안한다. 프레임웍 가변 부위의 설계 패턴에서 나타날 수 있는 객체들의 상호 작용은 상태도(statechart)로 표현되며, 표현된 상태도는 테스트 패턴 및 테스트 케이스를 생성하는데 사용된다. 생성된 테스트 패턴은 프레임웍을 확장하여 만들어진 어플리케이션들에 반복 적용되어 사용될 수 있다.

• 한국CDE학회논문집
• /
• 제10권5호
• /
• pp.349-355
• /
• 2005

This paper concerns about how and why design frameworks for optimization should consider various software development environments such as MATLAB, VB, VBscript, Python, Tcl, PHP, Perl, and JAVA. The frameworks can be utilized by many engineers who have a basic concept about the optimization theory and/or basic knowledge about the computer programming languages. The framework will integrate a number of remote CAE tools, automatically execute them for design optimization, and have the capabilities of post-processing of data such as objective functions, state variables and design variables using a third-party spreadsheet program like Excel. The prototype framework developed in this study will be applied to various examples of optimization problems and show the validity of the proposed method of a framework implemenation.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2012년도 학술발표회
• /
• pp.39-39
• /
• 2012

Data assimilation techniques have received growing attention due to their capability to improve prediction in various areas. Despite of their potentials, applicable software frameworks to probabilistic approaches and data assimilation are still limited because the most of hydrologic modelling software are based on a deterministic approach. In this study, we developed a hydrological modelling framework for sequential data assimilation, namely MPI-OHyMoS. MPI-OHyMoS allows user to develop his/her own element models and to easily build a total simulation system model for hydrological simulations. Unlike process-based modelling framework, this software framework benefits from its object-oriented feature to flexibly represent hydrological processes without any change of the main library. In this software framework, sequential data assimilation based on the particle filters is available for any hydrologic models considering various sources of uncertainty originated from input forcing, parameters and observations. The particle filters are a Bayesian learning process in which the propagation of all uncertainties is carried out by a suitable selection of randomly generated particles without any assumptions about the nature of the distributions. In MPI-OHyMoS, ensemble simulations are parallelized, which can take advantage of high performance computing (HPC) system. We applied this software framework for several catchments in Japan using a distributed hydrologic model. Uncertainty of model parameters and radar rainfall estimates is assessed simultaneously in sequential data assimilation.

• ETRI Journal
• /
• 제25권6호
• /
• pp.423-436
• /
• 2003

This paper describes our design of a contents distribution framework that supports transparent distribution of digital contents on the Internet as well as copyright protection of participants in the contents distribution value chain. Copyright protection must ensure that participants in the distribution channel get the royalties due to them and that purchasers use the contents according to usage rules. It must also prevent illegal draining of digital contents. To design a contents distribution framework satisfying the above requirements, we first present four digital contents distribution models. On the basis of the suggested distribution models, we designed a contract system for distribution of royalties among participants in the contents distribution channel, a license mechanism for enforcement of contents usage to purchasers, and both a packaging mechanism and a secure client system for prevention of illegal draining of digital contents.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제9권3호
• /
• pp.241-253
• /
• 2003

SDR(Software Defined Radio, 소프트웨어 기반 무선 통신) 포럼에서 표준으로 인정된 SCA(Software Communication Architecture)는 내장형 시스템 소프트웨어의 설계 패턴을 잘 활용한 프레임워크를 제공하고 있다. 그러나 SCA는 (1) 컴포넌트 인터페이스를 표현하고 이를 구현하는 방법에 대하여 정의하는 컴포넌트 모델과 (2) 배치 단위에 무엇을 어떻게 패키지할 지에 대하여 정의하는 패키지 모델, 그리고 (3) 배치 환경과 절차를 정의하는 배치 모델에 대한 명시적인 표준을 제시하지 않고 있어 컴포넌트 프레임워크로서 부족한 문제점이 있다 본 논문에서는 SCA를 기반으로 하여 SDR을 위한 컴포넌트 프레임워크를 제시한다. 구체적으로 (1) 객체 관리 기능을 지원하는 특성화된 CORBA 객체로서의 컴포넌트를 정의하는 컴포넌트 모델, (2) SCA의 XML 디스크립터를 활용하는 패키지 모델, (3) SCA 기반의 배치 환경, 배치 상태를 복구하는 시동 절차, 느린 응용 인스턴스화와 동적 컴포넌트 교체를 지원하는 배치 절차를 정의하는 배치 모델을 제시한다.

• 산업경영시스템학회지
• /
• 제40권4호
• /
• pp.55-66
• /
• 2017

Korean small and medium sized software companies have tried to export their solutions or services to overseas markets. In 2016, exports of the software industry increased by 6.0% from the previous year, and the value added of the industry was 2.2 times higher than that of the manufacturing industry. From a long-term perspective, it is important to secure a global competitive advantage in order to sustain the export high value-added of the software industry. The obstacles to entry into the overseas market of small to medium enterprises are as follows: first, difficulty in product development and localization of marketing; second, lack of investment for overseas expansion; and finally, competitiveness of software technology. In particular, To overcome such obstacles, Korean small and medium sized software companies should increase the technical perfection and secure software export competitiveness. The paper presents a payment settlement framework enabling adaptive reuse and semiautomatic development of global payment settlement services. The quantitative and qualitative evaluation results are presented with domestic and overseas case studies as follows: Firstly, semi-automatic development is realized successfully by applying the framework. Secondly, it is possible to maintain consistent quality of software and to deliver maintenance services without relying on the internal human resources. Thirdly, it is possible to reduce the project duration of the same development cope to less than 50% by applying the framework. Finally, because it is based on BPMN 2.0, which is a high level design diagram, it is expected that it will be easy to implement through components connection and reduce difficulties in technology transfer and localization. Also, at the time of runtime operation, it will be effective to understand the design idea easily and to carry out additional developments without human resource who participated in the initial project.

• Nuclear Engineering and Technology
• /
• 제46권1호
• /
• pp.47-54
• /
• 2014

The protection of nuclear safety software is essential in that a failure can result in significant economic loss and physical damage to the public. However, software security has often been ignored in nuclear safety software development. To enforce security considerations, nuclear regulator commission recently issued and revised the security regulations for nuclear computer-based systems. It is a great challenge for nuclear developers to comply with the security requirements. However, there is still no clear software development process regarding security activities. This paper proposes an integrated development process suitable for the secure development requirements and system security requirements described by various regulatory bodies. It provides a three-stage framework with eight security activities as the software development process. Detailed descriptions are useful for software developers and licensees to understand the regulatory requirements and to establish a detailed activity plan for software design and engineering.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제34권8호
• /
• pp.763-771
• /
• 2007

오늘날 소프트웨어가 다양한 환경에서 광범위하게 사용됨에 따라 적응형 소프트웨어에 대한 요구가 증가하고 있다. 적응형 소프트웨어는 환경의 변화에 반응하여 스스로의 행동을 변화시키는 견고하고 유연한 소프트웨어이다. 그러나 환경으로부터 상황 정보를 획득하는 데 있어서의 시간 제약이나 계산복잡도가 높은 등의 어려움으로 인해, 실제 구현 시 보다 획득이 쉬운 데이타로 환경을 한정하는 경우가 많다. 따라서 본 연구에서는 충분한 복잡도를 지니면서 획득이 쉬운 평면 영상을 환경으로 가정, 상황 정보를 획득하고 행동 규칙 정보를 바탕으로 추론하여 행동하는 적응형 소프트웨어의 프레임워크를 제안한다. 이를 바탕으로 간단한 게임을 자동으로 조작하는 소프트웨어를 구현하였다.