CAPLab

SWAT

SWAT: A Suite of Worst Case Response Time Analysis Tools for Distributed Hard Real-Time Systems.

About

For the design of embedded systems that support real-time applications, it is required to guarantee the satisfaction of real-time constraints in any case. For an embedded application that runs repeatedly, the real-time constraint is usually defined by the relative deadline that is the maximum allowable execution delay of an application after being released. The response time of an application is defined as the time interval from the release time to the finish time. After applications are mapped to a candidate architecture, we check the feasibility of the architecture by estimating the worst case response time (WCRT) of an application. Fast estimation enables us to explore the wider design space of architecture selection and application mapping. Accurate estimation avoids over-design to reduce the system cost. However, estimation speed and accuracy are in general incompatible since the accuracy induces higher complexity. Hence various performance estimation techniques are required in the design process.
SWAT (SNU Worst case response time Analysis Tool) is a suite of performance estimation methods to analyze the worst case response time of an application in a distributed real-time embedded system which consists of an arbitrary mixture of preemptive and non-preemptive processing elements, considering execution time variations of tasks, jitter of input arrivals, and scheduling anomaly behavior in a multi-tasking system all together. SWAT consists of various methods that are developed in our laboratory: STBA, HPA, ILP-based analysis, and worst scenario generator. STBA(Scheduling Time Bound Analysis) computes the scheduling time bound of each task by performing scheduling during analysis. STBA produces a much tighter bound of WCRT than compositional approaches while its speed is comparable to compositional approaches. HPA (Hybrid Performance Analysis) is a hybrid technique of the modified response time analysis and the scheduling time bound analysis. Since it does not unroll the application graphs, it shows lower algorithm complexity than STBA. ILP-based analysis finds exact worst case response time using integer linear programming.  Speed problem due to its exponential complexity is mitigated by confining the range of ILP variables from the result of STBA or HPA. Worst scenario generator generates a lot of near-worst scenarios for the users to recognize the worst-case behavior.
SWAT was demonstrated in the major conferences such as DAC (Design Automation Conference) and DATE (Design, Automation & Test in Europe). SWAT is still being developed to support various architectures such as multi-core system and  shared memory architecture. Corresponding researches are ongoing in our laboratory.

Publication

  • Junchul Choi, Hyunok Oh, Soonhoi Ha, "A hybrid performance analysis technique for distributed real-time embedded systems", Real-Time Systems, Apr, 2018.
  • Junchul Choi, Donghyun Kang, Soonhoi Ha, "End-to-end Latency Analysis of Cause-effect Chains in an Engine Management System", Design Automation and Test in Europe, Mar, 2018.
  • Donghyun Kang, Junchul Choi, Soonhoi Ha, "Worst Case Delay Analysis of Shared Resource Access in Partitioned Multi-Core Systems", Proceedings of the 15th IEEE/ACM Symposium on Embedded Systems for Real-Time Multimedia, pp. 84-92, Oct, 2017.
  • Junchul Choi, Soonhoi Ha, "Worst-Case Response Time Analysis of a Synchronous Dataflow Graph in a Multiprocessor System with Real-Time Tasks", ACM Transactions on Design Automation of Electronic Systems, Vol. 22, Issue 2, Mar, 2017.
  • 최준철, 하순회, "실시간 태스크들이 수행되는 멀티프로세서에서의 멀티 모드 데이터 플로우의 최악 성능 분석", 한국정보과학회 정기총회 및 동계학술발표회, Dec, 2016.
  • Junchul Choi, Donghyun Kang and Soonhoi Ha, "Conservative Modeling of Shared Resource Contention for Dependent Tasks in Partitioned Multi-Core Systems", Design Automation and Test in Europe, pp. 181-186, Mar, 2016.
  • 강동현, 최준철, 하순회, "분할 멀티 코어 시스템에서의 공유 자원 접근의 최악 지연 시간 분석", 한국컴퓨터종합학술대회, Jun, 2015.
  • 하효진, "정수 선형 프로그래밍 기반의 분산 실시간 시스템 최악 응답시간 분석", 서울대학교, Aug, 2013.
  • Jinwoo Kim, Hyunok Oh, Junchul Choi, Hyojin Ha, Soonhoi Ha, "A Novel Analytical Method for Worst Case Response Time Estimation of Distributed Embedded Systems", Proceedings of the The 50th Annual Design Automation Conference, pp. 1-10, Jun, 2013.
  • 김진우, "Hybrid Methodology for the Performance Analysis of Distributed Real-time Embedded Systems", 서울대학교, Feb, 2013.
  • Jinwoo Kim, Hyunok Oh, Hyojin Ha, Shin-haeng Kang, Junchul Choi, Soonhoi Ha, "An ILP-Based Worst-Case Performance Analysis Technique for Distributed Real-Time Embedded Systems", 2012 IEEE 33rd Real-Time Systems Symposium, pp. 363 - 372, Dec, 2012.
  • 정연, 김진우, 하효진, 하순회, "유전 알고리즘 기반의 분산 임베디드 시스템 최악 응답 시간 분석", 제 39회 한국정보과학회 추계학술발표회, Nov, 2012.
  • 정연, "유전 알고리즘을 이용한 분산 임베디드 시스템의 최악 응답시간 분석", 서울대학교, Aug, 2012.
  • Demo Videos

    DAC 2014
    Demo video for S...
    2014-10-02 15:30
    DAC 2013
    Demo video for S...
    2014-10-02 14:30

    Contributor

  • 하순회(Soonhoi Ha)
  • 오현옥(Hyunok Oh)
  • 김진우(Jinwoo Kim)
  • 정연(Yan Zheng)
  • 하효진(Hyojin Ha)
  • 최준철(Junchul Choi)
  • 강동현(Donghyun Kang)