신뢰를 최우선 가치로 정직한 기술을 실현합니다. 수중탐색용...

32
신뢰를 최우선 가치로 정직한 기술을 실현합니다. 사업영역 핵심기술센터 제품 및 솔루션 소개 컨설팅 교육센터

Upload: others

Post on 26-Oct-2019

6 views

Category:

Documents


0 download

TRANSCRIPT

신뢰를 최우선 가치로 정직한 기술을 실현합니다.

사업영역

핵심기술센터

제품 및 솔루션 소개

컨설팅

교육센터

인사말

연혁

사업영역

핵심기술센터

소프트웨어 개발

소프트웨어 신뢰성 및 테스팅 솔루션

임베디드 솔루션

GUI 테스팅 솔루션

보안성 검증 솔루션

오픈소스 검증 솔루션

시스템 신뢰성 솔루션

RF/EMC 솔루션

감항인증 솔루션

컨설팅

교육센터

고객현황

Contents04

05

06

08

12

14

16

18

20

21

22

24

26

28

29

30

신뢰를 최우선 가치로 정직한 기술을실현하는 (주)모아소프트입니다.

소프트웨어 개발 및 검증 프로세스,

소프트웨어 종합군수지원,

RF/EMC 솔루션 등

정직한 기술과 신뢰를 바탕으로

군수, 민수 분야의 국내 최고 전문기업을 향해 노력합니다.

미래를 생각하는 기술로과학과 기술의 한계에 도전합니다.

(주)모아소프트는

모아소프트의

새로운 미래가 시작됩니다.

안녕하세요. (주)모아소프트 대표이사 장주수입니다.

저희 모아소프트는 1998년 신뢰성 분석기술을 시작으로

지난 20년간 고객 여러분의 격려와 질책 속에 많은 성과를 이루었습니다.

이 모든 모아소프트의 발걸음은 고객 여러분과 함께한 덕분이라 생각하며,

이 자리를 빌려 진심의 감사 말씀을 드립니다.

모아소프트는 지난 20년간의 성장을 발판으로

새로운 20년의 도약을 위해 힘찬 발걸음을 내딛었습니다.

앞으로 모아소프트는 4차산업혁명시대에

국방 및 일반산업에서 요구하는 AI, Data Analysis,

RAMS, LSA모델링, TOC(Total Ownership Cost) 분석,

SW 신뢰성 시험, RF/EMC, SW ILS 분야의

특화된 기업으로 거듭나기 위하여 노력하겠습니다.

저희 모아소프트를 위해 격려와 사랑을 보내주신

모든 분께 항상 감사하는 마음으로

최고의 제품과 최선의 노력으로 보답할 것을

약속드립니다.

(주)모아소프트 대표이사 장 주 수

04

더 큰 세상을 위한모아소프트의 힘찬 도약

2016철도 소프트웨어 신뢰성 평가 지원도구 설계

무인기 GCS 소프트웨어 신뢰성 시험 용역

광개토III Batch-II 소프트웨어 획득 및 관리

증강현실 HUD 소프트웨어 정적/동적 검증

SW공학기술 현장적용 지원사업 컨설팅 용역

실시간 모바일 시나리오 기반의 통신성능 예측 M&S 소프트웨어 개발

고폭화약의 폭발성능 및 운용안전성 정밀 해석 SW 개발

철도소프트웨어 신뢰성 평가 지원도구 설계

위성항법 전파환경 분석 기술용역

IBU BCM 소프트웨어 정적 분석 및 기능 검증

00 잠수함 전투체계 In-House 소프트웨어 신뢰성 시험

2018○○○체계 소프트웨어 신뢰성 보증 및 신뢰성 분석 시스템 개발지능형 객체 탐지 및 인식 시스템 연구 및 개발"000 항공기 동체를 고려한 방탐 및 송수신안테나 영향석 분석"SK oo 실린더 Drop Test Simulation Analysis

2017울산급 Batch-Ⅲ 소프트웨어 신뢰성 시험방안 연구 용역

금속재료 피로시험 분석 자동화 소프트웨어 개발

금속재료 피로시험의 최적설계 알고리즘 및 분석 자동화 소프트웨어 개발

도시철도 RAMS 통합시스템 구축연구

복합항법장치 소프트웨어 신뢰성 시험

상용 대형버스 SMK 소프트웨어 정적 분석 및 기능 검증

LCH SW 인증규격(DO-178C) 컨설팅

2015수도권 무기체계 신뢰성 통합관리시스템 개발

신림선 경량전철사업을 위한 예비 RAM 분석

고속철도 트랜스폰더 리더 SIL4인증, 태그/프로그래머 SIL2 인증 지원

무인항공기 SW 개발 프로세스 구축 지원 및 시험

국방 ○○헬기, ○○무인기등 신뢰성 시험

호남고속철도 열차제어시스템 SW 안전성 시험

초소형 GPS 배열안테나 및 탑재체 M&S 정확도 개선

무인정찰기 SAR 체계 개발 안테나 탑재 영향 분석

2014SW ILS 센터 설립

서울 지하철 FRACAS 구축

시스템 EMC 대책에 대한 전자장 해석 기법 설계

원자력 Q등급 소프트웨어 V&V 공인 인증 지원

무인 잠수정 소프트웨어 신뢰성 시험

다목적 수직 이착륙 무인기 소프트웨어 신뢰성 시험

대형 선박 PLC(ESD/F&G) SIL3 인증 지원

AED 의료용 SW 공학기술 현장적용 지원사업

SAR 안테나 탑재영향분석

발사체 페어링 실물 사이즈 RF 윈도우 전파투과성 해석

철도차량 내외부 및 차량간 전파환경분석

MTB-EWT 송수신안테나 배치 최적화 M&S 제작

플랫폼 전자파간섭 모델링 및 산란특성 분석 시스템

2013○○체계 데이터링크 항공탑재추적안테나 장착위치 최적화 해석

데이터링크 체계 시제 안테나 M&S 개발

전자파특화연구센터 업무협력 MOU체결

○○사업 UAV DATALINK 안테나 M&S 개발

유도조종장치 탑재 소프트웨어 프로세스 구축

자동차 탑재 소프트웨어 통합 검증랩 운영

CMMI Level 3 인증 획득

2012RF 안테나 방사패턴 해석 프로그램 개발

발사체 탑재 안테나 전자파 해석

○○사업 UAV 체계개발사업 탑재 안테나 특성분석

