%ec%98%a4%ed%94%88%ec%86%8c%ec%8a%a4
-
자바스크립트 안정성을 책임지다
전 세계에서 가장 널리 사용되는 프로그래밍 언어 중 하나인 자바스크립트*는 컴퓨터 뿐 아니라 스마트폰, 스마트시계 등 다양한 기기에서 동작하기 때문에, 자바스크립트 실행기를 올바르게 구현하는 것이 매우 중요하다. 또한 프로그램 개발 및 배포 과정에서 사용되는 소프트웨어의 안정성 보장이 중요하다.
*자바스크립트: C나 Java와 같이 컴파일 후 사용해야하는 프로그래밍 언어와 달리 코드를 작성하고 바로 실행해 볼 수 있음
우리 대학 전산학부 류석영 교수 연구팀이 고려대 박지혁 교수와 공동연구를 통해 인간 친화적인 형태인 영어로 작성한 자연어 명세에서 컴퓨터에 친화적인 형태인 기계화 명세를 자동으로 추출해 이를 기반으로 자바스크립트 생태계 안정성을 보장하는 기술을 개발하는데 성공했다고 7일 밝혔다.
현재 자바스크립트는 2015년부터 매년 새로운 기능이 추가될 정도로 급성장에 따른 부작용으로 프로그램 실행 중 작동이 되지 않거나 개인 정보 유출 등 언어 생태계의 안정성을 보장하기가 상당히 어려운 상황이다.
연구팀은 이번 기술을 활용하여 크롬 및 엣지와 같은 웹 브라우저에 내장된 자바스크립트 엔진 및 코드 변환 도구에서 수많은 결함을 검출해 내는 데 성공했다. 또한, 자바스크립트용 정적 분석기*를 결함 없이 자동으로 생성하는 데 성공해, 기존 수동으로 개발돼오던 정적 분석기보다 우수한 안정성을 제공했다.
*정적 분석기: 주어진 프로그램을 실행하지 않고 자동으로 분석하는 도구
이러한 장점을 인정받아, 자바스크립트 언어의 명세를 관리하는 위원회에서는 자바스크립트에 새로운 기능을 추가할 때마다 이 기술을 필수적으로 사용하도록 했다. 이 기술은 자바스크립트 언어의 명세를 작성하는 도중에도 결함을 검출할 수 있어서, 자바스크립트 언어의 설계 초기 단계에서 발생할 수 있는 결함을 줄이는 효과를 보였다.
연구팀은 이번 연구를 통해 수년간 논문으로 발표한 결과물들을 산업계에서 널리 사용되는 자바스크립트에 성공적으로 적용, 자바스크립트뿐 아니라 다양한 프로그래밍 언어에도 적용할 수 있는 기틀을 마련했다. 연구팀은 이번 연구를 기반으로, 자바스크립트 후속 언어로 빠르게 성장하고 있는 웹어셈블리 언어에도 관련연구를 적용하고, 네트워크 소프트웨어용 프로그래밍 언어인 P4에 적용하는 연구를 코넬대학 연구팀과 공동으로 진행하고 있다.
연구팀은 모든 연구 결과물을 오픈 소스 SW로 개발해, 누구나 활용할 수 있도록 공개했다. 여러 기기가 스마트 기능을 갖게 되면서 개인 정보 유출 등 심각한 문제가 많이 발생하는 상황에서, 브라우저만 있으면 어느 기기에서나 동작하는 자바스크립트 코드가 올바르게 동작하도록 돕는 데 기여했다.
류석영 교수는 "10년이 넘는 동안 뚝심 있게 자바스크립트를 연구한 학생들의 노력이 만들어 낸 획기적인 기법”이라며, "더 많은 프로그래밍 언어에 적용해, 일상생활에서 더 안전하고 올바르게 동작하는 소프트웨어를 사용할 수 있기를 기대한다”고 말했다.
이번 연구는 컴퓨팅 분야 최고 학술지인 'Communications of the ACM' 2024년 5월호에 게재되고 온라인으로는 4월 24일 발표됐다.
(논문 제목: JavaScript Language Design and Implementation in Tandem,
https://cacm.acm.org/research/javascript-language-design-and-implementation-in-tandem/
https://www.youtube.com/watch?v=JGxc-KIUnQY)
한편 이번 연구는 한국연구재단 중견연구자지원사업 및 선도연구센터와 정보통신기획평가원(IITP), 삼성전자의 지원을 받아 수행됐다.
2024.05.07 조회수 10736 -
최초 머신러닝 기반 유전체 정렬 소프트웨어 개발
우리 대학 전기및전자공학부 한동수 교수 연구팀이 머신러닝(기계학습)에 기반한 *유전체 정렬 소프트웨어를 개발했다고 12일 밝혔다.
☞ 유전체(genome): 생명체가 가지고 있는 염기서열 정보의 총합이며, 유전자는 생물학적 특징을 발현하는 염기서열들을 지칭한다. 유전체를 한 권의 책이라고 비유하면 유전자는 공백을 제외한 모든 글자라고 비유할 수 있다.
차세대 염기서열 분석은 유전체 정보를 해독하는 방법으로 유전체를 무수히 많은 조각으로 잘라낸 후 각 조각을 참조 유전체(reference genome)에 기반해 조립하는 과정을 거친다. 조립된 유전체 정보는 암을 포함한 여러 질병의 예측과 맞춤형 치료, 백신 개발 등 다양한 분야에서 사용된다.
유전체 정렬 소프트웨어는 차세대 염기서열 분석 방법으로 생성한 유전체 조각 데이터를 온전한 유전체 정보로 조립하기 위해 사용되는 소프트웨어다. 유전체 정렬 작업에는 많은 연산이 들어가며, 속도를 높이고 비용을 낮추는 방법에 관한 관심이 계속해서 증가하고 있다. 머신러닝(기계학습) 기반의 인덱싱(색인) 기법(Learned-index)을 유전체 정렬 소프트웨어에 적용한 사례는 이번이 최초다.
전기및전자공학부 정영목 박사과정이 제1 저자로 참여한 이번 연구는 국제 학술지 `옥스포드 바이오인포메틱스(Oxford Bioinformatics)' 2022년 3월에 공개됐다. (논문명 : BWA-MEME: BWA-MEM emulated with a machine learning approach)
유전체 정렬 작업은 정렬해야 하는 유전체 조각의 양이 많고 참조 유전체의 길이도 길어 많은 연산량이 요구되는 작업이다. 또한, 유전체 정렬 소프트웨어에서 정렬 결과의 정확도에 따라 추후의 유전체 분석의 정확도가 영향을 받는다. 이러한 특성 때문에 유전체 정렬 소프트웨어는 높은 정확성을 유지하며 빠르게 연산하는 것이 중요하다.
일반적으로 유전체 분석에는 하버드 브로드 연구소(Broad Institute)에서 개발한 유전체 분석 도구 키트(Genome Analysis Tool Kit, 이하 GATK)를 이용한 데이터 처리 방법을 표준으로 사용한다. 이들 키트 중 BWA-MEM은 GATK에서 표준으로 채택한 유전체 정렬 소프트웨어이며, 2019년에 하버드 대학과 인텔(Intel)의 공동 연구로 BWA-MEM2가 개발됐다.
연구팀이 개발한 머신러닝 기반의 유전체 정렬 소프트웨어는 연산량을 대폭 줄이면서도 표준 유전체 정렬 소프트웨어 BWA-MEM2과 동일한 결과를 만들어 정확도를 유지했다. 사용한 머신러닝 기반의 인덱싱 기법은 주어진 데이터의 분포를 머신러닝 모델이 학습해, 데이터 분포에 최적화된 인덱싱을 찾는 방법론이다. 데이터에 적합하다고 생각되는 인덱싱 방법을 사람이 정하던 기존의 방법과 대비된다.
BWA-MEM과 BWA-MEM2에서 사용하는 인덱싱 기법(FM-index)은 유전자 조각의 위치를 찾기 위해 유전자 조각 길이만큼의 연산이 필요하지만, 연구팀이 제안한 알고리즘은 머신러닝 기반의 인덱싱 기법(Learned-index)을 활용해, 유전자 조각 길이와 상관없이 적은 연산량으로도 유전자 조각의 위치를 찾을 수 있다. 연구팀이 제안한 인덱싱 기법은 기존 인덱싱 기법과 비교해 3.4배 정도 가속화됐고, 이로 인해 유전체 정렬 소프트웨어는 1.4 배 가속화됐다.
연구팀이 이번 연구에서 개발한 유전체 정렬 소프트웨어는 오픈소스 (https://github.com/kaist-ina/BWA-MEME)로 공개돼 많은 분야에 사용될 것으로 기대되며, 유전체 분석에서 사용되는 다양한 소프트웨어를 머신러닝 기술로 가속화하는 연구들의 초석이 될 것으로 기대된다.
한동수 교수는 "이번 연구를 통해 기계학습 기술을 접목해 전장 유전체 빅데이터 분석을 기존 방식보다 빠르고 적은 비용으로 할 수 있다는 것을 보여줬으며, 앞으로 인공지능 기술을 활용해 전장 유전체 빅데이터 분석을 효율화, 고도화할 수 있을 것이라 기대된다ˮ고 말했다.
한편 이번 연구는 과학기술정보통신부의 재원으로 한국연구재단의 지원을 받아 데이터 스테이션 구축·운영 사업으로서 수행됐다.
2022.04.17 조회수 15580 -
오토아이디랩(Auto-ID Labs), 국제표준 사물인터넷 오픈소스 올리옷 개발
우리대학 오토아이디랩(Auto-ID Labs, 센터장 김대영 교수·전산학부)이 주도해 개발한 GS1 국제표준 사물인터넷(IoT) 오픈소스 플랫폼 올리옷(Oliot)이 국내 최대 규모의 협동조합인 완주로컬푸드에 적용돼 5일부터 본격적인 운용에 들어간다.
올리옷 개발에는 우리대학을 중심으로 총 11개 기관이 참여했다. 우리대학을 중심으로 하는 이 컨소시엄은 농식품의 생산, 가공, 유통물류, 소비에 이르는 전 과정의 데이터를 수집/공유할 수 있는 ‘GS1 국제표준 기반 올리옷(Oliot) 플랫폼’을 기반으로 농가소득 증대와 안전한 먹거리를 제공하는 국내 농축산 글로벌 생태계 구축에 앞장서고 있다.
올리옷 플랫폼은 우리대학 중심의 컨소시엄이 과기정통부와 정보통신기술진흥센터가 주관하는 ICT융합산업원천기술개발사업의 지원을 받아 2015년부터 3년간 ‘GS1(Global Standards One) 표준 기반의 균형생산·투명유통·안전소비를 위한 농·축산 클라우드 및 응용서비스 개발’이란 과제 명으로 연구를 수행한 결과, 개발에 성공한 국제표준 사물인터넷(IoT) 오픈소스 플랫폼이다.
올리옷이 적용되는 완주로컬푸드 시스템에는 생산부터 가공, 유통물류, 판매까지 전 단계에 걸쳐 GS1 표준기술의 적용은 물론 기획생산, 농산물 가공센터, 직거래 매장관리, 학교급식, 인터넷쇼핑 뿐만 아니라 이력추적서비스 등 다양한 분야에 KAIST 컨소시엄 참여업체인 이지팜·메디앙시스템이 개발한 국제 호환성을 제고를 위한 표준 시스템이 적용됐다.
완주로컬푸드는 올리옷 등 이 시스템의 본격적인 통합운용을 계기로 GS1 국제표준에 맞춰 생산계획 단계부터 최종 판매까지 안전한 먹거리 보장을 위한 이력 데이터를 구축한 세계 최초의 로컬푸드로 이름을 올리게 됐다. 우리대학은 올리옷을 데이터가 핵심인 4차 산업혁명의 전 산업분야로 확산시키기 위해 오픈소스 프로젝트로 이를 공개 중인데, 올 4월 현재 100개 이상 국가에서 9,000여개 이상의 기업과 개발자들이 다운로드 받아 활용 중이다.
김대영 교수는 “완주로컬푸드를 시작으로 전국의 로컬푸드 조합에 GS1 국제표준시스템인 올리옷의 확산을 적극 추진하고 중국 CFDA(국가식품의약품감독관리총국) 주관의 GS1 농식품안전시스템과의 연결, 유럽연합(EU)의 IoF2020(Internet of Food & Farm)사업을 통한 네덜란드 와게닝겐 대학과의 축산물 이력추적시스템 공동개발, 그리고 홍콩 등과도 글로벌 농축산 식품산업 생태계 조성을 위해 적극 협력할 것”이라고 말했다.
김 교수는 이어“올리옷과 인공지능/블록체인 기술을 융합해 스마트시티, 헬스케어, 스마트팩토리 등 여러 분야로의 확산을 위해 관련기업들과 함께 서비스를 개발 중”이라면서“조만간 가시적인 성과를 내놓을 것”이라고 덧붙였다.
올리옷 개발을 주도한 우리대학 오토아이디랩(Auto-ID Labs)은 지난 1999년 세계 최초로 사물인터넷(Internet of Things)기술을 소개한 국제공동연구 컨소시엄으로 우리학교를 포함해 미국 MIT대, 영국 캠브리지대, 스위스 취리히공대(ETH Zurich), 중국 푸단대, 일본 게이오대 등 6개 대학이 참여하고 있다.
한편 우리대학은 올리옷의 완주로컬푸드 개통을 기념하기 위해 5일 오전 11시 완주로컬푸드 혁신점 현지에서 시연식을 갖는다.
2018.04.03 조회수 27179 -
김대영 교수, EU와 글로벌 IoT 농식품 생태계 구축을 위한 공동 연구
우리 대학 전산학부 김대영 교수 연구팀과 유럽연합(EU)이 사물인터넷(IoT) 개방형 표준 및 아키텍쳐를 통한 글로벌 농식품 비즈니스 통합 에코시스템 개발 공동연구(The Internet of Food & Farm 2020, IoF2020)를 시작한다.
EU IoF2020 프로젝트는 스마트 팜과 농식품 서비스 분야에 첨단 ICT 융합기술을 활용하여 효율적이면서도 안전하고 건강한 먹거리를 보장하는 글로벌 생태계 조성을 목표로 한다.
유럽 연합이 4년간 3,000만 유로를 지원하는 등 총 3,500만 유로가 투자되는 이번 공동연구는 대학, 연구소, 기업 등 16개국 71개 기관이 참여하는 대형 프로젝트다. 한국에서는 유일하게 KAIST가 참여한다.
연구팀은 자체 개발한 국제 표준 사물인터넷 오픈소스 플랫폼인 올리옷(Oliot)을 활용한 스마트 팜과 푸드 서비스 생태계 테스트베드를 국내 농식품 비즈니스 전반에 구축하고 유럽의 테스트베드와 연동한다. 이들 생태계로부터 수집한 글로벌 빅데이터 분석을 위한 딥러닝 등 최신 인공지능 기술을 개발하여 궁극적으로 사물인터넷 플랫폼과 인공지능 기술이 통합된 시스템을 정부, 기관, 기업, 농민들이 활용할 수 있도록 공개할 예정이다.
IoF2020 프로젝트를 통해 개발되는 기술은 스마트팜 및 농식품 서비스 시장에 직접 투입하여 국내 농식품 산업에 활용될 수 있으며, 갈수록 높아지는 농식품 안전에 대한 요구를 만족시킬 수 있을 것으로 전망된다.
또한 핵심 기술인 올리옷(Oliot) 플랫폼은 농식품 분야 뿐 만 아니라, 스마트 시티, 스마트 팩토리, 헬스케어, 커넥티드 자동차등 다양한 산업에 활용될 것으로 기대된다.
IoF2020 프로젝트 코디네이터인 조지 비어스(George Beers)는 "IoF2020이 농장에서 소비자 식탁으로까지의 유통방식에 패러다임 변화를 가져올 것이며, 푸드 서비스 분야에서의 경쟁력과 우수성을 강화하는 데 기여할 것이라고 믿는다”라고 말했다.
KAIST 김대영 교수(전산학부, 오토아이디랩스(Auto-ID Labs) KAIST 센터장)는 “이미 국내에서 사물인터넷 국제표준 기술 적용을 시작했으며, 이번 프로젝트를 통해 유럽뿐 아니라 중국, 일본, 대만 등 아시아 국가와 남미 국가와도 글로벌 농식품 비즈니스 생태계 통합을 위한 노력이 진행 중이다”라고 밝혔다.
KAIST는 지난 2005년부터 전 세계 6개 대학(MIT(미국), 케임브리지대(영국), 취리히공대(스위스), 푸단대(중국), 게이오대(일본))과 함께 세계 최초로 사물인터넷의 개념을 소개한 ‛오토아이디랩스(Auto-ID Labs)' 국제공동연구소를 운영하며 사물인터넷 생태계 구축을 위한 선행 표준기술을 연구하고 있다.
2017.01.17 조회수 26802