UML extensions for real-time control systems

The use of object oriented techniques and methodologies for the design of real-time control systems appear to be necessary in order to deal with the increasing complexity of such systems. Many object-oriented methods have been used for the modeling and design of real-time control systems. We believe that an approach that integrates the advancements in both object modeling and design methods, and real-time scheduling theory is the key to successful use of object oriented technology for real-time software. Surprisingly several past approaches to integrate the two either restrict the object models, or do not allow sophisticated schedulability analysis techniques. In this paper we show how schedulability analysis can be integrated with object-oriented design. More specifically, we develop the schedulability and feasibility analysis method for the external messages that may suffer release jitter due to being dispatched by a tick driven scheduler in real-time control system, and we also develop the schedulability method for sporadic activities, where message arrive sporadically then execute periodically for some bounded time. This method can be used to cope with timing constraints in realistic and complex real-time control systems. Using this method, a designer can quickly evaluate the impact of various implementation decisions on schedulability. In conjunction with automatic code-generation, we believe that this greatly streamlines the design and development of real-time control system software.

[1]  Manas Saksena,et al.  Automatic synthesis of multi-tasking implementations from real-time object-oriented models , 2000, Proceedings Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000) (Cat. No. PR00607).

[2]  Paulo Martins,et al.  Integrating Real-Time UML Models with Schedulability Analysis , 2001 .

[3]  Bran Selic,et al.  Using UML for Modeling Complex Real-Time Systems , 1998, LCTES.

[4]  K. H. Kim.  Object Structures for Real-Time Systems and Simulators , 1997, Computer.

[5]  Ivar Jacobson,et al.  The Unified Modeling Language User Guide , 1998, J. Database Manag..

[6]  Bruce P. Douglass,et al.  Doing hard time: developing real-time systems with uml , 1999 .

[7]  Wolfgang Nebel,et al.  Modeling Hard Real Time Systems with UML , 1999, UML.

[8]  Bran Selic,et al.  Real-time object-oriented modeling , 1994, Wiley professional computing.

[9]  Colin J. Fidge,et al.  Real-Time Schedulability Tests for Preemptive Multitasking , 2004, Real-Time Systems.

[10]  John P. Lehoczky,et al.  Fixed priority scheduling periodic tasks with varying execution priority , 1991, [1991] Proceedings Twelfth Real-Time Systems Symposium.

[11]  Alan Burns,et al.  An extendible approach for analyzing fixed priority hard real-time tasks , 1994, Real-Time Systems.

[12]  Ivar Jacobson,et al.  Unified Modeling Language , 2020, Definitions.

[13]  Lui Sha,et al.  Priority Inheritance Protocols: An Approach to Real-Time Synchronization , 1990, IEEE Trans. Computers.

[14]  W. Tindell.  AN EXTENDIBLE APPROACH FOR ANALYSING FIXED PRIORITY HARD REAL-TIME TASKS , 1994 .

[15]  Hassan Gomaa.  Software design methods for concurrent and real-time systems , 1993, SEI series in software engineering.

[16]  Joseph Y.-T. Leung,et al.  On the complexity of fixed-priority scheduling of periodic, real-time tasks , 1982, Perform. Evaluation.

[17]  T. Tezuka,et al.  Application of a new automatic gauge control system for the tandem cold mill , 2001, Conference Record of the 2001 IEEE Industry Applications Conference. 36th IAS Annual Meeting (Cat. No.01CH37248).

[18]  John P. Lehoczky,et al.  Fixed priority scheduling of periodic task sets with arbitrary deadlines , 1990, [1990] Proceedings 11th Real-Time Systems Symposium.

[19]  Juha Kuusela,et al.  Object-oriented technology for real-time systems: a practical approach using OMT and Fusion , 1996 .

[20]  Stephen S. Yau,et al.  Schedulability in model-based software development for distributed real-time systems , 2002, Proceedings of the Seventh IEEE International Workshop on Object-Oriented Real-Time Dependable Systems. (WORDS 2002).

[21]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

[22]  James W. Layland,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[23]  Manas Saksena,et al.  Designing for schedulability: integrating schedulability analysis with object-oriented design , 2000, Proceedings 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000.

[24]  Alan A. Bertossi,et al.  Rate-monotonic scheduling for hard-real-time systems , 1997 .

[25]  John P. Lehoczky,et al.  The rate monotonic scheduling algorithm: exact characterization and average case behavior , 1989, [1989] Proceedings. Real-Time Systems Symposium.

[26]  Alan Burns,et al.  Hrt-Hood: A Structured Design Method for Hard Real-Time ADA Systems , 1995 .

[27]  Mathai Joseph,et al.  Finding Response Times in a Real-Time System , 1986, Comput. J..