수중탐색용 자율무인잠수정 신뢰성 SW 개발

스마트키 LF 자계 강도 분석 프로그램 개발

MUAV SW 정적/동적 시험 지원

2011경춘선 Balise 제품의 SW 표준활동 및 ISA 인증활동

항공분야 안전성 표준(DO-178B)에 따른 개발산출 표준문서 개발

고속철도차량용 추진제어장치 RAM분석 프로세서 구축

2010 고장보고/분석/환류(FRACAS) 개념구현 방안 설계/구축

차기 중어뢰 SW 신뢰도 분석 및 ILS M&S 모델연구

2009 무고장을 지향하는 임베디드 SW 및 예지관리 시스템 개발

한국형 틸팅열차 시운전데이터를 활용한 신뢰도 분석평가

2008 김해 경전철 SW 품질 보증

컨설팅 신분당선 RAMS 보증업무

●2005 정비정보관리체계(MDCS) SW 개발

●2002 Fault Monitoring System 개발

2001 고속차량 신뢰성기반 유지보수체계 관리 시스템

구축 사업 추진 공동협력

2000 신뢰성분석 기술 업무협약

신뢰성분석 SW 개발 프로젝트

●1998 모아소프트 설립

●2007 KM 추진기관 신뢰도 분석 컨설팅

05

급변하는 시장에서 선도적인 위치를 확보하고 고객

만족의 극대화를 위해 최선의 모습으로 새로운 길

위에서 변화를 이끌어갑니다.

사업영역㈜모아소프트는 방위산업, 철도, 원자력, 항공우주, 통신, 가전, 선박, 자동차 등 산업

전반에 걸쳐 종합소프트웨어 솔루션을 제공하고 있습니다. 특히 종합군수지원, 전기전자,

기계 및 설비제품의 신뢰성, 가용성, 정비성 및 안전성 분석과 임베디드 소프트웨어

테스팅 솔루션, 통신시스템의 안테나 설계 및 분석, 전파전파 및 무선 네트워크 설계 등의

종합솔루션을 제공하고 있습니다.

06

솔루션

소프트웨어 ILS Center 종합군수지원 솔루션 RF/EMC 솔루션소프트웨어 솔루션

무기체계 SW IL 개발을

위한 최적화된 환경과

기술을 지원합니다.

제품의 설계에서 운영까

지 모든 라이프사이클에

걸쳐 신뢰도, 운용가용

성, 유지 보수성, 안전성

등을 분석 및 관리 합니

다.

효율적인 소프트웨어개

발 프로세스 구축과 함께

개발 단계별 검증이 가능

하도록 다양한 솔루션을

제공합니다.

RF/EMC의 정확한 해

석을 위해 장착 구조체

및 전파 환경을 고려한

종합해석솔루션을 제공

합니다.

소프트웨어 개발

Kalman Filter을 활용한 연도별 온도 Data 분석

기온 및 저온 Run 분석 모듈 구축

가상 Big Data 활용 환경시험 기준 설정 지원도구 개발

Neural Network을 활용한 글자인식 알고리즘 개발

3D CAD, M&S을 이용한 저장환경 열 해석

복잡한 함수를 근사값 변환 FFT(Fast Fourier transform)

Position Reference 수신신호를 Kalman filter로 변환하여 자신의 위치 추정 기법 개발

소프트웨어 신뢰도 예측 및 추정 모델 알고리즘 개발

Markov Process를 활용한 무기체계 고장 및 정비 알고리즘 분석 및 Simulation Program 개발

피로시험의 테스트 가이드 및 S-N(Stress-Number of Cycle to Failure) 곡선 분석 알고리즘 개발

BIG DATA

DATAFUSION

RAM예측/추정

시험환경 모델링

교육

다년간의 노하우와 전문인력을 활용한 고객 맞춤형 컨설팅으로 최상의 결과를 제공합니다.

컨설팅

07

Data Science

KALMAN FILTER 기본과정

Markov Chain Monte Carlo 과정

KALMAN FILTER Bayesian

가속수명시험 실무교육

환경 및 일반 신뢰도시험 실무교육

RF/EMC

안테나 및 전자파 해석(기본)

EMI/EMC/E3 해석

RCS(ISAR,IR) 해석

전자파 환경분석-5G 시뮬레이션

안테나 및 전자파 해석(심화)

Software Reliability

소프트웨어 종합군수지원 & FMEA 통합과정

국방 소프트웨어 신뢰성 시험 (기본)

항공용 SW의 안전성을 위한 감항인증 프로세스(DO-178C)

LDRA user training

국방 소프트웨어 신뢰성 시험(심화)

System Reliability

시스템 신뢰도 분석

TLCSM과 LSA 실무

컨설팅

국방 신뢰성 시험(방사청 SW 매뉴얼)

항공 감항 인증 (DO-178C/278A/331)

CMMI/SP 레벨 인증

자동차 기능 안전성 인증(ASPICE/ISO 26262)

의료기기 안전성 인증(IEC 60101/62304)

원자력 SW 안전성 인증 KEPIC / KINS / IEC 60880

NUREG / CR-6101

철도 RAMS 인증 (IEC 62278/62279/62280)

해양/조선/기계 기능안전성 인증 (IEC 61508)

LSA 모델링 컨설팅

MTBF산출/RAMS분석 RF/EMC 컨설팅

핵심기술센터는 인공지능(AI),가상물리 시스템(Cyber Physical System),

Data 처리 알고리즘 개발 및 소프트웨어 ILS 업무, 소프트웨어 신뢰성 시험 등

무기체계 소프트웨어 개발 및 지원 업무를 수행합니다.

핵심기술센터 조직도

핵심기술센터

08

Data Science 팀

핵심기술센터

시스템신뢰성사업부

하드웨어ILS팀

소프트웨어ILS팀

소프트웨어컨설팅팀 -

-

-

-

-

Machine Learning

Deep Learning(Neural Network)

Large Scale Computation

Large Scale Simulation

Artificial Intelligence

시험팀

국방자동차/철도

GUI

FAE팀

소프트웨어신뢰성사업부

소프트웨어개발팀

핵심기술센터의 주요업무

소프트웨어 개발 Package 지원

무기체계 연구개발 제안서 작성 지원

소프트웨어 기술문서 작성 지원

소프트웨어 ILS 개발 지원

소프트웨어 신뢰성 및 보안성 시험 지원

소프트웨어 규격화 업무 지원

