• 대한안전경영과학회:학술대회논문집
• /
• 대한안전경영과학회 2010년도 춘계학술대회
• /
• pp.303-313
• /
• 2010

본 연구는 음식물처리기 제품품질을 구성하는 차원 및 속성을 VOC(voice of customer)분석을 통해서 도출하고 소비자의 특성에 따라 음식물 처리기 제품품질 속성의 중요도 차이에 대한 분석과 고객만족에 영향을 미치는 품질속성에 대하여 분석하였다. 그 결과 소비자의 특성에 따라 음식물 처리기 제품품질 속성의 중요도의 차이와 고객만족에 영향을 미치는 품질속성을 도출하였으며, 본 연구 결과는 향후 음식물 처리기 제품개발에 고객의 니즈를 반영하는데 도움이 될 것으로 기대된다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2012년도 한국컴퓨터종합학술대회논문집 Vol.39 No.1(A)
• /
• pp.107-109
• /
• 2012

안전필수 소프트웨어는 다양한 분야에 걸쳐 개발과 인증을 위한 표준들이 정의되어 있고, 대부분 프로세스 중심의 인증 방식을 채택하고 있다. 프로세스 중심의 인증 방식의 단점은 제품 소프트웨어의 검증 속성을 보장할 수 없고, 표준에 따라 관점과 관심 속성이 달라서 상호연관이 있는 속성사이의 관계를 기술하는데 적합하지 않다. 본 논문에서, 안전필수 소프트웨어의 표준들의 비교를 통해 특성을 살펴보고, 안전성과 보안 속성을 함께 갖는 안전필수 소프트웨어 개발을 위해, 보증 문서(assurance case) 구성을 목표 설정 표기법(goal structuring notation)으로 작성하고 결과를 고찰한다.

• 정보과학회 컴퓨팅의 실제 논문지
• /
• 제22권8호
• /
• pp.345-350
• /
• 2016

클라우드 컴퓨팅 서비스는 개별 사용자가 자원을 서로 공유하고 가상화 기술 등을 적용하여 기존의 컴퓨팅 환경과는 다른 특성을 가지고 있다. 이러한 특성으로 인해 클라우드 컴퓨팅 환경에 적합한 사용자 식별 접근제어 기술 및 보안 통제 사항 등이 요구된다. 최근 Yoo는 안전한 클라우드 컴퓨팅을 위한 속성기반 접근제어를 이용한 새로운 인증 기법을 제안하였다. 해당 기법은 속성이라는 개념을 이용하여 클라우드 자원에 대한 안전한 접근을 제공한다. 그러나 Yoo의 기법은 악의적인 서비스 제공자에 의해 인증서버의 비밀키 해시 값이 유출될 수 있는 취약점을 가지고 있으며 이를 이용한 서비스 제공자 공격을 통해 인증 요청 메시지 공격이 가능하다. 본 논문에서는 Yoo가 제안한 기법이 가진 취약점을 개선하여 클라우드 컴퓨팅을 위한 안전하고 효율적인 속성기반 인증 기법을 제안하고자 한다.

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2016년도 춘계학술대회
• /
• pp.42-43
• /
• 2016

해양분야에 e-Navigation 전략이 도입되면서 안전한 항행 지원을 위해 기존의 제품을 재설계 하거나 새로운 제품 설계가 이루어지고 있다. 항행 지원에 소프트웨어시스템의 영향이 커지고 있기 때문에 안전하고 견고한 시스템의 설계는 매우 중요하며, 이를 위해 높은 품질의 확보가 필요하다. IMO에서는 이러한 제품 설계를 위해 적절한 품질을 보장하고 목적에 맞는 제품 설계에 대한 내용을 담고 있는 소프트웨어 품질 보증 및 인간 중심 설계 가이드라인을 공식 승인하였다. 가이드라인에서 품질 보증은 제품 품질, 데이터 품질, 사용상 품질을 만족할 것을 포함한다. 다양한 품질 속성을 만족하기 위해서는 품질 속성간의 우선순위화가 필요하다. 본 논문에서는 안전하고 견고한 소프트웨어 시스템을 위해 AHP기법을 이용하여 제품에 따른 품질 속성을 우선순위화 하고, 전 개발 단계에 걸쳐 품질 속성이 반영되고 평가 될 수 있도록 한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2012년도 한국컴퓨터종합학술대회논문집 Vol.39 No.1(A)
• /
• pp.110-112
• /
• 2012

정형기법은 소프트웨어 및 하드웨어 시스템의 요구사항을 모순, 모호함 없이 정확하게 명세하고 검증할 수 있는 방법으로, 안전성이 중요한 소프트웨어에 많이 적용되어 반드시 보장되어야 할 속성을 소프트웨어가 만족하는지 확인하는데 사용되고 있다. 본 논문은 정형기법 커뮤니티에서 선정한 여러 도전 과제 중 하나인 인공 심장 박동기(pacemaker)를 실시간 속성을 표현할 수 있는 정형기법 도구인 UPPAAL을 사용하여 모델링하고 주요 속성을 검증하였다. 이를 통해 실시간 속성으로 인해 명세 및 검증하기 힘든 소프트웨어에 정형기법을 적용하여 안전성을 확인할 수 있음을 보인다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 한국컴퓨터종합학술대회 논문집 Vol.32 No.1 (B)
• /
• pp.349-351
• /
• 2005

