지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술대회자료
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers 한국정보과학회 학술발표논문집 한국정보과학회 2011한국컴퓨터종합학술대회 논문집 제38권 제1호(A)
- 발행연도
- 2011.6
- 수록면
- 166 - 169 (4page)
이용수
초록· 키워드
오류제보하기
안정성이 중요한 실시간 내장형 시스템인 유도조종장치에서 시간 제약성을 만족하는 것은 매우 중요한 문제이다. 기존 유도조종장치 소프트웨어 개발에서는 주로 테스트 단계에서 시간 제약성 만촉을 확인한다. 하지만 이 방법은 늦은 오류의 발견으로 인해 전체 소프트웨어 개발 비용이 커질 가능성이 있다. 이러한 단점을 극복하기위해 본 논문에서는 설계 단계에 정형 기법을 적용하여 유도조종장치 소프트웨어의 시간 제약성을 검증하고자 한다. 이를 위해서 실시간 시스템에 대한 모델링과 검증을 지원하는 TIMES 도구를 유도조종장치 소프트웨어 설계에 적용하는 사례 연구를 수행하고 그 결과를 분석 및 평가하였다.
목차
요약
1. 서론
2. 사례 연구
3. 시간 제약성 검증
4. 결론
5. 참고 문헌
참고문헌 (0)
참고문헌 신청이 논문의 저자 정보
이 논문과 함께 이용한 논문
안전성이 중요한 시간 기반 내장형 소프트웨어의 시간 제약성 검증에 관한 사례 연구
최진호
,
지은경
,
김현정
외 1명
정보과학회논문지 : 소프트웨어 및 응용
2011
.12
차량용 전자제어시스템을 위한 AUTOSAR 대응 경량화 소프트웨어 아키텍처 연구
이강석
,
박인석
,
선우명호
외 1명
한국자동차공학회논문집
2013
.01
AUTOSAR 소프트웨어의 컴포넌트 모델의 분석
유종훈
,
박지용
,
홍성수
제어로봇시스템학회 국내학술대회 논문집
2007
.05
AUTOSAR 대응 경량화 소프트웨어 아키텍처를 이용한 어플리케이션 소프트웨어 모델링 및 통합 방법
박인석
,
이우택
,
선우명호
한국자동차공학회논문집
2012
.11
AUTOSAR와 모델기반 기법을 적용한 차량 임베디드 시스템 소프트웨어의 개발 및 검증 기법
금대현
,
손장경
,
손준우
외 1명
제어로봇시스템학회 논문지
2007
.12
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2013-569-000677031