• Proceedings of the Korea Information Processing Society Conference
• /
• 2014.11a
• /
• pp.703-706
• /
• 2014

AUOTSAR(Automotive Open system Architecture)는 자동차 ECU(Electronic Control Unit) 에 내장되는 소프트웨어에 대한 표준 구조로서, ECU 소프트웨어의 품질 향상은 물론, 개발 및 관리 비용의 절감에 기여하는 등 많은 장점을 갖는다. AUTOSAR 의 이런 장점 때문에 많은 자동차 회사들이 ECU 소프트웨어에 AUTOSAR 적용을 추진하고 있다. 이에 따라 기존 레거시 ECU 소프트웨어 시스템을 AUTOSAR 표준에 맞는 ECU 소프트웨어 시스템으로 변환하는 방법에 대한 관심도 높아지고 있다. 그 이유는 이미 많은 ECU 레거시 소프트웨어 시스템들이 개발되어 사용되고 있으며, 이들에게는 이미 기능 및 안정성 검증을 위하여 많은 시간과 비용이 투자하여 되어 있다. 따라서 ECU 소프트웨어 시스템에 AUTOSAR 를 적용하는 경우 기존의 레거시 소프트웨어 시스템을 재사용할 수 있으면 생산성 및 품질 면에서 많은 장점을 갖는다. 본 연구에서는 C 언어로 작성된 기존의 ECU 소프트웨어 시스템을 AUTOSAR 플랫폼에서 재사용할 수 있도록 하기 위하여, 기존의 레거시 ECU 소프트웨어 시스템을 AUTOSAR 플랫폼으로 마이그레이션하는 방법에 대하여 연구하였다. 마이그레이션 과정은 크게 두 단계로 나누어 지는데, 이는 레거시 소프트웨어 시스템을 분석하여 마이그레이션이 가능하도록 기능별로 분해하는 것과, 분해된 구성 요소들을 AUTOSAR 플랫폼에 맞는 구조로 재구성하는 과정이다. 본 논문에서는 이중 첫 번째 과정인 레거시 소프트웨어 시스템의 분석 및 기능별 분해 방법을 제시하고자 한다.

• Proceedings of the KAIS Fall Conference
• /
• 2007.11a
• /
• pp.256-258
• /
• 2007

내장 소프트웨어는 실제 시스템의 자원과 원격지의 시스템의 환경에 민감하므로 실제 시스템과 동일한 환경에서 디버깅해야 한다. 그러나 대부분의 내장 소프트웨어를 탑재하는 실제 시스템은 시스템 상태를 조사하거나 제어하는 것이 제한되어 있는 소프트웨어를 디버깅하는 것은 매우 어렵다. 본 논문에서는 원격지의 USB와 실제 시스템의 JTAG을 기반으로 내장 소프트웨어를 디버깅할 수 있는 어뎁터 제안한다. 본 논문은 실제 시스템내의 내장 소프트웨어를 디버깅할 수 있는 경제적인 인터페이싱 환경을 제공한다.

• Proceedings of the Korea Association of Information Systems Conference
• /
• 1997.10a
• /
• pp.389-402
• /
• 1997

컴퓨터 소프트웨어를 내장한 시스템의 안전성을 평가하기 위한 여러 가지의 결함 분석 기법들이 있다. 이러한 결함 분석 기법들은 전통적으로는 하나의 시스템을 분석하는데 단지 하나의 방법으로만 분석해 왔으나, 시스템의 종류와 특성이 다양해지면서 시스템에 가 장 알맞는 분석 기법이 동원되어야 함은 이제 필수적이다. 여기에 착안하여, 시스템 내에서 소프트웨어의 크기가 비교적 작고, 안전성과 관련한 시스템의 반응 시간이 특별히 민감하지 않는 소프트웨어의 안전성을 평가하는 방법으로 결함 트리 분석(FTA)과 소프트웨어 오류경 향 및 영향 분석(소프트웨어 FMEA)을 결합한 시스템 결함 분석 방법을 제안하고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06b
• /
• pp.212-215
• /
• 2011

임베디드 시스템은 일반적인 소프트웨어와는 달리, 하드웨어, 소프트웨어, 운영환경으로 구성된다. 기존의 소프트웨어 공학적인 기법은 임베디드 시스템의 하드웨어와 운영환경과 관련된 물리적인 제약사항을 충분히 기술하고 있지 않기 때문에, 임베디드 시스템 상에서 실행되는 임베디드 소프트웨어는 기존의 소프트웨어 공학의 기법으로 개발하기 어렵다. 본 논문에서는 임베디드 소프트웨어 설계 명세서 양식을 제안한다. 기존의 소프트웨어 공학 기법에서 사용하는 소프트웨어 설계 명세와 디자인 패턴의 양식으로부터 임베디드 시스템의 속성을 반영하도록 확장시켰다. 제안한 임베디드 소프트웨어 설계 명세서를 사용하여 온도측정 임베디드 시스템에 적용함으로써, 소프트웨어 개발자와 하드웨어 개발자 사이의 명확한 정보 전달과 시스템의 이해도를 높이고, 시스템의 품질을 향상시키는데 기여할 수 있는 사례를 제시한다.

