• Journal of the Korea Institute of Military Science and Technology
• /
• v.17 no.2
• /
• pp.213-222
• /
• 2014

In this paper, we introduce that MAAB style guideline has effects on the codes generated from Simulink models for static and dynamic software testing, when weapon system embedded software design and implementation are performed using the model based method. As showing the effects, MAAB guideline is helpful for defect prevention related with coding rules and run time errors associated with the DAPA weapon system embedded software guide. Thus, we check related items between MAAB and DAPA software reliability testing including static and dynamic analysis. And then we propose the criterion to select proper items from MAAB for DAPA guideline and show how to verify the relationship and the effects on reliability of models in Simulink. In addition, we show the needs for clear logics in conditional block models or statements and simple complexity models for Simulink model based design.

• Journal of KIISE:Computing Practices and Letters
• /
• v.9 no.3
• /
• pp.241-253
• /
• 2003

SCA (Software Communication Architecture), which has been adopted as a SDR(Software Defined Radio) Forum standard, provides a framework that successfully exploits common design patterns of embedded systems software. However, the SCA is inadequate as a component framework since it does not explicitly specify (1) a component model that defines how to express a component interface and how to implement it, (2) a package model that defines what and how to package in deployment units, and (3) a deployment model that defines the deployment environment and deployment process. In this paper, we propose a SCA-based component framework for SDR. Specifically, we present (1) a component model that defines a component as a specialized CORBA object that implements object management functionality, (2) a package model exploiting the existing XML descriptors of the SCA, and (3) a deployment model that defines a SCA-based deployment environment, a boot-up process that restores the deployment state, and a deployment process that supports lazy application instantiation and dynamic component replacement.

• Annual Conference of KIPS
• /
• 2001.04b
• /
• pp.929-932
• /
• 2001

인터넷 정보 가전(IIA; Internet Information Appliance)내에 내장형 DBMS 의 개발은 다양한 이종 네트워크의 통신을 지원하기 위한 미들웨어(Middleware, i.e. OSGi)의 지원이라는 문제를 해결해야만 하기 때문에, 이들 미들웨어와의 인터페이스라는 문제가 기존의 데이터베이스 엔진을 개발하는 문제와 가장 큰 차이점이라 할 수 있다. 이외에는 일반적인 메모리 상주 데이터베이스 엔진 (nain memory DBMS)을 개발하는 것과는 별다른 큰 차이점이 아직까지는 연구되지 않고 있다. 하지만, 가정이라는 지역적인 특성을 고려한 데이터 서비스를 먼저 염두에 두어야 하며, 이에 따라 다양한 응용 소프트웨어를 쉽게 개발할 수 있는 방향으로 제작이 되어야 한다는 점을 늘 고려해야 한다. 본 논문에서는 이와 같은 인터넷 정보가전용 내장형 DBMS 개발 사업에 관하여 현재까지 본 과제에서 논의되고 있는 요구사항을 분석한 결과를 정리하고, 이에 관한 토론을 하고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06a
• /
• pp.166-169
• /
• 2011

안전성이 중요한 실시간 내장형 시스템인 유도조종장치에서 시간 제약성을 만족하는 것은 매우 중요한 문제이다. 기존 유도조종장치 소프트웨어 개발에서는 주로 테스트 단계에서 시간 제약성 만족을 확인한다. 하지만 이 방법은 늦은 오류의 발견으로 인해 전체 소프트웨어 개발 비용이 커질 가능성이 있다. 이러한 단점을 극복하기위해 본 논문에서는 설계 단계에 정형 기법을 적용하여 유도조총장치 소프트웨어의 시간 제약성을 검증하고자 한다. 이를 위해서 실시간 시스템에 대한 모델링과 검증을 지원하는 TIMES 도구를 유도조종장치 소프트웨어 설계에 적용하는 사례 연구를 수혈하고 그 결과를 분석 및 평가하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10c
• /
• pp.590-592
• /
• 1999

초고속 데이터 처리 및 전송에 필수적인 B-ISDN에 있어서 디지털 시스템들이 동기를 맞추어 동작을 하여야 데이터의 손실과 잡음을 막을 수 있다. 초고속 데이터를 전송하는 ATM 교환기에 있어 동작에 필요한 기준 클럭을 생성하여 시스템 전체에 공급하는 시스템 클럭 생성기는 기능의 안정성과 고신뢰성을 보장하여야 한다. 시스템 클럭 생성기의 운용 중 발생할 수 있는 장애에 대하여 필요한 장애 처리를 수행하기 위하여 내장형 제어용 소프트웨어를 설계하여 구현하였다. 이 제어용 소프트웨어는 시스템 클럭 생성기의 장애를 감시하여 처리하므로 시스템 전체에 클럭의 중단없이 안정되게 ATM교환기를 동작하게 한다. 본 고에서는 ATM 교환기의 시스템 클럭 생성기에서 발생하는 장애 처리를 위한 소프트웨어의 설계와 구현에 관하여 기술한다.

• Annual Conference of KIPS
• /
• 2007.11a
• /
• pp.538-541
• /
• 2007

