개인구독
소속 기관이 없으신 경우, 개인 정기구독을 하시면 저렴하게
논문을 무제한 열람 이용할 수 있어요.
지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers Journal of KIISE Journal of KIISE Vol.49 No.5
- 발행연도
- 2022.5
- 수록면
- 327 - 338 (12page)
- DOI
- 10.5626/JOK.2022.49.5.327
이용수
초록· 키워드
오류제보하기
내장형 소프트웨어(embedded software)는 범용 소프트웨어와는 다르게 특정 목적에 맞게 하드웨어를 최적화하여 설계하기 때문에 제한된 환경에서의 목표하는 성능을 만족시키는 것이 중요하다. 오늘날 내장형 소프트웨어는 규모와 복잡도가 과거에 비해 크게 증가하고 있다. 규모와 복잡도가 커짐에 따라 소프트웨어에 발생하는 오류의 형태도 다양해지는데 그 중 복잡해진 소프트웨어 모듈 사이에서 발생가능한 동시성 오류(concurrency error)에 대한 이슈가 많다. 이러한 내장형 소프트웨어의 동시성 오류를 검출하기 위해 기존에는 사용자의 수동 입력에 의존하였으나, 본 논문에서는 SVM과 딥러닝을 활용한 머신러닝 기반의 동시성 오류 탐지 도구(MCED)를 제안한다.
목차
요약
Abstract
1. 서론
2. 관련 연구
3. 머신 러닝 기반의 동시성 오류 탐지 도구
4. 결론 및 향후 과제
References
참고문헌 (17)
참고문헌 신청
A. Afzal, C. Le Goues, M. Hilton, and C. S. Timperley, "A study on challenges of testing robotic systems," ser. ICST ’20, pp. 96-107, 2020.
C. Ebert and A. Dubey, "Convergence of enterprise IT and embedded systems," IEEE software, Vol. 36, No. 3, pp. 92-97, May 2019.
M. R. S. Lande, M. S. Ali, "Synchronization in Embedded Real-Time Operating Systems," International Journal of Advance Engineering and Research Development (IJAERD), Vol. 1, No. 6, 2014.
L. Apvrille, L. W. Li, Harmonizing safety, security and performance requirements in embedded systems, Design, Automation and Test in Europe (DATE’ 2019), Firenze, Italy, 2019.
S. A. Asadollah, D. Sundmark, S. Eldh, and H. Hansson, "A runtime verification tool for detecting concurrency bugs in freertos embedded software," 17th ISPDC, pp. 172-179, 2018.
C. Ebert and A. Dubey, "Convergence of enterprise IT and embedded systems," IEEE software, Vol. 36, No. 3, pp. 92-97, May 2019.
M. R. S. Lande, M. S. Ali, "Synchronization in Embedded Real-Time Operating Systems," International Journal of Advance Engineering and Research Development (IJAERD), Vol. 1, No. 6, 2014.
L. Apvrille, L. W. Li, Harmonizing safety, security and performance requirements in embedded systems, Design, Automation and Test in Europe (DATE’ 2019), Firenze, Italy, 2019.
S. A. Asadollah, D. Sundmark, S. Eldh, and H. Hansson, "A runtime verification tool for detecting concurrency bugs in freertos embedded software," 17th ISPDC, pp. 172-179, 2018.
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
항공기 소프트웨어의 동시성 오류를 위한 감시 기법
항공우주시스템공학회 학술행사 논문집
2019 .05
-
오픈 UAV 소프트웨어의 동시성 오류 특성 분석을 위한 오류 리포트 조사
한국항공우주학회 학술발표회 초록집
2019 .11
-
Efficient Test Method for Embedded Software Using Next Software Framework Test Service
Journal of KIISE
2020 .09
-
무기체계 내장형 소프트웨어 신뢰성 시험 오검출 오류 분석
한국신뢰성학회 학술대회논문집
2019 .10
-
병행성을 가진 항공기 소프트웨어를 모의실험하기 위한 소프트웨어 프레임워크
항공우주시스템공학회 학술행사 논문집
2019 .05
-
항공기 소프트웨어에서 동시성 오류를 자율적으로 수리하기 위한 함수 호출 기반 기법
한국컴퓨터정보학회 학술발표논문집
2019 .01
-
무인항공기 시스템의 건전성 관리를 위한 소프트웨어 수행 오류 진단
한국항공우주학회지
2025 .04
-
오류 수정 시간을 고려한 소프트웨어 최적 출시 시점 결정 연구
한국소프트웨어감정평가학회논문지
2020 .01
-
느슨한 메모리 동시성 모델
정보과학회지
2017 .03
-
ACT : 대규모 동시성 테스트 자동화 도구
한국정보과학회 학술발표논문집
2024 .12
-
머신러닝을 사용한 진단검사 오류 감지
대한전기학회 학술대회 논문집
2024 .07
-
뚱딴지같은 행동 없는 C/C++ 동시성 메모리 모델
한국정보과학회 학술발표논문집
2015 .12
-
인적오류3.0의 특징과 과제 : 인적오류 후의 인적오류
대한인간공학회 학술대회논문집
2016 .11
-
내장형 소프트웨어의 효율적인 시험 환경 구축 방안
한국정보과학회 학술발표논문집
2019 .12
-
A Study on Quality Assurance of Embedded Software Source Codes for Weapon Systems by Improving the Reliability Test Process
Journal of KIISE
2015 .07
-
소프트웨어 취약점 자동 수정 기술 소개
정보보호학회지
2018 .04
-
4차 산업혁명에 따른 인적오류 연구의 방향과 과제
대한인간공학회 학술대회논문집
2019 .05
-
인적오류 조사분석 기법의 기술현안과 접근방법에 대한 재검토
대한인간공학회 학술대회논문집
2019 .10
-
종속적 결함을 고려한 소프트웨어 신뢰성 모형에 관한 연구
한국신뢰성학회 학술대회논문집
2021 .11
-
머신 러닝 기반 소프트웨어 정의 네트워크 연구 동향
정보과학회지
2022 .08
이 논문의 저자 정보
이 논문과 함께 이용한 논문
최근 본 자료
댓글(0)
0