• 한국자동차공학회논문집
• /
• 제22권5호
• /
• pp.91-101
• /
• 2014

In this study, we presented a timing verification method for a passenger car diesel engine management system (EMS) using measurement-based worst-case execution time (WCET) analysis. In order to cope with AUTOSAR-compliant software architecture, a development process model is proposed. In the process model, a runnable is regarded as a test unit and its temporal behavior (i.e. maximum observed execution time, MOET) is obtained along with on-target functionality evaluation results during online unit test. Furthermore, a cost-effective framework for online unit test is proposed. Because the runtime environment layer and the standard calibration environment are utilized to implement test interface, additional resource consumption of the target processor is minimized. Using the proposed development process model and unit test framework, the MOETs of 86 runnables for diesel EMS are obtained with 213 unit test cases. Using the obtained MOETs of runnables, the WCETs of tasks are estimated and the schedulability is evaluated. From the schedulability analysis results, the problems of the initially designed schedule table is recognized and it is fixed by redesigning of the runnable mapping and task offset. Through the various test scenarios, the proposed method is validated.

• Journal of Communications and Networks
• /
• 제6권2호
• /
• pp.182-191
• /
• 2004

In this paper, performances of different ultra-wideband (UWB) modulation schemes in the presence of timing jitter are evaluated and compared. Static and Rayleigh fading channels are considered. For fading channels, Oat and dispersive channels are assumed. First, bit error rate (BER) performances for each case are derived for a fixed value of timing jitter. Later, a uniform distribution of jitter is assumed to evaluate the performance of the system, and the theoretical results are verified by computer simulations. Finger estimation error is treated as timing jitter and an appropriate model is generated. Furthermore, a worst case distribution that provides an upper bound on the system performance is presented and compared with other distributions. Effects of timing jitter on systems employing different pulse shapes are analyzed to show the dependency of UWB performance on pulse shape. Although our analysis assumes uniform timing jitter, our framework can be used to evaluate the BER performance for any given probability distribution function of the jitter.

• 한국정보통신학회논문지
• /
• 제9권2호
• /
• pp.408-414
• /
• 2005

본 논문에서는 낮은 위상잡음을 갖는 전압제어 유전체 공진 발진기를 비선형 설계하였으며 그 위상잡음을 Lesson식과 비교하여 잘 일치함을 확인하였다. 전압제어 유전체 공진 발진기의 위상잡음을 개선하기 위하여 유전체 공진기와 결합하는 마이크로스트립 라인으로 고임피던스 변환기를 이용함으로써 공진회로의 Q값이 그대로 능동소자에 전달되도록 하였다. 전압제어 유전체 공진 발진기의 고신뢰성을 확보하기 위해 worst case 해석과 part stress 해석을 수행하였으며 이를 바탕으로 신뢰도 분석을 수행하여 위성중계기의 EOL(End of Life)에서 전압제어 유전체 공진 발진기가 정상적으로 동작할 수 있는 확률을 예측하였다. 제작된 전압제어 유전체 공진 발진기는 0-l2V의 제어전압에서 0.56MHz/V의 튜닝계수를 가지고 있으며 136mw의 DC 전력을 소모한다. 또한 -116.3dBc/Hz (a)100KHz와 -94.18dBc1Hz (a)10KHz의 우수한 위상잡음 특성과 7.33dBm 이상의 출력특성을 얻었다.

• 한국인터넷방송통신학회논문지
• /
• 제10권3호
• /
• pp.75-82
• /
• 2010

