• Review of KIISC
• /
• v.25 no.1
• /
• pp.32-38
• /
• 2015

소프트웨어의 보안속성이 중요해짐에 따라 소프트웨어의 개발 단계에서 설계상의 보안약점이나 구현 단계에서의 보안약점을 제거하는 작업이 강조되고 있다. 시큐어 소프트웨어를 개발하기 위해 제안된 마이크로소프트사의 위협 모델링 기법은 마이크로소프트사가 자체적으로 개발한 시큐리티 소프트웨어 개발 생명 주기(MS SDL, Security Software Development Lifecycle) 전반에 걸쳐 하나의 방법론으로 적용되고 있으며, 다른 유사한 위협 모델 기법들도 연구되고 있다. 본 논문에서는 위협 모델링 기법들에 대해 살펴보고, MS 위협 모델링 기법을 기반으로 인터넷 웹사이트 개발에 적용하여 MS 위협 모델링 기법의 분석 결과를 살펴본다.

• Annual Conference of KIPS
• /
• 2008.11a
• /
• pp.558-562
• /
• 2008

소프트웨어의 구조가 복합해짐에 따라 소프트웨어를 모델링하고 개발하는 과정을 지원하는 CASE 도구의 중요성이 급격하게 증가하고 있다. 자동차 분야 또한 기능이 복잡해짐에 따라 내부의 전자 장비를 제어하는 소프트웨어의 복잡성이 크게 증가하였고 이로 인해 객체지향적인 소프트웨어 모델링 도구의 필요성이 대두되었다. AUTOSAR는 자동차 소프트웨어 구조에 대한 표준을 정의하고 있다. 현재 유럽에서는 dSPACE, Vector 등의 업체에서 AUTOSAR 표준에 기반한 차량용 소프트웨어 모델링 도구의 프로토타입을 개발한 상태이다. 하지만 국내에서는 이러한 도구에 대한 연구가 아직 초기단계이다. 본 논문에서는 다이어그램 편집기 개발 프레임워크를 제공하는 이클립스 GMF를 이용하여 AUTOSAR 표준기반의 차량용 소프트웨어 모델링 도구를 개발한다.

• Journal of Software Engineering Society
• /
• v.14 no.1
• /
• pp.42-49
• /
• 2001

객체지향 기법에 의한 소프트웨어 개발이 일반화되면서 소프트웨어 모델링에 시나리오의 개념이 널리 활용되고 있다. 그러나 시나리오 모델링을 위해서는 사용자로부터 주어지는 요구사항의 불충분성, 모순성, 추상화 수준의 차이 등과 같은 문제가 해결되어야 한다. 본 논문에서는 이러한 문제들을 쉽게 해결할 수 있는 모델링 방법을 제안한다. 제안하는 계층구조의 객체지향 페트리 넷(HOONet)은 점진적인 시나리오 모델링과 이들의 분석 방법을 지원한다.

• Journal of KIISE:Software and Applications
• /
• v.27 no.10
• /
• pp.1015-1027
• /
• 2000

에이전트에 대한 연구는 최근에 들어와 그 응용분야가 점차 확대되어 가고 있으며, 에이전트를 근간으로 하는 소프트웨어도 점점 복잡화, 대형화되고 있는 추세이다. 이에 따라 에이전트를 근간으로 하는 소프트웨어 개발 방식도 좀더 체계적이며 공학적인 접근이 요구되고 있다. 본 논문에서는 에이전트 기반의 소프트웨어를 효율적으로 모델링하기 위하여 에이전트 추출, 내부 에이전트 모델링과 외부 에이전트 모델링 기법을 제안한다. 에이전트 추출은 실세계에 존재하는 객체들로부터 에이전트를 추출하는 방법을 사용했고, 내부 에이전트 모델링에서는 에이전트의 내부를 목표, 자기정보, 계획 기능으로 나누어 각각의 모델링 방법을 제시했으며, 외부 에이전트 모델링에서는 다중 에이전트 시스템에서 에이전트의 이동성과 에이전트간의 메시지 교환을 중심으로 한 모델링 방법을 제안한다.

• Annual Conference of KIPS
• /
• 2006.05a
• /
• pp.231-234
• /
• 2006

현재까지는 실시간 임베디드 소프트웨어 개발을 위한 효율적인 소프트웨어 모델링 언어가 부족하다. 그런데 모델 자체가 코드처럼 수행 가능한 통합 모델링언어를 xUML(Executable UML)이라 한다[2,4,7]. 이는 기존의 UML x.x에 실행과 관련된 개념과 시간에 관련된 규칙을 더한 것이다. 다시 말해 xUML의 모델은 실행과 테스트, 디버깅이 가능하다[2,4]. 본 논문에서는 기존의 UML x.x버전들과 xUML이 실시간 임베디드 소프트웨어를 모델링 하는데 적합한지를 비교/분석한 후, 임베디드 소프트웨어 모델링에 xUML을 적용하고자 부족한 면을 보완 및 확장하였다. 확장된 xUML의 노테이션은 병렬과 실시간 처리까지도 표현이 가능하도록 제안하였다. 사례 연구로서 두개의 터치센서로 동작하는 실시간 임베디드 시스템의 모델링을 보여준다.

• Annual Conference of KIPS
• /
• 2008.05a
• /
• pp.304-307
• /
• 2008

