Hyesun Lim

학위논문(석사)--아주대학교 일반대학원 :소프트웨어특성화학과,2017. 2안전 필수 시스템에서 소프트웨어의 결함은 심각한 결과를 초래하므로, 개발의 첫 단계인 요구사항 명세부터 안전성을 고려해야 한다. 요구사항의 결함은 테스트 단계에서 발견하기 어려우며, 결함을 발견하더라도 수정하는데 큰 비용이 발생하기 때문에 시스템을 제어하는 소프트웨어의 안전성 확보를 위한 요구사항 명세단계는 매우 중요하다. 안전 필수 시스템에서 요구사항은 일반 요구사항과 안전 요구사항으로 구분되고 시스템 요구사항으로 통합된다. 일반적으로 요구사항은 자연어로 작성된다. 자연어로 작성된 요구사항은 여러 이해관계자들에게서 도출되어 모호함과 부정확성에 의한 결함을 갖고 있어도 검출하기 어렵다. 이러한 문제를 해결하기 위해 표준문안과 GSN모델을 이용한 요구사항 명세방법을 제안한다. 표준문안은 선 정의된 서식에 맞춰 요구사항을 작성하는 준-정형 언어이다. 정의된 서식에 사용자가 기입하는 값은 속성으로 간주한다. 표준문안에 맞춰 요구사항을 작성하면 표현의 일관성을 갖기 때문에 이해관계자들이 요구사항이 의미하는 바에 대한 모호함을 방지하여 요구사항의 정확한 의미를 정의하는데 도움이 된다. GSN은 시스템이 안전하다는 것을 관련기관에 증명하기 위한Safety Case 작성에서 적합성을 인정받고 있는 표기법으로 기능목표, Safety Evidence를 표현한다. 본 연구에서는 안전 필수 시스템의 요구사항을 명세하기에 적합하도록 설계된 표준문안과 GSN 모델을 이용하여 요구사항 명세단계에서부터 결함을 쉽게 식별하고, Safety Evidence와의 연결을 통해 안전 적합성을 증명할 수 있다. 이 과정을 통해 발견된 요구사항의 결함을 수정하여 안전성 있는 소프트웨어를 개발할 수 있다.제 1 장 서 론 - 제 1 절 연구배경 및 문제점 - 제 2 절 연구목적 - 제 3 절 논문구성 제 2 장 관련연구 - 제 1 절 자연어 요구사항 명세 - 제 2 절 정형명세 및 검증기법 제 3 장 제안방법 - 제 1 절 연구기반기술 - 제 2 절 안전 필수 시스템을 위한 표준문안 - 제 3 절 GSN을 이용한 요구사항 명세방법 - 제 4 절 제안방법 수행절차 제 4 장 사례연구 제 5 장 실험 및 평가 - 제 1 절 실험소개 - 제 2 절 평가방법 설계 - 제 3 절 실험 1의 수행 및 결과분석 - 제 4 절 실험 2의 수행 및 결과분석 - 제 5 절 분석 결과 제 6 장 고찰 - 제 1 절 결론 및 공헌 - 제 2 절 한계점 및 향후 연구 참고 문헌 부 록Maste

동해안 대기 에어로졸의 농도 특성 및 환경영향 인자

에어로졸(aerosol)은 대기 중에 존재하는 자연 및 인위적 발생 먼지나 여러 종류의 화학물질들로 구성된 작은 입자를 총칭한다(Willeke and Baron, 1993). 대기 중 에어로졸은 미량물질들을 수송하는 매체로서의 역할을 하기 때문에 에어로졸의 물리, 화학적 특성을 파악하는 것은 대기와 육지간 또는 해양간 상호작용을 이해하는데 많은 정보를 제공한다. 대기 중의 에어로졸 농도는 풍향이나 풍속 등의 기상학적 요인에 의해 크게 변화한다.(Wark and Warner, 1976). 국내에서는 1996년부터 충청남도 태안군 안면도에 지구대기감시관측소가 설립되어 강수 및 대기질 감시 그리고 온실기체 등을 측정하여 대기성분 농도와 주변 기상요소와의 관계 및 장기변화를 관측하고 있다. 본 연구는 대기경로를 통하여 동해로 유입되는 물질의 화학적 특성과 화학성분의 농도변화에 미치는 환경요소 및 유입량을 파악하기 위하여 동해연안에서 에어로졸 중 주요이온 농도의 변화를 살펴보았다.학적 특성을 파악하는 것은 대기와 육지간 또는 해양간 상호작용을 이해하는데 많은 정보를 제공한다. 대기 중의 에어로졸 농도는 풍향이나 풍속 등의 기상학적 요인에 의해 크게 변화한다.(Wark and Warner, 1976). 국내에서는 1996년부터 충청남도 태안군 안면도에 지구대기감시관측소가 설립되어 강수 및 대기질 감시 그리고 온실기체 등을 측정하여 대기성분 농도와 주변 기상요소와의 관계 및 장기변화를 관측하고 있다. 본 연구는 대기경로를 통하여 동해로 유입되는 물질의 화학적 특성과 화학성분의 농도변화에 미치는 환경요소 및 유입량을 파악하기 위하여 동해연안에서 에어로졸 중 주요이온 농도의 변화를 살펴보았다.2