Browse > Article

Automated Schedulability-Aware Mapping of Real-Time Object-Oriented Models to Multi-Threaded Implementations  

Hong, Sung-Soo (Dept.of Electric Computer Engineering, Seoul National University)
Publication Information
Journal of KIISE:Computing Practices and Letters / v.8, no.2, 2002 , pp. 174-182 More about this Journal
Abstract
The object-oriented design methods and their CASE tools are widely used in practice by many real-time software developers. However, object-oriented CASE tools require an additional step of identifying tasks from a given design model. Unfortunately, it is difficult to automate this step for a couple of reasons: (1) there are inherent discrepancies between objects and tasks; and (2) it is hard to derive tasks while maximizing real-time schedulability since this problem makes a non-trivial optimization problem. As a result, in practical object-oriented CASE tools, task identification is usually performed in an ad-hoc manner using hints provided by human designers. In this paper, we present a systematic, schedulability-aware approach that can help mapping real-time object-oriented models to multi-threaded implementations. In our approach, a task contains a group of mutually exclusive transactions that may possess different periods and deadline. For this new task model, we provide a new schedulability analysis algorithm. We also show how the run-time system is implemented and how executable code is generated in our frame work. We have performed a case study. It shows the difficulty of task derivation problem and the utility of the automated synthesis of implementations as well as the Inappropriateness of the single-threaded implementations.
Keywords
UML(Unified Modeling Language); real-time object-oriented modeling; unified modeling language(UML); real-time scheduling; preemption threshold; multi-threading;
Citations & Related Records
연도 인용수 순위
  • Reference
1 M. Saksena, A. Ptak, P. Freedman, and P. Rodziewicz, 'Schedulability analysis for automated implementations of real-time object-oriented models', Proceedings of IEEE Real-Time Systems Symposium, pp. 92-102, December 1998   DOI
2 M. Boasso, 'Control systems software', IEEE Transactions on Automatic Control, pp. 1094-1106, January 1993   DOI   ScienceOn
3 H. Gomaa, 'Software design methods for concurrent and real-time systems', Adisson-Wesley Publishing Company, 1993
4 B. Selic, G. Gullekson, and P. T. Ward, 'Realtime objected modeling', John-Wiley & Sons, Inc, 1994
5 N. Audsley, 'Optimal priority assignment and feasibility of static priority tasks with arbitrary start times', Technical Report YCS 164, Department of Computer Science, University of York, England, December 1991
6 K. Tindell and A. Burns and A. Wellings, 'An extendible approach for analyzing fixed priority hard real-Time tasks', Real-Time Systems Journal, pp. 131-151, 1994   DOI
7 B. Selic and J. Rumbaugh, 'Using UML for modeling complex real-time systems', White Paper, Publicated by ObjecTime, and available from http://www.objectime.com, March 1998
8 D. Gaudrean and P. Freedman, 'Temporal analysis and object-oriented real-time software development: a case study with ROOM/ObjecTime', Proceedings of IEEE Real-Time Systems Symposium, pp. 110-118, May 1996   DOI
9 M. Saksena, P. Freedman and P. Rodziewicz, 'Guidelines for automated implementation of executable object oriented models for real-time embedded control systems', Proceedings of IEEE Real-Time Systems Symposium, pp. 240-251, June 1997   DOI
10 Y. Wang and M. Saksena, 'Scheduling fixed-priority tasks with preemption threshold', Proceedings of IEEE Real-Time Computing Systems and Applications Symposium, pp. 328-335, 1999   DOI
11 M. Saksena and Y. Wang, 'Scheduling real-time system design using preemption thresholds', Proceedings of IEEE Real-Time Systems Symposium, pp. 25-34, 2000   DOI
12 Object Management Group, 'OMG Unified Modeling Language Specification, Version 1.4', September 2001
13 Institute for Eletrical and Electronic Engineers, 'IEEE Std. 1003.1c-1995 POSIX Part 1: System Application Program Interface-Amendment 2: Threads Extension', 1995
14 Federation of International Robot-soccer Association, http://www.fira.net
15 J. P. Lehoczky, L. Sha, and Y. Ding, 'The rate monotonic scheduling algorithm: exact characterization and average case behavior', Proceedings of IEEE Real-Time Systems Symposium, pp. 166-171, 1989   DOI