• 한국정보과학회논문지:소프트웨어및응용
• /
• 제28권3호
• /
• pp.211-223
• /
• 2001

본 논문에서 제안하는 시나리오기반 검증기법의 목적은 UML로 작성된 객체지향 분석모델의 완전성 및 일관성을 진단하는 것이다. 검증기법의 전체 절차는 요구분석을 위한 Use Case 모델링 과정에서 생성되는 Use Case 시나리오와 UML 분석모델로부터 역공학적 방법으로 도출된 객체행위 시나리오와의 상호참조과정 및 시나리오 정보트리 추적과정을 이용하여 단계적으로 수행된다. 본 검증절차를 위하여 우선, UML로 작성된 객체지향 분석모델들은 우선 정형명세언어를 사용하여 Use Case 정형명세로 변환하다. 그 다음에, Use Case 정형명세로부터 해당 Use Case 내의 객체의 정적구조를 표현하는 시나리오 정보트리를 구축하고, Use Case 정형명세 내에 포함되어 있는 객체 동적행위 정보인 메시지 순차에 따라 개별 시나리오흐름을 시나리오 정보트리에 표현한다. 마지막으로 시나리오 정보트리 추적과 시나리오 정보 테이블 참조과정을 중심으로 완전성 및 일관성 검증작업을 수행한다. 즉, 검증하고자 하는 해당 Use Case의 시나리오 정보트리를 이용한 시나리오 추적과정을 통해 생성되는 객체행위 시나리오와 요구분석 과정에서 도출되는 Use Case 시나리오와의 일치여부를 조사하여 분석모델과 사용자 요구사양과의 완전성을 검사한다. 그리고, 시나리오 추적과정을 통해 수집되는 시나리오 관련종보들을 가지고 시나리오 정보 테이블을 작성한 후, 분석과정에서 작성된 클래스 관련정보들의 시나리오 포함 여부를 확인하여 분석모델의 일관성을 검사한다. 한편, 본 논문에서 제안하는 검증기법의 효용성을 증명하기 위해 대학의 수강등록시스템 개발을 위해 UML을 이용해 작성된 분석모델을 특정한 사례로써 적용하여 보았다. 프로세싱 오버헤드 및 메모리와 대역폭 요구량 측면에서 MARS 모델보다 유리함을 알 수 있었다.과는 본 논문에서 제안된 프리페칭 기법이 효율적으로 peak bandwidth를 줄일 수 있다는 것을 나타낸다.ore complicate such a prediction. Although these overestimation sources have been attacked in many existing analysis techniques, we cannot find in the literature any description about questions like which one is most important. Thus, in this paper, we quantitatively analyze the impacts of overestimation sources on the accuracy of the worst case timing analysis. Using the results, we can identify dominant overestimation sources that should be analyzed more accurately to get tighter WCET estimations. To make our method independent of any existing analysis techniques, we use simulation based methodology. We have implemented a MIPS R3000 simulator equipped with several switches, each of which determines the accuracy level of the

• 한국통신학회논문지
• /
• 제29권11B
• /
• pp.980-990
• /
• 2004

본 논문에서는 Ethernet Passive Optical Network(EPON)시스템에서 단말들에 대한 공정성을 부여하는 동적 대역할당 알고리듬을 제안하고 시뮬레이션을 통한 성능분석을 하였다. 기존 EPON에서는 Optical Network Unit(ONU)로부터 보고 받는 버퍼의 상태만을 고려하여Optical Line Termination (OLT)가 상향링크의 대역을 할당한다 이러한 ONU버퍼상태에 따른 대역할당방법은 ONU들에 대한 공정한 대역할당은 가능하지만 ONU에 연결된 단말들에 대한 공정한 대역할당을 보장하지 않는 문제가 있다. 예를 들어, 어떤 ONU에 연결된 어떤 단말로부터의 전송이 일시적으로 폭증할 경우, 급격하게 증가된 이 ONU의 버퍼상태가 OLT에 보고됨으로써, 이 ONU는 더 많은 상향 대역폭을 할당받게 된다. 이러한 대역할당의 결과, 상향전송이 많은 단말에 대해서는 많은 대역이 할당되지만, 상대적으로 전송량이 적은 단말들이 접속된 다른 ONU들에는 기존보다 감소된 대역이 할당됨으로써 이러한 ONU들에 접속되어 있는 단말들의 전송지연시간이증가되는 불공정성 문제가 발생한다. 이러한 문제점에 착안하여, 본 논문에서는 ONU가 보고하는 버퍼상태뿐만 아니라, ONU에 연결된 단말의 개수도 OLT에 보고함으로써, OLT가 단말들에 대한 공정한 대역할당을 할 수 있는 방식을 제안하였다. 제안된 방법의 성능분석을 위해 SIMULA 시뮬레이션 언어를 이용하여 EPON시스템을 모델링하였다. 각 단말과 ONU 관점에서의 수율과 지연시간, 시간에 따른 ONU의 버퍼 변화 등을 비교 분석한 시뮬레이션 결과로부터, 제안된 방법이 각 단말들에 대하여 대역을 공정하게 분배할 수 있음을 보였다. 마지막으로, EPON 시스템을 망사업자가 운용할 때, 최종단에 위치한 가입자 단말들에 대하여 공정하게 대역을 할당할 경우, 제안된 방법이 효율적으로 활용될 수 있을 것이다.고체 식품에서 보다 높게 나타났다. 이상의 결과에서 식습관이 치아우식발생과 밀접한 관계를 가지고 있으므로 초등학교 아동에 있어 치아우식을 유발할 수 있는 간식의 섭취를 줄이되 우식성 식품을 간식으로 섭취한 후에는 잇솔질을 반드시 실시하도록 하며 정규식사에서 치아를 보호하는 세정식품의 섭취에 대한 영양교육이 지속적이고 단계적으로 꾸준히 이루어져야 한다고 본다.lity regardless difference on companies, ages, departments, and authority of an employees. Second, Satisfaction on incentive for employees in Family Restaurants were not well received. Although these necessary demand, there is not yet incentive system operation to most of business. Especially, it is not even studied on Family Restaurants. This study should have been studied on more customers and spotted employees to be objective. It is strongly recommended to do this study without limitation and further studies is considered on this subjects. 비하여 전반적으로 낮은 염증반응을 보였다. 7) 각 군간 결과의 차이에 통계적 유의성은 없었다(p>0.05).mmunity. Then, a hierarchical language is to defeat its own purpose.중 행정부가 북한에 대해 실시한 포용정책이 어떠한 성과를 거두고 어떠한 문제점을 간과하고 있는가에 대해 논의하고, 대북 정책의 새로운