• Journal of Software Engineering Society
• /
• v.13 no.3
• /
• pp.92-97
• /
• 2000

양질의 소프트웨어제품과 서비스를 생산하는 방법은 우수한 선례를 답습하거나, 성공한 선례를 해당 응용업무에 맞도록 발전시키는 것이다. 즉 프로세스들의 모임인 소프트웨어 프로세스를 각각의 소프트웨어 서비스와 시스템의 개발목적에 부합하도록 정의하는 것이다. 프로세스 모임은 정보화사업의 포괄적 관리가 가능하게하며, 사업제기부서가 소프트웨어 시스템에 대한 전반적인 의무와 책임을 갖게 하며, 정보화사업 감리에 있어서 감리 목표 정립과 감리의 시행을 명확하게 한다. 소프트웨어 서비스 및 시스템 개발에 있어서 적합한 프로세스의 모임을 목표프로세스 프로파일(Target Process Profile) 이라고 명명하였다. TPP을 정의함에 있어서는 정의할 대상시스템의 성능과 시스템의 효과성이 어느 정도 가시화되는 여건에서, 소프트웨어 서비스 및 시스템의 수명주기 목표, 수명주기 아키텍쳐 및 수명주기 계획을 도출한다. 즉 아키텍쳐 접근방법, 소프트웨어프로세스의 정착, 및 국제표준의 프로세스에서의 프로세스 모임규칙을 근간으로 하여 TPP의 프레임워크(Framework)을 시안을 작성하였다. 소프트웨어공학의 발전과정에서 프로세스 능력의 성숙도 기준으로 프로세스 모임을 이룬것에 추가하여, 논자는 ISO/IEC 15504 TR 프로세스간의 전후관계에서 TPP을 위한 작업산출물 도출방법을 정의하였다. TPP에 의한 정보화추진은 정보화시대에서 소프트웨어 품질 및 가격에서 경쟁력을 가져오는 요인이 될 것이다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10b
• /
• pp.298-300
• /
• 2003

분산 시스템 환경에서 하드웨어나 소프트웨어 자원의 가용성이나 신뢰성을 높이기 위한 노력으로 가용성이 높은 클러스터 시스템이나 고장 감내 소프트웨어 개발 환경들이 연구되어 왔다. 본 연구에서는 하드웨어의 신뢰성을 높이기 위해 서버 클러스터 시스템을 구축하였고, 이 클러스터 시스템에 기반한 고장 감내 소프트웨어 개발 환경을 구축하였다. 사용자는 고장 감내 소프트웨어 개발 환경을 이용하여 쉽게 고장 감내 소프트웨어를 작성할 수 있고, 원하는 소프트웨어 고장 감내 기법을 간단하게 기술할 수 있다. 특히, 소프트웨어 개발과 소프트웨어 고장 감내 기법의 적용을 논리적으로 분리시켜 소프트웨어 개발 과정을 단순화 시켰고, 이미 개발된 소프트웨어 모듈의 변경 없이 다양한 고장 감내 기법을 적용할 수 있게 하였다. 이러한 개발상의 논리적인 분리, 소프트웨어 모듈의 동적 노드 결정, 그리고 작업 스케쥴링 둥의 일을 처리하기 위해 실행 시간 제공 요소(Run-time supports)들이 노드와 네트웍 고장을 감내 하기 위해 개발된 미들웨어 계층 위에서 구현되었다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.11c
• /
• pp.1597-1600
• /
• 2003

컴퓨터시스템은 여러 가지 복잡하고 민감한 시스템을 제어하는데 광범위하게 쓰이고 있다. 최근에 와서는 운영시스템, 제어프로그램, 적용프로그램과 같은 여러 가지 소프트웨어 시스템이 더욱더 복잡화 및 대형화되고 있기 때문에 신뢰성이 높은 소프트웨어 시스템을 개발하는 일이 매우 중요하며, 소프트웨어 제품개발에 있어서 소프트웨어의 신뢰도가 핵심사항이다. 1970년대 이후 소프트웨어의 신뢰성을 향상시키기 위한 여러 가지 소프트웨어의 신뢰도 모델이 제시되고 검토되었으며, 특히, 소프트웨어 개발 후 테스트단계에 적용하는 신뢰도를 추정하고 예측하는 모델이 많이 개발되었다. 소프트웨어가 주어진 시간간격동안 고장이 발생하지 않을 확률 즉, 신뢰도는 소프트웨어의 테스트과정을 계속해서 반복 및 수정하면 더욱 더 증가된다. 그러한 결함검출현상을 설명해주는 소프트웨어 신뢰도 모델을 소프트웨어 신뢰도 성장 모델(SRGM)이라 한다.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.21 no.48
• /
• pp.177-184
• /
• 1998

