슬라이드 1

Transcription

1 국방/항공 분야 내장형 시스템 솔루션 MDS테크놀로지

2 목 차 Ⅰ II Ⅲ IV V VI VII 내장형 시스템 솔루션 내장형 SW 내장형 시스템 개발 도구 내장형 SW 테스팅 솔루션 하드웨어 솔루션 엔지니어링 서비스/교육 회사 소개

3 국방/항공 내장형 시스템 내장형 시스템 솔루션 무기체계가 점차 지능화되고 전장 환경이 네트워크중심전(NCW)으로 변화하면서 무기체계의 내장형SW 규모가 급증 하는 추세임. 항공기의 첨단화와 장비 통합화로 SW 규모가 급증, 과거 F-4의 8%를 차지하던 SW 비율이 F-35에서는 90%로 증가 우리나라 주력 전차/자주포의 SW 라인과 총 개발 비용 대비 SW 비용의 비중 증가 3

4 국방/항공 내장형 시스템 내장형 시스템 솔루션 우리 나라의 종합적인 국방과학기술 수준이 선진국권인 것에 비해, 무기체계 SW 부문은 평균에 미달하는 수준임. 실제로 우리 나라는 무기체계 핵심 SW기술 미보유로 외산 제품에 대부분 의존하는 상황. 국방과학기술 수준 세계 1위인 미국 대비 81점(세계 9위), 이 중 국방SW 부문은 75점(세계 12위)으로 평균 이하 무기체계 SW 중 외산 제품 적용률이 미들웨어 부문은 85%, 운용체계 부문은 100%에 육박 100 미국 100 미국 한국 81 종합국방기술수준 한국 75 국방SW수준 (자료 : 국방기술품질원, 2015) (출처 : 전자신문, 2014) 시사점 SW의 신뢰성/보안성 확보 필요 개발의 효율화/체계화 필요 내장형 SW의 국산화 시급 - Standardization - Verification (Review, Analysis, Test) - Certification - SW 수명 관리 - 효과적인 개발도구 활용 - COTS 활용 - 핵심 기술 및 기술 경쟁력 확보 4

