워드프레스 KBoard 피드 http://www.formalworks.com/wp-content/plugins/kboard/rss.php 워드프레스 KBoard 피드 <![CDATA[[중앙일보] “훈련도 실제처럼…” 육군, VR‧AR 기반 훈련체계 첫 선 (2018.08.30)]]> [중앙일보 박광수 기자] 육군이 가상현실(VR)과 증강현실(AR)로 구현된 3차원 지형지물을 통해 보다 현실감 있는 훈련이 가능한 시스템을 30일 공개한다. 육군은 연내 개발을 완료하고 예비군훈련대 등 실전에 적용한다는 방침이다. 중략 지난해 육군사관학교(육사)는 과학기술정보통신부가 발주한 ‘디지털콘텐트 플래그십 프로젝트’에 지원해 32억 원이 투입되는 이 과제를 따냈다. 이후 이‧공학 교수와 16명의 연구진을 중심으로 연구에 착수해 VR을 활용한 훈련체계를 개발했고 이날 ‘정밀사격훈련 시뮬레이터’, ‘전술훈련 시뮬레이터’, ‘지휘통제훈련 시뮬레이터’, ‘훈련정보 및 훈련효과 분석 시스템’ 4종을 시연하게 됐다.  ‘VR 기반 정밀사격훈련 시뮬레이터’는 멀티스크린을 통한 가상환경 속에서 개인화기를 활용한 영점사격, 실내 축소사격, 실거리 사격, 이동표적사격, 야간사격, 전장 상황 속 사격 등 다양한 사격훈련을 할 수 있도록 개발됐다. 실사격과 유사한 반동과 소리를 구현해 실제 같은 환경을 제공하며 사격시 기존 개발된 레이저 조준 방식을 넘어서 총기 및 탄종에 따른 정확한 탄도곡선 적용으로 정밀사격훈련이 가능하다. 2 VR 기반 전술훈련 시뮬레이터’는 디스플레이를 안경처럼 착용하고 가상공간에서 훈련절차를 반복‧숙달할 수 있는 장비다. 훈련자가 착용하고 있는 모션 센서를 통해 행동이 인식돼 가상공간 내 현실감 있는 기동 및 사격이 가능하다. ‘AR 기반 지휘통제훈련 시뮬레이터’는 기존 시판을 이용해 지휘통제훈련을 하던 방식에서 AR을 이용해 3차원 지형 안에서 지위소훈련 형태로 쌍방 워게임 시뮬레이션을 가능하게 했다. 특히 실제 지형을 관찰하며 지휘결심을 할 수 있기 때문에 지휘관에게 보다 정확한 판단을 내릴 수 있도록 돕는다. 마지막으로 ‘훈련정보 수집 및 훈련효과 분석 시스템’은 훈련자의 사격 명중률 등을 분석해 문제와 고벽을 해결할 수 있게 한다. 특히, 전술훈련의 경우 가상공간에서 마주한 다양한 상황을 어떻게 조치했는지 영상으로 기록해 두었다가 사후강평 때 재생하면서 분석 및 평가도구로 활용할 수 있어 훈련자 및 부대가 동일한 실수를 반복하지 않도록 지도할 수 있게 설계됐다. 출처: https://news.joins.com/article/22926803 참고: AR CPX 시뮬레이터 시연 연상 바로가기]]> Fri, 31 Aug 2018 09:07:35 +0000 KBoard TEST <![CDATA[[이데일리] 안랩-포멀웍스, 산업용 제어시스템 보안 사업 협력 (2018.04.25)]]> [이데일리 이재운 기자] 안랩은 25일 경기 성남시 판교사옥에서 산업용 제어시스템 업체 포멀웍스와 ‘산업용 제어시스템 및 IoT 등 산업시설에 특화된 기술의 보안성 강화를 위한 업무협약(MOU)’을 체결했다고 밝혔다. 양사는 산업시설에 특화된 산업용 제어시스템과 사물인터넷(IoT) 등 보안성을 강화하기 위한 기술과 경험을 공유하고, 해당 분야에 대한 보안 취약점 진단과 대응기법 관련 기술을 공동으로 연구한다. 주요 협력 분야는 △산업용 제어시스템 정보보안 컨설팅 △산업용 제어시스템 보안취약점 연구 및 활용 △산업용 센서, 클라우드 서비스 등 신규 서비스의 활용에 따른 보안정책 개발, 보안위협 분석, 대응방법 연구 및 활용 등을 중점 추진한다. 김태효 포멀웍스 대표는 “이번 협약으로 포멀웍스와 안랩이 기술력과 노하우를 합쳐 중요 국가기반시설에 활용되는 산업용 제어시스템 및 IoT 장비의 보안성·안전성·신뢰성을 높이는 데 이바지 할 수 있기를 기대한다”고 말했다. 
방인구 안랩 서비스사업부 총괄 상무는 “이번 협약으로 안랩의 보안기술 전문성과 포멀웍스의 산업용 시스템 관련 전문역량이 합쳐져, 산업용 시스템 및 IoT 보안 분야에서 시너지를 낼 것을 기대한다”고 밝혔다.
출처: http://www.edaily.co.kr/news/news_detail.asp?newsId=03991766619179728&mediaCodeNo=257&OutLnkChk=Y
]]> Thu, 26 Apr 2018 09:52:14 +0000 KBoard TEST <![CDATA[[파이낸셜뉴스] 문체부 문화기술연구개발 신규 정책지정과제 본격 추진]]> 발대식에서는 정책지정과제 수행 주관 기관인 한국전자통신연구원, 광주과학기술원을 비롯해 공동 연구기관인 크리스피, 포멀웍스, 제이플랫폼, 와이엔시스템즈 등 총 13개 기관이 참석해 그간의 과제기획 추진경과와 향후 연구 수행계획 등을 발표했다. 
출처: http://www.fnnews.com/news/201804241613204994
]]> Thu, 26 Apr 2018 09:36:14 +0000 KBoard TEST <![CDATA[김태효 대표이사 과학기술정보통신부장관 표창 수상 (2018.04.13)]]> [보안뉴스 원병철 기자] 제24회 정보통신망 정보보호 컨퍼런스 성대하게 개막
NetSec-KR 2018 개막식 열려...정보보호 분야 관계자들 모여 성대하게 진행 정보보호 발전 유공자 대상 행정안전부/과기정통부 장관상과 KISA 원장상 수여
- 중략 - 이날 대한민국 정보보호 발전을 위해 노력한 담당자들을 기리기 위해 행정안전부 장관표창과 과기정통부 장관표창, 한국인터넷진흥원 원장상 등 총 9명에게 표창이 수여됐다. 수상자는 행정안전부 장관표창에 △이순형 라온시큐어 대표 △최영철 SGA솔루션즈 대표 △김승주 고려대학교 교수, 과학기술정보통신부 장관표창에 △김태효 포멀웍스 대표 △권태경 연세대학교 교수, 한국인터넷진흥원 원장상에 △박준후 충남대학교 학생 △장룡호 인하대학교 학생 △정성민 국민대학교 학생 △홍기섭 순천향대학교 학생 등이 수상했다.
출처: http://www.boannews.com/media/view.asp?idx=68422&kind=
]]> Mon, 16 Apr 2018 13:25:51 +0000 KBoard TEST <![CDATA[[머니투데이] 포멀웍스, 중기청 '기술전문기업'(ESP) 지정서 받아]]> [머니투데이 중기협력팀 김근영 ] 포멀웍스(대표 김태효·방호정)가 최근 중소기업청으로부터 '기술전문기업'(Engineering Service Provider) 지정서를 받았다고 24일 밝혔다. 중기청은 지난 3월 연구개발서비스업으로 신고한 기업들을 대상으로 기술 전문 서비스 역량 및 보유 인프라 등을 평가해 △설계·해석 △시험·분석 △디자인 △연구개발 등의 분야에서 총 36개 기술전문기업(ESP)을 선정했다. ESP는 설계·해석, 시험·분석 등 기술 분야별 전문 역량을 보유하고, 중소기업에 기술 전문 서비스를 제공하는 기업이다. 포멀웍스는 산업용 임베디드 분야의 안전성 검증 소프트웨어를 개발하고 컨설팅 서비스를 제공하는 업체다. 특히 원전 제어기기, 차량 전자 시스템과 같이 높은 신뢰도와 안전성을 요구하는 분야에서 다수의 고객사를 보유하고 있다. 신고리, 신한울, 요르단 등 원전과 현대, 유라코퍼레이션 등 자동차 업종의 기업들이다. 방호정 포멀웍스 대표는 "이번 선정된 ESP에는 소프트웨어 업체가 적은 편이었다"며 "앞으로 더 노력해서 우수한 소프트웨어를 개발하겠다"고 말했다. 출처: http://news.mt.co.kr/mtview.php?no=2017042413563757745&type=1]]> Tue, 25 Apr 2017 08:42:39 +0000 KBoard TEST <![CDATA[포멀웍스 창립10주년 (2017.01.26)]]> 10TH_BANNER10TH_CAKE10TH_TREE2  
일자     2017.01.26.목
장소   서울시 서초구 서초동 진진바라
 ]]> Tue, 31 Jan 2017 13:54:49 +0000 KBoard TEST <![CDATA[TimeBounder v2.0 GS 인증(1등급) 획득]]>  mark_TBmark  
