최근 확인한 콘텐츠
데이터가 존재하지 않습니다.
데이터가 존재하지 않습니다.
loading...
무기체계 임베디드 소프트웨어의 취약점을 개선하기 위해 유지보수 체계 개선 및 정보보호 체계 구축 방안을 제시한다. 군 내 전문인력 양성, 품질보증 및 ILS 제도화, S-SLA 기반 정보보호 유지보수, 화이트리스트 및 TPM 적용 등의 대안을 제안한다.
임베디드 소프트웨어 개론
ILS 핸드북
패키지SW·임베디드SW·공개SW 국내·외 기술현황과 산업동향분석
Software engineering for large software systems
국방과학기술과 무기체계
무기체계 : 획득 & 종합군수지원(ILS)
임베디드 SW 기술지원센터운영에 관한 연구 =
(한 권으로 끝내는) 직장인 필수 IT 지식 : 8가지 주제로 알아보는 직장인 필수 IT 지식 =
국방과학기술과 무기체계
네트워크 기반 임베디드 시스템의 기초 및 실습 =
임베디드 리눅스 시스템 개발 및 응용 =
종합군수지원(ILS) 이론과 실제
ISO 9000 시리즈와 소프트웨어 품질 시스템
Cryptography and network security : principles and practice
Advances in information security management & small systems security : IFIP TC11 WG11.1WG11.2 Eighth Annual Working Conference on Information Security Management & Small Systems Security, September 27-28, 2001, Las Vegas, Nevada, USA
임베디드 SW : 국제경쟁력 분석을 통한 산업육성방안
품질을 생각하는 임베디드 소프트웨어 설계
소프트웨어 공학 =
수요 중심의 인력계획
SW 신기술(임베디드SW) 전문 인력 양성 사업 =
보안공학연구논문지
박철현; 안훈상; 김승규; 배종호한국국방경영분석학회지
이경록한국컴퓨터정보학회논문지
김세일, 김효성, 이일로Journal of KIISE
Tae Sik Kim; Kyeong Yong Kwon; Joon Seok Joo; Ji Hyun Baek; Jin Woo Oh한국산학기술학회논문지
이관영; 김상문; 박은심; 박재은; 김근형한국정보기술학회논문지
김세일; 서재현; 김광현융합보안 논문지
강지원, 문재웅, 이상훈한국컴퓨터정보학회논문지
권경용, 양해술한국산학기술학회논문지
윤경환, 박만춘, 주진천, 엄원용, 오진우, 윤재형, 김종규한국방위산업학회지
최준성, 김우제, 박원형, 국광호한국산학기술학회논문지
김종규, 윤재형, 류지선한국IT정책경영학회 논문지
이승규한국산학기술학회논문지
오진우, 김종규, 류지선, 윤재형, 송치훈융합보안 논문지
정 용 태, 정 현 식, 강지원한국군사학논집
김경원, 장석민, 손윤식, 임선영보안공학연구논문지
이기영정보과학회논문지
권경용; 주준석; 김태식; 오진우; 백지현정보과학회논문지 : 소프트웨어 및 응용
김기창, 김용환, 신주환, 한기준정보보호학회논문지
안정근; 조광수; 정한진; 정지훈; 김승주한국방위산업학회지
류인수, 박태형전선 / 대학원
데이타베이스, 프로그래밍 언어, 그래픽스, 운영체계 등 시스템 소프트웨어에 있어서의 최신 동향과 주요 주제를 다룬다.전선 / 대학원
데이타베이스, 프로그래밍 언어, 그래픽스, 운영체계 등 시스템 소프트웨어에 있어서의 최신 동향과 주요 주제를 다룬다.전선 / 학사
본 교과목에서는 사용자 요구사항을 기반으로 임베디드 소프트웨어의 개발 process과 Documentation의 중요성에 대하여 학습한다. 상용으로 생산되는 embedded 시스템에 내장되는 임베디드 소프트웨어의 품질, 안전성 및 보안성, 그리고 소프트웨어의 오류 및 오동작이 사용자와 시장에 미치는 파급 영향등을 이해하고 고품질의 소프트웨어 완성을 위한 testing과 validation의 필요성과 완성된 제품을 사용자 요구사항의 변화 따라 유지 관리, 업데이트등에 관하여 배운다. 산업현장에서 industry embedded software 개발 projects 수행하면서 겪게 되는 여러 문제의 유형과 해결방안등에 대하여 학습한다.전선 / 대학원
이 과목은 운영제체에 대한 기본적인 지식이 있다고 가정한다. 실시간 시스템에 있어서 각 작업이 요구되는 시간제한을 맞추기 위하여 어떤 스케줄링이 필요하고 어떻게 시스템을 설계해야 하는지를 배운다. 또한 이를 응용하여 어떻게 실제 시스템에 응용할 수 있는지 배운다.전선 / 대학원
기록학의 연구 및 실천에 필요한 전산의 기초적 지식을 교육한다. 기록의 작성과 보존 및 활용에서 컴퓨터 활용이 가지는 사회적 의미와 실무적 가치를 분석하고, 컴퓨터 시스템의 개요 및 하드웨어, 소프트웨어, 운영체제를 이해할 수 있는 기초 지식을 습득하게 한 후, 현재 공공 부문에서 널리 사용하고 있는 응용소프트웨어의 기초적 사용법, 효과적 이용 방법 등을 체계적으로 교육한다.전선 / 학사
임베디드 프로세서 구조, 임베디드 운영체제, 임베디드 시스템에 사용되는 부품들과 그들을 집적하는 과정 등 시스템 설계에 대한 기본적인 내용을 배운다. 또한 관련 실습과 기말과제를 통하여 실제적인 설계 경험을 얻는다.전선 / 대학원
본 강의에서는 시스템-온-칩 뿐 아니라 분산 임베디드 시스템을 체계적으로 설계하기 위한 방법론으로 많은 주목을 받고 있는 하드웨어-소프트웨어 통합설계 방법론에 관하여 공부하도록 한다. 우선, 시스템을 정형적으로 명세하기 위한 다양한 계산 모델(model of computation)에 관하여 살펴보고 시스템의 시뮬레이션과 빠른 성능 예측 기술, 그리고 시스템의 최적 구조를 탐색하는 기술 등 시스템 설계에 관한 핵심 기술들을 개괄적으로 살펴본다. 끝으로 병렬/분산 임베디드 소프트웨어의 검증과 유지를 용이하게 하기 위한 임베디드 소프트웨어 설계 기술을 배운다.전필 / 대학원
전 세계 모든 컴퓨터가 네트워크로 연결되어 자유롭게 소통하며 정보를 주고받게 되면서, 전달되고 저장되는 정보의 보안이 중요한 이슈가 된지 오래다. 이 강의에서는 소프트웨어와 컴퓨터시스템에서 정보보안을 위해 개발된 기술의 원리와 한계를 강의한다. 컴퓨터가 정보를 처리할 때 보안 유지를 위해서 컴퓨터 소프트웨어와 하드웨어가 어떻게 서로 협업하여 주어진 보안의 목적을 달성하는 지를 살펴본다. 시스템 소프트웨어의 보안, 응용 소프트웨어의 보안, 소프트웨어 저작권 보장을 위한 기술적인 해결책 등등에 대한 강의를 포함한다. 또한, 이러한 기술들이 미래에 끊임없이 첨단화되고 있는 디지털포렌식 현장에서 어떤 의미를 갖는지를 살펴본다.전선 / 대학원
본 강의는 농식품 공급망에서의 레질리언스 역량 강화에 대한 이론 및 모형을 다루고 농식품 공급망 레질리언스와 관련된 주요 이슈 및 연구 동향을 살펴보며 이를 통해 공급망 레질리언스 구축 방안에 대해 심층적으로 논의하는데 그 목표를 두고 있다. 구체적으로 농식품 공급망에서의 다양한 리스크 요인들을 살펴보고 이에 대해 공급망 입지 및 공급망 설계, 구매 및 공급자 관리, 생산 및 운영 등의 전략적 접근 방안을 다루게 된다.전선 / 대학원
본 과목에서는 농식품 산업에서의 공급망 및 운영전략과 관련하여 기후변화 및 지속가능성, 공급망 레질리언스 및 글로벌 공급망 운영전략 등의 관점에서 기본적인 이론과 모형을 습득하고 해당 분야의 최근 연구 동향을 살펴보는 것을 목표로 한다. 구체적으로 공급망 입지 및 네트워크, 구매 전략, 공급망 협력, 생산 및 운영전략, 공급망 혁신기술 등의 연구 분야에서 주요 연구 결과를 논의하고 새로운 연구 문제를 창출할 수 있도록 한다.전선 / 학사
임베디드 시스템이란 마이크로프로세서 및 각종 주변 장치들로 하드웨어를 구성하고, 이를 사용하여 특정 응용 프로그램을 동작시키는 시스템을 말한다. 본 과목에서는 특정 응용에 최적화된 마이크로프로세서 기반 하드웨어를 구성하고, 이를 동작시키는 소프트웨어 프로그래밍을 위한 이론 및 기법들을 습득한다. 마이크로프로세서의 아키텍처 및 내부 구조에 대해서 소개하고, 메모리 시스템 및 각종 입출력 장치의 구조 및 동작원리를 설명한다. 구성된 하드웨어를 효과적으로 동작시키기 위한 인터럽트 처리 기법, 디바이스 드라이버, run-time library, firmware, 및 실시간 운영 체제(Real-time operation system: RTOS) 프로그래밍 기법을 설명한다. 프로젝트에서는 마이크로프로세서를 사용하여 실제 임베디드 시스템을 구현해 봄으로써, 소개된 이론을 실습하고 시스템 구현에 필요한 노하우를 습득한다.전선 / 대학원
소프트웨어 공학의 관점에서 병원의 의료정보시스템 구축을 위한 방법론에 대해 학습한다. 의료정보시스템의 사용자요구분석, 데이터베이스설계, 시스템 구축의 단계별 과정, 시스템 유지와 관련한 여러 이론들에 대해 탐구한다. 또한 현장에서의 실무경험을 배양하기 위해 프로젝트를 통해 툴의 사용과 의료정보시스템 구축의 생명주기에 대하여 체험하게 된다.전선 / 학사
이 강의는 크게 두 부분으로 나뉜다: 기계화된 수학과 소프트웨어 검증. 첫 번째 부분에서는 컴퓨터의 도움을 받아 수학을 오류 없이 수행하는 방법을 소개한다. 특히, Coq 증명 보조 도구의 이론과 응용에 대해 배운다. 이 도구는 수학적 정의, 정리 및 증명을 엄밀하게 작성할 수 있게 해주며, 이후에 자동 증명 검사를 수행하여 그 증명의 올바름을 보장한다. 이 강의의 두 번째 부분에서는 소프트웨어 명세를 표현하는 방법, 그리고 작성된 프로그램이 주어진 명세대로 오류 없이 동작함을 엄밀하게 검증하는 방법을 소개한다. 구체적으로, Coq 내에서 Hoare 논리라고 불리는 프로그램 논리를 구현하고, 이를 사용하여 다양한 프로그램을 엄밀하게 검증한다.전선 / 대학원
이 교과목은 정보시스템분야에 대한 개념적/연구중심적 소개가 목적이다. 구체적으로 정보시스템 분야에 대한 정의, 정보시스템분야의 고전 및 현재 연구에 대한 소개, 분야를 이해하기 위한 사고의 틀 제공이 목적이다.전선 / 학사
본 과목의 전반부에서는 ARM 기반의 내장형 시스템 하드웨어의 이해와 주요 부분에 대한 설계 지식을 습득 한다. 기존 컴퓨터구조 및 관련 과목에서 마이크로프로세서 위주로 컴퓨터 구조를 소개하는 것에 대응하여, 본 과목에서는 메모리 시스템, 입출력 및 버스 등의 구조를 강조하여 소개하여, 내장형 시스템 전체의 하드웨어의 이해와 설계 능력을 배양하는데 그 목표를 둔다. 본 강의의 후반부에서는 내장형 시스템을 구성하는 주요 소프트웨어 구성 요소들을 소개하고 내장형 시스템이 요구하는 설계의 요건들을 만족하기 위한 설계 기법들을 학습한다. 실시간 OS, 디바이스 드라이버 등의 기능들을 소개하고 내장형 시스템의 주요 응용 (예: 멀티미디어 응용)에 대해서도 익힌다. 개발된 시스템의 성능 평가 및 성능 최적화 기법을 다루며 내장형 소프트웨어를 위한 검증 기법을 학습한다.전선 / 대학원
본 과정은 선형 시스템, 전달 함수, 라플라스 변환에 대하여 소개한다. 안정성과 피드백을 다루고 과도 응답 사양을 위한 기본 설계 도구를 제공한다. 또한 주파수 영역 기술도 간략하게 다룬다. 이 과정에는 컴퓨터 프로그래밍 실습 및 제어 설계 프로젝트가 포함된다. 실습 프로젝트에 관련된 전공은 조선해양공학은 물론 로봇공학, 기계공학, 전자공학, 전기공학, 산업응용수학 등이다.전선 / 대학원
첨단기술자산의 전략적 중요성이 대두되고 WTO체제하에서 국제규범이 강화되는 추세 속에서 지적재산권(IPRs)의 법적, 재무적 의미와 제도를 이해하고 이를 효과적으로 관리할 수 있는 기법과 장치들을 습득하며 나아가 기술표준(Technical Standard)의 관리문제도 다룸으로써 기술보호주의와 전략적 제휴시대에 대비한다.전선 / 학사
본 과목은 다양한 수리적 이론 및 방법론을 사용하여 물류 시스템의 설계 및 운영에 관련된 문제 해결 능력을 고양하는 것을 목표로 한다. 다양한 물류 시스템들과 각 물류 시스템에 관련된 의사결정 문제들이 소개되며, 해법들이 논의된다. 실제 문제 해결 능력을 높이기 위하여 현실적인 예제들이 다루어진다. 구제척인 강의 주제들은 물류 전략 및 계획, 수송 의사결정, 보관 및 취급 의사결정, 설비배치 의사결정 및 네트워크 계획 프로세스들을 다루게 된다.전선 / 대학원
본 강좌에서는 정보시스템 개발의 이론과 실제를 프로세스와 데이터 분석 차원에서 학습한다. 여기서는 시스템 개발 수명 주기를 중심으로 연구주제를 살펴보며, 모델링과 시뮬레이션에 대한 시스템 개발 연구방법론도 살펴본다.전필 / 대학원
디지털포렌식 수행과정에서 암호화된 디지털 증거를 분석하기 위한 암호해독 방법을 다룬다. 그리고 법정에서 디지털 데이터가 증거로 채택되기 위해서는 증거의 무결성 유지가 요구되는데, 이 과목에서 이를 보장하는데 필요한 암호학적 도구를 강의한다. 또한 클라우드 컴퓨팅 환경이 마련되면서 새로운 기능을 가지는 암호 기술이 급격히 발전하고 있다. 이러한 미래 암호 기술을 구체적으로 살펴봄으로써 새로운 환경에서의 디지털포렌식을 대비할 수 있도록 한다.