도움말

반응형 시스템의 시뮬레이션을 위한 환경 속성의 명세

Specification of Environment Properties for Simulation of Reactive Systems
정보과학회논문지 : 소프트웨어 및 응용 제39권 제7호, 2012.7, 593-603 (11 pages)
인용정보 복사
Quick View Quick View
구매하기 6,000원
인용하기
이용수 : 73건
피인용수 : 0건
분야내 활용도 : 38%
자세히 보기 >

· 이용수 : 2010년부터 집계한 원문다운로드수

· 피인용수 : DBpia 논문 가운데 해당 논문을 인용한 논문수

· 분야내 활용도 : 최근 24개월간 DBpia 이용수를 기준으로 산출 / 0%에 가까울 수록 활용도가 높고, 100%에 가까울 수록 활용도가 낮음

초록
반응형 시스템은 외부 환경의 자극에 연속적·즉각적으로 반응하는 시스템이다. 반응형 시스템을 테스트할 때 사람이 직접 입력 신호를 바꾸면 번거로우며 실수할 가능성도 있다. 시스템에서 출력하는 신호와 외부 환경으로부터의 입력 신호 사이에 일정한 관계가 있으면 이를 이용하여 입력 신호의 값을 자동으로 생성할 수 있다. 본 논문에서는 절차형 동기식 언어인 Esterel로 작성한 반응형 시스템과 외부 환경 사이의 관계를 명세하고 외부 환경을 시뮬레이션하는 코드로 바꾸어 합당한 입력 신호를 생성하도록 하는 방법을 제안한다. 생성한 코드를 기존 코드와 함께 실행하면 직접 입력해야 하는 입력 신호의 수를 줄일 수 있어 시뮬레이션이 간단해 진다. 우리는 제안한 방법을 엘리베이터 시스템에 적용하여 유용성을 입증하였다.

A reactive system is a system that makes immediate and continuous reactions to the stimuli from its environment. Manual generation of test input values for a reactive system is labor-intensive and error-prone. Relations between output and input signals can be used to automatically generate values of corresponding input signals. In this paper, we propose a method to specify relations between a system in an imperative synchronous language Esterel and its environment. We can translate the specification into the code that simulates the environment and generates proper input signals. When the target system is simulated with the generated code, the number of input signals that require manual intervention is reduced, so that the simulation and verification processes are simplified. We have shown that the proposed method is useful to reduce the effort for simulation and verification with an elevator system.

목차
요약
Abstract
1. 서론
2. 예제 시스템
3. Esterel 언어
4. 환경 속성 명세 언어
5. 응용 사례
6. 관련 연구
7. 결론 및 향후 과제
참고문헌
키워드

논문의 주요 키워드를 제공합니다. 키워드를 클릭하여 관련 논문을 확인해 보세요!

참고문헌 (20)

현재 논문의 참고문헌을 찾아 신청해주세요!

  1. G. Berry , 1992 , The ESTEREL synchronous programming language: design, semantics, implementation , Science of Computer Programming 19 (2) : 87 ~ 152

  2. G. Berry , 2000 , The Foundations of Esterel, In Proof, Language, and Interaction: Essays in Honour of Robin Milner , MIT Press : 425 ~ 454

  3. G. Berry , , The Esterel v5_91 System Manual

  4. G. Berry , , The Esterel v5 Language Primer, Version v5_91

  5. Esterel Technologies , , The Esterel v7 Reference Manual

  6. D. Potop-Butucaru , 2007 , Compiling Esterel , Springer

  7. E. F. Moore , 1956 , Gedanken experiments on sequential machines , Automata Studies : 129 ~ 153

  8. G. H. Mealy , 1955 , A method for synthesizing sequential circuits , Bell System Technical Journal 34 : 1045 ~ 1079

  9. P. Caspi , 1987 , LUSTRE: A declarative language for programming synchronous systems , ACM symposium on Principles of Programming Languages (POPL) : 178 ~ 188

  10. A. Gamatié , 2010 , Designing Embedded Systems with the SIGNAL Programming Language , Springer

  • 처음
  •  
  • 이전
  •  
  • 1
  •  
  • 2
  •  
  • 다음
  •  
  • 마지막
인용된 논문 (0)

알림서비스 신청하고 '인용된 논문' 정보를 메일로 확인 하세요!

해당 논문은 인용된 논문 정보가 없습니다.

제 1 저자의 다른 논문 (4)

황준형 식별저자 저자의 상세정보를 확인해 보세요.

권호 내 다른 논문 (10)

정보과학회논문지 : 소프트웨어 및 응용 제39권 제7호 의 상세정보를 확인해 보세요.

추천 논문 (10)

DBpia 추천논문과 함께 다운받은 논문을 제공합니다. 논문 초록의 텍스트마이닝과 이용 및 인용 관계 분석을 통해 추천해 드리는 연관논문을 확인해보세요.

DBpia 추천논문

더 많은 추천논문을 확인해 보세요!

함께 다운받은 논문

지표

이용현황

· 이용수

· 이용순위 상위 Top3

자세히 보기 >
No 상위 이용이관 이용수
1 KAIST 16
2 한라대학교 7
3 경기대학교 3

활용도

· 활용지수

· 논문의 활용도 추이 (주제분야 기준)

자세히 보기 >

: %

2016-09
2016-10
2016-11
2016-12
0
20
40
60
80
100
  • 0%
  • 20%
  • 40%
  • 60%
  • 80%
  • 100%

피인용수

상세정보
저작권 정책

누리미디어에서 제공되는 모든 저작물의 저작권은 원저작자에게 있으며, 누리미디어는 각 저작물의 내용을 보증하거나 책임을 지지 않습니다. 단, 누리미디어에서 제공되는 서지정보는 저작권법에 의해 보호를 받는 저작물로, 사전 허락 없이 임의로 대량 수집하거나 프로그램에 의한 주기적 수집 이용, 무단 전재, 배포하는 것을 금하며, 이를 위반할 경우, 저작권법 및 관련법령에 따라 민, 형사상의 책임을 질 수 있습니다.

맨 위로 이동
  • 개인회원으로 로그인하셔야 이용이 가능합니다.
  •  개인회원
  •  기관회원
  • 소속기관
  • 아이디
  • 비밀번호
  • 개인회원가입으로 더욱 편리하게 이용하세요. 일반회원 가입하기

    아이디/비밀번호를 잊으셨나요? 아이디/비밀번호 찾기