• 한국산학기술학회:학술대회논문집
• /
• 한국산학기술학회 2008년도 추계학술발표논문집
• /
• pp.250-253
• /
• 2008

본 논문은 프로젝트 수업의 제약점을 고려하면서 소프트웨어의 요구사항을 분석하고 설계해 가는 절차와 방법에 대하여 설명하고 있다. 프로젝트를 위해 시스템을 정의하고, 정의된 시스템을 분석하여 요구사항을 도출하며, 소프트웨어 아키텍처와 상세설계를 수행하는 단계에 대하여 논의한다. 아울러 설계를 위한 다이어그램을 UML로 통일하여 객체지향 방법과 구조적 방법에 적용해 보고자 한다.

• 한국산업정보학회:학술대회논문집
• /
• 한국산업정보학회 1997년도 추계학술대회 발표논문집:21세기를 향한 정보통신 기술의 전망
• /
• pp.39-52
• /
• 1997

데이터베이스에 대한 사용자의 요구는 증가하는 반면에 기존의 관계형 데이터베이스에서 사용하는 질의어들은 사용자로 하여금 정확한 조건을 알아야만 하는 부울 형태의 질의만을 제공하는 제약이 있다. 그러나, 사용자들은 조건을 확실하게 모르는 애매한 질의에 대한 결과를 요구하며, 이러한 이유로 퍼지 질의어(FSQL)에 대한 연구가 계속되고 있다. 이에 본 논문에서는 새로운 퍼지 질의어 형태를 정의하고, 정의한 퍼지 질의어를 구현하기 위해서MetaDatabase를 사용하는 방법을 소개한다. 이러한 방법을 이용하여 기존의 관계형 데이터베이스를 유지하면서 퍼지 질의어를 제공할 수 있는 FSQL(Fuzzy SQL) 시스템의 프로토타입을 개발하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 추계학술발표논문집 (상)
• /
• pp.563-566
• /
• 2002

90년대 중반 이후부터 컴퓨터 산업의 빠른 발전과 급격한 인터넷 발달로 컴퓨터 대중화가 빠르게 이루어져 왔다. 더불어 근래에는 임베디드 시스템 분야가 빠르게 성장하고 있는데, 예전에는 단순한 작업만을 요구하던 임베디드 시스템이, 사용자들의 요구가 다양해지면서 운영체제의 필요성이 높아졌다. 이 논문에서는 임베디드 시스템과 임베디드 운영체제를 정의하고, 상용되고 있는 임베디드 운영교제에 대해 간단히 살펴보도록 하고, 그 중 MicroC/OS-II의 기존의 스케줄링 방식을 수정, 확장시켜보도록 하겠다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (A)
• /
• pp.106-108
• /
• 2002

지금까지의 우선이동통신에서는 주로 음성서비스를 제공하였으나 사용자들의 요구에 의해 음성서비스뿐만 아니라 점차 다양한 패킷서비스도 제공하고 있다. 일정한 자원을 사용하는 음성서비스와는 달리 패킷서비스는 서비스 타입이나 시간에 따라 자원요구량이 달라지는 특성을 지닌다. 따라서 서비스 질이 보장되는 패킷서비스를 제공하기 위해서는 자원요구량이 급변하는 패킷서비스의 특성을 잘 반영하는 무선자원 관리 메커니즘이 필요하다. 현재 패킷서비스를 제공하기 위해 개발된 UMTS망의 표준문서인 3GPP문서에는 무선자원관리를 위한 기본적인 신호체계만이 정의되어 있을뿐 자세한 알고리즘은 각 벤더들에게 일임하고 있다. 또한 여러 단말에서의 자원경쟁시 자원할당을 중재해 줄 수 있는 알고리즘은 정의되어 있지 않다. 본 논문에서는 무선자원을 공용자원과 전용자원으로 구분하고 단말의 서비스 요청시 전송하는 QoS Profile을 통해 우선순위와 초기 자원을 할당한다. 우선순위가 높은 서비스는 낮은 우선순위 서비스의 자원을 일정량 선정할 수 있게 하였다. 이렇게 함으로써 사용자가 요구하는 서비스 질을 만족시키는 동시에 가능한한 많은 패킷서비스를 받아들일 수 있는 무선자원관리 알고리즘을 제안한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (B)
• /
• pp.1-3
• /
• 2003

웹 기반의 응용시스템 개발이 보편화되면서 보안은 특히 인터넷과 같은 네트워크 환경에서 정보처리에서 매우 중요한 요소로 대두되고 있다. 공통평가기준은 보안을 중요시하는 시스템의 명가를 위해서 표준화된 요구사항들의 목록이다. 공통평가기준을 사용하여 시스템 자체와 시스템 개발에 않은 보안 요구사항 정의는 가능하지만, 방법론 지원은 제공하지 않는다. 본 논문에서는 보안 클래스를 중심으로 소프트웨어공학 생명주기에서 보안측면을 분석하고 적용하는 방법을 제시한다. 공통평가기준에서의 행위와 문서는 개발된 시스템의 품질을 개선하여. 높은 보안 요구사항을 만족하기 위해 부가적 비용과 노력을 감소시키는 시스템 개발에서 가장 중요한 요소이다 이를 기반하여 프로세스, 자원. 생명주기 분석 모델과 프레임워크를 정의하고 생명주기 지원 클래스의 적용에 대해서 논한다.

