선택한 단어 수는 입니다.
최소 단어 이상 선택하여야 합니다.
최소 단어 이상 선택하여야 합니다.
선택한 단어 수는 30입니다.
최대 10 단어까지만 선택 가능합니다.
최대 10 단어까지만 선택 가능합니다.
문제 정의
- 본 논문은 다양한 산업들과 IT산업의 결합인 융합소프트웨어의 고신뢰도 달성을 위하여, 각 도메인에 맞는 소프트웨어공학 기술의 적용을 제안하였다. 이러한 적용은 각 도메인 융합소프트웨어의 품질 및 안전성을 높이는데 많은 기여를 할 것으로 기대된다.
- 본 연구에서는 2.3절에서 소개한 SATABS를 이용하여 인공 심장 제어 소프트웨어에 대한 기본적인 safety property 검증을 수행한다. 검증 대상 코드로 main 함수와 주요 인터 럽트 핸들러 함수(타임 인터럽트 함수인 T3INTJSR, 6개의 버튼 인터럽트 함수, 4개의 센서 인터럽트 함수)들을 포함하며, 위의 함수들이 호출하는 모든 함수들도 포함한다.
- 본 연구에서는 AMI 시스템의 주요 구성요소들의 모델을 SPIN의 입력 언어인 promela로 기술하고, 중요 안전성 요구사항들을 선형시제 논리로 기술한 후, SPIN 을 이용하여 검증하고자 한다.
- 王한, 인터넷과 연동되기 때문에 보안 역시 중요한 문제로 대두되고 있다. 본 연구에서는 스마트 그리드 시스템의 특징을 분석하여 소프트웨어의 안전성을 높이고, 보안 문제를 해결 할 수 있는 기술들을 제시한다.
- 그림 6 은 모델 체킹 기법의 high-level overview를 보여준다. 본 연구에서는 스마트 그리드, 특히 AM 시스템의 안전성을 위해 모델 체킹 도구 중에서 SPIN[3] 모델체커를 이용한 정형 검증을 제안한다.
- 본 연구에서는 일차적으로 각 도메인들을 연구하고 특성들을 분석한다. 이러한 분석을 통하여 각 도메인의 특성과 현안 문제에 적절한 소프트웨어 공학 기법들을 선정하여 각 도메인의 중요 이슈(안전성, 품질향상 등)들을 해결한다.
- 이러한 배경으로 본 논문에서는 다양한 융합 도메인들을 위하여 기존의 소프트웨어 공학 기술이 어떻게 효과적으로 사용될 수 있는지를 연구한다. 연구 대상 도메인으로는 그 중요성과 장래성을 고려하여 최근 정부 육성 5대 지원 사업 중 하나인, 의료산업, 과 녹색 성장으로 인해최근 중요성이 강조되고 있는 '스마트 그리드, 을 선정하였다.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.