소프트웨어 ILS 개발 컨설팅 및 교육

소프트웨어 ILS 최적화 및 ILS-P 작성 지원

소프트웨어 ILS 업무 및 신뢰성 시험 교육지원

소프트웨어 신뢰도/LSA 프로세스 구축 지원

소프트웨어 LSA 계획 수립 지원

소프트웨어 신뢰도 분석 모델 지원 및 SYSTEM 구축

소프트웨어 고장유형 및 영향, 치명도 분석(FMECA)

소프트웨어 ILS 요소 개발 최적화 지원

소프트웨어 ILS 요소 최적화

소프트웨어 유지보수 도구 개발

소프트웨어 사용자 매뉴얼 및 기술교범 작성

소프트웨어 신뢰성 시험 및 솔루션 제공

소프트웨어 신뢰성 시험(정적분석, 동적시험) 지원

소프트웨어 신뢰성 시험 SOLUTION 제공

소프트웨어 개발 및 TEST R&D

소프트웨어 신뢰성 성장 모델 연구

소프트웨어 TEST 선진기술 연구 및 적용 방법론 연구

신뢰성 시험 결과 자료 구축

09

소프트웨어신뢰도/

LSA 프로세스구축 지원

소프트웨어신뢰성 시험

및 솔루션 제공

소프트웨어 개발Package 지원

소프트웨어개발

소트웨어 ILS 개발 컨설팅

및 교육

소프트웨어 ILS요소 개발

최적화 지원

소프트웨어개발 및

TEST R&D

BIG Data 처리 / 인공지능

가상물리시스템 (Cyber physical system)

데이터 처리 알고리즘

지능형 영상 분석 시스템

시험환경 모델링 및 구현

소프트웨어 개발

무기체계 개발사업 주관기업(기관)의 소프트웨어 개발 파트너로 참여하여, 제안서 작성부터

규격화 단계까지 소프트웨어 개발수명주기(SDLC) 전 단계에서 주요 핵심사항인 소프트웨어

ILS, 품질, 신뢰성/보안성 확보 활동을 Package화하여 지원합니다.

제안서 작성 지원 : SW 개발관련 분야 작성

신규 무기체계 연구개발 사업 제안서 작성 시 소프트웨어 관련 사항 작성 지원

(SW 신뢰성/보안성시험, 소프트웨어 ILS, SW개발 비용분석)

소프트웨어 기술문서 작성 지원

SW요구사항명세서(SRS), SW개발계획서(SDP), SW설계기술서(SDD)

SW시험계획서(STP), SW시험절차서(STD), SW 시험결과보고서(STR)

SW목록명세서(SCS)

※ SW 특성에 맞는 Coding Rule 선정(방사청 Coding Rule, 국제표준Coding Rule), SW 품질 Metrics 적용방안 등 Consulting

소프트웨어 ILS 개발 지원SW ILS 개발 범위 및 세부내용 테일러링(tailoring) 검토 지원

ILS-P의 소프트웨어 개발 분야 작성 지원

신뢰도(Reliability) 예측(Prediction) 및 평가(Estimation)

LSA(Logistics Support Analysis), ILS 11대 요소 개발

소프트웨어 신뢰성 시험, SW 보안성 시험 지원

정적시험 : 코딩규칙 위배 검출, Runtime Error 검출

동적시험 : Statement Coverage, Branch Coverage, MC/DC

보안성시험 : 행정자치부 ‘소프트웨어 개발보안 가이드’ 준수여부 확인시험

(CC 인정된 자동화 Tool 사용)

소프트웨어 규격화 업무 지원

제3자 검증 방식으로 방사청 규격화 단계 점검표에 의한 최종 점검

※ 기술문서, 소프트웨어 신뢰성 시험, 규격화 문서 등 제3자 검증 (SW 신뢰성시험은 공인 인증서 발급)

소프트웨어 개발 Package 지원

10

하드웨어 ILS 요소개발과 병행하여 소프트웨어 유지보수에 필요한

ILS요소 개발을 지원합니다.

소프트웨어 ILS 요소 최적화

소프트웨어 유지보수 도구 개발

소프트웨어 사용자 매뉴얼 및 기술교범 작성

정비 계단별 유지보구 도구, 정비용 소프트웨어

소프트웨어 정비결과 확인용 시뮬레이터, 테스트베드 등 개발

교육훈련용 CBT 등 교보재 개발

기술교범의 SW 부분 작성 지원, 사용자 매뉴얼 작성 지원

SW 정비지원을 위한 지원요소 분석 및 개발

효율적인 정비소요, 정비한계, 정비계단별 기능 및 책임, 정비환경 등 소요군 정비능력 확보

정비 계단별 유지보수 도구, 정비용 소프트웨어 확보

운용지원 소프트웨어 및 부수장비 소요분석 및 개발

SW 정비결과 확인용 시뮬레이터, 테스트베드

SW 운용 및 정비인원 판단

정비요원, 교육소요인력, 기술수준에 맞는 인력 충원

SW 운용자 교육계획

체계운용 및 유지보수 능력 확보를 위한 교육계획

교재 및 교보재 지원, 교육용 동영상 제작 등

SW 설치 매뉴얼, SW 버전기술서

SW 사용자 및 운용자 설명서

SW 산출물, 체계개발 설계, 구현, 시험관련 자료, 응용 SW 소스코드 등

SW 종합군수지원요소, 요구사항 설계 반영

SW 유지보수 지원체계 설립방안 설계 반영연구 / 설계 반영

SW 형상항목 정의 및 개발 절차 표준화

표준준수 여부 및 상호 운용성 검토표준화 / 호환성

정비계획

지원장비

군수인력운용

군수지원교육

기술자료 관리

소프트웨어 ILS 요소 개발 최적화 지원

11

무기체계 무인화 · Network화 ·첨단화 핵심 기능인 소프트웨어 개발, Algorism 구현,

Model 설계, 빅데이터 해석 관련 최적의 Solution를 개발합니다.

소프트웨어 개발

12

개발 프로세스 소프트웨어 개발 영역

Requirement 분석설계 / 구현 개념 설정

Architecture 설계상세 설계

알고리즘을 사용한 시스템 구조 및 GUI 설계

알고리즘의 라이브러리화 및 소프트웨어 구현/시험

알고리즘 구현 및 검증

Kalman Filter

Neural Network

Big Data

FFT(Fast Fourier transform)

Stress-Number of Cycles to Failure

