Browse > Article

SYNDICATE SW 플랫폼: 안전성이 중요한 시스템을 위한 동기식 분산 모듈형 SW 플랫폼  

Park, Eun-Ji (한국전자통신연구원)
Kim, Tae-Ho (한국전자통신연구원)
Kim, Min-Jo (한국전자통신연구원)
Ha, Yeong-Mok (한국전자통신연구원)
Park, Je-Man (한국전자통신연구원)
Kim, Yong-Yeon (한국전자통신연구원)
Song, Mun-Seop (한국전자통신연구원)
Publication Information
Communications of the Korean Institute of Information Scientists and Engineers / v.33, no.7, 2015 , pp. 8-14 More about this Journal
Keywords
Citations & Related Records
연도 인용수 순위
  • Reference
1 http://en.wikipedia.org/wiki/List_of_software_bugs
2 F-35 joint strike fighter, problems completing software testing may hinder delivery of expected warfighting capabilities, report, united states government accountability office, GAO-14-322, March 2014
3 Lui Sha et al., Single core equivalent virtual machines for hard real-time computing on multicore processors, technical report
4 Abdullah Al-Nayeem et al., Middleware design for Physically-Asynchronous Logically-Synchronous(pALS) system, EMSOFT 2013
5 https://www.tttech.com/products/product-filter/ttethernet-products/
6 http://www.ethercat.org/default.htm
7 http://en.wikipedia.org/wiki/Avionics_Full-Duplex_Switched_Ethernet
8 http://en.wikipedia.org/wiki/Precision_Time_Protocol
9 http://www.windriver.com/products/vxworks/multicore.html
10 https://www.sysgo.com/products/pikeos-rtos-andvirtualization-concept/
11 김태호 외, Qplus/Esto-AIR: DO-178B Level A 인증 ARINC 653 지원 실시간 OS 및 개발 도구, 정보과학회지 제 30권 제 9호. 2012.9
12 Airlines Electronic Engineering Committee, Avionics Application Software Standard Interface - ARINC Specification 653 - Part 1, Aeronautical Radio Inc., 2006.
13 http://www.ebuzz.co.kr/news/article.html?id=20131216800016
14 Radio Technical Commission for Aeronautics, "INTEGRATED MODULAR AVIONICS DEVELOPMENT-GUIDANCE AND CERTIFICATION CONSIDERATIONS", RTCA DO-297, 8-Nov-2005.
15 RTCA DO-178B Software Considerations in Airborne Systems and Equipment Certification. 1st December 1992.
16 Eunji Pak, Evaluation of Cache Partitioning: Improving CPU Utilization of Multicore Embedded Processors, ISET 2014
17 Min-young Nam et aI., Applying Software Model Checking to PALS systems, 33rd DASC 2014
18 이화영 외, Qplus-AIR 모니터링 뷰어 시스템, 대한 임베디드 공학회 추계 학술대회, 2014.10