• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.42 no.5
• /
• pp.398-405
• /
• 2014

Recently the embedded software has been widely applied to the safety-critical systems in aviation and defense industries, therefore, the higher level of reliability, availability and fault tolerance has become a key factor for its implementation into the systems. The integrity of the software can be verified using the static analysis tools. And recent developed static analysis tool can evaluate code integrity through the mathematical analysis method. In this paper we detect the autocode error and violation of coding rules using the formal verification tool, Polyspace(R). And the fundamental errors on the flight control law model have been detected and corrected using the formal verification results. As a result of verification process, FBW helicopter control law autocode can ensure code integrity.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.15 no.7
• /
• pp.4536-4544
• /
• 2014

This paper proposes a development tool to efficiently develop node software for various operating system platforms in a sensor network. The proposed tool consisted of several modules, such as writing graphical model diagram, PIM and PSM design, code generation, and deployment file generation. Through the proposed tool, the users can graphically draw a sensor network model and design the PIM and PSM of the node software by setting the values of the predefined attributes. The source code of the node software is generated automatically from the PSM using the code templates of the target platform. The deployment files for installing node software on each node are generated automatically. The proposed tool helps the users to develop node software easily for a range of target platforms, even though they do not have details of the low-level information for a sensor network.

• Journal of KIISE
• /
• v.44 no.12
• /
• pp.1307-1312
• /
• 2017

Due to their convergence with state-of-the-art ICT technologies, the complexity and reliability demands of industrial automation systems have been rapidly increasing. In recent years, to cope with these demands, several research works have been carried out to adopt formal methods to the application development cycle at the early design stage. In this paper, we propose an automated code generation framework for industrial automation applications, based on a timed automata model. As a case study, we developed a formal model for a traffic light control system and verified the timing properties described in the specification. We finally demonstrated that the operation of a test-bed based on the auto-generated native code was identical to that of the model specification.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1998.05a
• /
• pp.285-290
• /
• 1998

본 논문은 David Harel이 제안한 Statechart based Formalism과 Statemate MAGNUM toolset을 이용하여 월성 원전 2/3/4호기 증기발생기 수위로 인한 원자로 정지를 activity chart 및 Statechart로 모델링하고 K&R C 코드를 자동으로 생산하였다. 이는 종전의 몇몇 소프트웨어 전문가에 의해서 개발될 수 밖에 없었던 원전 필수만전(Safety-critical) 소프트웨어를 정형화된 Computer Aided Software Engineering 도구를 활용하여 소프트웨어 생명주기중 요구사양명세 및 설계까지만 수행하고 그 이하는 모두 자동으로 생산하는 소프트웨어 공학의 핵심기술을 연구한 것이다. 자동으로 생산된 K&R C 코드는 품질이 우수하고 생산성이 높으며 이식성이 뛰어남을 확인할 수 있었다.

• Journal of the Korea Society of Computer and Information
• /
• v.8 no.4
• /
• pp.28-34
• /
• 2003

ASN.1 is the most fundamental technology in network management. The develoment of ASN.1 environment requires three steps : compiler work to parse ASN.1 languages, updating database with the parsing results, and pretty-printing work for data in the database. This paper presents the design and implementation of the translator which automatically translates the specification of ASN.1 to the object-oriented language C++. This system provides a total environment including for various graphic user interface, DB interface, browser to develop ASN.1 for development environment of ASN.1 For the implementation, Objectivity DB is used for database, flex and yacc for compiling, and Tcl/Tk for user interface.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10b
• /
• pp.433-435
• /
• 2004

소프트웨어 프로덕트 라인은 핵심 소프트웨어 자산의 개발을 위한 도메인 공학과 실제 소프트웨어 부품을 조립하여 구체적인 소프트웨어 시스템을 개발하는 응용 공학을 포함한다. 소프트웨어 프로덕트 라인 구축 시 가장 중요한 점은 특정 도메인에 존재하는 가변성(variability)을 지원할 수 있어야 한다는 것으로, 재사용자의 목적에 따라 효율적으로 소프트웨어를 맞춤 생산할 수 있는 컴포넌트 재구성성(reconfigurability)이 핵심 요소라 할 수 있다. 본 논문에서는 재사용자가 선택한 특성 구성을 바탕으로 계층 구조 조립 자동화를 통해 컴포넌트 코드를 자동 생성하는 도구를 구현하였다. 이를 위하여, 컴포넌트 패밀리의 특성 모델에서 표현되는 차이점에 따라 계층 구조의 각 컴포넌트들이 조립되도록 XSLT 스크립트를 사용하였다. 특성 모델과 XML/XSLT 기술을 이용하여 컴포넌트 코드 생성 시에 재구성성을 지원하고 재사용자의 요구에 맞는 컴포넌트 소스 코드를 자동 생성함으로써 소프트웨어 프로덕트 라인 개발 생산성을 향상시킨다.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.12
• /
• pp.3138-3150
• /
• 1998

