지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers Journal of KIISE Journal of KIISE Vol.45 No.12
- 발행연도
- 2018.12
- 수록면
- 1,269 - 1,278 (10page)
- DOI
- 10.5626/JOK.2018.45.12.1269
이용수
초록· 키워드
오류제보하기
IoT 운영체제는 API를 사용상의 규칙과 함께 제공하며 사용상의 규칙이 위반될 경우 시스템의 무결성이 깨질 수 있고 최악의 상황인 시스템 실패까지 발생할 수 있으므로 어플리케이션은 반드시 제약사항을 준수하여 API를 사용해야 한다. 기존 연구에서는 운영체제와 어플리케이션을 정형 모델로 표현하고 모델 검증을 통하여 제약사항 위반 시나리오를 탐지하였지만 시간을 고려해야하는 Alarm이나 임의로 발생할 수 있는 인터럽트 및 ISR은 검증 대상에서 제외되어 오탐 및 미탐이 발생할 수 있는 여지가 있었다. 본 연구에서는 Alarm의 실제 시간은 정형 모델의 상대시간으로 변환하고 인터럽트와 ISR은 검증모델에서 임의로 발생하도록 정의함으로써 Alarm 및 ISR을 고려한 제약사항 검증을 가능하게 하였다. 제안한 방법을 19개 IoT 어플리케이션에 적용한 결과 34개의 제약사항 위반을 탐지하였으며 15개는 Alarm이나 ISR을 고려하지 않았을 때 탐지할 수 없는 제약사항 위반이었다.
목차
요약
Abstract
1. 서론
2. 연구배경
3. Alarm과 ISR을 고려한 API 호출 제약사항 검증
4. Alarm과 ISR을 고려한 시스템 모델 생성
5. 제약사항 위반 시나리오 도출 및 성능 평가
6. 관련연구
7. 결론
References
참고문헌 (10)
참고문헌 신청
Erika Operating system, [Online]. Available: http:// erika.tuxfamily.org
Y. Choi, A configurable V&V framework using formal behavioral patterns for OSEK/VDX operating systems, Journal of Systems and Software, Vol. 137, pp. 563-579, Mar. 2018.
D. Kim and Y. Choi, A two-step approach for pattern-based API-call constraint checking, Science of Computer Programming, Vol. 163, pp. 19-41, Apr. 2018.
O. Group, OSEK/VDX operating system specificaiton, 2005.
J-L. Bechennec, M. Briday, S. Faucou, Y. Trinquet, Trampoline an open source implementation of the OSEK/VDX RTOS specification, Emerging Technologies and Factory Automation, pp. 62-69, 2006.
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
Open API 기술문서를 이용한 Open API 파라미터 유사도 비교
한국통신학회논문지
2016 .02
-
에너지 데이터를 활용한 API 서비스 모델 연구
대한전기학회 학술대회 논문집
2024 .07
-
Analyzing the Effects of API Calls in Android Malware Detection Using Machine Learning
Journal of KIISE
2021 .03
-
디지털 트랜스포메이션을 위한 오픈 API 거버넌스
한국소프트웨어감정평가학회논문지
2017 .12
-
API 인증 과정 기반의 IoT 응용 서비스 제공 플랫폼
한국정보과학회 학술발표논문집
2017 .12
-
False-alarm Detection in Model-based API-call Safety Checking of Priority-based Multitasking Programs
Journal of KIISE
2019 .10
-
개방형 데이터 공개와 운영을 위해 API Management를 활용한 공개 API SW 구축
한국통신학회 학술대회논문집
2023 .06
-
에너지 빅데이터 활용을 위한 API 설계 및 성능 평가 연구
한국에너지학회 학술발표회
2022 .10
-
R프로그램을 활용한 API 분석 및 데이터 시각화
한국통신학회 학술대회논문집
2016 .06
-
날씨API를 이용한 가상 피팅기와 표정API를 이용한 옷 추천 시스템
대한전기학회 워크샵
2020 .07
-
과학기술지식인프라 제공을 위한 API Gateway 설계
디지털콘텐츠학회논문지
2021 .04
-
Open API를 이용한 지도기반 미세먼지 측정 어플리케이션
한국통신학회 학술대회논문집
2017 .11
-
오픈 API 기반의 지하철 편의정보 제공 어플리케이션
한국컴퓨터정보학회 학술발표논문집
2019 .01
-
개방형 보안 API를 이용한 취약점 탐지 기법
한국정보과학회 학술발표논문집
2015 .12
-
API 호출 기반 악성행위 자동탐지에 관한 연구
한국통신학회 학술대회논문집
2016 .01
-
오픈 API를 이용한 통합 교통 안내 어플리케이션
Proceedings of KIIT Conference
2017 .06
-
API 변경에 대한 마이닝 : 문헌과 실제 조사
한국정보과학회 학술발표논문집
2017 .06
-
오픈 API 를 활용한 대학생 협업 모듈
한국통신학회 학술대회논문집
2016 .11
-
공공 데이터 오픈 API를 사용한 실시간 데이터 수집 시스템
한국정보과학회 학술발표논문집
2017 .12
-
API 콜 시퀀스와 Locality Sensitive Hashing을 이용한 악성코드 클러스터링 기법에 관한 연구
정보보호학회논문지
2017 .02
이 논문의 저자 정보
이 논문과 함께 이용한 논문
IoT환경에 대한 블록체인과 탱글의 비교분석
우상호
,
이상길
,
신재권
외 2명
한국통신학회 학술대회논문집
2019
.01
“초지능 시대와 미래” 특집을 내면서
임광혁
한국콘텐츠학회지
2019
.03
초연결(IoT) 초지능(AI) 시대에 요구되는 인재는?
김현수
한국자동차공학회 Workshop
2018
.08
Protective effect of Cirsium japonicum var. maackii against oxidative stress in C6 glial cells
Ah Young Lee
,
Min Jeong Kim
,
Sanghyun Lee
외 2명
Korean Journal of Agricultural Science
2018
.09
[특집편집기] Neuromorphic 시스템 설계 기술
김영민
전자공학회지
2018
.07
최근 본 자료
댓글(0)
0