• 한국항공우주학회지
• /
• 제42권5호
• /
• pp.398-405
• /
• 2014

내장형 소프트웨어 기술이 항공 및 방위산업과 같은 안전-필수 시스템에 적용됨에 따라 보다 높은 소프트웨어의 신뢰성이 요구되고 있다. 그 중에서 소프트웨어의 무결성은 주로 정적 분석 도구를 이용해 검증이 이뤄지고 있으며 최근에 개발된 정적 분석 도구는 수학적인 분석 방법을 통해 코드의 무결성을 평가하고 있다. 본 연구에서는 정형 검증 도구인 Polyspace를 이용해 자동코드의 결함을 검출하고, 코딩규칙의 준수 여부를 검증하였다. 검증된 결과를 바탕으로 결함을 가진 제어법칙 모델을 수정하여 코드 생성 이전의 원천적인 결함을 제거 가능함을 확인하였고 FBW 헬리콥터 제어법칙 자동생성코드의 무결성을 확보 할 수 있었다.

• 한국산학기술학회논문지
• /
• 제15권7호
• /
• pp.4536-4544
• /
• 2014

본 논문에서는 센서 네트워크에서 다양한 운영체제 플랫폼을 위한 노드 소프트웨어를 효율적으로 개발하기 위한 개발 도구를 제안한다. 제안하는 도구는 그래픽 모델 다이어그램 작성, PIM 및 PSM 설계, 코드 자동 생성, 배포 파일 자동 생성 등을 위한 모듈로 구성된다. 제안하는 도구를 통하여 사용자들이 전체적인 센서 네트워크 모델을 작성하고, 속성값을 설정함으로써 각 노드 소프트웨어에 대한 PIM과 타겟 플랫폼에 대한 PSM을 설계하면, PSM에 대한 정보와 타겟 플랫폼에 대한 코드 템플릿을 바탕으로 소스코드가 자동으로 생성된다. 그리고, 응용 소프트웨어 코드를 바탕으로 각 노드에 설치할 수 있는 배포파일을 자동으로 생성할 수 있다. 제안하는 도구는 사용자들이 센서 네트워크에 대한 low-level의 정보를 상세히 알지 못하더라도 손쉽게 다양한 플랫폼에 대한 노드 소프트웨어를 생성할 수 있도록 해준다.

• 정보과학회 논문지
• /
• 제44권12호
• /
• pp.1307-1312
• /
• 2017

ICT 기술과의 융합으로 인해 산업 자동화 시스템은 복잡도와 신뢰성 요구 수준이 급격히 증가하고 있다. 최근에는 이러한 요구에 대응하기 위해 응용 개발 초기 과정에서부터 정형 기법을 활용하는 연구들이 주목받고 있다. 본 논문에서는 산업 자동화 응용을 위한 타임드 오토마타 모델 기반 네이티브 코드 자동 생성 프레임워크를 제안한다. 사례 연구로 산업용 네트워크를 사용하는 신호등 제어 시스템을 모델링하고, 탑재되는 응용의 타이밍 속성을 검증하였다. 제안하는 프레임워크의 유효성을 검증하기 위해 자동 변환된 네이티브 코드를 사용하여 EtherCAT 네트워크 기반 테스트베드의 동작을 확인한 결과, 모델 명세와 동일하게 동작하는 것을 확인하였다.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1998년도 춘계학술발표회논문집(1)
• /
• 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 코드는 품질이 우수하고 생산성이 높으며 이식성이 뛰어남을 확인할 수 있었다.

• 한국컴퓨터정보학회논문지
• /
• 제8권4호
• /
• pp.28-34
• /
• 2003

ASN.1은 망 관리에 필요한 기초적인 제반기술이다. ASN.1의 개발에는 ASN.1 명세 언어를 파싱하는 컴파일러 작업과 컴파일 결과 생성된 자료들을 DB에 입력하고, 입력된 자료를 사용자에게 프리티프린팅하여 보여주는 작업이 요구된다. 본 논문에서는 ASN.1 명세를 객체지향 언어인 C++로 자동적으로 변환하여 주는 원시 코드 자동 생성기를 설계하고 구현한다. 이와 함께 ASN.1 개발환경에 필요한 그래픽 사용자 인터페이스, DB 인터페이스 및 ASN.1 브라우저를 포함하는 통합 환경을 제공한다. 본 시스템의 구현은 Objectivity 데이타베이스를 이용하였고, 컴파일러 작업에서는 컴파일러 보조 도구인 flex와 byacc을 이용하였으며, 인터페이스 언어로는 Tcl/Tk를 사용하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (2)
• /
• pp.433-435
• /
• 2004

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

• 한국정보처리학회논문지
• /
• 제5권12호
• /
• pp.3138-3150
• /
• 1998

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

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2001년도 추계학술발표논문집 (상)
• /
• pp.331-334
• /
• 2001

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

• 한국전산구조공학회논문집
• /
• 제24권6호
• /
• pp.685-690
• /
• 2011

본 논문은 자동요소생성 시스템을 이용한 화학적펌프의 지진해석에 대한 내용이다. 전처리시스템을 CAD시스템, 유한요소 코드와 통합시킨 자동화된 해석시스템은 구조물 최적화 디자인에 효과적으로 사용되어 진다. 해석조건이 수반된 유한요소모델은 자동적으로 해석모델로 부터 생성되어 진다. 또한, 유한요소모델은 해석코드에 의해 자동적으로 해석되어 진다. 이 통합화된 유한요소 시뮬레이션 시스템의 효용성을 화학펌프와 같은 3차원 복잡구조물에 적용하여 보았다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제10권1호
• /
• pp.114-124
• /
• 2004

본 논문에서는 DirectShow 프로그래밍의 주요 개발 도구인 그래프 에디터에서 작성된 필터 연결 그래프로부터 C 소스 코드를 자동 생성하는 시스템에 대한 설명한다. 기존의 DirectShow 프로그래밍 환경에서는 그래프 에디터를 이용한 프로그램 설계 및 실행 확인 작업과 실제 프로그램 코드를 작성하는 프로그램 개발 작업이 별도로 이루어진다. 이에 반해, 본 시스템을 사용할 경우, 멀티미디어 응용 프로그램 개발자는 소스 코드를 직접 일일이 수정할 필요 없이, 그래프 에디터를 이용하여 필터 삽입 및 필터 연결을 통한 프로그램 설계 작업을 수행한 다음, GRF 파일로 저장하기만 하면, 원하는 C 소스 프로그램을 자동적으로 얻을 수 있기 때문에 보다 효과적이고 훨씬 신속한 DirectShow 프로그래밍이 가능하다. 더욱이 본 시스템은, 고정된 개수의 매우 제한된 미디어 제어 기능만을 소스 코드에 추가할 수 있는 기존의 시스템과는 달리, 시스템 사용자인 프로그램 개발자로 하여금 자신이 개발하고자 하는 응용 프로그램에 추가할 미디어 제어 기능을 보다 쉽고 다양하게 선택할 수 있도록 지원하기 때문에 보다 실용적인 도구로 활용될 수 있다.