Software Test Data(FCD, Coverage)

Wavelet(Coiflets, Daubechies, Harr)

Analysis

SW Reliability 예측/추정 모델

시험 Data 분석 알고리즘 및 Simulator Program

열 해석 프로그램

LCC(Life Cycle Cost) 분석 프로그램

Development

01

02

03

04

05

소프트웨어 개발

13

분야 SW 개발 내용

RAM예측

/추정

BIG DATA

Kalman Filter을 활용한 연도별 온도 Data 분석

기온 및 저온 Run 분석 모듈 구축

기상 Big Data 활용 환경시험 기준 설정 지원도구 개발

Neural Network을 활용한 글자인식 알고리즘 개발

3D CAD, M&S을 이용한 저장환경 열 해석

복잡한 함수를 근사값 변환 FFT(Fast Fourier Transform)

Position Reference 수신신호를 Kalman filter로 변환하여 자신의 위치 추정 기법 개발

소프트웨어 신뢰도 예측 및 추정 모델 알고리즘 개발

Markov Process를 활용한 무기체계 고장 및 정비 알고리즘 분석 및 Simulator Program 개발

피로시험의 테스트 가이드 및 S-N(Stress-Number of Cycle to Failure) 곡선 분석 알고리즘 개발

DATAFUSION

시험환경

모델링

Industry4.0

Autonomousrobots

Big data

Augmented reality

Cloudcomputing

Additivemanufacturing

Simulation

Internetof things

System integration

Cybersecurity

소프트웨어 신뢰성

및 테스팅 솔루션효율적인 소프트웨어 개발 프로세스 구축과 함께 개발 단계별 검증이 가능하도록

다양한 솔루션을 제공합니다.

요구사항 분석/도출(Requirement)

SW 구조 및 상세 설계(Design)

소스코드 구현(Coding)

SW 안전성(Safety), SW 신뢰성(Reliability),

SW 품질요소(Quality)에 대한 요구사항 분석 및 도출

SW 요구사항명세서(SRS) 작성지원

최적화 설계 기법 적용

SW 설계기술서(SDD), SW 단위시험계획서(STP),

SW 통합시험계획서(STP) 작성지원

SW 품질 Metrics 정량적 목표 달성

SW 신뢰도(Reliability) Factor 수집/분석

SW 신뢰성 확보 활동 수행

SW 신뢰도 예측/검증

SW 단위시험결과서(STR), SW 통합시험계획서(STP),

SW 통합시험절차서(STD) 작성지원

SW 신뢰도예측/검증

SW 규격화(Standardization)

SW 신뢰성 시험(Test)

국방규격화 대상 기술문서 9종 제출●

SW 요구사항명세서(SRS),

SW 설계기술서(SDD)포함 9종 작성 지원

정적시험(코딩규칙 검증, 취약점 점검,

소스코드 메트릭 점검) 수행

동적시험(실제 하드웨어에 탑재하여 요구사항기반

코드 실행률 점검) 수행

SW 신뢰성 시험 3자 검증

정적/동적 시험 프로세스 구축 및 수행SW 통합시험결과서(STR), SW 통합시험계획서(STP),

SW통합시험절차서(STD) 작성지원

무기체계 소프트웨어 개발 단계별 핵심활동에대한 컨설팅 수행

14

항공 국제 표준(DO-178C/278A/254)에 따른 개발 프로세스 준수 확인

개발 산출물 문서 템플릿 지원

FAA DER의 산출물 검토 의견 지원

개발 산출물 검토 체크리스트 지원

프로세스 준수관리(LCS)

소프트웨어의 요구사항 도출, 분석 및 관리

소프트웨어 개발 프로세스 전반에 걸친 요구사항 추적/관리 기능

요구사항의 양방향 추적을 위한 Upstream과 Downstream 영향 분석 기능

국제 표준 규격(DO-178C, ISO 26262 등)의 요구사항 관리 기능

단위 및 통합시험

소프트웨어의 구조적 검증 및 기능 시험 수행

Test Driver, Test Harness, Test Vector 자동 생성

Unit/Integration/Regression Test 수행을 위한 Host-Target 환경 구축 지원

테스트 케이스 생성 및 Pass/Fail 테스트 수행

DO-178C의 Data Coupling/Control Coupling 지원

요구사항 추적관리

국제 표준 코딩룰(MISRA, CWE, CERT 등)을 적용 잠재적 결함 검출

소프트웨어 품질 측정을 위한 Metrics 지원

Call Graph, Flow Graph를 통한 설계 검토

매개변수 및 사용자 변수 데이터 흐름을 파악하여 위험 데이터 검토

정적분석

Tool Qualification

TBrun

TBmamager

Testbed

언어별 CWE 항목 점검

CWE-658©/659(C++)/660(JAVA)

소스코드 메트릭(Code Metrics) 점검

요구사항 기반동적시험

취약점 점검

코딩 규칙 검증언어별 관련 표준 코딩규칙, 방사청코딩규칙

(공통적용규칙 46개, C 전용규칙 5개, C++전용규칙 15개) 검증

Cyclomatic Complexity, Number of Call Levels를 포함한

방사청이 제시하는 6개의 메트릭 점검

SW를 실제 하드웨어(Target)에 탑재하여

요구사항기반 코드 실행률(문장, 분기, MC/DC) 점검

국방 소프트웨어 신뢰성 시험 항목

1 5

신뢰성과 안전성을 높일 수 있는 임베디드 시스템개발을 위한 솔루션을 제공합니다.

임베디드 솔루션

winIDEA fitIDEA

testIDEA

J-TAG, BDM, OnCE, SWD, N-Wire,DAP

Analyzer : NEXUS, ETM, AURORA

Analog/Digital 신호를 이용한 Mimi-HILS 인터페이스

초기 시스템 개발을 위한 30여가지 고성능 평가보드 제공

Analyzer 인터페이스를 위한 환경 구축

iSYSTEM

BlueBox

임베디드 시스템의 통합 개발 환경 제공

Binary 단에서 프로그램의 debugging 환경 제공

Break Point, Trace, Time Profiling/Scheduling 기능 제공

스크립트 생성 기능(Perl, Python)

iSYSTEM

WinIDEA

시스템 기반의 요구사항 기반 시험(Task 점유율, 최대 Stack 사용량 등)

단위, 통합 시험(Stub 지원, 커버리지 산출 등)