제품명  타임바운더 v2.0 / TimeBounder v2.0
회사명 (주)포멀웍스 Formal Works Inc.
인증번호     16-0478
 ]]> Tue, 27 Dec 2016 09:57:41 +0000 KBoard TEST <![CDATA[제1회 CPS 보안 워크숍 2016 '원전 제어시스템 보안성 평가 프로그램' 김태효 대표이사 발표]]> 행사명 제1회 CPS 보안 워크숍 2016 발표자 ㈜포멀웍스 김태효 대표이사 일시 2016년 10월 14일 (금) 15:20~16:00(40') 강연 제목 원전 제어시스템 보안성 평가 프로그램 주최 sitelink_22 ]]> Tue, 11 Oct 2016 09:04:40 +0000 KBoard TEST <![CDATA[포멀웍스 홈페이지 리뉴얼]]> Fri, 26 Feb 2016 14:55:03 +0000 KBoard TEST <![CDATA[[전자신문] BeSTCon 2015 SW개발.테스팅에 안전성 강화 표준 제정]]> 포멀웍스는 하드웨어와 SW 구성 특징에 따른 SW 시스템 테스팅 환경 구축·수행 사례를 공유했다. 개발자나 시험자가 임베디드SW 시스템 테스팅을 수행할 때 환경 구축 참조기술로 활용한 기법이다. SW 테스팅은 고전적 방법 중 하나로 기본적 품질 확보기법으로 널리 적용됐다. 하지만 임베디드SW 환경적 제약으로 인해 수행이 어려운 경우가 많다. 포멀웍스는 실시간 내장형 SW 생산성·품질 향상을 위한 자동화 도구를 공급한다. 다양한 시간 오류를 검출하는 최장수행시간 분석 도구 ‘타임바운더’와 내장형 시스템 하드웨어·SW 아키텍처를 모딜링하고 시뮬레이션으로 검증하는 ‘모델 스페이스’다. 김태효 포멀웍스 대표는‘임베디드 SW 시스템 테스트 환경 구성 및 시험 기법’을 주제로 발표했다. 그는 “임베디드 소프트웨어 기능이 점점 복잡해지고 그 역할이 확대되면서 내장 SW 품질이 전체 시스템 품질로 직결된다”며 “이미 안정 중심 분야에서는 체계적 SW 테스팅 적용을 강제해 최소한 품질을 담보하려는 노력이 활발하다”고 말했다. 출처: http://www.etnews.com/20151117000296]]> Fri, 26 Feb 2016 14:52:21 +0000 KBoard TEST <![CDATA[BeSTCon 2015 '임베디드 소프트웨어의 웨어의 시스템 테스트 환경 구성 및 시험 기법' 김태효 대표이사 강연]]> 행사명 Better Software Testing Conference 2015(Bestcon) 발표자 ㈜포멀웍스 김태효 대표이사 일시 2015년 11월 17일 (화) 14:00~14:30(30') 강연 제목 임베디드 소프트웨어의 시스템 테스트 환경 구성 및 시험 기법 강연 요약 임베디드 소프트웨어의 기능이 점점 복잡해지고, 그 역할이 확대됨에 따라 내장 소프트웨어의 품질이 전체 시스템의 품질과 직결되는 상황이다. 따라서 임베디드 소프트웨어를 사용하는 다양한 분야에서 품질을 높이고자 하는 노력들이 지속해 왔고, 그 중 소프트웨어 테스팅은 가장 고전적인 방법 중 하나로 기본적인 품질 확보 기법으로 널리 적용되어 왔다. 이미 안전 중심의 분야에서는 체계적인 소프트웨어 테스팅 적용을 강제함으로써 최소한의 품질을 담보하고자 하는 노력들이 활발히 이루어지고 있다. 하지만 임베디드 소프트웨어의 경우 환경적인 제약으로 인하여 소프트웨어 시스템 테스팅 수행이 난해한 경우가 많다. 본 강연에서는 임베디드 소프트웨어의 시스템 테스팅을 적용하기 위해서 실제 산업계에서 사용되는 시험 환경과 기법의 특징들을 비교 소개하고자 한다. 이를 위하여 대상 하드웨어 및 소프트웨어 구성의 특징에 따른 소프트웨어 시스템 테스팅 환경 구축 사례와 수행 사례를 소개한다. 이를 통하여 개발자 및 시험자가 임베디드 소프트웨어 시스템 테스팅 수행 시 환경 구축의 참조 기술로 활용할 수 있도록 한다.   주최  주관]]> Fri, 26 Feb 2016 14:50:39 +0000 KBoard TEST <![CDATA[[원자력신문] '원전 사이버보안 우리가 책임진다']]>
