지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
등록된 정보가 없습니다.
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
SCADE 툴을 이용한 모델 기반 항공전자 디스플레이 설계
한국항공우주학회 학술발표회 초록집
2021 .11
SCADE 기반 항공전자 소프트웨어 FACE 데이터 모델링
한국항공우주학회 학술발표회 초록집
2023 .04
SCADE를 활용한 모델 기반 통신 및 식별 장비 소프트웨어 개발 사례
한국항공우주학회 학술발표회 초록집
2023 .04
SCADE를 활용한 ARINC-661 기반 항공전자 디스플레이 소프트웨어 모델링 방안
한국항공우주학회 학술발표회 초록집
2021 .11
열차간 통신기반 열차자율주행제어시스템의 주행안전기능 설계 및 구현: Part I
한국통신학회논문지
2020 .01
모델기반 SCADE Suite 개발환경에서 SILS 구축
한국추진공학회 학술대회논문집
2024 .05
항공용 소프트웨어 적합성 입증 방법에 관한 연구
항공우주시스템공학회 학술행사 논문집
2015 .11
SCADE를 활용한 LAAD 구현 방안
한국항공우주학회 학술발표회 초록집
2015 .11
자동화 도구를 활용한 MBD SW의 감항인증 적용 방안
한국항공우주학회 학술발표회 초록집
2021 .07
DO-178C(항공용 소프트웨어 감항인증)에 적합한 정적분석을 활용한 소프트웨어 동적시험 프로세스 구축 사례 연구
한국항공우주학회 학술발표회 초록집
2016 .04
항공소프트웨어 안전성 검증을 위한 강건성 테스팅 방안
한국항공우주학회 학술발표회 초록집
2023 .04
항공기 소프트웨어의 건전성 관리시스템을 위한 설계지침
항공우주시스템공학회 학술행사 논문집
2018 .04
DO-330 소프트웨어 도구 자격증명 생명주기 데이터에 대한 고찰
한국항공우주학회 학술발표회 초록집
2019 .11
항공기 소프트웨어의 동시성 오류를 위한 감시 기법
항공우주시스템공학회 학술행사 논문집
2019 .05
DO-178C(항공용 소프트웨어 감항인증)에 적합한 요구사항기반 시험 절차 및 Test Coverage 달성 방안 연구
한국항공우주학회 학술발표회 초록집
2016 .11
크라우드소싱 기반 소프트웨어 개발 프로세스 개선
한국정보과학회 학술발표논문집
2016 .06
관리 도구를 통한 소프트웨어 유지보수 수행 모델 설계 및 시스템 개발
한국정보과학회 학술발표논문집
2018 .12
소프트웨어 개발 프로세스 적용 보안 기술 동향
정보과학회지
2016 .01
자동 소프트웨어 프로세스 구축을 위한 공개 소프트웨어 툴 체인 연구
한국정보과학회 학술발표논문집
2017 .12
ATO over ETCS의 자동운전 속도프로파일 연산을 위한 SCADE 모델링 기반 설계에 관한 연구
한국철도학회 학술발표대회논문집
2021 .11
0