한국의 DTV 서비스는 채널 14~51 (470 MHz~698 MHz)에 할당이 계획되어 있다, 이에 본 논문은 DTV 서비스가 채널 51 (692 MHz~698 MHz), CDMA 서비스가 채널 52 (698 MHz~704 MHz)에 할당된다고 가정한 후, Minimum Coupling Loss (MCL) 방법을 이용하여 보호 이격 거리를 산출하고 Spectrum Engineering Advanced Monte Carlo Analysis Tool (SEAMCAT)을 이용하여 5 % 간섭 확률을 만족하는 보호대역을 산출하였다. 그 결과 698.625 MHz에서 DTV 송신기와 CDMA Base Station (BS) 수신기 사이에서 665.67 km의 보호 이격 거리가 산출되었고 최악 경우인 Rural 지역에서 DTV 송신기와 CDMA Mobile Station (MS) 수신기 사이에서 5 MHz의 보호 대역이 산출되었다. 또한 CDMA MS 송신기와 DTV 수신기 사이에서는 심각한 간섭 현상이 발생되지 않았고 최악 경우의 Urban 지역에서도 CDMA BS 송신기와 DTV 수신기 사이에서 6.25 MHz의 보호 대역이 산출되었다. 위의 분석 결과는 이후 DTV 서비스의 할당 이전에 선행되어야하는 DTV와 다른 통신 시스템간 간섭 고려에 유용한 기준을 제공할 것으로 기대된다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 1998년도 추계종합학술대회 논문집
• /
• pp.1141-1144
• /
• 1998

A new design methodology for the shortchannel CMOS IC-package is presented. It is developed by representing the package inductance with an effective lumpedinductance. The worst case maximum-simultaneous-switching noise (SSN) and gate propagation delay due to the package are modeled in terms of driver geometry, the maximum number of simultaneous switching drivers, and the effective inductance. The SSN variations according to load capacitances are investigated with this model. The package design techniques based on the proposed guidelines are verified by performing HSPICE simulations with the $0.35\mu\textrm{m}$ CMOS model parameters.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1993년도 한국자동제어학술회의논문집(국제학술편); Seoul National University, Seoul; 20-22 Oct. 1993
• /
• pp.81-87
• /
• 1993

In this paper robust stability conditions are obtained for linear dynamical systems under structured nonlinear time-varying perturbations, using absolute stability theory and the concept of dissipative systems. The conditions are expressed in terms of solutions to linear matrix inequality(LMI). Based on this result, a synthesis methodology is developed for robust feedback controllers with worst-case H$_{2}$ perforrmance via convex optimization and LMI formulation.

• 대한산업공학회지
• /
• 제27권1호
• /
• pp.25-29
• /
• 2001

We present a two dimensional linear programming knapsack problem with the extended GUB constraint. The presented problem is an extension of the cardinality constrained linear programming knapsack problem. We identify some new properties of the problem and derive a solution algorithm based on the parametric analysis for the knapsack right-hand-side. The solution algorithm has a worst case time complexity of order O($n^2logn$). A numerical example is given.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (A)
• /
• pp.184-186
• /
• 2004

검사점 작성을 이용하는 실시간 태스크의 스케줄링 가능성을 알기 위한 선행 조건으로 최악 수행시간을 분석하고 이를 최소로 하는 효율적인 검사점 작성의 위치를 결정하는 방법을 제시한다. 여기서 사용하는 조건은 k 개의 연속적인 결함을 허용하고 태스크의 검사점 작성 비용이 고정적인 경우와 가변적인 경우를 가정한다. 이러한 각 조건에서 최악 수행 시간을 최소로 하는 검사점 작성 알고리즘을 제시한다.

• 산업공학
• /
• 제16권spc호
• /
• pp.132-137
• /
• 2003

We consider scheduling jobs on multipurpose machines where jobs can be processed by a subset of the machines operated in parallel with the objective of minimizing makespan. We apply LPT(Longest Processing Time first) algorithm and prove that its posterior worst-case performance ratio is at most $log_24m/(1+{\lambda})$, where \lambda is the number of machines eligible for processing the job with the latest completion time. In general, LPT is shown to always find a schedule with makespan at most $log_24m/3$ times optimum.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (2)
• /
• pp.367-369
• /
• 2003

인공위성 탑재 소프트웨어는 정해진 시간 내에 필요한 작업을 수행하여야 하는 실시간 내장형 소프트웨어로 타이밍 분석이 중요하다. 기존의 인공위성소프트웨어 개발 시 적용되는 타이밍 분석기법은 개발자의 수작업에 의존하여 많은 시간과 노력이 요구되며 정확성에 문제가 있을 수 있는 단점이 있었다. 본 논문에서는 위성소프트에어의 타이밍 분석에 적용 가능한 최장 실행시간 (Worst Case Execution Time, WCET) 기법을 조사하고 보다 정확한 (tight) WCET를 구하기 위해 입력 데이터를 고려한 WCET 분석 방안을 제안한다.