최근 서비스 로봇 산업에 대한 관심이 증가하면서 소프트웨어의 중요성이 크게 증가하고 있다. 이에 따라 본 논문에서는 서비스 로봇에 탑재되는 소프트웨어를 위한 다양한 모델링 방법을 분석하고, 아울러 순수 소프트웨어 분야의 대표적인 모델링 방법인 UML(Unified Modeling Language)과의 호환성 여부를 분석하였다. 그 결과 기존의 다양한 로봇 소프트웨어 모델링 방법이 UML 로 충분히 표현할 수 있음을 확인하였고, 이를 통해 차후 UML 기반의 로봇 소프트웨어 모델링 방법을 표준적인 방법으로 발전시키는 것이 가능할 것으로 판단된다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10b
• /
• pp.244-246
• /
• 2003

우리의 일상생활에서 차지하고 있는 소프트웨어의 비중은 점점 더 커져가고 있으며, 그만큼 소프트웨어의 오류가 우리에게 미치는 영향도 커지고 있다. 또한, 현대의 소프트웨어는 더 복잡해지고 높은 안정성이 필요하게 되므로 기존 소프트웨어와는 다른 새로운 패러다임의 소프트웨어가 필요하다. 적응형 소프트웨어는 소프트웨어 스스로가 자신의 기능을 추론하고 오류가 발생하면 이에 적절하게 대처할 수 있는 새로운 소프트웨어 패러다임이다. 적응형 소프트웨어를 개발하려면 소프트웨어가 적응해야 하는 상황을 모델링 하는 기술이 필요하다. 본 논문에서는 프로덕트 라인 개발 방법에서 사용하는 휘쳐 모델을 사용해 적응형 소프트웨어의 상황을 모델링 하는 기법을 제안한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.614-616
• /
• 1999

신뢰도 높은 소프트웨어 개발의 필요성은 전혀 새로운 것이 아니다. 요즘 들어, 소프트웨어의 크기와 복잡도가 증가함으로 인해 소프트웨어의 결함 때문에 발생하는 시스템 고장이 전체 시스템 고장에서 많은 비중을 차지하고 있다. 고 신뢰도를 요구하는 시스템의 소프트웨어는 복구블록, 분산 복구블록, N-버전 프로그래밍, N 자기검사 프로그래밍과 같은 소프트웨어 결함허용 기법들을 사용하고 있다. 이러한 소프트웨어 결함허용 기법들에 대한 연구와 함께 소프트웨어 결함허용 기법들의 의존도 측정에 관한 연구 또한 매우 중요하다. 이에 본 논문에서는 마르코프 모델을 사용해서 소프트웨어 결함허용 기법들의 보다 자세한 신뢰도 모델링과 가용도, 안전도 등에 관한 모델링을 제시한다. 제안된 모델 분석 결과 같은 수의 대체블록이 있을 때는 분산 복구블록, 복구 블록, N 자기검사 프로그래밍, N-버전 프로그래밍 순으로 의존도가 높음을 알 수 있다. 또한 소프트웨어 결함허용 기법들의 신뢰도민감성 분석에서는 복구블록과 분산 복구블록인 경우는 적응검사의 결함발생율에, N-버전 프로그래밍인 경우는 프로그램 버전의 결함발생율에 더 민감한 영향을 받는 것을 알 수 있다.

• Science of Emotion and Sensibility
• /
• v.20 no.2
• /
• pp.87-102
• /
• 2017

With increasing interest in 3D printing, the interest in the 3D modelling training that should precede the 3D printing is increasing. However, the existing 3D modelling software is developed mostly by foreign brands. Thus, the interfaces are all in English. 3D modelling software training for Korean novices who are not familiar with these terms has constraints. This study aims to explore what to consider when developing a Korean model for 3D modelling educational software for 3D printing in the face of such reality. For this goal, after having novices with no experience in 3D modeling to perform a house building task using either 12D Design or Tinker CAD, we conducted a survey. It was found in the result that more users favored Tinker CAD over 123D Design, and the errors involved while working with the Tinker CAD were less than those with the 123D Design, and the ratio of people who completed the task with the Tinker CAD was higher than that with the 123D Design. In general discussion, an introductory level educational 3D modeling software development is proposed which utilize characteristics of Tinker CAD (easy modelling is possible by three-dimensional figures) and web-based method. Also, a beginner/intermediate level educational 3D modeling software development is proposed which utilize characteristics of 123D Design (with finer measurement manipulations and figure alignment) and Windows-based method.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.343-345
• /
• 2005

소프트웨어 개발을 위한 분석 및 설계 언어로 UML이 일반화 되어 있다. UML이 갖는 객체지향 개념의 장점으로 인하여 일반 소프트웨어 개발뿐만 아니라 임베디드 소프트웨어 개발에 있어서도 UML의 사용이 증가하고 있다. 특히 UML 모델 중에서 시퀀스 다이어그램은 시스템의 다이나믹스 및 동적 시나리오 표현에 매우 유용하고, 모델링이 직관적이어서 소프트웨어 엔지니어들이 선호하고 있다. 본 연구에서는 시스템 행위를 중심으로 하는 임베디드 소프트웨어 모델링 방법으로 ESUML 방법론을 제시한다. 제시한 ESUML 방법론에서는 Use Case, Class, Interaction overview, Sequence 다이어그램과 Action Language를 이용하여 시스템을 효과적으로 모델링 하도록 하였다.