5 MDS 국방/항공 분야 솔루션 MDS 국방/항공 솔루션» 내장형 시스템 개발 전 과정, 개발 효율과 품질 향상을 위한 솔루션, 서비스/교육 제공 내장형 SW 내장형 시스템 개발 도구 내장형 SW 테스팅 솔루션 국방/항공용 실시간 운영체제 (NEOS RTOS) DO-178B Certifiable RTOS DDS 미들웨어 (NeoDDS) OMG 표준 데이터 통신 미들웨어 Microsoft Embedded OS Windows Embedded Compact 2013&CE Windows Embedded 8 Standard Windows 10 IoT Enterprise 하드웨어 솔루션 상용 보드 및 컴퓨터, 시스템 Rugged 서버 및 시스템 FPGA 기반 고성능 컴퓨터 고객 맞춤형 개발 플랫폼 항공 텔레메트리 시스템용 데이터 취득 모듈 Night Vision IR Camera 열화상 비파괴 검사 솔루션 체계 위험도 안전성 분석 Medini Analyze Application Lifecycle Management Polarion ALM IBM ALM - 요구사항 관리 DOORS - 모델 기반 설계 Rhapsody - 형상/변경 관리 Synergy/Change 멀티 코어 개발 및 타이밍 분석 Inchron, Timing Architects ECU 개발 dspace Prototyper/TargetLink/HIL Simulator 모델 분석/Verification 자동화 Reactis, Medini Unite, EmbeddedTester, Embedded Specifier, Embedded ValidatorNE 모델링 가이드라인 검증 Model Examiner 디버깅 TRACE32 컴파일러 IAR Embedded Workbench, CodeWarrior, CoDeveloper - Impulse C 프로세스 자동화/빌드 성능 향상 ElectricFlow, ElectricAccelerator 문서 출력 자동화 HWP-Manager/RPE 빅데이터 분석 플랫폼 Splunk 신뢰성 분석 실행시간 오류 검출 CodeSonar Static/Binary 신뢰성 분석 코딩 규칙 검증 QA Framework(C, C++, C#, Java), QA Verify 소스코드 구조 분석 Structure101 신뢰성 분석 오픈소스 라이선스 검출 Palamida 신뢰성 시험 (동적시험) SW 단위/통합 시험 및 코드 실행률 분석 VectorCAST/C++ 체계 통합/기능 시험의 코드 실행률 분석 VectorCAST/Cover 체계 통합 Coverage 검증 및 Profiling DT10 보안취약점 분석 bestorm SW WCET 분석 ait 최대 스택 사용량 분석 StackAnalyzer 비정상적인 메모리 접근 분석 ValueAnalyzer 엔지니어링 서비스/교육 SW 엔지니어링 서비스 국방/항공 인증 컨설팅 보안 테스팅 서비스 및 교육 임베디드 기술 교육 빅데이터 분석 교육 5

6 국방/항공 SW 개발 툴체인 MDS 국방/항공 솔루션» 요구사항 분석, SW 설계, 디버깅, 테스팅 등 V 모델 기반 솔루션 및 엔지니어링 서비스 V 모델 기반 국방/항공 SW 개발 솔루션 완벽 구축 요구사항 관리 DOORS Medini Analyze 설계 00 형상/변경 관리 프로세스 자동화 Synergy/Change Polarion ElectricFlow 단위/통합시험 검증 HWP-Manager/RPE bestorm Rhapsody Reactis Medini Unite Inchron Timing Architects dspace Prototyper dspace VEOS 구현 QA Framework, QA Verify Structure101 CodeSonar Static/Binary Palamida Rhapsody TargetLink TRACE32 DT10 ElectricAccelerator VectorCAST/C++, VectorCAST/Cover DT10 dspace HIL Simulator Model Examiner M-XRAY EmbeddedTester/Validator ait StackAnalyzer ValueAnalyzer Inchron Timing Architects 6

7 목 차 Ⅰ II Ⅲ IV V VI VII 내장형 시스템 솔루션 내장형 SW 내장형 시스템 개발 도구 내장형 SW 테스팅 솔루션 하드웨어 솔루션 엔지니어링 서비스/교육 회사 소개

8 국방/항공용 실시간 운영체제 NEOS 내장형 SW NEOS는 가장 높은 SW 신뢰도를 요구하는 항공 SW 분야 국제 표준인 DO-178B Level A(최고 안정도 등급) 인증을 아시아 최초로 획득하였고 POSIX 인증을 통해 기존 SW의 재사용성을 극대화한 RTOS로, 60개 이상의 사이트에 적용되어 안정성과 기능성을 검증 받음. 외산 솔루션 대비 경쟁력/신뢰성 확보한 실시간 운영체제(RTOS) 솔루션 Software Reliability 10여 년 간의 연구개발 60건 이상의 적용사례 DO-178B 프로세스를 따른 개발/검증 및 승인 국방/항공 적용 사례 라이선스 비용 절감 국내 연구소 운영 및 기술지원 서비스 POSIX 인증, ANSI C 포팅 계층 최소화 BSP 개발 지원 국산 실시간 OS : 노태영 부장 ( , taeyoung@mdstec.com) 8

9 NEOS RTOS 적용 사례 내장형 SW 1999년 2002년 2007년 2011년 2015년 의미 산학협동을 통한 RTOS 제품화 성공 모바일/멀티미디어 통합 솔루션 상용화 국방/항공용 고신뢰 RTOS 상용화 국방/항공 시장 NEOS 적용확대 사업성 확보 주요 성과 Web 카메라/PDA 등에 적용 (Velos 1.0 출시) Velos 제품화 (V1.2) + 레퍼런스 보드 5종 개발 Media*ON, DMB*ON 솔루션 50여 업체에 라이선스 SoC 업체와의 협력 (매직아이, 하이닉스, 삼성LSI) 항공용 실시간 운영체제 개발 및 통합시험 성공 DO-178B Level A 승인 획득 (2009년) 한화 차기 다련장 유도미사일 적용 K2전차 자동장전시스템 적용 중형기 IMA플랫폼 RIU 적용 항공 엔진 EECU / AFDX 적용 추진 열차/전동차 통신제어시스템 적용 시험 성공 비행 로봇 비행제어 적용 진행 원자력 스마트원자로 적용 중 TTA GS 인증획득(2014년) K2전차 차량제어 시스템 적용시험 성공 선박엔진 및 배기가스 저감 제어기 적용 FA-50 경공격기 비행시험 성공 (임무컴퓨터 적용) KT-1 엔진자료변환기 적용 중 9

10 NEOS RTOS 적용 시 이점 내장형 SW 동등 이상 신뢰성 외산 대비 동등이상 기능 및 성능 DO-178B 기반 V&V 국내 적용/시험 다수 국내 기술 TCO 절감 기술종속, 통제 극복 차별화된 기술지원 통합 플랫폼 기반 최적화 SW 재사용 개발비, 로열티 외산 대비 60% 이내 부팅시간 최소화, Customization 전문 지원 기존 응용 SW 재개발 없이 재사용 10

11 NEOS RTOS 구성 내장형 SW POSIX 표준 API / ANSI C API 멀티 태스킹 커널 풍부한 태스크 간 통신/동기화 객체 서브 시스템 기타 선점형 실시간 스케줄러 네트워크 프로토콜 시간 관리자 메모리 관리자 모듈화된 확장 구조 파일 시스템 입출력 시스템 실시간 스케줄러 빠르고 정확한 인터럽트 처리 메커니즘 디버그 에이전트 예외처리 세마포어 POSIX 표준 호환 API 디바이스 관리자 NEOS 쉘 스레드 관리자 인터럽트 서비스 편리한 하드웨어 포팅 구조 서브시스템: TCP/IP, 파일시스템, 쉘 메시지 큐 알람, 이벤트 커널 코어 11

12 NeoDDS 미들웨어 내장형 SW 순수 국내 기술로 개발된 DDS(Data Distribution Service; 데이터 분배 서비스) 미들웨어 제품으로, 실시간 고신뢰 데이터 교환이 필요한 국방 무기체계 및 정보체계용 분산 데이터 통신 플랫폼 역할 수행 특징 및 장점 국제 표준 기술 : OMG(Object Management Group) 표준 기술. 미군 무기체계 개발시 표준 기술로 사용됨 순수 국내 기술 기반 : 국방과학연구소(ADD)및 ETRI 기술 이전 후 제품화. 국내 국방체계 환경에 적합 발간/구독(Publish/Subscribe) 통신 방식 : 데이터 중심적인 통신이 가능하며, 방대한 양의 데이터 전송과 처리에 적합 데이터 중심적(Data-Centric) 응용 프로그램 구조 실현 : 체계 개발기간 단축 및 성능개량 비용 절감 실현 자동 디스커버리(discovery) 기능 제공 : 시스템의 동적인 구성 변화에 자동 대응 가능 일정 시간 내(deterministic) 데이터 전송 기능 제공 : 실시간 데이터 전송 기능 제공 다양한 통신 방식 제공 : 일대일(one-to-one), 일대다(one-to-many), 다대일(many-to-one), 다대다(many-to-many) 통신 지원 다양하고 상세한 메시지 전송 제어용 QoS(Quality of Service) 파라미터 22종 제공 적용사례 - 함정전투체계 - 군용기 임무체계 - 무인항공기 지상통제체계 - 방공지휘통제체계 - C4I 정보처리체계 - 위성통신체계 - 교육/훈련체계 - 시뮬레이터 등 운용환경 - 운영체제: Windows 7/8, Linux, RTOS(NEOS 등) - 프로그래밍 언어: C, C++, C#, Java : 조윤재 이사 ( , yunjae@mdstec.com) 12

13 Windows Embedded Compact 2013 & CE 내장형 SW MDS테크놀로지는 마이크로소프트의 아시아 1위 파트너로서 세계 최고의 벤더들과(IHVs, ISVs, SVs) 에코시스템을 구축하고 있음. 32bit Hard Real-Time, 선점형 멀티태스킹 - 중첩 인터럽트 핸들링 (ISR 과 IST) 단계의 Thread 우선 순위 레벨 - 1ms기본 OS timer tick (Variable) 멀티 프로세서 지원 (SMP) C++ 11 표준 지원 빠른 부팅 시스템 지원 (2초 부팅) 빠른 성능과 다양한 기능의 Micro-Kernel 구조 다양한 멀티미디어 기능 Defense/ Aerospace Consumer Device Thin Client Industrial Automation Telematics Robotics 강력한 그래픽, 네트워크, 파일시스템 성능 최신 ARM, x86 core CPU 지원 Binary Oriented OS : 강대운 부장, essales@mdstec.com 13

14 Windows Embedded 8 Standard 내장형 SW Internet Explorer 11, Windows Media Player 12, HTML5, 원격 데스크톱 프로토콜(RDP) 8 및 마이크로소프트 닷넷 프레임워크(.NET Framework) 4.5, Trusted Boot, Windows Defender등의 최신 데스크톱 기술을 탑재하고 있음. Windows 8 기반으로 모든 윈도우 기능을 컴포넌트화 Windows 클라이언트의 최신 데스크탑 기술 포함 다양한 응용 시스템을 위한 운영체제 디자인 가능 - 기존 Win32 기반 응용프로그램 지원 - 새로운 모던 스타일의 Windows 8 App 지원 X86 기반 하드웨어 플랫폼 지원 임베디드 시스템에 특화된 기능 POS Kiosk Digital Sign - UWF (Unified Write Filter) - Gesture Filter - Custom Branding Manufacturing Thin Client - App Launcher - Keyboard Filter - USB Filter Windows Embedded Studio 개발 환경 - IBW(Image Build Wizard)를 통한 마법사 환경 - ICE(Image Configuration Editor)를 통한 고급 환경 : 강대운 부장, essales@mdstec.com 14

15 Windows 10 IoT Enterprise 내장형 SW Windows 10 IoT Enterprise는 범용 Windows 10의 모든 기능을 포함하고 있으며 산업용 디바이스 개발에 최적인 임베디드 락다운 기능이 추가로 제공됨. 32비트, 64비트 모든 칩셋 지원 향상된 임베디드 락다운 기능이 포함된 Windows 10의 Full 버전 Win32/ Win7/ Win8 기반 응용 프로그램 사용 가능 향상된 디바이스 락다운 기능 제공 - Write Filter, USB Filter, Dialog Filter, Input Filter, Kiosk Retail Digital Sign AppLocker & Layout Control, Shell & App Launcher 등 다양한 Windows 10 기반의 모든 플랫폼에서 하나의 유니버셜 앱과 드라이버 사용 확장된 리테일 주변 기기 API 지원 - Barcode, Mag-Strip Reader, Receipt Printer, Cash Drawer, Payment Terminal 등 Microsoft Azure IoT 서비스 기반의 새로운 형태의 제품 개발 및 비즈니스 창출 Industrial Tablet Thin Client : 강대운 부장, essales@mdstec.com 15

16 목 차 Ⅰ II ⅢIII IV V VI VII 내장형 시스템 솔루션 내장형 SW 내장형 시스템 개발 도구 내장형 SW 테스팅 솔루션 하드웨어 솔루션 엔지니어링 서비스/교육 회사 소개

17 체계 위험도 안전성 분석 내장형 시스템 개발 도구 요구사항 관리 형상/변경 관리 검증 Medini Analyze for Safety and Reliability 설계 단위/통합시험 구현 무기체계 지침 및 RTCA DO-254, DO-178B/C 등 국제 표준 대응을 위한 위험 안전성 분석/관리 솔루션 Item Definition - 텍스트 기반의 품목 관리를 위한 기능 제공 Functional Hazard Assessment - 장애/위험원(Hazard)을 분석하여 SW 시험 항목 및 목표값을 설정 지원 Safety Goal Analysis and Management - 안전 요구사항을 분석하고 관리하는 기능 System Architecture Modeling - SysML을 사용하는 에디터 기능 Software Modeling - MATLAB/Simulink와 통합 연동 기능 제공 FME(C)A/FTA - 입력된 Data 자동 기입 기능 및 표준 양식 제공 모든 항목간 추적성 및 일관성 확보 단계별 산출물 자동 문서화 기능 제공 Boeing, Rockwell Collins, 현대자동차, BMW, 다임러, 아우디, 폭스바겐, 자동차부품연구원, GM, 도요타, 닛산, 페라리, 보쉬, 콘티넨탈, DENSO, Autoliv, IVECO, JTEKT, CTAG, Infineon, Opel, Fiat Powertrain, Intecs 등 석민진 대리 ( , medini@mdstec.com) 17

18 Application Lifecycle Management 내장형 시스템 개발 도구 Polarion ALM 요구사항 관리 설계 검증 형상/변경 관리 단위/통합시험 구현 무기체계 내장형 SW 프로세스 관리를 지원하는 통합 Application Lifecycle Management 도구 요구사항관리, 형상/변경 관리, 이슈 관리, 테스트 관리, 빌드/배포 관리, 프로젝트 관리, 현황 관리 등 요구사항에서 테스트까지의 양방향 추적성 관리 100% Web 기반으로 편리한 사용성 및 우수한 성능의 All-In-One 도구 무기체계 전체 SW 개발 프로세스 전반에 유기적인 통합 관리 지원 웹 기반으로 언제 어디서나 효과적인 협업이 가능한 분산 환경 지원 Live-Docs를 활용한 Microsoft Word 및 Excel 파일 내 요구사항 관리 요구사항 관리 품질관리 Round-Trip을 활용한 문서 Import/Export로 효과적인 공유 및 협업 지원 프로젝트 일정을 자동 업데이트하여 현재 진행 상태 및 업무량 관리 Jenkins 및 Maven와 Integration을 통해 자동 Build 관리 요구사항에서 소스코드까지의 추적성, 버전, 이슈/결함, 변경 관리 내장된 프로젝트 템플릿을 통해 FMEA를 따른 잠재적인 위험 관리 Variant 관리 빌드/릴리즈 관리 이슈/결함 관리 변경관리 공개 API를 통해 사용자 요구에 맞는 기능 확장이 가능하고 3rd party (HP QC, Jira, Simulink 등) 도구와 함께 사용 가능 프로젝트 관리 현황관리 현대로템, 유콘시스템, 단암시스템, 현대자동차, 만도, 디와이, 코츠테크놀로지, 베이다스, Daimler, Honda, Bosch, BMW, Mercedes-Benz, SAAB, FIAT, QUANTUM, Magneti Marelli, SIEMENS 등 정승룡 과장 ( , 18

19 Application Lifecycle Management 내장형 시스템 개발 도구 IBM ALM 솔루션 임베디드 시스템 개발에 특화된 IBM의 개발 생명주기 관리 솔루션 요구사항 관리, SW 아키텍쳐 모델링(SysML, UML), 형상/변경 관리의 일원화된 통합 개발/관리 요구사항에서 테스트까지의 추적성 관리 및 문서 생성 자동화 개발생산성 제고 및 SW 품질 향상 DOORS - 요구사항 관리 솔루션 Rhapsody - SysML/ UML 호환 모델 기반의 S/W 설계 지원 - 코드 자동 생성 - 시나리오 기반의 Logic Test Synergy - 형상관리 솔루션 Change - 변경관리 솔루션 RPE - 문서 출력 자동화 솔루션 국방/항공 : 국방과학연구소, 방위사업청, 엘아이지넥스원, 한국항공우주산업, 한국항공우주연구원, 대한항공, 한화탈레스, 한화, 현대로템, 두산디에스티, 퍼스텍, 케이티 등 자동차 : 현대자동차, 현대모비스, 현대오트론, 현대케피코, 현대위아, 현대오토에버, 만도, 만도헬라일렉트로닉스 유라코퍼레이션, S&T모티브, 한국오므론전장, 한국델파이, 한국지엠 등 설재성 주임 ( , ibm@mdstec.com), 손유진 사원 ( , ibm@mdstec.com) 19

20 요구사항 관리 내장형 시스템 개발 도구 DOORS 요구사항 관리 설계 검증 형상/변경 관리 단위/통합시험 구현 복잡한 시스템과 소프트웨어에 대한 요구사항 관리 직관적이며, 확장 가능한 요구사항 관리 포괄적인 추적성, 변경관리와 영향 분석 협업 요구사항 관리 환경 개발 단계별 요구사항 간의 추적성 연결을 통해 추적성 누락 내용 확인 가능 요구사항 변경 시, 변경의 영향을 받는 요구사항을 의심 링크 기능을 통해 시각적으로 확인 가능 Word, Excel, RIF, ReqIF 등에 대한 Import / Export 기능 요구사항 변경에 따른 영향 분석이 용이 히스토리 기능을 통해 누가, 언제, 어떤 행위를 했는지 확인 가능 복원 기능을 통해 완벽한 데이터 복원 가능 국방/항공 : 국방과학연구소, 방위사업청, 엘아이지넥스원, 한국항공우주산업, 한국항공우주연구원, 대한항공, 한화탈레스, 한화, 현대로템, 두산디에스티, 퍼스텍, 케이티 등 자동차 : 현대자동차, 현대모비스, 현대오트론, 현대케피코, 현대위아, 현대오토에버, 만도, 유라코퍼레이션 S&T모티브, 엘지전자, 엘지화학, 엘지이노텍, 한국델파이, 한국지엠 등 설재성 주임 ( , ibm@mdstec.com), 손유진 사원 ( , ibm@mdstec.com) 20

21 모델 기반 설계 내장형 시스템 개발 도구 Rhapsody 요구사항 관리 설계 검증 형상/변경 관리 단위/통합시험 구현 자동 코드 생성과 모델 기반의 테스트를 통하여 유연한 워크플로우 제공 포괄적인 모델링 및 요구사항 추적성 기능으로 코드 품질 향상 애플리케이션 생성 기능으로 생산성 향상 개발 수명주기의 초기에 결함과 설계 오류 파악 다양한 요구사항 개발도구(DOORS, Word, Excel 등)와 연동 통해 요구사항기반 모델 설계 및 모델요소간 추적성 관리 가능 설계된 모델로부터 자동 코드 생성 및 모델과 코드간 동기화 지원 Reverse Engineering으로 기존 코드의 모델화 및 시각화 지원 HOST상에서 설계 모델 시뮬레이션 기능 자동 테스트 환경 구축 및 테스팅 실행 FlowChart 기반 분석 및 문서화 지원 국방/항공 : 국방과학연구소, 방위사업청, 엘아이지넥스원, 한국항공우주산업, 한국항공우주연구원, 대한항공, 한화탈레스, 한화, 현대로템, 두산디에스티, 퍼스텍, 케이티 등 자동차 : 현대자동차, 현대모비스, 현대오트론, 현대케피코, 현대위아, 현대오토에버, 유라코퍼레이션 만도, S&T모티브, 엘지전자, 엘지화학, 엘지이노텍, 한국델파이, 한국지엠 등 설재성 주임 ( , ibm@mdstec.com), 손유진 사원 ( , ibm@mdstec.com) 21

22 형상/변경 관리 내장형 시스템 개발 도구 Synergy/Change 요구사항 관리 설계 형상/변경 관리 검증 단위/통합시험 구현 완전한 Task 기반의 형상관리 솔루션 상향식 / 하향식 연관성 추적, 릴리즈 감사 지원 효과적인 Reporting 기능을 포함한 다양한 프로세스 지원(CMMI, Agile ) 자동화된 Lifecycle 관리 연동 제공 복잡한 비즈니스 요구사항에 대한 워크플로우와 프레임웍을 지원 품질 혁신 및 개발 방법론에 대한 지원 콤포넌트 기반의 개발 / 분산 개발환경 지원 요구 사항 중심의 개발 환경지원 패키지로 제공되는 기본 연동 프로세스 GUI를 통한 프로세스 생성 및 변경 병렬개발에 대한 프로세스 자동화 및 워크플로우 솔루션 제공 접근 권한 설정 기준의 변경 요청에 대한 정책 반영 Eclipse, Visual Studio 등 IDE 도구와의 간단한 연동 프로젝트 상태에 대한 실시간 Reporting 국방/항공 : 국방과학연구소, 엘아이지넥스원, 한국항공우주산업, 두산디에스티, 현대로템, 대한항공 등 자동차 : 현대자동차, 현대모비스, 현대오트론, 현대오토에버, 유라코퍼레이션, 티에이치엔, 대성전기, 대성엘텍 엘지전자, 엘지화학, 한국델파이, 한국지엠 등 설재성 주임 ( , ibm@mdstec.com), 손유진 사원 ( , ibm@mdstec.com) 22

23 멀티 코어 개발 및 타이밍 분석 내장형 시스템 개발 도구 Inchron 요구사항 관리 설계 검증 형상/변경 관리 단위/통합시험 구현 무기체계 내장형 SW의 최대 응답 시간(Worst-case Response Time) 분석 개발 초기 단계의 타이밍 요구사항 만족 여부 검증 임베디드 시스템의 실시간 시뮬레이션 및 검증 하드웨어, 운영체제, 통신 등의 운영 환경을 그대로 제공하여, 타겟 시스템과 동일한 시뮬레이션 제공 및 동일한 결과 확보 시스템 자원을 최적화하는 시스템 아키텍처 설계 지원 AFDX, TDMA 등의 다양한 스케줄링 분석 지원 시스템의 성능, 리소스 활용 상태, CPU 및 Bus의 부하 모니터링 UML, XML, C를 사용하여 시스템의 Task 및 타이밍 정보를 명세 최첨단 수학 알고리즘을 통한 타이밍 요구사항을 검증 시스템 병목현상 조기 검출 다양한 프로토콜, 부하 등을 고려한 시뮬레이션 제공 EADS, 현대자동차, Audi, Autoliv, BMW, BOSCH, Continental Automotive, Daimler, Delphi, Ericsson, Fraunhofer, General Motors, Harman Becker, Hella, Johnson Controls, Knorr-Bremse, Lear, Magna, MAN, SLS, Volkswagen 등 소범석 대리 ( , 23

24 멀티 코어 개발 및 타이밍 분석 내장형 시스템 개발 도구 Timing Architects 요구사항 관리 설계 형상/변경 관리 검증 단위/통합시험 구현 임베디드 멀티 코어 시스템의 타이밍 설계, 분석 및 검증 SW 아키텍처의 자동화된 타이밍 최적화 지원 Task 사이의 간섭 방지 및 데이터의 일관성 검증 멀티 코어 시스템의 성능 개선 및 최적화 타겟 환경의 특성을 반영한 타이밍 동작 분석 및 시뮬레이션 제공 타이밍 요구사항 만족 여부 검증 및 성능 개선 최적의 아키텍처 설계를 위한 자동화된 타이밍 최적화 지원 - Task/함수의 효율적인 코어 배치 및 스케줄링 최적화 - Task의 우선 순위 및 타이밍 성능 최적화 데이터의 일관성 유지 및 Task 사이의 간섭 등의 문제 방지 성능 분석을 통한 자원 활용 현황 확인 타겟 시스템의 측정 정보를 이용한 타이밍 모델 재구성 및 시뮬레이션과 비교 현대자동차, 현대모비스, Audi, BMW Group, BOSCH, Continental, Volkswagen, DENSO, TRW 등 소범석 대리 ( , timing@mdstec.com) 24

25 ECU 개발 SW 개발 솔루션 dspace Prototyper RCP(Rapid Control Prototyping) Systems 요구사항 관리 설계 검증 형상/변경 관리 단위/통합시험 구현 MATLAB Simulink에서 설계된 제어로직을 dspace RCP 장비에 다운로드 하여 실시간으로 제어 및 제어 로직 검증 Graphical Modeling & Offline Simulation - MATLAB/Simulink와의 완벽한 호환으로 모델 기반 프로그래밍 지원 Rapid Control Prototyping - Simulink/Stateflow에 기반한 제어기 모델을 드래그 & 드롭으로 쉽게 dspace 플랫폼에 다운로드하여 Real Time simulation Test 수행 - Real Plant를 연결하여 실시간으로 제어 parameter 수정 및 변경 - 범용 I/O 지원: DIO, DAC, ADC, 통신 (CAN, Ethernet, Serial, LIN, FlexRay등) - 데이터 모니터링 및 저장 Rapid Pro - 제어기의 프로토타이핑 단계에서 다양한 센서와 액추에이터에 따라 요구되는 시그널 컨디셔닝, 파워스테이지의 역할 수행 - Signal Conditioning Unit, Power Stage Unit, Intelligent I/O Subsystem Transient Analysis of an Aircraft / Propulsion System with Hardware-in-the-Loop Power Extraction, 2007, OH,USA. Wind Tunnel Test of an RPV with Shape-Change Control Effector and Sensor Arrays, AIAA 손태영 팀장 ( , taeyoung2@mdstec.com) 25

26 ECU 개발 dspace TargetLink 요구사항 관리 설계 SW 개발 솔루션 검증 형상/변경 관리 단위/통합시험 구현 선행단계에서 검증된 Simulink/Stateflow 기반 제어기 모델을 최적화된 양산 품질의 코드 생성 솔루션 최적화된 양산품질의 코드 생성 MIL, SIL, PIL 시뮬레이션 지원 시뮬레이션 기반 및 Worst-Case 기반의 자동 스케일링 지원 AUTOSAR 지원 (AUTOSAR Software Component를 위한 모델링 및 코드 생성 지원) Data Dictionary를 이용한 ECU SW 개발에 필요한 모든 데이터 관리 ISO 및 IEC 인증 및 Reference Workflow 제공 TargetLink Code: if ((in >= UT) (in <= LT)) out = table_lookup(table, in); else out = in; 현대자동차, 현대모비스, BMW, AUDI, Continental, MAN, Ford, HONDA 등 정보철 과장 ( , bochul@mdstec.com) 26

27 ECU 개발 dspace HIL Simulator 요구사항 관리 설계 SW 개발 솔루션 검증 형상/변경 관리 단위/통합시험 구현 ECU Test를 위해 차량 환경을 구현하여 ECU 기능 검증을 수행 HW In the Loop Simulation <특징 및 장점> - ECU 또는 Networked ECU에 대한 시험 - FIU(Failure Insertion Unit) 테스트 가능 - 시험자동화(AutomationDesk) - 여러 ECU와의 연계/통합 테스트 - 다양한 I/O 지원 <주요 기능> - 디지털/아날로그 신호의 생성, 계측 시험자동화 (AutomationDesk) - FPGA board 및 custom piggy-back module을 이용한 특수 신호 모사 - CAN 외에 자동차용 통신 프로토콜 지원 기능 - ECU Failure 시뮬레이션, 브레이크 아웃 박스 주요 제품 ControlDesk Next Generation : dspace 장비 구동을 위한 base SW AutomationDesk : 시험자동화를 위한 SW SCALEXIO Simulator - Flexible한 확장성 - Configurable한 I/O 제공 PHS Simulator - DS1007/DS1006 : 고속 연산을 위한 프로세서 보드 - DS2211 : I/O 보드 - Mid-Size Load & FIU: Load 보드 및 FIU 테스트에 필요한 보드 국방/항공 : 국방과학기술원, LIG넥스원, 대한항공, 한국항공우주연구원 자동차 : 현대자동차, 현대모비스, 만도, 현대케피코, Audi, DENSO, Volkswagen, BMW, DAIMLER 손태영 팀장 ( , taeyoung2@mdstec.com) 27

28 모델 분석/Verification 자동화 내장형 시스템 개발 도구 Reactis 요구사항 관리 설계 검증 형상/변경 관리 단위/통합시험 구현 MBD개발, Back to Back Testing 자동화를 위한 Simulink/Stateflow 모델 및 C코드 검증 자동화 솔루션 Simulink/Stateflow/C Code의 Test Suite 자동 생성을 통한 시뮬레이션 및 커버리지 분석 도구 Simulink/Stateflow/C Code 로부터 Test Suite 자동생성 요구사항에 위반한 Violation 검출 및 디버깅 지원 다양한 커버리지 산출 리포트 제공 (예: Condition, Branch, MC/DC, State, Transition, etc.) S-Function/Custom C Code 테스트 지원 모델에서 검증된 Test Suite를 저장하여 코드 시험 시 검증 데이터로 재사용 (Back to Back Testing) 다양한 형식의 Test Suite 파일 입/출력 지원(.m,.mat,.txt,.csv) 해외 시장에서 SW 테스팅을 위한 안정성이 확보된 도구 Honeywell, Rockwell Collins, Visteon, TRW, GM, Ford, Continental Automotive, Delphi, TOYOTA, NISSAN, MAZDA, ISUZU, DENSO, AISIN, AISIN AW, ADVICS, KEHIN, TRANSTRON 등 이수안 대리 ( , reactis@mdstec.com) 28

29 모델 분석/Verification 자동화 내장형 시스템 개발 도구 Medini Unite 요구사항 관리 설계 형상/변경 관리 검증 단위/통합시험 구현 Simulink와 Stateflow, TargetLink를 위한 모델 간 차이점(Difference) 분석 및 모델 통합(Merge) 도구 Simulink, Stateflow 및 TargetLink 모델간 차이점 확인 3가지 모델의 차이점 분석 기능 (3-way 차이점 분석) Target Model로의 자동/수동 모델 통합 기능 임베디드 Matlab/Simulink 및 Stateflow 모델 내 상세 차이점 구현 모델간 통합 결정 시 Undo/Redo 및 Conflict 명시기능 형상/변경 관리 시스템과의 유연한 연동 기능 직관적이고 편리한 사용자 인터페이스 모델간 차이점 분석 및 통합 내용을 기록한 보고서 생성 Rockwell Collins, 엠브라에르, Bosch, Volkswagen, 자트코코리아, 만도, GE, NISSAN, TOYOTA, 인텔, Continental, 헬라, Arvin Meritor, Alcatel-Lucent, Carmeq, WABCO, Intelligent Energy, EATON 등 석민진 대리 ( , 29

30 모델 분석/Verification 자동화 BTC Embedded Tester Embedded Specifier Embedded ValidatorNE 요구사항 관리 설계 내장형 시스템 개발 도구 검증 형상/변경 관리 단위/통합시험 구현 Matlab Simulink/Stateflow에서 구현된 모델과 생성된 코드의 자동화 테스팅 기능 제공 TargetLink 환경과 효과적으로 통합되어 시스템의 개발 생산성/효율성 향상을 위한 테스팅 자동화 솔루션 EmbeddedTester(모델 및 코드 검증) - MIL/SIL/PIL 및 커버리지 테스트 지원 - 코드 분석을 통해 Back-to-Back 테스트용 테스트 케이스 자동 생성/검증 수행 - 서로 다른 버전간의 Back-to-Back 테스트 지원 EmbeddedSpecifier(형식 기술) - 자연 언어로 기술된 요구사항을 컴퓨터가 인식할 수 있도록 변환 - Pattern Library의 제공으로 용이하게 요구사항 기술 EmbeddedValidatorNE(형식 검증) - 형식 기술된 요구사항을 바탕으로 모델의 모든 상태를 조사하여 테스트 케이스를 자동 생성하여 요구사항 위반여부 자동 판단(Model Checking) - 형식 기술된 요구사항 코드를 분석하여 테스트 케이스를 자동 생성하여 요구사항 위반여부 자동 판단(Simulation Base) 현대자동차, 현대모비스, Audi, Mercedes-Benz, TOYOTA, DAIMLER, BOSCH, Continental, SIEMENS 등 정보철 과장 ( , bochul@mdstec.com) 30

31 모델링 가이드라인 검증 Model Examiner(MXAM) 요구사항 관리 설계 내장형 시스템 개발 도구 검증 형상/변경 관리 단위/통합시험 구현 Matlab Simulink/Stateflow, TargetLink, ASCET에서 작성된 모델의 모델링 가이드라인 준수 여부 검증 솔루션 자동차 분야에서 광범위하게 사용되는 모델링에 대한 가이드라인 제공 및 자동 검증 MAAB Guideline MISRA AC SLSF Guideline MISRA AC TL Guideline dspace TargetLink Guideline Functional Safety Guideline 리포트를 통한 가이드라인 위반 여부를 직관적으로 확인 가능 모델에 대한 Complexity 측정 고객 요구사항에 맞는 가이드라인 개발 환경 제공 현대자동차, 현대모비스, Audi, Mercedes-Benz, TOYOTA, DAIMLER, BOSCH, Continental, SIEMENS 등 정보철 과장 ( , 31

32 디버깅(1) 내장형 시스템 개발 도구 TRACE32 PowerDebug PRO 요구사항 관리 설계 검증 형상/변경 관리 단위/통합시험 구현 JTAG, BDM 등 표준 디버그 인터페이스를 지원하는 모든 프로세서 지원 사용자 프로그램을 타겟 메모리에 다운로드(RAM, FLASH), 소스코드 레벨 디버깅 타겟 시스템의 동작을 제어하여 디버깅이나 임의의 시점 분석이 용이한 Break Point NEOS, VxWorks, Linux, ucos 등 모든 RTOS 완벽 지원 다양한 환경 지원 - 2,000개 이상의 프로세서 지원(ARM, Freescale, Intel, TI, Xilinx 등) - 멀티코어, 멀티 프로세서 디버깅 지원 - 모든 RTOS 커널 디버깅 지원 (NEOS, VxWorks, Linux, ucos 등) 유용한 디버깅 기능 - 프로세서 전용 Peripheral Register Windows - CMM Script를 활용한 디버깅 환경 자동화 - 다양한 Break Point 기능(Program/ Data/ Spot/ Range/ Conditional/ Task) 3rd party tool과 연동 - VectorCAST, Simulink, Rhapsody, LabVIEW 등 - 모델링 툴 연동 및 효율적인 동적 신뢰성 시험에 활용 가능 TRACE32 PowerView 국방과학연구소, 한국항공우주산업, 대한항공, LIG넥스원, 한화탈레스, 한화, 한화테크윈, 한국항공우주연구원, 도담시스템즈, 픽소니어, 두산DST, 풍산, 인소팩, 유니맥스정보시스템, 리얼타임웨이브 등 곽정화 차장 ( , junghwa@mdstec.com) 32

33 디버깅(2) 내장형 시스템 개발 도구 TRACE32 PowerTRACE II 요구사항 관리 설계 검증 형상/변경 관리 단위/통합시험 구현 NEXUS/AURORA/ETM 등 표준 Trace 인터페이스 지원 4GB 내장 메모리 공간에 타겟 동작 상황을 저장하여 문제 원인 분석과 디버깅 용이 타겟의 동작에 전혀 영향을 주지 않는 방식으로 성능 측정 및 타이밍 관련 분석에 최적의 솔루션 효율적인 동적 신뢰성 시험을 위한 실시간 커버리지 측정 및 디버깅 활용 가능 Non-Intrusive Debugging - 타겟 시스템의 동작에 영향을 줄 수 있는 별도의 코드삽입이나 agent가 불필요한 Non-Intrusive 방식이므로 타이밍 문제가 없고 분석이나 디버깅을 위해서 동작 중인 타겟을 멈추지 않음 CTS(Context Tracking System) - CPU Clock에 동기화된 Real-time 저장 정보는 사용자가 원하는 시점에서 소스레벨 디버깅이 가능하도록 모든 Register, Stack, Memory 값이 포함된 형태로 환경이 재구성, 순방향/역방향의 프로그램 흐름 추적 및 디버깅 시스템 성능 분석 - Real-time 기반의 저장 정보는 정확한 시스템의 성능 측정 가능 실시간 Code Flow Chart 각 함수/Task/Process 별 CPU 점유율 국방과학연구소, 한국항공우주산업, 대한항공, LIG넥스원, 한화탈레스, 리얼타임웨이브 등 곽정화 차장 ( , junghwa@mdstec.com) 33

34 컴파일러 내장형 시스템 개발 도구 IAR Embedded Workbench 요구사항 관리 설계 검증 형상/변경 관리 단위/통합시험 구현 전세계적으로 8/16/32비트 마이크로컨트롤러 시장에서 가장 널리 사용되는 컴파일러 ARM 코어 및 8/16/32비트 마이크로프로세서 아키텍처 지원 모든 ISO/ANSI C 및 C++ 라이브러리, 코드 포함 코드 최적화에 의한 제품 품질 향상 효율적인 메모리 사용 개발환경 구축 시간 단축, 개발 비용 절감 MCU 업체와의 강력한 연계 프로젝트 일관성 유지, 툴 사용법의 중복 학습 불필요 Continental Automotive, SIEMENS, GE Healthcare, Honeywell, ABB, PHILIPS, Panasonic 등 곽정화 차장 ( , junghwa@mdstec.com) 34

35 컴파일러 내장형 시스템 개발 도구 CodeWarrior 요구사항 관리 설계 검증 형상/변경 관리 단위/통합시험 구현 Freescale사의 모든 마이크로프로세서 지원 Classic/Eclipse IDE 제공 통합 개발 환경(Editor, Compiler, Debugger 통합) 제공 디바이스 드라이버 자동 생성 Processor Expert 프로젝트 생성/관리 Project Wizard SW 동적 분석 Profiler, Code Coverage 표준 파일 포맷 지원 ELF/DWARF1.x, ELF/DWARF2.x, S-Record 국방과학연구소, LIG넥스원, 한국항공우주산업, 대한항공 등 곽정화 차장 ( , 35

36 컴파일러 내장형 시스템 개발 도구 CoDeveloper - Impulse C 요구사항 관리 설계 검증 형상/변경 관리 단위/통합시험 구현 C코드를 HDL로 자동 변환 FPGA 내 병렬 처리를 통해 알고리즘 가속화 구현 적용분야 C코드를 HDL로 변환 FPGA와 CPU에 동작할 코드 각각 생성 검증 및 디버깅 기능 지원 GCC지원 및 코드 최적화 다양한 FPGA 형태 지원 PSP(Platform Support Package) 지원 적용 분야 : 레이더 처리/ 전장 분석/ 물체 인식/ SDR 머신 비전/ 위험감지/ 이미지 처리 등 Lockheed Martin, NASA, Northrop Grumman, BAE Systems, UBS, LIG넥스원, 생산기술연구소, 국가수리과학연구소 등 최병훈 부장 ( , byounghoon@mdstec.com) 36

37 SW 개발 프로세스 자동화 내장형 시스템 개발 도구 ElectricFlow 요구사항 관리 설계 검증 프로세스 자동화 단위/통합시험 구현 GUI 기반 SW 개발 프로세스를 모델화하여 다양한 Tool-chain을 통합함으로써 개발기간을 단축하고 품질향상에 효과적인 솔루션 형상관리 기반 개발 시스템에서 SW 검증, 빌드 및 배포 프로세스를 자동화 하는 솔루션 SW 개발 프로세스(빌드-테스트-배포)를 자동화함으로써 SW의 지속적인 통합 지속적인 통합에 필요한 모든 작업을 설계하고 진행 과정을 확인할 수 있는 workflow 기능 개발 생명주기 동안 가시성을 확보하고 통합 관리할 수 있는 대시보드 기능 제공 산출물을 하나의 저장소에 통합 관리함으로써 추적성 확보 개발자가 Check-in 하기 전에 개발 IDE에서 Preflight build 기능을 사용하여 사전 점검 현대모비스, BMW, GM, DAIMLER, CHRYSLER, HELLA, TI, QUALCOMM, Broadcom 등 김민숙 차장 ( , 37

38 빌드 성능 향상 내장형 시스템 개발 도구 ElectricAccelerator 요구사항 관리 설계 검증 형상/변경 관리 단위/통합시험 구현 클라우드 환경 및 멀티코어 프로세서 환경을 이용하는 분산컴파일 솔루션으로 빌드 시간을 획기적으로 줄여줌 빌드 결과를 빠르고 쉽게 분석할 수 있어 고객의 개발 생산성을 향상시키고 Time-to-market 실현 빠른 빌드 속도 - 기존의 순차적인 빌드 과정을 병렬로 처리, 획기적인 속도 향상 높은 신뢰성 - 특허 받은 알고리즘을 사용하여 파일간 Dependency 문제 완벽 관리 클라우드 환경, 동적 리소스 관리 - 클라우드 환경으로 구성될 수 있어 서로 다른 곳에서 작업하는 수천 명의 개발자가 동시에 빌드 수행 네트워크의 최적화 - P2P file transfer, File caching 등을 통해 클라우드 환경에서 발생할 수 있는 Traffic 문제 최적화 쉬운 분석 및 결과 확인 - 빌드 결과와 시스템 상태에 대한 상세한 확인, 오류를 빠르게 확인하고 리소스의 최적화 용이 Samsung, LG Electronics, Thales, Mercury Computer Systems, General Dynamics 김민숙 차장 ( , minsuk@mdstec.com) 38

39 문서 출력 자동화 내장형 시스템 개발 도구 HWP-Manager/RPE 요구사항 관리 설계 검증 형상/변경 관리 단위/통합시험 구현 개발 도구 내의 개발 정보를 통합 및 가공하여 자동 문서 산출 기능을 지원하는 도구 다양한 데이터 소스 지원(DOORS, System Architect, Rhapsody, Design Manager등 IBM Rational 제품군) 다양한 출력 포맷 지원(WORD, PDF, HTML, XML) HWP-Manager - 방위사업청 지침 제 43호( 개정), 무기체계 소프트웨어 개발 및 관리지침의 표준 서식 대응 - 국방아키텍처(MND-AF 준수) 및 체계공학 산출물 자동 생성 지원 - 요구사항 관리도구에서 HWP 파일로 출력 RPE(IBM Rational Publishing Engine) - 데이터 소스 스키마 정의를 통한 템플릿 작성 기능 제공 - 드래그 & 드롭으로 직관적인 템플릿 작성 환경 제공 - 스크립트 언어를 지원하여 세밀한 설정이 가능한 템플릿 구성 및 템플릿 재사용 - 템플릿과 데이터 소스 간의 매칭을 통한 자동 문서 출력 기능 제공 - 출력 포맷 형식 지정(WORD, PDF, HTML, XML 등) - 스타일 시트 적용을 통한 더 세밀한 문서 스타일 설정 - 후 처리 기능을 통해 생성된 문서에 VBA 매크로 적용 기능 제공 국방/항공 : 국방과학연구소, 엘아이지넥스원, 한국항공우주산업, 퍼스텍, 케이티, 두산디에스티, 현대로템 등 자동차/기타 : 현대자동차, 현대모비스, 엘지전자, 만도, 대우조선해양 등 설재성 주임 ( , ibm@mdstec.com), 손유진 사원 ( , ibm@mdstec.com) 39

40 빅데이터 분석 플랫폼 내장형 시스템 개발 도구 Splunk 요구사항 관리 설계 검증 형상/변경 관리 단위/통합시험 구현 IT의 다양한 분야에서 발생하는 로그데이터, 실시간 이벤트 데이터 및 장비 데이터를 수집, 모니터링하며 데이터 분석을 통해 사용자가 원하는 대쉬보드를 자유롭게 생성할 수 있는 End-To-End 솔루션 보안, OI, BI 그리고 빅데이터 영역까지 모든 분야에서 데이터 상관관계를 실시간으로 분석 가장 빠른 업무 개발 : 수집부터 보고까지의 전 과정을 제공하는 유일한 End-to-End 솔루션 무제한의 확장성 : 일별로 수십 MB ~ 수십 TB 까지 다양한 규모의 데이터 처리가 가능 서비스의 이해도 : 제한 없는 데이터의 상관관계 분석 제공 통합 플랫폼 역할 : 표준 방식의 API를 제공하여 기존의 프로그램에서도 사용 가능 강력한 검색 기능 : 사용자가 인덱스 데이터 검색 가능 별도 개발이 필요 없는 대쉬보드, 보고서 생성 지원 DBMS가 필요 없는 자체 고성능 인덱싱(저장) 엔진 국내 : 대한민국해군, 삼성전자, 한화증권, 현대오토에버, SKC&C, 다음카카오, KT, LG U+, 쿠팡, 골프존, 하나금융그룹, 기획재정부, 중앙선거관리위원회, 예금보험공사, KISA 등 200여개사 해외 : 페이스북, 뱅크오브아메리카, 베리사인, 미국 국방성 등 100여개국 9,000여개사 장익제 대리 ( , ikje@mdstec.com) 40

41 목 차 Ⅰ II Ⅲ IV V VI VII 내장형 시스템 솔루션 내장형 SW 내장형 시스템 개발 도구 내장형 SW 테스팅 솔루션 하드웨어 솔루션 엔지니어링 서비스/교육 회사 소개

42 신뢰성 분석 실행시간 오류 검출 내장형 SW 테스팅 솔루션 CodeSonar Static/Binary 요구사항 관리 설계 검증 형상/변경 관리 단위/통합시험 구현 함수간/파일간 복잡한 Call 관계에서 발생 가능한 결함들을 최대한 분석 x86/x64, ARM 기반 Binary 파일의 결함 분석 (exe, dll, lib, obj, so 등) 방위사업청 SW신뢰성 시험(실행시간 오류분석) 완벽 지원 CWE Compatible 인증 (CWE-658/659 항목 100% 지원) 행정자치부 시큐어 코딩 룰 지원 Test Case의 작성 없이 모든 실행 경로 및 모든 입력 값에 대한 호출 및 Link관계를 분석하여 SW결함 검출 (C, C++, Java, C#(2016년 內 예정)) Memory Leak, Buffer Overrun/Underrun, Null Pointer Dereference, Data Race 등 시스템에 치명적인 결함 항목들을 검출 Deep Data Flow/Control Flow 분석을 통해 함수 및 파일 간 관계를 분석하는 Semantic Analysis 방식 적용 결함에 대한 Line별 경로 제공으로 문제의 원인 추적이 쉬움 검출된 결함에 대한 함수 경로 시각화 SW Architecture 시각화 분석 시도 시 Compiler 자동 Hooking 방식으로 개발 환경 변화나 까다로운 설정 없이 결함 분석이 가능하여 프로젝트 적용이 용이함 Web Browser를 통한 Issue Tracking System 제공 검출 결함 예외처리 시 소명양식 DB관리를 통해 문서작업 간결 및 시간 최소화 역할기반 접근통제 기능(Role Based Access Control) 및 JIRA Plug-In 제공 토요타 성능 평가 1위 도구 (170가지 이상 도구 비교, Quantitative Evaluation of Static Analysis Tools 보고 자료) 방위사업청, 국방과학연구소, 국방기술품질원, 육군본부, 국가보안기술연구소, LIG넥스원, 한화탈레스, 현대로템, 두산DST, 두산인프라코어 한화, 대한항공, 한국항공우주산업, 한국항공우주연구원, 픽소니어, 한양네비콤, 코츠테크놀로지, 빅텍, 이오시스템, FA Linux, NASA, MITRE, DoD, Honeywell, U.S. ARMY/NAVY/AIR FORCE, US Office of Naval Research, DARPA, Missile Defense Agency, Lockheed Martin, Raytheon, Thales, EADS, Boeing, 현대자동차, 현대모비스, 현대다이모스, 현대오트론, 현대위아, 만도, 현대엠엔소프트, S&T모티브, 삼성전자, 삼성SDS, LG전자, SK하이닉스, LS산전, LG CNS, LG화학, 한터기술, KT, SK텔레콤 등 박상희 사원 ( , 42

43 신뢰성 분석 코딩 규칙 검증 내장형 SW 테스팅 솔루션 QA Framework (C, C++, C#, Java) 요구사항 관리 설계 검증 형상/변경 관리 단위/통합시험 구현 C, C++, C#, Java 지원 방위사업청 SW신뢰성 시험(코딩규칙 검증) 완벽 지원 MISRA-C/C++, JSF++, HIC/C++ 코딩규칙 위반 여부 검출 SW 품질 측정 (67가지의 Metrics 제공) 데이터 오류로 인한 문제점 검출 C, C++, C#, Java의 국제 표준 코딩규칙을 이용한 결함검출 (Data Flow, Control Flow 분석) MISRA-C/C++, JSF++, HIC/C++ 와 같은 세계적인 SW 검증 모듈 지원 SW 품질 Metrics 제공 (소스코드 품질에 대한 정량화 가능) Compiler 자동 Hooking 방식 분석으로 프로젝트 적용 용이 모든 C, C++, C#, Java 컴파일러 지원 주요 IDE Integration 제공 (Visual Studio, Eclipse, Rhapsody, Tornado) QAV (웹 환경의 분석 결과 공유화면과 Management 기능) 연동 및 표준 Report 생성 Reverse Engineering을 위한 Structure101 연동 (SW Architecture 분석 및 시뮬레이션) 각 산업별 Tool Qualification Pack 제공 (전기/전자, 항공, 자동차, 의료, 원자력) 방위사업청, 국방과학연구소, 국방기술품질원, LIG넥스원, 한화, 한화탈레스, 한화테크윈, 두산DST, 현대로템, 현대중공업, 한국항공우주산업, 한국전자통신연구원, 코츠테크놀로지, 리얼타임비쥬얼, 리얼타임테크, 픽소니어, 이오시스템, 테크빌, NASA, Boeing, Lockheed Martin, Marshall Aerospace, GE, Selex ES, EADS, Honeywell, Raytheon, BAE Systems, Thales, 현대자동차, 현대모비스, 현대다이모스, 현대오트론, 현대위아, 현대오토에버, 만도, 현대엠엔소프트, LG전자, LS산전 등 한지동 대리 ( , 43

44 소스코드 구조 분석 내장형 SW 테스팅 솔루션 Structure101 요구사항 관리 설계 형상/변경 관리 검증 단위/통합시험 구현 소스 기반으로 프로젝트를 Dependency Structure Matrix로 계층별 의존성 분석 DSM 기반으로 Architecture Diagram 제공 아키텍처 의존성을 자동으로 분석하여 Dependency Structure Matrix로 표시 분석된 DSM 기반으로 Architecture Diagram 자동으로생성하여 효과적으로 시각화 Folder/File/Class/Package 별로 복잡도와 초과 복잡도, 응집도, 비만도, Tangled, Orphan등의 구체적인 데이터로 SW Architecture 효과적으로 관리 최상위 Level부터 Class까지 효과적인 Visualization 정보 제공 Repository의 프로젝트 정보들을 확인 및 통제, 관리 기능 (Architecture 형상관리) SAAB, Thales, Lockheed Martin, BAE Systems, NORTHROP GRUMMAN, Selex ES, EADS, Honeywell, Raytheon, DCNS, Marshall Aerospace, Detica, PLATH, SK C&C, 삼성전자, 삼성메디슨, 현대엠엔소프트, 아남전자 등 한지동 대리 ( , 44

45 신뢰성 분석 코딩 규칙 검증 내장형 SW 테스팅 솔루션 QA Verify 요구사항 관리 설계 형상/변경 관리 검증 단위/통합시험 구현 주요 이해 관계자들 (개발자, 품질 전문가, 프로젝트 매니저 등) 간의 SW 품질 분석 데이터 공유 위험감소와 출력물에 대한 예측을 통해 가시성 증가 (품질, 일정, 비용) 형상관리와 연동을 통한 강력한 Traceability 지원 QA Framework에서 검증한 결과를 업로드, 간편하게 웹에서 공유 개발, 품질전문가, 프로젝트 매니저 간의 코딩 규칙 위반사항, SW 품질 측정 결과 공유 형상관리(VCS) 이용 트리구조로 버전 관리 및 분석결과 서버에 자동 업로드 상세 코드진단 및 Metrics 등 프로젝트 요약 정보(객체 별) Drill down 규칙 위반사항 예외처리 시 소명양식 DB관리를 통해 문서작업 간결 및 시간 최소화 사용자간 커뮤니케이션 기능 제공 각 유저마다 접근 권한 차등 부여 사용자가 원하는 형식의 리포트 모듈 선택 (사용자 커스터마이징) 방위사업청, 한화탈레스, 한화테크윈, NASA, Boeing, Lockheed Martin, Selex ES, EADS, Honeywell, Raytheon, BAE Systems, Marshall Aerospace, Thales, SAAB 등 한지동 대리 ( , 45

46 신뢰성 분석 오픈소스 라이선스 검증 내장형 SW 테스팅 솔루션 Palamida 요구사항 관리 설계 형상/변경 관리 검증 단위/통합시험 구현 방위사업청 SW신뢰성 시험의 오픈소스 라이선스 검증 완벽 지원 소스코드 / 바이너리 기반의 자동화된 오픈소스 라이선스 관리 솔루션 소프트웨어 보안 취약점(CVE) 지속적인 관리 오픈소스 통합 관리를 위한 All in One 패키지 제공 - 오픈소스 라이선스 스캔과 분석, 자동 검증/요청/승인의 Workflow, 오픈소스 보안취약점 검사, API 제공 용량 제한 없이 기업의 대규모 프로젝트 검증 가능 멀티 스캔 지원으로 동시에 여러 프로젝트 검증과 현황 확인 기업의 오픈소스 정책을 반영한 라이선스 자동 검증/요청/승인의 Workflow 기능 제공 CVE기반의 컴포넌트별 보안취약점 검사 오픈소스의 컴포넌트와 라이선스 타입별로 자동화된 그룹생성 매주 업데이트 되는 대규모의 오픈소스 라이선스 데이터 베이스 Eclipse, Jenkins, Visual Studio 등 기업의 개발환경에 API 제공 다양한 리포트 제공(라이선스 Audit Report, SPDX, CVE Report 등) 국가보안기술연구소, 삼성전자, NHN, Microsoft, Adobe, HP, Amazon, SONY, Cisco, ebay, McAfee, PayPal, Wind River, VMware, AIRBUS, Juniper Networks, Skype, MobiTV, Bosch, AMD, Honeywell, Symantec, LinkedIn, Goldman Sachs, Prudential, Qlogic, Yahoo, Cadence, Zynga, XLsoft, Northrop Grumman, Insperity 등 박성원 대리 ( , sungwon@mdstec.com) 46

47 신뢰성 시험 단위/통합 시험 및 코드 실행률 분석 VectorCAST 요구사항 관리 설계 형상/변경 관리 검증 단위/통합시험 구현 방위사업청 SW 신뢰성 시험과 DO-178 인증을 위한 동적 시험/코드 실행률 분석 자동화 솔루션 SW 개발 단계에서 실제 타겟 보드 및 시뮬레이터를 기반으로 단위/통합/체계 시험에 필요한 모든 작업을 자동화하며, 국제 표준에 준하는 다양한 코드 실행률을 분석하는 테스팅 도구 실제 타겟 보드/시뮬레이터/호스트 기반에서 신뢰성 높은 SW 단위/통합 시험 자동화 지원 국제 표준 규격이 요구하는 SW 동적 시험을 통한 코드 실행률을 완벽 지원 (Statement, Branch, MC/DC) MC/DC 100% 달성을 위한 가이드 메트릭 지원 요구사항 관리 도구와의 연동을 통해 요구사항과 테스트 케이스와의 추적성(Traceability) 확보 지원 별도의 스크립트 작성없이 테스트 케이스 생성 지원 타사 제품 대비 빠른 수행 시간 능력 (2 ~ 5배) DO-178B/C를 위한 SW 동적시험 프로세스 지원 TUV-SUD로 부터 Tool Certificate 획득 (도구 신뢰성 확보) 방위사업청, 국방과학연구소, 국방기술품질원, 엘아이지넥스원, 한화, 한화테크윈, 한화탈레스, 픽소니어, 휴원, 한국항공우주산업, 공군SW지원소, 한국전자통신연구원, S&T중공업, 한국항공우주연구원, 현대위아, 테크빌, 두산디에스티, 코츠테크놀로지, 리얼타임비주얼, NASA, U.S. Army, Lockheed Martin, Boeing, EADS, Honeywell, Raytheon, SAAB, BAE Systems, L-3 Communication, 현대자동차, 엘지전자, 엘에스산전, 만도, 케이티 등 이수안 대리 ( , vectorcast@mdstec.com) 47

48 체계 통합 Coverage 검증 및 Profiling 내장형 시스템 개발 도구 DT10 요구사항 관리 설계 검증 형상/변경 관리 단위/통합시험 구현 실제 하드웨어 체계(Target)의 통합 Coverage측정을 위한 동적 신뢰성 시험 도구 동작 중인 Target System의 실행경로 분석과 검증을 위한 SW Trace 및 Profiling 솔루션 PC 용량 만큼 장시간 저장이 가능하여 간헐적으로 발생하나 치명적인 오류 추적과 검증에 효과적 하드웨어 체계(Target) 통합 Coverage - 무기체계 SW 통합관리체계(DESIS) 등록된 동적 분석 도구 - 실 체계/장비에 SW 탑재 후 동적시험 결과 도출 시스템 성능 분석 Profiling - 수행 함수별 실행시간/주기시간 측정으로 실행경로 분석 - Core/Process/Thread 동작 흐름을 시각화하여 시스템 부하요인 파악 Long-Term Debugging - C/ C++/ C#/ JAVA 테스트매크로 자동삽입, 삭제 - 최대 한 달까지 저장하여 재현빈도 낮으나 치명적인 문제 원인 파악 Statement/Branch Coverage 국방기술품질원, LIG넥스원, 한화탈레스, 삼성전자, 엘지전자, 한국전자통신연구원, NIPA, 휴원 등 박상기 주임 ( , DT10@mdstec.com) 48

49 보안 취약점 분석 내장형 SW 테스팅 솔루션 bestorm 요구사항 관리 설계 검증 형상/변경 관리 단위/통합시험 구현 Fuzzing 기법을 이용하여 국방 정보 시스템의 보안 취약점 사전 탐지 솔루션 네트워크와 연결된 시스템의 보안 취약점 탐지를 위한 동적 시험 도구 기존의 보안 코딩 규칙으로 막을 수 없는 제로데이 취약점 탐지 및 CVE 등 보안 취약점 정보 제공 네트워크 및 무선, 디지털 미디어 등 주요 공격 지점에 대한 테스트를 통한 보안 취약점 탐지 수백 개 이상의 표준 프로토콜 및 파일 포맷 지원 프로토콜 별 수 만개 이상의 테스트 케이스 지원 빠른 테스트 실행 시간(테스트 케이스 1만개 수행 시 4분 이내 소요) 탐지된 취약점을 Perl Script로 추출하여 솔루션 없이 재현 및 활용 가능 변조 기준(Attack Vector Type)을 사용자가 직접 추가하여 테스트 케이스 무제한 확장 가능 학습 기능(Auto-Learn) 기능을 통한 비 표준 프로토콜에 대한 Fuzzing 테스트 가능 보안 취약점 사전 탐지를 통한 보안 위협 감소 및 패치, 방어 비용 절감 다양한 테스트 케이스 실행을 통한 테스트 범위 및 품질 향상 LG전자, Kaspersky Lab, US Army, Lexmark International, Department of Defense, Ericson, Juniper Networks, CNITSEC, Lockheed Martin, MasterCard, China Mobile Labs, Federal, Reserve Bank, DISA(US), 국방부, ETRI, NSRI, SCIT, AT&T, National Geospatial Agency, Norwegian Army, NPPNTT 등 김충호 주임 ( , 49

50 소프트웨어의 WCET 분석 내장형 SW 테스팅 솔루션 ait 요구사항 관리 설계 검증 형상/변경 관리 단위/통합시험 구현 무기체계 내장형 SW의 최대 수행 시간(WCET) 검증 타겟 프로세서의 변경에 따른 SW의 성능 분석 최대 수행 시간(WCET) 분석 및 함수/블록 단위의 결과 확인 분석 결과의 시각화 기능으로 쉬운 분석 결과 확인 실행파일(바이너리파일)을 이용한 쉽고 정확한 분석 타겟 MCU의 정확한 동작 특성 분석 복잡한 SW의 입력 값과 수행 가능한 모든 경로의 분석 MCU 내부에서 처리되는 명령어의 실행 순서 등의 확인 가능 다양한 개발 도구와 통합 기능 SCADE, ASCET, TargetLink, WCC, RT_Druid 등 자동차 : BOSCH, Daimler, General Motors, Infineon, Siemens, HONDA, TOYOTA 등 국방/항공 : Airbus, Embraer, MTU, Mitsubishi, OHB System, Rockwell-Collins, NASA, Thales, Baxter Healthcare 등 소범석 대리 ( , absint@mdstec.com) 50

51 최대 스택 사용량 분석 내장형 SW 테스팅 솔루션 StackAnalyzer 요구사항 관리 설계 검증 형상/변경 관리 단위/통합시험 구현 무기체계 내장형 SW의 최대 스택 사용량 분석 스택 오버플로우 방지 최대 스택 사용 경로 분석 및 확인 가능 타겟 프로세서에서 동작하는 실행파일(바이너리파일)을 이용한 쉽고 정확한 분석 함수 포인터, 라이브러리, 재귀함수, 어셈블리 코드 등을 포함한 정확한 스택 사용량 분석 제공 Task 및 함수 단위의 자동화된 최대 스택 사용량 분석 제공 분석 결과의 시각화 기능으로 쉬운 분석 결과 확인 다양한 개발 도구와 통합 가능 SCADE, TargetLink, RT_Druid 등 자동차 : 현대자동차, BMW, BOSCH, Continental, Daimler, HONDA, TOYOTA, TRW 등 국방/항공 : AIRBUS, EADS, Embraer, MTU, OHB System, Rockwell-Collins, Thales 등 소범석 대리 ( , absint@mdstec.com) 51

52 비정상적인 메모리 접근 분석 내장형 SW 테스팅 솔루션 ValueAnalyzer 요구사항 관리 설계 검증 형상/변경 관리 단위/통합시험 구현 SW의 비정상적인 메모리 접근 검출 SW의 비정상적인 메모리 접근 검출 - 타개발자 및 라이브러리의 잘못된 메모리 접근 - 읽기 전용 메모리 영역에 값을 쓰기 위해 접근하는 경우 - 특정 변수, 레지스터 등의 메모리 영역 보호 - 메모리 간의 참조 관계 검증 실행파일(바이너리파일)을 이용한 쉽고 정확한 분석 제공 라이브러리 및 오브젝트 코드를 포함한 메모리 참조 관계 분석 가능 Dead code 검출 EADS, HONDA, Rockwell-Collins, Siemens 등 소범석 대리 ( , absint@mdstec.com) 52

53 목 차 Ⅰ II Ⅲ IV V VI VII 내장형 시스템 솔루션 내장형 SW 내장형 시스템 개발 도구 내장형 SW 테스팅 솔루션 하드웨어 솔루션 엔지니어링 서비스/교육 회사 소개

54 국방/항공용 상용 보드 및 모듈 하드웨어 솔루션 Kontron 국방/항공용 상용 보드 및 모듈 주요 기능 및 고성능 멀티 프로세싱 지원 다양한 형태의 보드 : Processor, Switch, Carrier, Module 등 VME/cPCI,/VPX /COMe 등 표준 인터페이스 지원 거친 환경에서도 안정정인 사용이 가능 : 영하온도, 높은 습도, 진동 등 장기간 공급 보장 (최장 10년 이상) 적용 분야 차세대 전투체계 시스템 미사일 및 자동 전투 레이더 시스템 군용 GPS, UAVs, C4ISR 최병훈 부장 ( , byounghoon@mdstec.com) 54

55 국방/항공용 시스템 및 인클로저 하드웨어 솔루션 Kontron 국방/항공용 시스템 및 인클로저 (Enclosure) 주요 기능 및 VME, cpci, VPX와 호환 2U/4U/5U/8U/9U, 1/3/4-Short ATR 진동/충격/습도/EMC등 여러 환경 테스트 MIL-STD-810E, MIL-STD-461E, MIL-STD-108E MIL-STD-901D, MIL-STD-5400 C1등 국방 관련 인증 주요 제품 FS-1203 FS-1207 FS-5955 FS-5965 FS-5968 FS-5971 FS-5975 최병훈 부장 ( , 55

56 Rugged 서버 및 시스템(1) 하드웨어 솔루션 Crystal 특수한 환경에서 사용할 목적으로 개발된 서버 및 시스템 주요 제품 국방 관련 모든 시스템 : 항공,해상,육상에 사용되는 대부분 전투체계에 적용 가능 MIL-STD 관련 최상위 인증 : MIL-STD-810G, MIL-S-901D, MIL-STD-461F 등 ISO 9001, AS9100C 인증 통신, 에너지, 의료, 전력 등에도 적용 서버, 모니터, 네트워크 시스템, 웨어러블 PC 등 적용 분야 전략탐험시스템(TES), 로켓발사 및 제어(CRAMC2), 지상분배시스템(DCGS-A), 통합방어전투시스템(IBCS) 전투비행통신체계(BACN), 항공레이저지뢰탐사시스템(ALMDS), 항공지뢰제거시스템(RAMiCS) 연안전투함정(LCS), 자동디지탈네트워크시스템(ADNS), 함정네트워크시스템(ISNS), 지역정보교환시스템(CENTRIXS) 최병훈 부장 ( , byounghoon@mdstec.com) 56

57 Rugged 서버 및 시스템(2) 하드웨어 솔루션 Kontron 특수한 환경에서 사용할 목적으로 개발된 서버 및 시스템 주요 제품 높은 신뢰성 및 안정성을 기반으로 한 분야 ETSI/NEBS-3 인증 1U/2U/4U등 다양한 형태 Core i3 ~ Xeon E5 급까지 다양 RAID 0/1/5/6 지원 전원이중화 AC/DC지원 적용 목적에 맞게 설계된 전원 및 I/O구성 예) 28V DC, Discrete I/O, DO-160F ARINC 763, 115VAC/360~800Hz 적용 분야 이동형 통신 장비, 특수 작전지원함, 잠수함, 지상전투보조 유닛 등 적용 최병훈 부장 ( , byounghoon@mdstec.com) 57

58 FPGA 기반 고성능 컴퓨터 하드웨어 솔루션 PICO Computing FPGA를 이용, 빠른 연산처리를 위한 고성능 컴퓨터 주요 제품 및 적용분야 알고리즘 분석 오디오 및 이미지 신호 처리 네트워크 보안 및 침입 탐지 데이터 센터 및 DB가속 비디오 인코딩 비밀 번호 복구 실시간 이미지 처리 등 모듈 또는 시스템 형태의 제품 Lockheed Martin, NASA, US AIR FORCE, Siemens, IBM, General Dynamics, Boeing, Northrop Grumman 등 최병훈 부장 ( , 58

59 항공 텔레메트리 시스템용 데이터 취득 모듈 하드웨어 솔루션 Zodiac Data System 국방/항공 무기체계에 최적화된 초소형 고성능 데이터 취득 모듈 차세대 통신 텔레메트리 기술(i-NET, IENA) 지원 Ultra Compact (2 x 3 inches), 명함보다 작은 모듈 크기 열악한 환경에서의 사용을 위한 강력한 내구성 협소한 공간의 국방/항공기 설치 및 사용 용이 구성 및 확장이 편리한 초소형 모듈러 타입 사용자가 원하는 대로 모듈 구성 i-net, IENA 지원 모듈간 독립적으로 이더넷 네트워크 구성 가능(원거리 제어) 하나의 모듈로 Analog, 온도, RTD, Full bridge Strain gauge, ICP 가속도 센서 등의 다양한 입력 신호를 취득 및 저장(Programmable) 적용 분야 방산업체(유/무인기) 방산업체(유도 무기) 민항기(Airbus), 헬리콥터(Eurocopter) 데이터 취득 이건주 차장 ( , gunju@mdstec.com) 59

60 Night Vision IR Camera 하드웨어 솔루션 Tau2 & PathFindIR 국방/항공용 소형 무인항공기(UAV) 에 탑재 정찰, 감시에 활용되는 LWIR 비냉각 방식의 Tau2 군사용 차량에 탑재되어 야간군사작전, 차량에 대한 사고 방지 등 특수 환경/목적에 활용되는 PathFindIR 44.5 x 44.5 x 30.0 mm 72g의 초경량 코어 640X512 초고화질 이미지 지원 2x, 4x, 8x 디지털 줌 기능 제공 이미지 최적화/디지털 화질 개선 19mm 렌즈 활용 넓은 시야각 확보 320X240 해상도 제공 가시거리 증대 광학 히터/밀폐형 디자인 2.8" x 2.3" x 2.2 로 작은 공간에도 설치 가능 해상 군용 차량 야간 작전 /보안 감시 적용 분야 무인항공기 이재승 부장 ( , jaeseung@mdstec.com) 60

61 열화상 비파괴 검사 솔루션 (IR NDT) 하드웨어 솔루션 ATS & NDT Package ATS(Cooled IR Thermography) & NDT Package를 이용한 비파괴검사 솔루션 (Otvis, Itvis, Ptvis) Uncooled IR Thermography & NDT SW를 이용한 결함검사, 설비진단에 사용되는 솔루션 CFRP를 비롯한 복합소재의 박리현상, 충격 등 내부 결함 검출 접착, 용접, 납땜 등 접합부의 결함 검출 항공 구조물 크랙 검출 설비 응력, 열화, 누수, 결함 검출 항공 복합소재 비파괴검사 설비 진단 적용 분야 항공 비파괴 검사 Honeycomb 구조 결함 검사 이승남 차장 ( , 61

62 목 차 Ⅰ II Ⅲ IV V VI VII 내장형 시스템 솔루션 내장형 SW 내장형 시스템 개발 도구 내장형 SW 테스팅 솔루션 하드웨어 솔루션 엔지니어링 서비스/교육 회사 소개

63 SW 엔지니어링 서비스 엔지니어링 서비스/교육 국제 표준 및 방위사업청 지침에서 요구되는 프로세스 구축 및 수행 서비스 제공 Verification & Validation을 통한 SW의 신뢰성 확보 고객 맞춤형 SW 엔지니어링 서비스 제공 SW 개발 및 신뢰성 솔루션 공급 - 개발 프로세스 단계별 최적화 솔루션 공급 - 자동화 신뢰성 솔루션 공급 - 국제 표준에서 인증된 도구 공급 주요 이점 - 국제 기준에 부합한 프로세스 수행 - 제품 개발의 효율성 증대 - 제품의 품질 개선과 신뢰성 확보 제공 서비스 및 SW 엔지니어링 컨설팅 - 프로세스 개선 및 구축 로드맵 제공 - 역 공학을 통한 설계 문서 도출 - 국제 표준에 따른 문서 리뷰 및 가이드 - SW 설계 문서 개발 및 테스팅 교육 주요 프로젝트 SW 테스트 엔지니어링 (3자 검증) - SW 신뢰성 시험 - 정적 분석 - SW 신뢰성 시험 - 단위 시험/코드 실행률 - SW 신뢰성 시험 - 통합 시험/코드 실행률 - 국제 표준에 따른 방법론 수행 방위사업청, 국방과학연구소, LIG넥스원, 한화탈레스, 한화, 두산DST, 리얼타임비주얼 등 김성환 팀장 ( , tes@mdstec.com) 63

64 국방/항공 인증 컨설팅 엔지니어링 서비스/교육 DO-178C/254 항공전자 인증, 아키텍처 프레임워크, 시스템 엔지니어링 전문 교육 Designated Engineering Representatives(DER 서비스) Gap 분석 컨설팅 DO-178C/254 검토용 체크리스트 - SW 설계 검토, SW 적합성 감사, 하드웨어 구현 검토를 위한 100개 이상의 DO-178C/254 체크리스트 제공 제공 서비스 및 DO-178C/254 문서 템플릿 - SW 인증 계획(Plan for Software Aspects of Certification, PSAC), SW 개발 계획 (Software Development Plan, SDP), 하드웨어 검증 계획 (Hardware Verification Plan, HVP) 작성을 위한 20개 이상의 DO-178C/254의 템플릿 제공 Atego Process Director - 프로세스 개발기간 단축 및 유지보수 비용절감 효과와 DO-178C 인증을 획득할 수 있는 매우 효과적인 도구 - DO-178C 항공기 시스템 및 장비의 개발 및 인증을 위한 지침, 수명주기, 계획, 표준, 기준, 기준, 산출물, 체크리스트, 역할, 리뷰, 리스크, 기술 및 도구 정의를 포함하여 300개 이상의 DO-178C 항목 제공 - 50개 샘플 템플릿 문서 및 라이브러리 간 1000개 이상의 추적 가능한 링크 제공 13년 : 차세대 항공기용 통합모듈형 항공전자(IMA) 플랫폼 개발사업, DO-178C/254 인증 컨설팅 12년 : 한국형 임무지원체계 데이터 안전성 컨설팅 (DO-200A 갭 분석) 수행 12년 : 방위사업청 감항인증 전문교육 과정(DO-178B) 수행 07~ 09년 : 항공기 임베디드 시스템 개발 사업(T-50 임무컴퓨터 국산화) 항공용 실시간 운영체제 DO-178B 적용 개발 노태영 부장 ( , taeyoung@mdstec.com) 64

65 보안 테스팅 서비스 엔지니어링 서비스/교육 보안 취약점을 사전 탐지하여 보안 위협으로부터 국방 정보 시스템을 보호 및 대응 능력을 향상시킬 수 있는 서비스 제공 보안 테스팅 및 모의 해킹 - 서버, 클라이언트, 애플리케이션 등 다양한 시스템에 대한 모의 침투 테스팅 - 유무선 네트워크 및 파일시스템, 미디어 등 다양한 프로토콜 및 파일 포맷을 통한 취약점 탐지 웹 취약점 점검 - 웹 애플리케이션 및 웹 서비스에 대한 보안 테스트를 통한 취약점 탐지 제공 서비스 및 앱 보안성 점검 - 모바일 앱에 대한 보안 테스트 수행 - Native code 및 오프소스 라이브러리 취약점 탐지 - 오픈 소스 라이선스 위반 여부 확인 기대 효과 - 보안취약점 사전 탐지를 통한 보안 위협 감소 - 보안취약점에 대한 방어 및 패치 비용 절감 - 프로토콜별 수 만개 이상의 테스트 케이스를 통한 테스트 범위 및 SW 품질 향상 LG전자, 미국 국방부(DoD), 국가안보국(NSA), 북대서양조약기구(NATO), 마이크로소프트, 시스코 등 이동재 대리 ( , dongjae@mdstec.com) 65

66 임베디드 기술 교육 엔지니어링 서비스/교육 임베디드 솔루션 전문 교육 국방/항공 SW 개발 솔루션 교육 HW 시스템SW 미들웨어SW 산업 공통/특화 교육 응용SW SW엔지니어링 요구사항 관리 00 형상/변경 관리 검증 설계 00 단위/통합시험 구현 고용노동부 지정 국내 최고 임베디드 솔루션 전문 교육센터 미래부 선정 SW인력양성기관 지정 국가인적자원개발컨소시엄 사업 운영기관 연간 1만 5,000여명의 임베디드 전문 인재 양성 RTOS 교육 SW 개발 전 단계별 개발 도구 교육 SW 품질 향상을 위한 테스팅 솔루션 교육 MDS 테크놀로지 : 김종헌 팀장 ( , edu@mdstec.com) 고용 노동부 국가인적자원 개발컨소시엄 한국산업 인력공단 66

67 빅데이터 분석 교육 엔지니어링 서비스/교육 빅데이터 분석 플랫폼 - Splunk 공인 교육 국내 유일 Splunk 공인 교육센터 전문 강사들의 풍부한 실무 경험과 깊이 있는 기술력으로 높은 수준의 강의 제공 데이터의 분석, 추출, 시각화 방안 등 빅데이터 수집 단계부터 최종 앱 개발 단계까지 모든 과정에서 실습 진행 (이론 50%, 실습 50%) 사용자, 관리자, 개발자에 따라 맞춤형 교육 제공 Using Spunk Searching & Reporting with Splunk Administrating Splunk Course Developing apps with Splunk : 성준민 대리 ( , junmin@mdstec.com) 67

68 목 차 Ⅰ II Ⅲ IV V VI VII 내장형 시스템 솔루션 내장형 SW 내장형 시스템 개발 도구 내장형 SW 테스팅 솔루션 하드웨어 솔루션 엔지니어링 서비스/교육 회사 소개

69 회사 회사 소개» 회사» 인력 현황 주요 사업 주요 고객사 설립일 / 상장일 매출액 / 영업이익 (2015년도) 임베디드 및 IT 솔루션 현대자동차, 삼성전자 외 1,500개사 1994년 / 2006년 1,178억원 / 123억원 기술 55% 기타 2% 총 360명 총 360명 중 약80%가 기술 인력 영업 25% 경영지원 18% 경영진 약력 신용등급 A+ 최대주주 대표이사 소재지 한글과컴퓨터 이 상 헌 성남시 판교» 자회사 현황 국방/항공 HW : 해외지사 : 한국 인도 태국 말레이시아 싱가폴 호주 69

70 회사 연혁 회사 소개» 20여년간 국내 임베디드 산업성장 견인, 최근 ICT산업으로 사업 확대 MDS테크놀로지 설립 94 MDS아카데미 개설 마이크로소프트 윈도우 임베디드 파트너십 체결 코스닥 상장 해외지사 설립 (싱가폴, 인도, 호주) 03~ ~ 12 자동차 시장 본격 공략 13 유니맥스 인수 산업용 기기/디지털가전 자동차 매출액 1,000억원 달성 마이크로소프트 Cloud Solution Provider 선정 15 IoT 시장 진출 14 -빅데이터 시장 진출 -Splunk 공인 교육센터 지정 국방/항공 ICT 휴대폰/스마트폰

71 사업 영역 회사 소개» 전 산업분야에 IT융합 솔루션 및 서비스를 제공하는 국내 1위 임베디드 기업 임베디드 SW 개발도구 SW 품질 향상 솔루션 IT솔루션 & 플랫폼 IT 융합 솔루션 임베디드 SW 임베디드 HW 임베디드 /IT 교육 서비스 자동차 디지털/가전 산업용기기 스마트폰 반도체 국방/항공 의료 에너지 금융/공공

72 사업 영역 회사 소개» 임베디드 분야 세계 최고 기업들과 비즈니스 파트너십 구축

73 색인-솔루션 분류별 내장형 SW 내장형 시스템 개발 도구 (계속) 하드웨어 솔루션 솔루션 페이지 국방/항공용 실시간 운영체제 NEOS RTOS 8-11 DDS 미들웨어 NeoDDS 미들웨어 12 Windows Embedded Windows Embedded Compact 2013 & CE 13 Windows Embedded 8 Standard 14 Windows 10 IoT Enterprise 15 내장형 시스템 개발 도구 솔루션 페이지 체계 위험도 안전성 분석 Medini Analyze for Safety and Reliability 17 Application Lifecycle Management Polarion ALM 18 IBM ALM 멀티 코어 개발 및 타이밍 분석 Inchron 23 Timing Architects 24 ECU 개발 dspace Prototyper 25 dspace TargetLink 26 dspace HIL Simulator 27 모델 분석/Verification 자동화 Reactis 28 Medini Unite 29 EmbeddedTester/Specifier/Validat orne 30 모델 가이드라인 검증 Model Examiner 31 디버깅 TRACE32 PowerDebug Pro 32 TRACE32 PowerTRACE II 33 솔루션 페이지 컴파일러 IAR Embedded Workbench 34 CodeWarrior 35 CoDeveloper - Impulse C 36 프로세스 자동화/빌드 성능 향상 ElectricFlow 37 ElectricAccelerator 38 문서 출력 자동화 HWP-Manager/RPE 39 빅데이터 분석 솔루션 Splunk 40 내장형 SW 테스팅 솔루션 솔루션 페이지 신뢰성 분석-실행시간 오류 검출 CodeSonar Static/Binary 42 신뢰성 분석-코딩 규칙 검증 QA Framework 43 QA Verify 45 소스코드 구조 분석 Structure 신뢰성 분석-오픈소스 라이선스 검증 Palamida 46 신뢰성 시험 단위/통합 시험 및 코드 실 행률 분석 VectorCAST 47 체계 통합 Coverage 검증 및 Profiling DT10 48 보안 취약점 분석 bestorm 49 소프트웨어의 WCET 분석 ait 50 최대 스택 사용량 분석 StackAnalyzer 51 메모리의 비정상적인 접근 검증 ValueAnalyzer 52 솔루션 페이지 국방/항공용 상용 보드 및 모듈 Kontron 54 국방/항공용 시스템 및 인클로저 Kontron 55 Rugged 서비 및 시스템 Crystal 56 Kontron 57 FPGA 기반 고성능 컴퓨터 PICO Computing 58 항공 데이터 취득 모듈 Zodiac Data System 59 Night Vision IR Camera Tau2 & PathFindIR 60 열화상 비파괴 검사 솔루션 (IR NDT) ATS & NDT Package 61 엔지니어링 서비스/교육 솔루션 페이지 SW 엔지니어링 서비스 63 국방/항공 인증 컨설팅 64 보안 테스팅 서비스 65 임베디드 기술 교육 66 빅데이터 분석 교육 67 73

74 MDS테크놀로지 국내 No.1 임베디드 솔루션 기업을 넘어 글로벌 IT 융합기업으로 향합니다. MDS테크놀로지 경기도 성남시 분당구 대왕판교로 644번길 49 한컴타워 3,4층 ( ) Tel Fax 홈페이지 MDS아카데미