winIDEA 제어(Break Point, Trace, Time Profiling/Scheduling 기능)

실제 타겟 위에서 수행

Autosar, OSEK 등 RTOS와 연동

Trace, Coverage, Profiler 결과 Excel 형태로 출력

오브젝트 기반의 커버리지 레포트 생성

iSYSTEM

TestIDEA

16

모듈화(Modular) & 확장성(Scalable)지원

POSIX Profile 51 스타일 인터페이스

DO-178B SW Level A 인증용 COTS 지원

수명주기비용(LCC)/수명주기이익(LCP) 분석 및 비용추정 도구

시스템의 운영수명 중 개발, 획득, 운용 및 지원을 위한 추정비용 비교

LCC 분석을 위한 다양한 모델 제공 및 필요에 맞게 모델 조정 가능

다양한 국제표준 적용(Debugger): JTAG, BDM, SDI, OnCE

실시간 분석을 통한 개발 지원: Trace, Profiler, Code coverage 분석

HILs를 위한 인터페이스: Analog & Digital I/O, IOM2, IOM2-D

디버깅 및 분석

하드웨어

WinIDEA IDE:개발 환경과 실시간 분석기를 포함한 안정성 통합 개발 도구

System.connect: 실타깃과 실행파일을 이용한 신뢰성 단위 및 통합시험 도구

testIDEA: 디버깅 및 시험 자동화 인터페이스

디버깅 및 분석

소프트웨어

안전성 관련 프로세스에 최적화된 개발환경 구축 지원

신뢰성 높고 효율적인 시스템 개발을 위한 평가보드 제작 및 제공

국방, 항공개발 및 검증 프로세스 관련 교육 및 컨설팅

고객 맞춤

컨설팅

DO-178B/C용 아키텍쳐와 스케쥴러를 지원하는 RTOS

멀티코어를 위한 아키텍쳐

ARINC, 633, 644f를 위한 COTS 지원

17

GUI 테스팅 솔루션

Automated GUI Testing Tool

GUI 테스트케이스의 Recoding 기능 제공

Recoding된 테스트 스크립트 자동 수행

다양한 스크립트 언어 지원 (Python, Perl, Javascript, Tcl, Ruby 등)

다양한 형태의 Report 지원

하이브리드 어플리케이션 테스트 가능 (Qt+ActiveX, Java+Windows 등)

Squish Editions

<Squish에서 시험 가능한 다양한 GUI 프로그램 > <쉬운 테스트케이스 작성을 위한 인터페이스 제공 >

Qt, QML, QtQuick and QtWebKit

Java GUIs

Native Window Controls

Mac OS X Cocoa and Carbon

iOS Native and web GUIs

Android Native and Web GUIs

Web and Flex in multiple browsers

and more...

최근 개발되고 있는 다양하고 복잡한 GUI 어플리케이션의

자동화 테스트와 코드 커버리지 분석을 지원합니다.

18

Code Coverage Analysis Tool

C, C++, C#, Tcl 어플리케이션의 코드 커버리지 분석

Function, Line, Branch, Branch Decision and Condition Coverage 지원

Unit, Automated, Manual 테스트 지원

Untested Code 및 Dead Code 발견에 용이

서로 다른 버전의 어플리케이션 커버리지 비교 기능 지원

실행 결과의 누적 Report 제공

Squish Coco Toolchain

Supported Platforms

<Squish Coco 도구의 Code Coverage 분석 결과 화면>

Windows (32-bit and 64-bit)

Linux (32-bit and 64-bit)

mac OS X(32-bit and 64-bit)

Embedded Operating Systems

UNIX(Solaris, AIX,...)

Inquire about addtional platforms and custom toolchains

...

CoverageScanner analyzes and instrument C, C++, C# and Tcl applications.■

CoverageBrowser displays and manages coverage analysis data and results

from a sophisticated GUI. (Available to commercial licensees only.)

Microsoft® Visual Studio Add-in generates code coverage configurations for all available

C, C++ and C# projects within the Visual Studio IDE.

19

Sparrow는 실행의미 분석(시맨틱) 엔진을 바탕으로 소스코드 구문 분석만으로 찾기 어려운 보안약점과

결함을, 프로그램이 실행되는 동안 정확히 검출하는 국내 최고의 정적분석 도구입니다.

Sparrow

보안성 검증 솔루션

20

시큐어코딩을 위한 최적의 소스코드 보안약점 분석 도구

실행오류와 코딩표준을 함께 지원하는 실행의미기반의 정적 분석 도구

개발 단계부터 소스코드 분석을 통해 보안 취약점을 최소화하여 사이버공격 위협에도 안전한 소프트웨어 개발

행정자치부 '소프트웨어 개발보안(시큐어코딩) 가이드' 보안약점 47개 항목, 국정원 취약점 항목

전자금융감독규정 항목 지원

국제표준 레퍼런스 OWASP, CWE, CERT 검출

시큐어코딩 분석보고서, 보안 추이, 통계 등의 다양한 산출물 제공

코딩 단계부터 런타임 오류의 검출 및 수정이 가능하여 개발 시간 단축

정적 분석을 통해 잠재적 오류까지도 검출하여 테스트 커버리지 확대

방위사업청 코딩규칙 항목 지원 및 융합SW 관련 국제코딩표준 MISRA, HICCP, JPL, BSSC 검출

다양한 산출물을 통해 품질 관리 입증

Quality Testing

컨설팅 서비스

Security Testing

IDEBuild/CI

SCMALM

SDLC : Software Development Life Cycle

SDLC소스코드분석

SPARROWQCE

SPARROWSCE

최초의 오픈 소스 보안 솔루션으로써 업계최고의 오픈소스 보안취약점 데이터베이스와, 실시간으로

업데이트 되는 오픈소스 품질 이슈, 오픈소스 라이선스에 대한 모든 정보를 하나의 솔루션에서 제공합니다.

오픈소스 검증 솔루션White Source

21

오픈소스 취약점 및 라이선스 진단 All-IN-ONE 솔루션

소프트웨어의

오픈소스 구성요소 목록화

오픈소스 구성 요소를 자동으로 감지하여 목록화

3백만 오픈소스 콤포넌트와 7천만 소스파일

20개 이상의 언어지원 (C, C++, Python 등)

보안 취약점 탐지 및

해결 방안 제공

큐레이션을 통한 180,000 개 이상의 취약점 DB 제공

고유의 디지털 시그니쳐 방식으로 오탐 방지(False Positive)

