$\require{mediawiki-texvc}$
  • 검색어에 아래의 연산자를 사용하시면 더 정확한 검색결과를 얻을 수 있습니다.
  • 검색연산자
검색연산자 기능 검색시 예
() 우선순위가 가장 높은 연산자 예1) (나노 (기계 | machine))
공백 두 개의 검색어(식)을 모두 포함하고 있는 문서 검색 예1) (나노 기계)
예2) 나노 장영실
| 두 개의 검색어(식) 중 하나 이상 포함하고 있는 문서 검색 예1) (줄기세포 | 면역)
예2) 줄기세포 | 장영실
! NOT 이후에 있는 검색어가 포함된 문서는 제외 예1) (황금 !백금)
예2) !image
* 검색어의 *란에 0개 이상의 임의의 문자가 포함된 문서 검색 예) semi*
"" 따옴표 내의 구문과 완전히 일치하는 문서만 검색 예) "Transform and Quantization"
쳇봇 이모티콘
안녕하세요!
ScienceON 챗봇입니다.
궁금한 것은 저에게 물어봐주세요.

보고서 상세정보

시스템 오브 시스템즈 역량 달성 및 안전 확보를 위한 소프트웨어 모델링 및 검증 기술 개발

Development of Software Modeling and Verification Techniques for Achieving Capabilities and Assuring Safety of System of Systems

과제명 시스템 오브 시스템즈 역량 달성 및 안전 확보를 위한 소프트웨어 모델링 및 검증 기술 개발
주관연구기관 한국과학기술원
Korea Advanced Institute of Science and Technology
보고서유형 최종보고서
발행국가 대한민국
언어 한국어
발행년월 2015-12
과제시작년도 2015
주관부처 미래창조과학부
Ministry of Science, ICT and Future Planning
등록번호 TRKO201600002374
과제고유번호 1711032251
사업명 한국과학기술원운영경비
DB 구축일자 2016-06-04
DOI https://doi.org/10.23000/TRKO201600002374
키워드 소프트웨어 공학.시스템 오브 시스템즈.소프트웨어 모델링.소프트웨어 검증.소프트웨어 안전성.소프트웨어 신뢰성.대규모 복잡 시스템.Software Engineering.System of Systems.Software Modeling.Software Verification.Software Safety.Software Reliability.Large-scale Complex System.
초록

추진목적
- 시스템 오브 시스템즈(이하 SoS) 기초연구를 위한 토대 마련
ㆍ SoS의 근원 특성(자율성, 불확정성, 연대성)과 결과 특성(다형성, 창발성)에 대한 정확한 분석 및 향후 연구 주체 도출
ㆍ SoS에 대...