• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (2)
• /
• pp.268-270
• /
• 2003

원자력 발전소 안전계통이나 의료 시스템과 같은 실시간 내장형 시스템의 설계는 그 안전성을 분석하기 위한 정형 명세가 요구된다. 이러한 실시간 내장형 시스템이 명세를 위해 본 논문에서는 Statecharts를 확장하여 시간적 명세 및 분석에 용이하고 하드웨어/소프트웨어 통합 설계에 유리한 언어를 제시한다. 그리고 그 언어의 의미론을 기술하고, SyncCharts라는 정형명세 언어로 그 행위의 의미론을 부여한다. 이렇게 하여 기존의 Statecharts를 실시간 내장형 시스템에 적합하도록 수정하고 그 의미론을 부여한다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2003년도 하계종합학술대회 논문집 V
• /
• pp.2657-2660
• /
• 2003

본 논문에서는 기존의 DTV-Ready에서 사용되고 있는 슈퍼 루프 형태의 내장형 소프트웨어 구조를 개선하여 태스크 기반의 내장형 소프트웨어 구조를 제안하였다. Gomaa 의 DARTS(Design Approach for Real-Time Systems) 방법을 사용하여 DTV-Ready 시스템을 분석하고 태스크 기반의 시스템으로 디자인하였다. 태스크간의 의존성을 최소화하여 내장형 소프트웨어의 재사용성을 높였으며, 실시간성을 고려한 디자인과 실시간 운영체제를 적용하여 내장형 시스템의 실시간 성능 향상을 제시하였다. 제안된 디자인은 직접 시스템에 적용하여 구현하고 테스트 결과를 통하여 기존 시스템의 성능과 비교 분석하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2003년도 추계학술발표논문집 (하)
• /
• pp.1645-1648
• /
• 2003

최근 디지털 가전과 모바일 컴퓨팅이 화두로 떠오르면서 내장형(embedded) 기술이 전성기를 맞이하고 있다. 실시간 내장형 시스템을 컴포넌트 기반 소프트웨어 기술을 사용하여 구축한다면 재사용과 재구성이 용이해 저렴하고 신뢰성 있는 시스템 개발이 가능해진다. 이러한 이유로 인하여, 자원이 제한된 실시간 내장형 시스템 개발 사용에 적합한 컴포넌트 모델이 소개되고 있으며, 그 중 PBO 모델은 다른 모델에 비해 실시간 시스템에 적합한 인터페이스를 정의하고 있으나, 실시간 내장형 시스템 개발에 적용되는 범위를 넓히기 위해서는 구성과 분석 기능을 제공하는 툴셋을 필요로 하고 있다. 따라서, 본 논문에서는 구성과 분석 기능을 포함하는 PBO 모델에 기반한 개발 툴셋의 아키텍쳐를 제안하였으며, 이를 통해 설계 시간과 에러 감소, 생산성을 증가하는 방안을 제시하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (1)
• /
• pp.265-267
• /
• 2003

내장형 컴퓨터 시스템은 특정 기능을 수행하기 위해 소프트웨어와 이를 구동시키기 위한 프로세서로 구성되어 있다. 이러한 시스템의 대부분은 실시간 제약들을 만족해야 한다. 실시간 제약들을 만족하는 애플리케이션을 빠른 시간안에 구현하기 위해서는 제작 전 성능을 예측하는 도구가 필수적이다. 본 논문에서는 현재 내장형 시스템 플랫폼으로 널리 활용되고 있는 ARM 기반의 내장형 애플리케이션의 극단적인(최적, 최악) 경우의 수행 시간 경계를 예측하는 문제를 연구하였다. ARM 기반의 내장형 시스템의 수행시간의 경계를 예측하기 위하여 기존의 실시간 내장형 소프트웨어의 성능 예측 도구인“Cinderella”의 기본 프레임웍을 ARM 프로세서를 지원하도록 확장하여 성능분석도구를 설계하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (B)
• /
• pp.34-36
• /
• 2003

원자력 발전소 안전계통이나 의료 시스템과 같은 실시간 내장형 시스템의 설계는 그 안전성을 분석하기 위한 정형 명세가 요구된다. 이러한 실시간 내장형 시스템이 명세를 위해 본 논문에서는 Statecharts를 확장하여 시간적 명세 및 분석에 용이하고 하드웨어/소프트웨어 통할 설계에 유리한 언어를 제시한다. 그리고 그 언어의 특징을 보일 수 있는 프로토콜 예제를 제시하고 기존의 잘 알려진 언어와 비교 분석함으로 실시간 명세 능력을 보인다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2003년도 춘계학술발표논문집 (하)
• /
• pp.1813-1816
• /
• 2003

