Extending UML-RT for Control System Modeling

There is a growing interest in adopting object technologies for the development of real-time control systems. Several commercial tools, currently available, provide object-oriented modeling and design support for real-time control systems. While these products provide many useful facilities, such as visualization tools and automatic code generation, they are all weak in addressing the central characteristic of real-time control systems design, i.e., providing support for a designer to reason about timeliness properties. We believe 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 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. This study shows how schedulability analysis can be integrated with UML for Real-Time (UML-RT) to deal with timing properties in real time control systems. More specifically, we develop the schedulability and feasibility analysis modeling 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 scheduliablity modeling for sporadic activities, where messages 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 will greatly streamline the design and development of real-time control systems software.

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

[2]  Chung Laung Liu,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

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

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

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

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

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

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

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

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

[11]  Alan Burns,et al.  HRT-HOOD: A structured design method for hard real-time systems , 2005, Real-Time Systems.

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

[13]  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.

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

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

[16]  Kerstin Vogler.  Software Design Methods For Concurrent And Real Time Systems , 2016 .

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

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

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

[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]  Luiz Fernando Capretz,et al.  UML extensions for real-time control systems , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).