▲ TimeBounder 분석결과 화면
(주)포멀웍스(대표자 김태효‧방호정)는 소프트웨어 공학 기술을 바탕으로 안전성이 중요한 내장형 시스템의 소프트웨어 확인 및 검증 전문기업이다. 국내 우수 소프트웨어 공학 엔지니어들로 구성된 포멀웍스는 대상 내장형 소프트웨어의 개발 생명주기 전 단계에 대응한 확인 및 검증 서비스를 제공할 수 있도록 전문화된 조직과 최적화된 기술 및 솔루션을 제공하고 있다. 김태효 대표는 “원전의 계측 및 제어를 담당하는 소프트웨어는 그 품질이 국민의 안전에 직결되는 만큼 높은 안전성과 신뢰성을 요구된다”며 “이에 원전 소프트웨어는 개발 단계에서부터 철저한 확인 및 검증 활동을 수행해 오류 가능성을 미연에 방지하고, 안전성 분석 및 사이버보안 평가 활동을 통해 높은 안전성과 사이버보안 방호 능력을 확보하는 것이 필수적”이라고 말했다. 포멀웍스는 원전 소프트웨어의 확인 및 검증을 위해 관련 규제 지침 및 기술 표준에 기반해 각 개발 단계별 소프트웨어 개발 활동의 산출물에 대한 ▲정확도 ▲신뢰성 ▲강인성 ▲안전성 ▲보안성 ▲타이밍 ▲완전성 ▲일관성 ▲정확성 ▲스타일 ▲추적성 ▲검증성 등을 평가하는 서비스를 제공한다. 또 소프트웨어 구현 코드의 품질을 위해 소스코드 정형 검토를 수행하고, 시험 목적 및 범위에 따라서 블랙박스, 화이트박스, 그레이박스 시험 기법을 활용한 소프트웨어 단위, 통합, 시스템 테스팅을 수행하고 있다. 이밖에도 포멀웍스는 원전 소프트웨어의 안전성 분석 및 사이버보안 분야에서도 두각을 나타내고 있다. 김 대표는 “최근 이란 원전 시설에서 발생한 사이버보안 사고와 같이 국가 기반 시설에 대한 사이버보안 위협이 꾸준하게 증가하고 있어 원전에 대한 사이버보안성 확보가 필수항목이 됐다”며 “포멀웍스는 이를 위해 ▲자산 평가를 통한 사이버보안 계획을 수립 ▲모의 침투를 통한 사이버보안성을 평가 ▲사이버보안 계획의 이행을 체계적으로 평가하는 노하우를 관련 산업계에 제공해 보안 위협으로부터의 피해를 최소화하는데 노력하고 있다”고 설명했다. 특히 포멀웍스의 최종병기는 단연 'TimeBounder(최장 수행시간 분석 도구)'라고 할 수 있다. 김 대표는 “원자력 또는 차량 전장용 소프트웨어와 같이 높은 실시간성을 요구하는 소프트웨어는 기능 요구사항뿐 아니라 비기능적 요구사항 특히 성능 요구사항에 대한 만족 여부가 해당 소프트웨어의 품질 확보에 매우 중요하다”며 “하지만 성능 요구사항의 경우 그 만족 여부를 시험의 방법으로 확인하는데 한계가 존재하고, 만일 위반 사례를 발견한 경우에도 이를 재연하기 매우 힘든 특징이 있다”고 말했다. 실제로 이를 극복하기 위해 학계 및 산업계에서 정적 프로그램 분석 기술을 활용한 성능 분석의 시도들이 활발하게 이뤄지고 있다. 프로그램의 최장 수행시간은 모든 성능 및 스케줄링 분석의 기반 정보로 활용되기 때문에 이를 정확히 분석 또는 예측하는 것은 성능 요구사항을 검증하는데 필수적이다. 김 대표는 “포멀웍스는 특허 기술을 활용해 소프트웨어의 최장 수행시간을 정적으로 분석하는 자동화 도구인 ‘TimeBounder’를 개발해 제공하고 있다”며 “정적 최장 수행시간 분석은 기존의 시험 입력 및 측정 기술에 비해 타깃 하드웨어를 필요로 하지 않고, 그 예측치가 실제 최장 수행시간의 상한(upper-bound)임을 보장할 수 있는 장점이 있다”고 밝혔다. 또 TimeBounder는 결정론적 동작 검증, 인터럽트 서비스 루틴들의 최대 수행시간을 분석, 주기적인 태스크의 성능 요구사항 만족 여부를 검증, 성능적 병목 함수를 예측하는 등 안전 중요 내장형 시스템의 성능 요구사항을 검증하기 위한 효과적인 솔루션을 제공한다. 포멀웍스는 탄탄한 기술력을 바탕으로 신울진 1․2호기 및 수출 원전의 안전등급 계통에 대한 확인 및 검증 업무를 수행 중이며 ㈜포뉴텍의 안전등급 제어기기 POSAFE-Q의 확인 및 검증, 안전성 분석, 사이버보안을 지원하고 있다. POSAFE-Q는 지난 2월 한국원자력안전기술원로부터 원전 안전등급 제어기기 인허가 심사를 통과해 교육과학기술부로부터 승인을 받았다. 김 대표는 “향후 포멀웍스는 수행 중인 검증 업무를 성공적으로 수행해 국내 기술로 개발한 원전계측제어시스템의 안전에 이바지하고, 사이버보안 사업 분야를 강화하며 원전이 사이버보안 침해에 대한 안전하고 효과적인 대응 체계를 구축하는데 최선의 서비스를 제공할 것”이라는 포부도 밝혔다. 한편 평소 김 대표는 “원전 소프트웨어의 검증은 국민의 안전에 직결된다”는 사명감을 직원들에게 강조하고 있다. 김 대표는 “소프트웨어 검증시 우리가 놓친 어떤 오류가 국민의 생명과 국가의 산업에 매우 치명적인 영향을 줄 수 있다”며 “따라서 국민 안전에 이바지한다는 사명감을 갖고 수행해야하는 중요 활동이라는 점을 직원들에게 특별히 주문하고 있다”고 밝혔다. 출처 : http://www.knpnews.com/news/articleView.html?idxno=6061]]> Fri, 26 Feb 2016 14:13:35 +0000 KBoard TEST