최근 이동내장형 시스템 기술이 차세대 정보통신 산업의 주력으로 급부상함에 따라 다양한 이기종 제품간의 호환성과 이식성 제공의 핵심 역할을 수행하는 자바가상머신(Java Virtual Machine)이 주목 밭고 있다. 가상머신을 컴포넌트 기반 소프트웨어 기술을 사용하여 구축한다면, 재사용과 재구성이 용이해 저렴하고 신뢰성 있는 가상러신 개발이 가능해진다. 이러한 이유로 인하여, 자원이 제한된 내장형 실시간 시스템 개발사용에 적합한 컴포넌트 모델의 필요성이 동시에 증대되고 있다. 따라서, 본 논문에서는 기존에 제안된 내장형 실시간 컴포넌트 보델인 PBO(Port-Based Object) 모델을 내장형 실시간 환경에서 수행되는 자바가상머신에 적합하도록 개선하여 증가된 신뢰성과 감소된 시스템 복잡도를 갖는 자바가상머신 시스템을 제안하였다.

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

내장형 실시간 시스템은 점차 소형화, 다기능화 하여 그 복잡도가 증가하고 있다. 또한 제약사항이 일반적인 정보시스템 보다 더 까다롭다. 신뢰성 있고 안정적인 내장형 실시간 시스템을 구현하기 위해서 소프트웨어 공학의 적용이 필요하며, 특히 소프트웨어 아키텍처의 적용을 필요로 한다. 이에 본 논문에서는 내장형 실시간 시스템 개발 중 최적의 소프트웨어 아키텍처를 선정하기 위해서 필요한 소프트웨어 아키텍처 평가 절차를 제시한다. 측정기법(Measuring Techniques)과 질문기법(Questioning Techniques)을 혼합하여 분석을 수행한다. 측정기법을 위해서는 실 프로토타이핑(Real Prototyping)을 사용하여 질문기법을 위해서는 체크리스트를 사용한다 이를 통하여 소프트웨어 개발 생명주기의 초기단계에서 이리 목표시스템의 품질을 예측하고 위험을 미리 식별할 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (B)
• /
• pp.472-474
• /
• 2004

내장형 실시간 시스템은 점차 소형화, 다기능화 하여 그 복잡도가 증가하고 있다. 이로 인해 소프트웨어 아키텍처의 적용이 요구되고 있다. 아키텍처를 적용하기 위해서는 내장형 실시간 시스템에 적합한 아키텍처를 선정해야 하며, 선정한 아키텍처는 처리속도와 같은 비기능적 요구사항을 만족할 수 있어야 한다. 이에 본 논문에서는 내장형 실시간 시스템 개발 중 아키텍처 선정 시 처리속도에 기반하여 아키텍처를 선정할 수 있는 성능평가 절차와 고려사항을 제안한다. 이를 통해 사용자가 제시한 성능적 요구사항에 적합한 아키텍처를 선정 할 수 있다.

• 한국콘텐츠학회논문지
• /
• 제10권1호
• /
• pp.94-102
• /
• 2010

오늘날의 핸드폰, PMP, 지능형 가정기기, 자동차 엔진 컨트롤 시스템과 같은 내장형 시스템은 인간의 삶과 일, 놀이 등 살아가는 환경에 대한 전환을 가져오고 있다. 사용자가 요구하는 다양한 서비스들을 지원하기 위해 내장형 시스템 응용들의 복잡성이 증가하고 있으며, 그런 내장형 컴퓨팅 플랫폼에는 시간결정성을 갖는 실시간 운영체제를 사용해야 한다. 이런 실시간 운영체제의 커널 서비스들은 각 서비스 수행에 얼마만큼의 시간이 소요되는지를 명세하여 시간결정성을 보장하면서 작은 실행 이미지 크기를 가져야만 한다. 이런 정보를 토대로, 응용 개발자들은 각 태스크가 마감시간을 준수하도록 하는 실시간 응용 소프트웨어를 설계할 수 있다. 본 논문에서는 추가적인 메모리 오버헤드 없이 2r 레벨의 우선순위를 갖는 시스템에서 다차원 기법을 이용하여 고정상수 시간 내에 최상위 우선순위를 결정하는 완전 일반화된 실시간 스케줄링 알고리즘을 제안한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (1)
• /
• pp.573-575
• /
• 1998

실시간 내장형 시스템(real-time embedded system)의 반응 동작(reactive behavior)을 정확하게 분석하기 위해서 상태차트(statechart)에 바탕을 둔 객체 지향 모델링 방법론들이 많이 사용되고 있다. 하지만 이들 방법론들은 경성 실시간 시스템(hard real-time system)이라면 반드시 고려해야할 스케줄링 가능성분석(scheduability analysis)에 필요한 시간에 대한 정보와 시간 제약을 정확히 나타내지 못하는 문제점이 있다. 본 논문에서는 최근 OMG(Object Management Group)에서 객체 지향개발의 기준으로 채택된 UML(Unifies Modeling Language) ver1.1을 사용하여 실시간 내장형 시스템의 반응 동작과 시스템의 시제 동작(temporal behavior)을 모델링하여, 모델링된 시스템이 스케줄링 가능성 분석이 효과적으로 이루어지는 방안을 제안한다.