최초 분석 이후 업데이트 되는 취약점 자동 알림

취약점별 해결방안 제공

오픈소스 버그 및

품질 평가

심각도에 따른 소프트웨어 버그 추적

오픈소스 Activity 와 유지관리 수준 추적

버전별 품질 점수 평가 제공

종합적인 라이선스

위험 평가

라이선스 정보 및 위험 평가 수치 제공

다중 라이선스 지원 및 릴리스 관리 자동화 제공

기업의 전체 오픈소스 현황 확인

리스크(Risk) 평가 기능 제공

소프트웨어 개발 주기 SDLC(Software Development Life Cycle)

- SDLC 프로세스의 모든 단계에서 활용 가능

개발사의 프로세스에 완벽 통합

수동 및 오버 헤드 작업 자동화

어떤 소스도 단 몇 분만에 분석

다양한 Plug-In 및 Integration 지원

모든 개발 단계에서 다양한 관계자가 실시간으로 정보 확인 가능

DB 업데이트에 따른 자동 알림 기능

1. 핵심부품 시험 모델링 및 데이터 수집

2. RBD 분석으로 시스템 모델링 수집

3. FMEA, FTA 분석 → 위험 요소 관리

1. FRACAS로 필드 데이터 수집

2. RAMS 결과 입력 → ILS 시나리오 수립

3. ILS시나리오 시뮬레이션 → LCC최적화

제품의 설계에서 운영까지 모든 라이프사이클에 걸쳐 신뢰도, 운용가용성, 유지보수성,

안전성 등을 분석 및 관리합니다.

시스템 신뢰성 솔루션

01STEP

1. 시스템 형상 분석 및 정의

2. 신뢰도, 정비도, 가용도 분석(RAM)

3. LCC 분석을 통한 LSA 기초자료 작성

Design System Operation&

SupportsRAMS

Model

LSA

Life Cycle Cost

RBD

Markov

WeibullData Analysis

ALTAccelerated Life Testing

FMEA

FRACAS

FTA

(Spare Optimization)

(Cost Analysis)

(Modeling Simulation)

22

02 STEP

03STEP

Prediction Maintainability

23

RAMS 프로세스에 적합한 신뢰도 분석 도구 (구 RELEX)

다양한 산업의 국제 표준에서 RAMS 분석 프로세스와 기술을 적용하여 사용

제품의 각 라이프사이클 단계별로 품질을 향상 및 관리 평가

설계 및 엔지니어링 프로세스 최적화를 위한 엔지니어링 계산 도구

표준 수학 표기법 사용, 단일 및 멀티스레딩 계산, 프로그래밍 기능 제공

대수 및 미분 방정식의 선형, 비선형 시스템을 위한 다중 솔버 지원

다양한 운용시나리오에 따른 정비계단의 적절성(부대,야전,창)

및 수리부속의 배치, 수량 최적화

수명주기 단계 별(획득/운영/폐기) 수리부속의 적합성 검토

비용효과분석(Cost-Effectiveness Analysis)에 따른 가용도 별 사업비용

및 수리부속 산출 가능.

운용 시나리오의 특성, 기간에 따라 산출된 기존에 산출된 수리부속의 적합성 검토 및 조정 가능.

전체 수명주기간 시스템 운용 가용도 변화추세 확인.

다양한 시나리오(OMS/MP등) 기반 시뮬레이션으로 실제와 유사한 운용 가용도

및 임무 성공률 검증

TLCSM에 적합한 수명주기비용(LCC) 분석 가능.

시스템 설계, 업체의 제안, 유지보수 솔루션에 대한 대안분석 및 민감도 분석

노후화된 장비의 단계별 교체 및 폐기 판단

고장이력관리시스템을 통한 신뢰도 데이터 수집 및 분석, 커스터마이징을

통한 맞춤형 신뢰성 솔루션

ISO-9001, ISO/ISO16949, AS9100 및 APQP 등 국제표준 요구사항 충족

CAPA, 8D, DMAIC, PDCA 등 프로세스 추적 및 관리가능

신뢰도 예측부터 안전성 분석, 다중화 모델링 가능

RF/EMC의 정확한 해석을 위해 장착 구조체 및 전파환경을

고려한 종합해석 솔루션을 제공합니다.

RF/EMC 솔루션

24

EMC

E3

EMP

HiRF

ESD

Burst

SurgeEOS

EMI

SiPi

Lightning

EMS

200KA

50KV/m

10KV/m

2K-16KV

SMPSCommercial

Product AESA RADAR

- A

nalo

g

- N

FC

- W

PT

- FM

, DM

B

- R

FID

- D

igita

l

- G

PS

- LT

E

- LT

E

- sa

tellite

- 5

G

- R

ad

ar

- IS

AR

- R

F

KHz MHz GHz 77GHzx-band

25

FDTD 기반 EM시뮬레이션 소프트웨어

안테나, 낙뢰(방전효과) 및 탑재 영향, SAR 같은 EMC/EMI 문제를 전문적으로 해석

고주파 해석기법을 사용한 안테나 간 cosite 및 RCS

Creeping wave 해석 기법을 적용하여 정확도를 높임

전파 전파 환경 및 무선 네트워크 해석용 소프트웨어

도심, 실내 및 2D 지형도를 대상으로 복합적인 전파 환경 해석을 수행

Radome, RCS, ISAR, IR 해석에 장점을 가지는 소프트웨어

특정 RF문제를 해결하기 위해 특화된 Solution Modules를 제공

MoM 기반 EM시뮬레이션 소프트웨어

안테나 및 대형 구조물과 RCS, EMI/EMC를 전문적으로 해석

수동소자를 이용한 정합회로를 자동으로 설계해 주는 소프트웨어

임피던스 특성을 바탕으로 최대 정합특성을 가지는 정합회로를 자동으로 설계 가능

전파 전파 및 무선 네트워크 해석용 소프트웨어

도시, 농촌, 실내, 터널, 시간 변형 시나리오 등의 환경 모델링 및 시뮬레이션

FDTD 기반 EM 시뮬레이션 소프트웨어

낙뢰(방전효과), NEMP, HIRF 현상 해석에 특화된 시뮬레이션 도구

EM 해석에 사용할 인체 모델을 해석에 적합하게끔 간편하게

제작할 수 있는 소프트웨어

High-order function을 사용하는 MoM 방식의 EM 시뮬레이션 소프트웨어