최근까지 개발된 시뮬레이션 소프트웨어를 검토 정리한 후, 시뮬레이션 소프트웨어와 그 모델과의 연관성을 파악하기 위하여 총체적인 시뮬레이션 모델을 관찰하였으며, 시뮬레이션 소프트웨어의 유연성에 대한 근원을 시스템 모듈식 접근 방법을 통하여 추적하였다. 실존 시스템, 모델, 그리고 소프트웨어 시스템과의 관계를 조사한 결과 시뮬레이션 소프트웨어의 주요한 성능 척도는 flexibility와 accuracy라는 것이 밝혀졌다. 객체지향 시뮬레이션 소프트웨어의 metrics와 formalism의 모델을 개발하였으며, 이것은 유연한 객체지향적 시뮬레이션 소프트웨어 구조를 디자인하는데 근본 방침을 제시한다. 끝으로 앞에서 개발한 모델을 기초로, 유연한 객체지향적 시뮬레이션 소프트웨어 시스템을 분석하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04c
• /
• pp.67-69
• /
• 2003

소프트웨어 시스템을 집적하는데 있어서 컴퍼넌트 중심의 소프트웨어 개발 접근 방법이 큰 경향이다. 집적 소프트웨어 시스템의 전체 신뢰도를 확보하기 위해 소프트웨어 컴퍼넌트의 테스트 및 자원의 유한성 내에서 소프트웨어가요하는 조건을 만족해야만 한다. 기지의 비용, 신뢰도, 테스트 노력, 시스템 컴퍼넌트의 기타 다른 공헌 인자를 가지고 순열조합의 최적화 문제로서 시스템 테스트의 최적화 문제 효율을 공식화할 수 있다. 본 연구에서는 그 각각이 사전에 명세화한 신뢰도 요건을 가진 단일 또는 다중 실용화 시스템에 대한“소프트웨어 컴퍼넌트 테스트 자원 할당”을 고려한다. 이것은 내고장(fault-tolerant) 시스템에도 확장해서 실용화할 수 있다. 테스트 자원 할당문제에 체계적으로 접근하는 절차를 논하고자 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.05c
• /
• pp.1741-1744
• /
• 2003

본 논문에서는 NHPP 에 근거한 N 버전 프로그래밍 시스템의 SRGM 을 제안한다. 비록 많은 연구 논문에서 NVP, 시스템 신뢰도에 대해서 연구노력을 기울여 왔지만 그들 대부분이 안정된 신뢰도에 대해서만 고려해 왔다. 테스트 및 디버깅 동안 결함이 발견되면 디버깅 노력은 결함을 제거하는데 집중된다. 소프트웨어가 너무 복잡하므로 이러한 결함을 성공적으로 제거한다는 것이 쉽지 않으며, 또 다른 새로운 결함이 소프트웨어에 도입될 수도 있다. 일반화된 NHPP 모델을 NVP 시스템에 적용하여 새로운 NVP-SRGM이 수립된다. 제어시스템에 대한 단순화된 소프트웨어 제어에서 이러한 새로운 소프트웨어 신뢰도 모델을 어떻게 적용하는지를 보여주고 있다. 소프트웨어 신뢰도평가에 s 신뢰도 구간을 준비하였다. 이 소프트웨어 신뢰도 모텔은 신뢰도를 평가하는데 쓰일 수가 있어서 NVP 시스템의 성능을 예측하는데 쓰일 수 있다. 일반적인 산업사회에 적용하여 상용화하기 위해서는 내결함 소프트웨어의 신뢰도를 정량화하기 위해 제안된 NVP-SRGM을 충분히 인증하는데 좀더 적용이 필요하다. NVP 신뢰도 성장 모델링을 하는 이러한 종류의 첫 모델로서 제안된 NVP-SRGM은 독립 신뢰도 모델의 단점을 극복하는데 쓰일 수 있다. 이는 독립적인 모델보다 더욱 더 정확하게 시스템 신뢰도를 예측할 수 있으며, 언제 테스트를 중단해야 하는가를 결정하는 데에도 쓰일 수 있으며, 이는 NVP 시스템 개발 수명주기 단계를 테스트 및 디버깅함에 있어서 핵심 질문사항이다.