• 한국산학기술학회:학술대회논문집
• /
• 한국산학기술학회 2007년도 추계학술발표논문집
• /
• pp.274-276
• /
• 2007

미리 정해진 특정 기능을 수행하기 위해 하드웨어와 소프트웨어가 내장된 전자 제어 시스템을 임베디드 시스템이라 하며, 우리 일상생활에서 이용하는 여러 가전제품이나 전자기기에는 어떤 식으로든 임베디드 시스템이 탑재돼 있다. 본 연구에서는 센서 노드로부터 수집된 센싱 정보를 서버에서 관리하는 기존의 방식과 달리 임베디드 시스템 기반의 센싱 정보 수집방안을 제시한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (1)
• /
• pp.469-471
• /
• 2001

내장형시스템의 복잡도의 증가, 하드웨어-소프트웨어 통합설계방법의 대두 등으로 인하여 시스템수준의 명세, 설계방법론에 관한 관심이 더욱 고조 되고 있다. 본 논문에서는 시스템기술언어로 ITU-T에 의해 표준으로 권고되어 널리 사용되고 있는 SDL (Specification and Description Language)로부터 실시간 운영체제에서 수행 C코드를 자동으로 생성하는 방법론을 제시한다. C코드는 SDL 프로세스의 내부 행위 (behavior)를 묘사하는 운영체제 비의존적인 코드와 다중프로세스수행, 프로세스간 커뮤니케이션과 같은 운영체제 의존적인 부분으로 다중프로세스수행, 프로세스간 커뮤니케이션과 같은 운영체제 의존적인 부분으로 나뉘어지며, 운영체제 서비tm함수를 이용하여 생성된 C코드가 운영체제와 더욱 밀접하게 통합되어 수행된다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2023년도 제68차 하계학술대회논문집 31권2호
• /
• pp.591-592
• /
• 2023

본 논문에서는 다양한 시장 요구사항에 따른 공간적 효율성과 유연한 관리 시스템이 내장된 스마트 적재창고를 제안한다. 적재창고는 공간 활동의 최적화를 요구하는 동시에 높은 수준의 비용 효율성을 갖추어야 한다. 그리고 자동화된 애플리케이션이 기존 창고 및 공급만 운영보다 중요하며 스마트 팩초리와 연계하여 부품 재고파악과 입출고를 효율적으로 담당해야 한다. 본 논문에서는 수직강성을 최대 300kg를 견딜 수 있는 수직형 자동적재창고를 구현한다. 연구의 결과는 스마트팩토리 등의 자동화 장비 구축을 통한 생산성 향상에 도움이 될 것으로 사료된다.

• 대한기계학회논문집 C: 기술과 교육
• /
• 제5권1호
• /
• pp.1-6
• /
• 2017

센서는 특정 물질을 '감지'하는 단순한 '검출기'로부터 시작되었지만, 수십 나노미터 이하 크기의 신소재, 마이크로미터 이하 크기를 가공하는 반도체 제조공정기술과 같은 나노/마이크로 공학이 접목됨으로써 데이터 처리, 통신 등의 신호처리 기능이 내장된 초소형 스마트 센서로 발전되고 있다. 최근 단순 통화 기능에 터치 가속도 이미지 센서, 인터넷 접속, 사용자에 의한 손쉬운 '앱' 소프트웨어 추가 기능 등이 합쳐진 스마트 폰의 폭발적인 보급으로 인하여 국내외 스마트 센서 산업의 시장이 급속히 확대 중이다. 또한 무인 운전 자동차, 웨어러블 전자기기, 지능형 로봇의 보급이 향후 본격화된다면, 다양한 스마트 센서의 개발 및 산업화가 더욱 많이 필요할 것으로 예상된다.

• 정보처리학회논문지A
• /
• 제13A권6호
• /
• pp.481-488
• /
• 2006