최적화된 메쉬를 사용하여 적은 계산자원을 이용해 안테나/대형탑재 구조를

빠르게 해석 가능

감항인증 솔루션

군용 항공기 감항인증 프로세스

감항인증 컨설팅

방위사업청 [표준 감항인증 기준 ] 기반 TCDS 개발 지원

- SW 요구사항 명세서(SRS), SW 개발 계획서(SDP) 등 총 33종 산출물 지원

DO-178C 기반 SW 개발지원(SW Level A~D 적용)

- 계획문서 5종, 표준서 3종 등 총 22종 산출물 지원

Software Level(A-D)별 검증

DO-178C 기반 SW Level(A~D)별- Level A: MC/DC, Level B: Branch Coverage- Level C, D: Statement Coverage

요구사항 기반 테스팅(Requirement Based Testing)

감항인증 소프트웨어 프로세스 전문 교육

SW 요구사항 기반 테스팅, SW 구조적 테스팅 방안

감항인증 국제규격 프로세스 교육

-MIL-HDBK-516C, DO-178C 프로세스

DO-178C 기반 감항인증 SW 산출물(총 22종) 개발 방안

소프트웨어 인증 대행

미국 FAA Certificate/Approval 인증 대행

미국 FAA DER의 인증 발급 대행

SOI 1~4단계 DER 검토

군용항공기 부품, 구성품의 감항인증 (Airworthiness)을 위한 종합 솔루션을 제공합니다.

감항인증 단계별 계획

기종별 주요안전 품목(CSI)식별/관리 절차

안전비행(SOF)계획

기종별 감항인증 기준 및 적합성 검증방법(MOC)

안전비행 (SOF)평가

기종별 감항인증계획 (TACC) 확정

탐색개발 체계개발 양산

감항인증서 발급

형식 인증서 발급

26

● ●

●●

● ●

27

군용 항공기 감항인증을 위한 지원 솔루션

방위사업청 [군용항공기 표준감항인증기준(2017)]기반 형식인증자료집(TCDS) 개발 지원

- Part 1, Part 2, Part 3 TACC의 SW 적합성 검증방법 지원

Part 1: 일반 감항인증기준(MIL-HDBK-516C 기반)

Part 2: 무인기 감항인증기준(STANAG 4671 기반)

Part 3: 경량무인기 감항인증기준(STANAG-4703 기반)

- 소프트웨어 요구사항명세서(SRS), 소프트웨어 개발계획서(SDP) 등 33종 지원

DO-178C 기반 SLCD 개발 지원(SW 안전등급 SIL 적용)- PSAC, SDP, SVP, SCMP, SQAP 등 22종

- LCMS 기반 기술문서 개발 및 형상관리

* SLCD(Software Life Cycle Data)

DO-178C SW 안전등급(SIL)별 요구사항기반 및 구조적 분석

(Structural Coverage) 충족

일반, 무인기, 경량무인기 감항인증 기준 충족

방사청 신뢰성시험 기준 충족

소프트웨어 인증을 위한 기술자료(데이터) 개발 컨설팅

소프트웨어 검증방안

감항인증획득 소프트웨어 프로세스 전문 교육

LEVEL A LEVEL B LEVEL C LEVEL D

MC/D Coverage Branch Coverage Statement Coverage Statement Coverage

26 Objectives62 Objectives69 Objectives71 Objectives

감항인증 국제규격 프로세스 감항인증 소프트웨어 산출물 개발 소프트웨어 안전등급(SIL)별 검증방안

MIL-HDBK-516C

DO-178C 프로세스

SW 요구사항 기반 테스팅

SW 구조적 테스팅

계획문서 5종, 표준문서 3종 등

총 22종 산출물 개발 방안

모아소프트 지원솔루션

군용항공기

표준감항 인증

SW 적합성검증

DO-178C

SW

Verification

무기체계 SW

신뢰성 시험

군용항공기 표준감항인증기준

(Part 1)

방 위 사 업 청

군용항공기 표준감항인증기준

(Part 2)

방 위 사 업 청

군용항공기 표준감항인증기준

(Part 3)

방 위 사 업 청

SOI #1

SOI #2

SOI #3

SOI #4

PlanningReview

DevelopmentReview

VerificationReview

CertificateSW Review

Compliance Management

System(LCMS)

산출물 템플릿 제공

Objectives 달성 관리

요구사항 추적성 확보

산출물 DER 검토 시정조치 관리

산출물 및 이슈 관리

컨설팅

귀사의 사업 특성을 고려하여

제공합니다.혁신적인 솔루션을

최적의 컨설팅과

사업영역별 최고의 전문 인력이 고객 맞춤형 컨설팅으로 귀사의 성공을 약속드립니다.

28

LSA 모델링 컨설팅

컨설팅

국방 신뢰성 시험

항공 SW 감항인증

DO-178C/278A/331

CMMI/SP 품질 인증

자동차 기능 안전성 인증ASPICE/ISO 26262

MTBF산출/RAMS분석

RF/EMC 컨설팅

의료기기 안전성 인증IEC 60101/62304

원자력 SW 안전성 인증

KEPIC / KINS / IEC 60880NUREG / CR-6101

철도 안전성 인증IEC 62278/62279/62280

IEC 61508

해양/조선/전기전자기능안전성 인증

방사청 SW 매뉴얼

프로세스 구축프로세스 평가

프로세스 내재화

국제표준 규격 대비 현행 프로세스 분석

개선 전략 및 계획 수립

산출물

- GAP 분석보고서

- 프로세스 개선 계획서

전략에 따른 프로세스 구축

목표 달성 위한 접근 방법 개발

산출물

- 프로세스 Set

- 프로세스 이행 전략 계획

프로세스 적용 결과 평가

산출물

평가 결과에 따른 프로세스

재조정

- V&V 보고서

- 프로세스 이행 평가 보고서

교육 및 단계별 멘토링 제공

교육 및 단계별 멘토링 제공

프로세스 개선 및 품질 그룹의역량 강화

산출물

- 교육 결과서(교재)

- 전사 품질 매뉴얼

29

GAP 분석

프로세스 이행

Pilot 프로세스 적용

단계별 활동 수행 및 산출물 작성

산출물

- 단계별 산출물

- 요구사항 추적 매트릭스

GAP 분석

프로세스구축

프로세스이행

프로세스평가

프로세스 내재화

30

국방 철도 항공 조선해양

자동차 원자력 민수

Email: [email protected]

