본문 바로가기 주메뉴 바로가기
22대 대한민국 국회 국회정보길라잡이 국회의원검색
회원가입 로그인
HOME

정보검색

소장정보 검색

국회도서관 홈으로 정보검색 소장정보 검색

결과 내 검색

동의어 포함

고급검색

인명/단체명

저자정보 상세정보
인명/단체명을 입력하세요.

키워드

  • 대표어

  • 외국어

-

목차보기

목차

SYNDICATE SW 플랫폼 : 안전성이 중요한 시스템을 위한 동기식 분산 모듈형 SW 플랫폼 / 박은지 ; 김태호 ; 김민조 ; 하영목 ; 박제만 ; 김용연 ; 송문섭 1

1. 서론 1

2. 안전우선 시스템 SW의 중요성 1

3. 안전우선 분산 모듈형 SW 플랫폼 2

3.1. 분산 미들웨어 3

3.2. 실시간 운영체제 4

3.2. 통합 검증 도구 5

4. 결론 6

참고문헌 6

약력 7

권호기사

권호기사 목록 테이블로 기사명, 저자명, 페이지, 원문, 기사목차 순으로 되어있습니다.
기사명 저자명 페이지 원문 목차
SYNDICATE SW 플랫폼 : 안전성이 중요한 시스템을 위한 동기식 분산 모듈형 SW 플랫폼 박은지, 김태호, 김민조, 하영목, 박제만, 김용연, 송문섭 pp.8-14

보기
원자로보호계통 소프트웨어 안전 확보를 위한 모델 체킹 및 테스팅 적용 사례 분석과 발전방향 제고 지은경, 신동환, 배두환 pp.15-26

보기
안전소프트웨어를 위한 소프트웨어 테스팅 관점에서의 차량기능안전 표준(ISO26262) 적용 방안 논의 장승연 pp.27-32

보기
원자로 제어시스템 FPGA 개발에 사용되는 상용 합성도구의 COTS 인증 정세진, 김의섭, 유준범 pp.33-40

보기
소프트웨어 기반의 안전 필수 시스템을 위한 안전성 분석 기법 이장수, 이동아 pp.41-46

보기
인공심장의 예측 가능한 제어를 위한 실시간 소프트웨어 설계 구조 개선 사례 정세훈, 차성덕 pp.47-52

보기
솔루션링크, 소프트웨어 안전성 선도 기업 유준범 pp.53-54

보기

참고문헌 (18건) : 자료제공( 네이버학술정보 )

참고문헌 목록에 대한 테이블로 번호, 참고문헌, 국회도서관 소장유무로 구성되어 있습니다.
번호 참고문헌 국회도서관 소장유무
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 미소장
3 Single core equivalent virtual machines for hard real-time computing on multicore processors, technical report 미소장
4 Middleware design for Physically-Asynchronous Logically-Synchronous(pALS) system 미소장
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 Certified RTOS and IDE for Supporting ARINC 653 소장
12 Avionics Application Software Standard Interface - ARINC Specification 653 - Part 1 미소장
13 http://www.ebuzz.co.kr/news/article.html?id=20131216800016 미소장
14 INTEGRATED MODULAR AVIONICS DEVELOPMENT-GUIDANCE AND CERTIFICATION CONSIDERATIONS, RTCA DO-297 미소장
15 RTCA DO-178B Software Considerations in Airborne Systems and Equipment Certification 미소장
16 Evaluation of Cache Partitioning: Improving CPU Utilization of Multicore Embedded Processors 미소장
17 Applying software model checking to PALS systems 네이버 미소장
18 Qplus-AIR 모니터링 뷰어 시스템 미소장

추천서가 (다양한 추천 자료를 만나보세요)

권호기사보기

권호기사 목록 테이블로 기사명, 저자명, 페이지, 원문, 기사목차 순으로 되어있습니다.
기사명 저자명 페이지 원문 기사목차

권호

기사명 원문보기 기사목차
닫기