함수형 반응적 프로그래밍(FRP: Functional Reactive Programming)은 하스켈(Haskell)에 내장된 언어로서 두 핵심 고차 타입인 행위(Behavior)와 이벤트(Event)를 기반으로 반응적 시스템을 선언적으로 프로그래밍 한다. 이 논문은 다양한 제약사항을 가진 임비디드 시스템에 FRP를 이용하기 위해 실시간 함수형 반응적 프로그래밍(RT-FRP: Real-time Functional Reactive Programming) 변환기를 설계하고 구현한다. RT-FRP 변환기는 RT-FRP 언어의 기능적 의미론을 기반으로 RT-FRP 프로그램에서 C 프로그램을 생성한다. RT-FRP 변환기의 효과적인 변환을 입증하기 위해, 변환기에서 생성된 테스트 프로그램을 실제 임베디드 시스템, 레고 마인드스톰(LEGO Mindstorm)에 탑재하고 수행하였다. 실험 결과, RT-FRP를 이용할 경우 목적파일의 크기가 조금 증가하였으나 명령형 언어를 이용한 프로그램 보다 간결하게 반응적 시스템 소프트웨어를 프로그래밍 할 수 있었다.

• 한국항행학회논문지
• /
• 제24권5호
• /
• pp.438-443
• /
• 2020

이더넷을 기반으로 한 네트워크에서 노드 간 파일전송을 위해 대표적으로 사용되는 프로토콜로 TCP/IP 기반의 FTP (file transfer protocol)와 UDP/IP 기반의 TFTP (trivial file transfer protocol)가 있다. 단순 기능을 수행하는 펌웨어 수준의 소프트웨어를 탑재한 내장형 시스템의 경우 자원(프로세서의 성능 및 메모리 용량 등)의 한계로 인해 네트워크 스택의 경우 IP와 UDP의 조합으로 구축한 경우가 많다. 따라서 이를 기반으로 한 TFTP가 많이 선호되고 있다. 예를 들어 환경감지용 센서 또는 부트로더, 그 외 데스크톱 PC의 PXE (preboot execution environment) 부팅 기능 등에 널리 사용되고 있다. TFTP는 파일전송을 위해 stop-and-wait 방식의 운영으로 인해 전송과정에서 많은 대기시간이 발생한다. 본 논문에서는 이 전송 대기시간을 최소화하여 최종적으로 기존 TFTP보다 더 빠르고 호환성을 제공하는 QuTFTP (quick UDP trivial file transfer protocol)를 제안한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권7호
• /
• pp.523-530
• /
• 2009

최근 내장형 시스템이 점점 많은 분야에 사용되며, 시스템에 특화된 운영체제 커널에 대한 필요성이 커지고 있다. 하지만, 커널 개발은 코드의 복잡성 등의 이유로 말미암아 테스팅에 큰 비용이 소요됨에도 불구하고, 높은 신뢰성을 달성하기가 어려운 실정이다. 이러한 커널 개발 및 테스팅의 어려움을 극복하기 위해, 운영체제 커널의 동시성 오류 검출을 지원하는 모델 기반의 커널 테스팅 (MOKERT) 프레임워크를 제안한다. MOKERT 프레임워크는 주어진 C 프로그램을 Promela 정형 명세 모델로 변환하고 나서 Spin 모델검증기를 사용하여 검증하고, 검증반례가 생성된 경우, 이 검증반례를 실제 커널 코드에서 실행을 시켜서 진위를 확인한다. 본 연구에서는 MOKERT 프레임워크를 리눅스 proc파일시스템에 적용하여, ChangeLog에 보고된 오류가 실제로 자원경쟁문제를 일으킴을 확인하였을 뿐만 아니라, 커널 패닉을 일으키는 새로운 오류도 발견하였다.

• 한국콘텐츠학회논문지
• /
• 제7권6호
• /
• pp.69-78
• /
• 2007