마이크로소프트의 SLAM 프로젝트는 C 코드를 입력 받아서 프로그램이 주어진 속성을 만족하는지를 자동으로 검사한다. 그 결과, 실제 윈도우 2000에 탑재된 디바이스 드라이버의 버그를 찾아낼 수 있었다. 그러나 SLAM에서 검사할 수 있는 속성은 안전성 속성에만 국한되었다. 사용자가 검사하기를 원하는 속성은 안전성뿐만이 아니라 궁극성도 있지만, SLAM에서는 긍극성을 검사하지 못한다. 본 논문에서는 주어진 프로그램을 이진 프로그램으로 추상화 한 후에, 이진 프로그램에 대해서 CTL 모델 체킹을 수행하는 방법을 제안하였다. 그 결과 SLAM 보다도 더 많은 속성을 검사할 수 있다.

• 정보처리학회논문지D
• /
• 제14D권6호
• /
• pp.633-640
• /
• 2007

실생활과 밀접한 임베디드 시스템들이 인터넷에 연결되어 점차 복잡해지고 시스템 사용 패턴 또한 다양해짐에 따라 임베디드 시스템의 안전성 문제가 대두되고 있다. 임베디드 시스템의 상호작용에 대한 안전성을 분석하기 위서는 시스템 모델을 정형적으로 기술하고 이를 이용하는 체계적인 안전성 분석 방법이 필요하다. 이 연구에서는 Labeled Transition Systems (LTS)를 이용하여 시스템 모델과 속성 모델을 기술하고 안전성 속성이 만족되는지 검사하는 방법을 제공한다. 이 연구에서는 기존 합성적 안전성 분석 방법의 문제점을 해결하기 위해 시스템 모델을 속성모델 관점에서 축약하여 생성한 후에 두 모델 간의 행위 일치 관계를 이용하여 안전성 분석을 수행한다.

• 한국콘텐츠학회논문지
• /
• 제18권9호
• /
• pp.320-334
• /
• 2018

본 연구의 목적은 한식당의 테이크아웃 음식 선택속성이 신뢰와 고객만족에 미치는 영향을 분석하고, 추가적으로 신뢰의 매개역할에 대하여 분석하는 것이다. 수집된 자료는 SPSS 22.0과 AMOS 22.0 프로그램을 이용하여 빈도분석, 요인분석, 신뢰도분석, 상관관계분석, 공분산 구조분석을 실시하였다. 본 연구의 실증분석에 따른 결과를 요약하면 다음과 같다. 첫째, 선택속성은 안전성, 편의성, 음식의 품질, 경제성 요인으로 분류되었다. 선택속성의 안전성, 편의성, 음식의 품질, 경제성 요인 모두 신뢰에 유의한 영향을 미치는 것으로 나타났다. 둘째, 선택속성의 안전성, 편의성, 음식의 품질, 경제성 요인 모두 고객만족에 유의한 영향을 미치는 것으로 나타났다. 셋째, 신뢰는 고객만족에 유의한 영향을 미치는 것으로 나타났다. 넷째, 신뢰는 선택속성과 고객만족 사이에서 매개효과가 있는 것으로 나타났다. 본 연구는 연구결과를 통하여 선택속성, 신뢰 및 고객만족을 향상시킬 수 있는 전략적 시사점을 제시하였다.

• 서비스연구
• /
• 제6권2호
• /
• pp.83-97
• /
• 2016

스마트카는 편의성, 안전성, 사용자경험을 극대화시킨 차로 기존 자동차에 비해 복잡하고 많은 기능을 갖기 때문에 가격이 비싸진다. 본 논문의 목적은 스마트카가 갖는 여러 기능 가운데 Kano 품질속성 관점에서 소비자들이 원하는 필수기능을 도출한다. 실증적 분석 결과, 품질속성은 매력적 품질속성과 무관심 품질속성으로 분류되었다. 일반적으로 스마트카의 목적이 안전성과 사용자 경험을 극대화하는 것이지만 소비자들은 편의성에 더 높은 가치를 두었다. 이러한 연구결과는 향후 스마트카 설계에서 중요한 시사점을 제공할 것이다. 본 연구의 활용방안으로 카노품질 속성 관점에서 스마트카를 선정하는 계층적분석과정 모델을 제안한다.

• 한국콘텐츠학회논문지
• /
• 제17권9호
• /
• pp.331-340
• /
• 2017

본 연구의 목적은 간호 시뮬레이션 교육에 있어 심리적 안전 개념의 명확한 속성을 규명하고 파악하여 다양한 시뮬레이션 교육에서 간호학생의 심리적 안전을 향상시킬 수 있는 교육환경 조성에 기여하고자 함이다. Walker와 Avant (2010)의 개념분석 단계를 사용하여 15개의 심리적 안전과 관련된 문헌을 선정하여 분석하였다. 간호 시뮬레이션 교육에서 심리적 안전의 속성으로는 다음 4가지가 도출되었다: 1) 편안한 느낌이나 상태; 2) 두려움 없이 행동할 수 있는 상태; 3) 조직에 대하여 신뢰할 수 있는 느낌; 그리고 4) 자신에게 무해하다는 느낌. 본 연구를 통하여 밝혀진 선행요인, 속성, 결과 등을 고려하여 심리적 안전을 보장하도록 하는 학습환경을 조성한다면 시뮬레이션 교육의 학습효과를 극대화할 수 있을 것으로 기대된다.