최근 SoC 기술이 발달하면서, 내장형 시스템을 위한 프로세서 개발이 활발해졌다. 새로운 프로세서가 개발되면, 운영체제 및 소프트웨어 개발을 위해 컴파일러 및 디버거가 필요하다. 컴파일러는 소스코드를 타겟 프로세서에서 실행 가능한 목적파일로 변환하고, 디버거는 프로그램의 개발에서 오류를 찾기 위한 도구로 소프트웨어 개발에 매우 중요한 도구들이다. 본 논문에서는 KAIST에서 개발하는 32bit 프로세서인 Core-A를 위한 소프트웨어 디버거를 설계 및 구현한다. Core-A용 디버거는 공개 소스 디버거 시스템인 GDB를 참조모델로 했으며, 레지스터와 메모리 맵과 같은 프로세서 종속적인 부분을 확장하고 외부 인터페이스 모듈과 같은 프로세스 독립적인 모듈은 재사용함으로써 개발기간을 단축시켰다. 그리고 Core-A용 디버거의 검증을 위해 상용 디버거 시스템인 ARM용 AXD 디버거와 비교 실험을 진행하였다.

• Journal of KIISE:Software and Applications
• /
• v.28 no.2
• /
• pp.113-123
• /
• 2001

본 논문에서는 CAN 기반 분산 제어 시스템을 위한 환경 명세 CORBA인 CAN-CORBA를 설계한다. CAN-CORBA의 ORB core는 다음과 같은 특성을 지닌다. (1) 기존의 접속 지향 점대점 통신뿐만 아니라 가입 기반(subscription-based)의 그룹 통신을 지워난다. 이를 통해, 결과적으로 전형적인 제어 시스템의 데이터 멀티캐스팅(multicasting) 요구를 한층 충족시킨다. (2) CORBA 메소드(method) 호출에 필요한 메시지 전송량을 크게 감소시킨다. CAN 같은 저속 브로드케스트(broadcast) 버스에서도 CORBA 메소트 호출의 오버헤드를 감당 할 수 있게 한다. 자연스럽게 두 종류의 통신 방법을 본 논문에서 제안한 매우 작은 크기의 ORB에 통합하기 위하여, 최대 4가지의 상위 통신규약을 지원할 수 있는 CAN의 전송층(Transport layer) 통신규약을 설계한다. 또한 서울대학교에서 이미 개발된 mArx라는 실시간 운영체제 환경에서 CAN-CORBA를 구현하였다. 성능 평가를 통하여 매우 제한적인 자원을 지니는 분산 내장형 제어 시스템 개발에 CORBA를 사용하는 것이 매우 적합하다는 결과를 보인다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04a
• /
• pp.34-36
• /
• 2002

통합설계를 위한 대부분의 분할 알고리즘들은 분할과 스케줄링은 독립적으로 실행하므로 스케줄 결과에 따른 재분할의 잠재적인 오버헤드가 있다. 분할 단계에서 스케줄링을 함께 고려하는 FDS론 응용하는 방법은 분할할 노드를 선택하면서 동시에 그 노드가 스케줄 되어야 하는 제어구간을 함께 결정한다. 본 논문에서는 기존의 FDS 응용에 의한 분할 알고리즘[7]을 확장하는데, 목적 시스템으로서 하드웨어의 경우 여러 가지 구현 방법을 지원하고 소프트웨어의 경우 여러 개의 프로세서를 수용함으로써 다양한 하드웨어 구현 모듈과 프로세서에 의해 구성되는 내장형 시스템 설계에 적용될 수 있도록 하였다. 이를 위해 각각의 하드웨어 구현들과 여러 가지 프로세서들에서의 분포 그래프를 생성하고, 상대적 스케줄 긴박도를 구할 때 각 노드에 대해 해당 분할 영역에서의 실행 시간과 구현 비용을 고려하며 분할 영역간에 발생하는 통신 지연 시간을 힘 값에 반영하였다. 상대적 스케줄 긴박도를 이용한 분할은 스케줄과 분할이 동시에 이루어 져서 기존의 분할 알고리즘[9]보다 낮은 시간 복잡도를 보인다.

• Annual Conference of KIPS
• /
• 2002.04a
• /
• pp.435-438
• /
• 2002

원자력 발전 및 항공 시스템과 같은 실시간 시스템의 설계는 대표적인 Safety-critical 시스템으로서 그 설계로부터 구현에 이르기까지 다양한 방법으로 안정성을 보장하는 설계방법이 연구되고 있다. 특히 이러한 내장형 시스템은 근래에 들어 하드웨어-소프트웨어 통합설계를 통해 설계초기부터 안정성과 일관성 등을 높일 필요가 있다. 본 연구에서는 아날로그 및 디지털이 혼합된 Heterogeneous 시스템의 통합 설계 도구인 PtolemyII[1]을 이용하여 원자력 발전 내장형 시스템의 일종인 Digital Plant Protection 시스템을 설계하고 이를 시뮬레이션 함으로 Safety-critical 시스템 가운데 가장 높은 등급을 요하는 시스템에 통합설계를 적용시켜 본다. 그리고 이에 대한 정형 검증기법을 제안한다.

• Annual Conference of KIPS
• /
• 2003.05a
• /
• pp.443-446
• /
• 2003

본 논문에서는 MPC860T 프로세서를 이용하여 통신 제어가 필요한 환경에 적합한 내장형 시스템 보드를 개발한다. 개발된 보드는 1 개의 100Mbps 이더넷 포트, 4개의 10Mbps 이더넷 포트, 2 의 직렬 통신 포트를 가진다. 또한 외부의 입출력 보드와의 연결을 위한 회로를 구성하여 통신 제어 용도에 맞도록 시스템의 확장성을 높였다. 운영체제 및 소프트웨어 개발을 위해서 부트 로더의 이식이 필요하다. 부트 로더로는 PowerPC 계열의 프로세서에 적합한 PPCBoot를 사용한다. 시스템의 운영체제로는 리녹스를 이식하였다. 이를 위해서 사용된 메모리 소자의 특성과 크기 등 개발된 보드의 규격에 맞추어 리녹스 커널 소스를 수정하였다.