오늘날의 내장형 이동 시스템은 MP3플레이어나 디지털 캠코더와 같이 하나의 기능만을 지원했던 단일 응용프로그램 시스템에서 PMP(Portable Multimedia Player), PDA(Personal Digital Assistants)와 같이 MPEG, W3플레이어, 전자사전, DMB(Digital Multimedia Broadcasting), 게임, 통신 기능 등을 모두 포함하는 하나의 디지털 컨버전스 기기로 변화해가고 있다. 이러한 변화는 CPU 성능 향상과 메모리, 저장장치의 증가, LCD의 크기 증가와 같은 하드웨어적인 요구사항의 증가로 이어졌고, 이로 인해 단말기에서 소모하는 전력이 그에 비례하여 증가하였다. 소모 전력의 증가에 따른 배터리 용량의 증가는 더딘 상황이며, 이를 해결하기 위해 소프트웨어적으로 소모 전력을 감축시키는 연구들이 많이 진행되고 있다. 본 논문에서는 소모 전력 감축 기법이 적용된 실시간 운영체제 UbiFOSTM을 ARM9계열의 MBA2440에 탑재하였다. 전력 감축 기법으로 시스템 작업량 관찰에 기반한 동적 전력 관리 기법과 장치 전력 관리기법을 적용하였다. 본 논문의 저전력 기법을 통해 작업량에 따라 24% 이상의 소모 전력 감축효과가 있음을 확인하였다.

• 한국콘텐츠학회논문지
• /
• 제12권6호
• /
• pp.68-77
• /
• 2012

최근 시스템 개발 환경이 싱글프로세서 기반의 환경에서 멀티프로세서 기반의 환경으로 변화됨에 따라 개발된 시스템 프로그램들이 멀티프로세서 기반과 싱글프로세서 기반에서 호환이 가능하도록 설계 및 구현의 중요성이 부각되고 있다. 특히, 실시간성이 중요시 되는 내장형 소프트웨어 분야 및 측정 장비와 같이 정밀성을 요구하는 분야의 경우 멀티프로세서 기반의 실시간성을 제공하기 위한 연구가 필요하다. 운영체제에 종속적인 실시간성은 운영체제에 따라 지원여부를 결정하는데, 범용 운영체제인 윈도우즈의 경우 실시간성을 지원하기 위해 RTX나 INtime과 같은 고가의 서드파티를 사용해야 한다. 그러나 서드파티를 사용함으로써 제품 개발 시 고가의 구입비용 및 유지보수 비용으로 인한 개발 비용의 증가를 초래하는 문제점이 발생한다. 이러한 문제점을 해결하기 위해서, 본 논문에서는 멀티프로세서 기반의 윈도우즈에 실시간성을 제공하기 위해 x86 아키텍처의 Local APIC를 이용하여 윈도우즈에 실시간성을 제공하는 RTiK-MP(Real-Time implant Kernel-Multi Processor)를 설계 및 구현하였고, RTiK-MP의 성능 검증 및 평가를 위하여 휴대용 점검장비를 이용한 성능 측정 결과를 분석한다.

• 한국컴퓨터정보학회논문지
• /
• 제15권8호
• /
• pp.23-30
• /
• 2010

플래시 메모리는 비휘발성이며 시스템에 전원이 없는 상태에서도 데이터를 유지할 수 있는 특성을 가지는 메모리이다. 게다가 빠른 접근 시간과 저전력 소비, 충격에 강하고, 작은 크기와 매우 가벼운 특성을 가진다. 가격이 점차 낮아 지고 용량이 증가함에 따라 플래시 메모리의 활용도는 가전제품, 내장형 시스템, 그리고 이동 단말기 등에 널리 사용되고 있는 추세이다. 이러한 플래시 메모리를 구동함에 있어서 필수적인 소프트웨어인 FLT이 필요하다. 본 연구에서는 기존의 블록 매핑 알고리즘의 가장 큰 단점을 극복하기 위한 새로운 FTL 알고리즘을 제안한다. 핵심적인 사항은 기존의 블록 매핑 테이블에 추가하여 작은 램 메모리를 이용하여 섹터 위치를 바로 알 수 있는 인텍스 블록 매핑 테이블을 제안하고자 한다. 시뮬레이션 결과에 따르면 제안된 FTL은기존의 하이브리드 매핑과 비교했을 때 수행 시간을 평균45%정도 줄이는 효과를 얻을 수 있었으며, 메모리 사상 요구량에 대해서 약 12% 줄이는 효과를 얻을 수 있었다.