닫기
Loading..

전자정보연구정보센터 ICT 융합 전문연구정보의 집대성

국내 논문지

홈 홈 > 연구문헌 > 국내 논문지 > 한국정보과학회 논문지 > 정보과학회논문지 (Journal of KIISE)

정보과학회논문지 (Journal of KIISE)

Current Result Document : 10 / 13 이전건 이전건   다음건 다음건

한글제목(Korean Title) 타임드 오토마타 모델 기반 산업 자동화 응용 자동생성 프레임워크
영문제목(English Title) Automated Code Generation Framework for Industrial Automation Applications based on Timed Automata Model
저자(Author) 이경현   김익환   김태현   KyungHyun Lee   Ikhwan Kim   Taehyun Kim  
원문수록처(Citation) VOL 44 NO. 12 PP. 1307 ~ 1312 (2017. 12)
한글내용
(Korean Abstract)
ICT 기술과의 융합으로 인해 산업 자동화 시스템은 복잡도와 신뢰성 요구 수준이 급격히 증가하고 있다. 최근에는 이러한 요구에 대응하기 위해 응용 개발 초기 과정에서부터 정형 기법을 활용하는 연구들이 주목받고 있다. 본 논문에서는 산업 자동화 응용을 위한 타임드 오토마타 모델 기반 네이티브 코드 자동 생성 프레임워크를 제안한다. 사례 연구로 산업용 네트워크를 사용하는 신호등 제어 시스템을 모델링하고, 탑재되는 응용의 타이밍 속성을 검증하였다. 제안하는 프레임워크의 유효성을 검증하기 위해 자동 변환된 네이티브 코드를 사용하여 EtherCAT 네트워크 기반 테스트베드의 동작을 확인한 결과, 모델명세와 동일하게 동작하는 것을 확인하였다.
영문내용
(English Abstract)
Due to their convergence with state-of-the-art ICT technologies, the complexity and reliability demands of industrial automation systems have been rapidly increasing. In recent years, to cope with these demands, several research works have been carried out to adopt formal methods to the application development cycle at the early design stage. In this paper, we propose an automated code generation framework for industrial automation applications, based on a timed automata model. As a case study, we developed a formal model for a traffic light control system and verified the timing properties described in the specification. We finally demonstrated that the operation of a test-bed based on the auto-generated native code was identical to that of the model specification.
키워드(Keyword) 산업 자동화   타임드 오토마타   코드 자동 생성 프레임워크   모델 기반 엔지니어링   industrial automation   timed automata   automated code generation framework   modeldriven engineering  
원문 PDF 다운로드