남혜미과장

Tel. 02.6945.2182

교육신청

모아소프트 홈페이지www.moasoftware.co.kr

모아소프트 교육과정 안내

Data Science

KALMAN FILTER 기본과정

Markov Chain Monte Carlo 과정

KALMAN FILTER Bayesian

Kalman Filter에 대한 기본적인 이해를 위해 준비한 과정으로, 초기의 "Least Square Method"에서 출발하여 Recursive Method 그리고 Linear Differential Equation Systems 을 통한 Linear Kalman Filter 모델의 유도와 Nonlinear Model로의 확장 등을 교육

Kalman Filter의 심화과정으로 Bayesian Analysis 기법을 활용한 Kalman Filter의 접근 방법으로, 전통적인 방법의 모델을 통계적인 기법을 이용하여 재해석하는 과정을 소개

몬테칼로 시뮬레이션은 고전적 의미의 추정과 예측의 분야를 새로운 시각으로 재해석하는 방법으로 공학 및 응용분야의 기술적인 문제를 다루는 방법을 교육

부품이나 제품, 시스템의 개발 및 제조 과정에서 신뢰도 평가를 통해 제품의 수명(평균수명, Bp수명 등) 또는 고장률을 추정하고, 시험 목적에 따른 신뢰도 시험의 분류와 특징에 대한 이해, 시험시 사용되는 모델 및 신뢰도 분석 기법에 대해 교육

교육대상

가속수명시험 실무교육

환경 및 일반 신뢰도시험 실무교육

RF/EMC

안테나 및 전자파 해석(기본)

EMI/EMC/E3 해석

RCS(ISAR,IR) 해석

전자파 환경분석-5G 시뮬레이션

안테나 및 전자파 해석(심화)

환경적 요인까지 포함한 전체 시스템 해석을 요구하는 고객을 만족시킬 수 있는 상용 EM 시뮬레이션 소프트웨어 FEKO를 사용하는 방법 교육

다양한 수치 해석 기법의 장단점을 이해하고 실제 환경에서 이용 할 수 있는 EMC, RCS, Radome 해석을 도출하는 방법 실습

EMI/EMC/E3 문제를 해결 하는데 주요한 요소들을 파악하고 EM 해석 소프트웨어를 활용하여 이를 효과적으로 해결하는 방법 교육

다양한 전파 환경 속에서 5G 안테나의 동작 성능을 확인할 수 있는 전파전파모델 해석 시뮬레이션 도구의 사용법 교육

RCS 측정을 EM 해석 소프트웨어로 해결하는 방법 및 ISAR, IR과 같이 얻어진 데이터를 바탕으로 영상 이미지화 하는 방법 교육

Software Reliability

SW 종합군수지원 & FMEA 통합과정

국방 소프트웨어 신뢰성 시험 (기본)

항공용 SW의 안전성을 위한 감항인증 프로세스(DO-178C)

LDRA user training

시스템차원(HW+SW)의 통합된 ILS 개발에 도움이 되고자 SW ILS 교육 및 미국 Softrel, LLC에서 수행하고 있는 소프트웨어 FMEA를 국내 무기체계 소프트웨어에 적용하는 방안을 공유하기 위한 교육

‘소프트웨어의 검증’개요 및 ‘검증기법’에 대한 폭 넓은 이해를 돕고, 소프트웨어 검증 분야에 폭 넓게 사용중인 ‘LDRA Tool Suite’를 실습

DO-178C의 항공 시스템에 요구되는 안전성수준(Level A,B,C,D)에 따른 Objectives, Activities, Outputs를 이해하고 시스템 요구사항으로부터 할당 된 SW 요구사항에 대한 구현 완전성, 정확성, 추적성을 보증하기 위한 문서화 방법을 습득

국방 소프트웨어 신뢰성 시험(심화)

무기체계 소프트웨어 신뢰성시험 수행간 개발자와 시험담당자/개발시험평가 담당자들이 필수적으로 알아야 하는 무기체계 소프트웨어 신뢰성시험 관련 규정, 개발단계별 수행활동과 정적 및 동적 신뢰성시험 수행간 식별된 결함사항의 조치방법과 절차를 설명하고 개정된 소프트웨어 개발 및 관리 매뉴얼의 핵심 항목인 "소스코드 Metric 측정과 요구사항 기반 동적시험"에 대한 상세 설명 및 수행절차를 이해

[무기체계 소프트웨어 개발 및 관리 매뉴얼] 개정(2017. 08월) 내용을 중심으로 무기체계 소프트웨어 신뢰성시험의 목적, 시험수행절차, 신뢰성시험 적용 개발언어, 소스코드 Metric 측정, 실 타깃 환경하 요구사항 기반의 동적시험 등 무기체계 소프트웨어 신뢰성 시험에 대한 기초지식을 제공

System Reliability

시스템 신뢰도 분석신뢰도 분석을 위한 기초 이론과 각 분석 목적에 맞는 분석 방법을 선택하여 결과를 도출해 보는 '시스템 신뢰도 분석 Process' 이해를 위한 과정

TLCSM과 LSA 실무●

체계의 합리적인 초기 획득비용 분석과 Spare Optimization

지원체계의 구조와 체계 운용개념을 통한 Support Cost 산출

Life Cycle Cost 기본개념

운용개념의 적용을 통한 LCC 산출 등의 주제를 가지고 교육

※ 매달 다른 과정의 교육이 진행됩니다. 신청은 선착순 마감되는 점 참고 부탁드립니다.

교 육 문 의

“업계를 선도해 오며 갖춰진 전문성을 통해

고객사 특성에 맞는

최상의 솔루션을 제공해 드립니다.”

공공기관 국방기관 연구기관 교육기관기업

31

종합군수지원 솔루션

컨설팅

소프트웨어 솔루션

교육센터

핵심기술센터

RF/EMC 솔루션

김용 팀장 02. 6945. 2151

[email protected]

강유선 팀장 02. 6945. 2141

[email protected]

장정훈 부장 02. 6945. 2120

[email protected]

남혜미 과장 02. 6945. 2182

[email protected]

류인수 센터장 02. 6945. 2111

[email protected]

정한길 이사 02. 6945. 2110

[email protected]

www.moasoftware.co.kr

서울특별시 송파구 오금로 422 연암빌딩 4,5,6층

TEL. 02.420.3203 FAX. 02.407.3511

Copyright 2018. MOASOFT Corp All right Reserved.