• 정보보호학회지
• /
• 제28권4호
• /
• pp.34-40
• /
• 2018

다양한 응용이 예상되는 물리적 복제방지 기능(PUF)은 각 디바이스별로 고유하고 복제 불가능한 특징으로 디지털 지문의 역할을 한다. PUF 구현 기법은 다양하게 존재할 수 있지만, 보안 디바이스에 사용하고자 할 때는 공통적으로 만족해야 하는 보안 요구사항이 있다. 기존에는 PUF 출력에 대한 안정성과 유일성의 2개 특성 분석이 주를 이루었으나 최근 ISO/IEC JTC 1/SC 27/WG 3 표준그룹에서는 현실적인 활용상황에 맞게 보다 세분화하여 보안 요구사항을 정의하고 있다. 본 논문에서는 국제표준그룹에서 정의하고 있는 6개의 PUF 보안 요구사항과 시험방법을 소개하고자 한다.

• 전력전자학회:학술대회논문집
• /
• 전력전자학회 2006년도 전력전자학술대회 논문집
• /
• pp.166-168
• /
• 2006

새로운 도시교통 시스템을 개발하기 위하여 시스템의 적용지역 검토 후 운영자, 이용자, 공급자 측면에서의 요구사항 도출과 아울러 이를 토대로 하여 시스템 요구사항을 도출하였다. 이는 기능 및 성능으로 구분할 수 있고 하부시스템별로 기능과 성능을 할당하여 각 하부시스템의 기능과 주요 장치가 갖추어야 할 조건, 용량 등을 정의하였다. 또한 환경요구사항 및 하부 시스템별 기기의 동작 조건등을 정의하여 시스템 개념을 확립하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (1)
• /
• pp.617-619
• /
• 1998

인터넷 상에서 끊임없이 증가하고 있는 방대한 양의 정보를 검색하기 위하여 많은 정보 검색 시스템들이 나타나게 되었다. 그러나 기존의 정보검색 시스템에서 사용자는 검색시스템이 검색한 수많은 문서들을 하나씩 받아오게 됨으로 정보검색 시간이 많이 걸리게 된다. 또 인터넷 사용자들의 사용시간이 특정 시간대에 집중되어 네트웍의 부하가 커지는 것 역시 정보검색의 시간이 늘어나는 원인이 된다. 또한 사용자는 단순히 키워드 입력 방식으로 검색하게 되므로 다양한 사용자의 검색요구를 적절히 만족시키지 못하게 된다. 본 논문은 이런 문제점들을 보완하는 좀 더 효율적인 정보 검색시스템을 구축하기 위해 필요한 요구사항을 크게 4가지로 정의해 보고 이 요구 사항을 만족시키기 위한 기법을 제시하고자 한다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2000년도 하계학술대회 논문집 D
• /
• pp.2498-2500
• /
• 2000

차세대 신형원전에서는 디지털 기술의 적용을 기본 설계 요건으로 제시하고 있다. 차세대 원전의 노심보호계통 (Core Protection Calculator Systems; CPCS)은 원전의 안전성을 보장하기 위한 부분으로 이 부분이 올바르게 작성되고, 검증되어야 함은 분명하다. 현재 이부분은 소프트웨어로 개발 중에 있으며 개발 단계에 있어서 시작단계인 요구명세 단계에 있다. 요구 명세 단계의 오류는 소프트웨어 개발 단계 중 소프트웨어의 품질에 가장 영향을 많이 미치는 단계로 알려져 있으므로 이 단계를 정확하게 수행하여야 한다. 안전성이 중요한 소프트웨어를 명세하는 데 있어서 우선 정의되어야 하는 것은 어떤 절차를 통해서 어떤 방법으로 할지를 결정하여 그 절차를 정하여야 한다. 기존에 소프트웨어 요구 명세에 대한 표준안이 존재하기는 하지만, 이러한 표준안들은 개념적인 언어들로 쓰여져 있기 때문에 실제 소프트웨어의 개발 과정에 사용하기 위해서는 구체적인 언어들로 다시 작성하여야 한다. 따라서, 소프트웨어 명세를 작성하기 위해서 절차와 방법에 대해서 정의하여야 한다. 본 논문에서는 개략적인 명세 절차와 명세 방법등을 기술하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2010년도 한국컴퓨터종합학술대회논문집 Vol.37 No.1(B)
• /
• pp.487-492
• /
• 2010

그래프에서 k-서로소인 경로 커버는 정점 집합을 커버하면서 정점이 서로소인 .개의 경로들의 집합으로 정의하고, 이때 각 경로는 주어진 소스와 싱크를 잇는다. 각 소스와 싱크에 요구(demand)라고 부르는 양의 정수가 주어질 때, 요구가 d인 각 소스나 싱크가 d개의 경로에 포함되는 일반-요구 k-서로소인 경로 커버(general-demand k-disjoint path cover)를 정의할 수 있다. 이것은 일대일, 일대다, 그리고 비쌍형 다대다 서로소인 경로 커버를 일반화한 것이다. 이 논문에서는 일반-요구 k-서로소인 경로 커버 문제가 비쌍형 k-서로소인 경로 커버 문제로 변환될 수 있음을 보인다. 더구나 소스가 하나인 경우를 단일-소스 k-서로소인 경로 커버(single-source k-disjoint path cover)라고 부르는데, 이것은 일대다 k-서로소인 경로 커버 문제로 변환된다.