정보통신용 소프트웨어 개발은 대용량, 고신뢰도, 고복잡도, 이질성 및 분산 환경이라는 특징을 가지고 있다. 이러한 시스템을 개발함에 있어서 개발 품질 및 적정 비용을 유지하기 위해서는 향상된 정형명세 기법과 이러한 기법을 지원하는 도구가 필수적이다. ISO 표준 정형 명세 언어인 LOTOS는 사용자의 요구사항이나 시스템 모형을 추상적이고 정형적으로 작성할수 있도록 한다. 반면, 명세로부터 구현을 직접 도출하기는 쉽지 않다. 본 연구는 LOTOS 명세 언어로 작성된 명세로부터 C++ 코드를 자동 생성하여, 이를 PC 플랫폼상에서 실행하는 동작 모형을 통하여 시스템의 기능적 요구사항의 오류를 초기에 검출할 수 있는 프로토타이핑을 지원하는 LOTOS/C++ 코드 생성기(code generator)를 개발하는 것이다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.10a
• /
• pp.331-334
• /
• 2001

생산성 있는 소프트웨어 개발 및 관리를 위한 기술적, 산업적 전략은 웹 환경 하에서 컴포넌트 기반의 소프트웨어 개발(CBD : Component Based Development)로 점차 귀결되고 있다. 나아가 정보 공유의 투명성이나 비즈니스 로직의 독립적 패키징과 같은, 이 두 개의 기술들이 개별적으로 가지는 특성과 장점들을 결합한 웹 서비스로 전환되고 있다. 따라서 컴포넌트 중심의 웹 서비스를 위한 인프라 환경의 지원이 무엇보다 중요하게 되었다. J2EE는 이러한 요구를 수용하기 위한 가장 표준화된 플렛폼 중의 하나로, 다중 계층의 엔터프라이즈 솔루션을 위한 간단한 개발과 전개, 관리 방식을 보장한다. 본 논문에서는 CBD의 완성을 위한 실제적인 접근으로서 J2EE 환경의 EJB 컴포넌트를 위한 코드 자동 생성 도구를 개발한다. 이를 위해 EJB 컴포넌트를 구성하는 코드의 속성들을 분석하여 보편적인 EJB 컴포넌트의 템플리트를 설계하였다. 또한 도구 구축의 과정에서 세부적인 EJB 생성기의 구조와 기능적 특성을 명시화하고 개발에 필요한 EJB 컴포넌트 정보를 정의, 분류하였다.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.24 no.6
• /
• pp.685-690
• /
• 2011

This paper describes a seismic analysis of chemical pump using automated mesh generation system. The use of an automated analysis system, involving FE codes together with CAD systems and FE pre- and post-processors, has provided an important step towards shortening the design process and structural optimization. The FE model, which is a FE mesh accompanied with the analysis condition, is automatically converted from the analysis model. The FE models are then automatically analyzed using the FE analysis code. This integrated FE simulation system is applied to an analysis of three-dimensional complex solid structures such as a chemical pump.

• Journal of KIISE:Computing Practices and Letters
• /
• v.10 no.1
• /
• pp.114-124
• /
• 2004

In this paper, we present an automatic C source code generation system for DirectShow based multimedia application programming. In this system, C source code is automatically synthesized from the filter connection graph edited with GraphEdit, a utility tool provided with DirectShow SDK package from Microsoft. In traditional DirectShow programming environments, program design and brief testing steps are usually done with GraphEdit tool just by inserting filters and connecting them properly, while actual implementation of the program should be done separately. The filter connection graph information from GraphEdit is used just as a reference in such the implementation step. Therefore, our system which automatically generates C source code directly from the filter connection graph of GraphEdit seems very useful and many programmers can develop DirectShow based multimedia application programs more effectively and quickly using our system. In addition, our system supports more various media stream control functions for the generated application programs than the existing system such as Wizard which supports limited and fixed number of media control functions only. This feature allows more flexibility in the user interface of the generated source program and makes our system more practical for DirectShow based programming.