최근 확인한 콘텐츠
데이터가 존재하지 않습니다.
김혜숙, 차윤정
2020 / 영상영어교육
Feng P.,Zhao R.,Yang L.,Chen S.,Wang D.,Pan H.,Shuai C.
2022 / Ceramics International
데이터가 존재하지 않습니다.
loading...
본 논문은 실시간 임베디드 시스템의 고가용성을 위해 STM32F4에서 제공하는 두 가지 와치독 타이머를 활용하는 하이브리드 방식인 긴 꼬리 와치독 타이머 기법을 제안합니다. 제안하는 방식은 하나의 타이머가 실패하더라도 시스템이 자가 복구될 수 있도록 하며, 실험 결과 다양한 오류 시나리오에서 성공적으로 작동함을 확인했습니다.
Synchronization in real-time systems : a priority inheritance approach
Embedded systems and software validation
Readings in hardwaresoftware co-design
Time-predictable architectures
Performance analysis of real-time embedded software
Embedded systems : real-time interfacing to Arm® Cortex(TM)-M microcontrollers.
Real-time programming : a guide to 32-bit embedded development
Hardware-software co-design of embedded systems : the POLIS approach
Embedded systems : real-time operating systems for the ARM® cortex-M microcontrollers.
Dependable computing--EDCC-1 : first European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994 : proceedings
Formal techniques in real-time and fault-tolerant systems : 5th international symposium, FTRTFT '98, Lyngby, Denmark, September 14-18, 1998 : proceedings
Software synthesis from dataflow graphs
Distributed embedded control systems : improving dependability with coherent design
임베디드 시스템을 위한 소프트웨어 공학 총론
Embedded systems : hardware, design, and implementation
Real-time systems : design principles for distributed embedded applications
Handbook of networked and embedded control systems
Specification and compositional verification of real-time systems
Lectures on embedded systems : European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996
The inverse method : parametric verification of real-time unbedded systems
멀티미디어학회논문지
최하연; 윤지완; 박서연; 김예솔; 박상수보안공학연구논문지
조상영Design Automation for Embedded Systems
Siqueira, H.M.; Kreutz, M.E.龙岩学院学报
王小龙; 杨元慧; 吴春富; WANG Xiaolong; YANG Yuanhui; WU ChunfuIOP Conference Series: Materials Science and Engineering
Maneesilp, K.; Krohkaew, J.IOP Conference Series: Materials Science and Engineering
Jaturapith Krohkaew; Kraimon ManeesilpIEEE Transactions on Dependable and Secure Computing
Nair P.P.,Sarkar A.,Biswas S.Nobuyuki YAMASAKI; Shota NAKABEPPU
Design Automation for Embedded Systems: An International Journal
Santos, Jr., J. Augusto; Lima, George; Bletsas, KonstantinosIEICE Transactions on Electronics
Shota NAKABEPPU; Nobuyuki YAMASAKIACM Transactions on Software Engineering and Methodology
Ellis S.J.,Klinge T.H.,Lathrop J.I.,Lutz J.H.,Lutz R.R.,Miner A.S.,Potter H.D.IEEE Transactions on Computers, Computers, IEEE Transactions on, IEEE Trans. Comput.
Aminifar, A.; Eles, P.; Peng, Z.IEEE Access
Zhang T.,Zheng W.,Xiao Y.,Xu G.한국컴퓨터정보학회논문지
이형봉, 권기현한국항행학회논문지
이동우, 고완진, 나종화제어.로봇.시스템학회 논문지
유상문IEEE Transactions on Parallel and Distributed Systems
Chwa H.S.,Baek H.,Lee J.Arabian Journal for Science and Engineering
Ben Hariz, Maher; Bouani, Faouzi한국산업정보학회논문지
김희철ACM Transactions on Embedded Computing Systems
Lee, J.; Phan, L.T.X.; Lee, I.; Chwa, H.S.; Shin, I.전선 / 학사
임베디드 시스템이란 마이크로프로세서 및 각종 주변 장치들로 하드웨어를 구성하고, 이를 사용하여 특정 응용 프로그램을 동작시키는 시스템을 말한다. 본 과목에서는 특정 응용에 최적화된 마이크로프로세서 기반 하드웨어를 구성하고, 이를 동작시키는 소프트웨어 프로그래밍을 위한 이론 및 기법들을 습득한다. 마이크로프로세서의 아키텍처 및 내부 구조에 대해서 소개하고, 메모리 시스템 및 각종 입출력 장치의 구조 및 동작원리를 설명한다. 구성된 하드웨어를 효과적으로 동작시키기 위한 인터럽트 처리 기법, 디바이스 드라이버, run-time library, firmware, 및 실시간 운영 체제(Real-time operation system: RTOS) 프로그래밍 기법을 설명한다. 프로젝트에서는 마이크로프로세서를 사용하여 실제 임베디드 시스템을 구현해 봄으로써, 소개된 이론을 실습하고 시스템 구현에 필요한 노하우를 습득한다.전선 / 대학원
이 과목은 운영제체에 대한 기본적인 지식이 있다고 가정한다. 실시간 시스템에 있어서 각 작업이 요구되는 시간제한을 맞추기 위하여 어떤 스케줄링이 필요하고 어떻게 시스템을 설계해야 하는지를 배운다. 또한 이를 응용하여 어떻게 실제 시스템에 응용할 수 있는지 배운다.전선 / 대학원
차량, 항공기, 로봇 등의 제어에 사용되는 컴퓨터 시스템은 계산상의 정확성과 아울러 태스크가 주어진 시간 내에 종료되어야만 하는 실시간시스템이다. 이 과목에서는 이러한 실시간시스템 구성을 위한 태스크 스케쥴링, 프로그래밍기법, 통신, 자원관리 등의 기법에 대하여 학습한다. 또 기말과제를 통하여 각자의 연구분야의 실시간 특성에 대하여 연구할 기회를 갖는다.전선 / 대학원
본 강의에서는 시스템-온-칩 뿐 아니라 분산 임베디드 시스템을 체계적으로 설계하기 위한 방법론으로 많은 주목을 받고 있는 하드웨어-소프트웨어 통합설계 방법론에 관하여 공부하도록 한다. 우선, 시스템을 정형적으로 명세하기 위한 다양한 계산 모델(model of computation)에 관하여 살펴보고 시스템의 시뮬레이션과 빠른 성능 예측 기술, 그리고 시스템의 최적 구조를 탐색하는 기술 등 시스템 설계에 관한 핵심 기술들을 개괄적으로 살펴본다. 끝으로 병렬/분산 임베디드 소프트웨어의 검증과 유지를 용이하게 하기 위한 임베디드 소프트웨어 설계 기술을 배운다.전선 / 대학원
본 교과목은 단순히 기존의 가속기를 활용하는 수준을 넘어, 차세대 AI 반도체 분야의 창업 및 핵심 개발에 필요한 맞춤형 AI 추론 엔진 개발 능력을 배양하는 것을 목표로 한다. 이를 위해 최첨단 설계 방법론인‘알고리즘-소프트웨어-하드웨어 통합 설계(Co-design)'에 대한 깊이 있는 이론과 실전 경험을 제공한다. 수강생들은 GPU와 같은 범용 하드웨어의 한계를 이해하고, 특정 LLM 알고리즘에 최적화된 하드웨어를 직접 설계함으로써 전력, 비용, 속도 측면에서 압도적인 경쟁력을 갖춘 엣지 AI 솔루션을 구현하는 방법을 학습한다. 특히, 최신 경량화 기술인 저비트 양자화(Low-bit Quantization) 기법을 알고리즘 단계에서 적용하고, 이를 C++ 기반의 고수준 합성(High-Level Synthesis, HLS)을 통해 FPGA 상에 하드웨어 로직으로 구현하는 전 과정을 실습한다. 최종적으로는 SoC(System on Chip) 환경에서 프로세서(PS)와 프로그래머블 로직(PL)을 연동하여 완전한 LLM 추론 가속 시스템을 구축하는 프로젝트를 통해, 아이디어를 실제 하드웨어 프로토타입으로 구현하는 역량을 완성한다.전선 / 학사
본 교과목에서는 사용자 요구사항을 기반으로 임베디드 소프트웨어의 개발 process과 Documentation의 중요성에 대하여 학습한다. 상용으로 생산되는 embedded 시스템에 내장되는 임베디드 소프트웨어의 품질, 안전성 및 보안성, 그리고 소프트웨어의 오류 및 오동작이 사용자와 시장에 미치는 파급 영향등을 이해하고 고품질의 소프트웨어 완성을 위한 testing과 validation의 필요성과 완성된 제품을 사용자 요구사항의 변화 따라 유지 관리, 업데이트등에 관하여 배운다. 산업현장에서 industry embedded software 개발 projects 수행하면서 겪게 되는 여러 문제의 유형과 해결방안등에 대하여 학습한다.전선 / 대학원
본 강좌는 전기자동차공학을 소개하고 이에 대한 이론 및 연습을 진행한다. 전기자동차 기술은 미래 자동차 모빌리티에 매우 중요한 기술이다. 본 강좌는 학생들에게 미래 전기자동차에 필요한 전기에너지변환, 전기기기, 인버터, 배터리, 충전, 차량전력회로, 그리고 냉각 및 에너지 관리를 소개한다. 또한 모의 전기자동차 시스템을 구축하고 이론적 지식을 연습을 통해 학습할 수 있는 기회를 제공한다.전필 / 학사
이 과목에서는 컴퓨터를 구성하는 주요 구성 요소들의 기능과 그들 상호간의 작용을 이해하고 이를 바탕으로 컴퓨터 시스템을 구현하는데 사용되는 여러 설계 기법들을 학습한다. 명령어집합, 중앙처리장치, 파이프라이닝, 메모리 계층구조, 입출력장치 등을 다루며 컴퓨터 발전의 역사적 고찰 및 컴퓨터 시스템의 성능 분석에 필요한 지식을 배운다.전선 / 학사
본 과목의 전반부에서는 ARM 기반의 내장형 시스템 하드웨어의 이해와 주요 부분에 대한 설계 지식을 습득 한다. 기존 컴퓨터구조 및 관련 과목에서 마이크로프로세서 위주로 컴퓨터 구조를 소개하는 것에 대응하여, 본 과목에서는 메모리 시스템, 입출력 및 버스 등의 구조를 강조하여 소개하여, 내장형 시스템 전체의 하드웨어의 이해와 설계 능력을 배양하는데 그 목표를 둔다. 본 강의의 후반부에서는 내장형 시스템을 구성하는 주요 소프트웨어 구성 요소들을 소개하고 내장형 시스템이 요구하는 설계의 요건들을 만족하기 위한 설계 기법들을 학습한다. 실시간 OS, 디바이스 드라이버 등의 기능들을 소개하고 내장형 시스템의 주요 응용 (예: 멀티미디어 응용)에 대해서도 익힌다. 개발된 시스템의 성능 평가 및 성능 최적화 기법을 다루며 내장형 소프트웨어를 위한 검증 기법을 학습한다.전선 / 대학원
본 교과목은 단순히 기존의 가속기를 활용하는 수준을 넘어, 차세대 AI 반도체 분야의 창업 및 핵심 개발에 필요한 맞춤형 AI 추론 엔진 개발 능력을 배양하는 것을 목표로 한다. 이를 위해 최첨단 설계 방법론인‘알고리즘-소프트웨어-하드웨어 통합 설계(Co-design)'에 대한 깊이 있는 이론과 실전 경험을 제공한다. 수강생들은 GPU와 같은 범용 하드웨어의 한계를 이해하고, 특정 LLM 알고리즘에 최적화된 하드웨어를 직접 설계함으로써 전력, 비용, 속도 측면에서 압도적인 경쟁력을 갖춘 엣지 AI 솔루션을 구현하는 방법을 학습한다. 특히, 최신 경량화 기술인 저비트 양자화(Low-bit Quantization) 기법을 알고리즘 단계에서 적용하고, 이를 C++ 기반의 고수준 합성(High-Level Synthesis, HLS)을 통해 FPGA 상에 하드웨어 로직으로 구현하는 전 과정을 실습한다. 최종적으로는 SoC(System on Chip) 환경에서 프로세서(PS)와 프로그래머블 로직(PL)을 연동하여 완전한 LLM 추론 가속 시스템을 구축하는 프로젝트를 통해, 아이디어를 실제 하드웨어 프로토타입으로 구현하는 역량을 완성한다.전선 / 학사
실생활에서 접할 수 있는 다양한 전자제품을 분해, 분석 또는 조립하여 그 안에 탑재된 반도체 부품의 동작 원리, 회로 설계, 적용 사례를 배운다. 비전공자들도 이해하기 쉬운 실습 위주의 교과 과정으로, 초반부에서는 기초 원리의 강의와 실제 제품의 분석 위주로 진행하고, 후반부에서는 회로 변경, 제품의 심화 분석, 완전 재설계 등의 개별 프로젝트를 학생 개인 또는 팀 단위로 수행한다. 실제 제품을 통하여 반도체 지식과 논리적 사고 방법을 배양하는 것이 이 과정의 목표이다. 대상 전자제품과 프로젝트의 주제는 매 학기 변경될 수 있으니 강의 계획서의 참조가 필요하다.전선 / 대학원
이 과목에서는 내장형시스템 분야의 최신 연구동향을 학습한다. 최신 논문의 강독 및 세미나 발표를 중심으로 진행되며, 다양한 응용분야에서 내장형 시스템의 설계 이슈와 최신 방법론을 다룬다. 주요 강의주제는 시스템레벨 설계 방법론, 내장형소프트웨어 설계 및 최적화, 시스템온칩 아키텍처설계, 하드웨어/소프트웨어 통합설계 등을 다룬다. 또한, 구체적인 설계사례로 IoT 시스템, 스마트폰 등의 모바일 시스템, 스토리지 서브시스템 등을 다룬다. 논문 세미나에서는 top-tier 학회인 DAC, DATE, ESWEEK, ISCA, MICRO, FAST 등에서 발표된 최신 주요 논문을 주로 발표한다.전선 / 대학원
지능형융합시스템 분야의 이론적 토대를 이루는 핵심기술, 이론, 응용 등의 분야를 심도 있게 다루는 과목이다. 본 과목의 대상이 되는 구체적인 예로는, 지능형 자동차, 지능형 로봇과 같은 지능형융합시스템의 응용, 인지과학이나 지능 알고리즘과 같은 핵심요소기술, 또는 임베디드 소프트웨어나 디지털 시스템 같은 기반기술 들이 있다. 강의 형태는 교수 강의, 세미나 발표, 또는 이들의 혼합과 같이 다양한 형태가 되며, term paper나 term project가 수강생들에게 부여될 수 있다.전선 / 대학원
이 강좌는 대표적인 친환경 녹색교통수단인 철도교통에 대한 철도공학적 이해 및 교통체계적 분석을 다룬다. 이를 위하여 철도계획 일반, 철도교통수요분석 및 평가, 시설 및 시스템, 운영 및 유지보수 등을 살펴본다. 아울러, 지속가능발전의 교통체계적 내재화를 위한 철도교통의 역할을 논의한다.전선 / 대학원
이 강좌에서는 현 시점에서 본 반도체 소자의 각 세부 분야의 주요한 연구 주제에 대한 소개와 토의가 이뤄진다. 개설 학기에 따라 주제가 변하며, 이 강좌 내의 다른 주제에 대한 특강을 수강할 수 있다.전선 / 학사
임베디드 시스템은 우리 생활의 많은 영역에서 사용되고 있습니다. 디지털 피아노는 여러 종류의 반도체로 구성된 임베디드 시스템의 한 예입니다. 본 강의는 98개의 스위치로 구성된 피아노 건반을 Arduino 개발 보드에 연결하여 건반의 음정과 강약을 인식하고, 그 정보를 음원 모듈에 전송하여 피아노 소리가 나오게 끔 하는 목표를 제시합니다. 한 학기 동안 이 문제를 풀기 위해 기초 원리를 배우고 기능을 단계별로 구현하는 Problem-Based Learning (PBL) 수업입니다. 학기 초반에는 소리를 반도체에서 구현하는 과정을 단계별로 학습하고, 후반에는 마이크로컨트롤러와 디지털 집적회로 (IC) 반도체를 사용하여 건반을 제어하는 과정을 배우고 실습합니다. 최종적으로 이 두 부분을 연결하여 디지털 피아노라는 임베디드 시스템을 완성해 봅니다전선 / 대학원
이 과목은 대학원생들을 대상으로 한 과목으로, 산업시스템의 다양한 분야에서 발생하는 스케줄링문제를 해결하는 데 사용할 수 있는 이론과 기법을 다룬다. 스케줄링은 다양한 제약조건과 목적함수에 부합하도록 작업을 생산자원에 할당하고, 할당된 작업의 순서를 결정하는 의사결정과정이다. 주요 토픽으로는 단일기계, 병렬기계, 플로우샵, 잡샵, 프로젝트 스케줄링, 에이전트 스케줄링, 처리시간의 조정 가능성을 고려한 스케줄링 등을 포함한다. 다양한 스케줄링문제에 대하여 계산복잡도, 최적해법, 근사해법, 그리고 휴리스틱해법 등에 대하여 공부한다. 학생 각자는 선택한 문제에 여러 아이디어를 적용할 수 있는 능력을 배양한다.전선 / 대학원
이 과목에서는 실시간시스템분야에서의 최신 연구동향을 학습한다. 멀티코어/GPGPU 등의 병렬컴퓨팅 환경, 이종의 컴퓨팅자원들이 결합된 이종컴퓨팅 환경 등 새롭게 대두되는 컴퓨팅 환경에서 실시간시스템을 구성하는 최신 기법들을 학습한다. 또한, 자율주행, 인공지능, IoT등 새롭게 등장하는 응용에서 실시간성을 보장하기 위한 최신 연구들을 학습한다.전선 / 대학원
본 강좌는 이미 embedded system에 익숙한 대학원생들을 대상으로 하며 embedded system을 설계하는 데 중요한 여러 주제들에 관한 최신의 연구논문들을 중심으로 연구 결과들을 학습하여 embedded system분야의 본격적인 연구를 준비시키는 데 목적이 있다.전선 / 대학원
제어 시스템 1 의 연이은 과목으로 고급 제어시스템 설계 및 해석에 필수적인 개념 및 기법들을 소개하는데, 특히 비선형 제어, 확률적 추정 및 제어, 적응 제어 및 비선형 최적제어 등에 주안점을 둔다.