지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers 정보과학회논문지 : 컴퓨팅의 실제 및 레터 정보과학회논문지 : 컴퓨팅의 실제 및 레터 제19권 제2호
- 발행연도
- 2013.2
- 수록면
- 90 - 94 (5page)
이용수
이 논문의 연구 히스토리 (2)
- 이 논문의 후속연구가 궁금하신가요?
- 연관 학술논문 또는 학술발표를 통해 보다 발전된 연구결과를 확인하실 수 있습니다.
- 이 논문의 연구 히스토리 확인하기
초록· 키워드
오류제보하기
타임드 오토마타 모델 기반 개발 방법을 지원하는 TIMES 도구는 실시간 소프트웨어에 대한 모델 명세, 시뮬레이션, 검증, BrickOS 기반 코드 생성 기능을 가진다. BrickOS 기반 코드는 엄격한 실시간 제약성을 만족하지 않아서 실시간 속성 만족이 중요한 시스템 개발에 BrickOS 기반 코드를 그대로 사용할 수 없다. 본 논문에서는 실시간 내장형 소프트웨어 개발을 위해서 TIMES 도구를 활용하여 타임드 오토마타 모델로부터 BrickOS 이외의 플랫폼 기반 코드를 생성하기 위한 방안을 제안한다. BrickOS 플랫폼 독립적인 코드는 그대로 활용하면서 플랫폼 의존적인 코드들을 대상 플랫폼으로 변환시키는 가이드라인을 제안한다. 정속 주행 장치 소프트웨어 사례 연구에서 제안 가이드라인을 통해 생성된 VxWorks 기반 코드가 모델 명세대로 내장형 시스템에서 정상적으로 동작함을 확인하였다.
목차
요약
Abstract
1. 서론
2. 배경
3. VxWorks 기반 코드 생성
4. 사례연구
5. 결론 및 향후 연구
참고문헌
참고문헌 (1)
참고문헌 신청
이 논문의 저자 정보
이 논문과 함께 이용한 논문
실시간 소프트웨어 모델에서 만족된 속성을 코드에서 확인하는 체계적 기법 및 사례연구
홍광의
,
지은경
,
서동원
외 1명
정보과학회논문지 : 소프트웨어 및 응용
2013
.12
소프트웨어 산업체 피드백을 반영한 자동화된 인력 할당
화지민
,
박지훈
,
신동환
외 4명
정보과학회논문지 : 소프트웨어 및 응용
2013
.07
관세청품목분류코드 신설 방안
김영춘
,
최해범
한국관세학회 학술대회
2009
.05
한약재 이력 정보 추적을 위한 RFID 코드체계
김철
,
김상균
,
김진현
외 1명
정보과학회논문지 : 컴퓨팅의 실제 및 레터
2009
.12
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2014-569-000319436