UML 2.0 Notation for Modeling Real Time Task Scheduling

UML is the standard visual object modeling language which may be very useful as a system design communication language. However, UML as a real-time modeling language has limitations. It basically provides a lot of syntax, but not enough semantics. The UML Profile for Schedulability, Performance and Time, extends the notation and semantics for the real-time domain. It is supposed to overcome the limitations which are related to and provide suitability for modeling real-time systems. Since we are mainly concerned with the problem of real-time operating system scheduling, the article discusses the ability of UML and its profile to determine the schedulability of a planned piece of software.

[1]  Henrik Lönn,et al.  A comparison of fixed-priority and static cyclic scheduling for distributed automotive control applications , 1999, Proceedings of 11th Euromicro Conference on Real-Time Systems. Euromicro RTS'99.

[2]  Hossein Saiedian,et al.  Using UML-based rate monotonic analysis to predict schedulability , 2004, Computer.

[3]  Ansgar Radermacher,et al.  Evaluating UML extensions for modeling real-time systems , 2002, Proceedings of the Seventh IEEE International Workshop on Object-Oriented Real-Time Dependable Systems. (WORDS 2002).

[4]  Bruce Powel Douglass Real-time UML - developing efficient objects for embedded systems , 1997, Addison-Wesley object technology series.

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

[6]  Guillermo A. Francia Embedded systems programming , 2001 .

[7]  Jochen Malte Küster,et al.  Consistent design of embedded real-time systems with UML-RT , 2001, Fourth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. ISORC 2001.

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

[9]  Zoubir Mammeri,et al.  Scheduling in Real-Time Systems , 2002 .

[10]  Cris Kobryn,et al.  Architecting Systems with UML 2.0 , 2003, IEEE Softw..

[11]  Bruce Powel Douglass,et al.  Real Time UML: Advances in the UML for Real-Time Systems (3rd Edition) , 2004 .

[12]  Luigi Lavazza,et al.  Combining UML and formal notations for modelling real-time systems , 2001, ESEC/FSE-9.

[13]  Bruce Powell Douglass,et al.  Real-time UML (2nd ed.): developing efficient objects for embedded systems , 1997 .

[14]  Ari K. Jónsson,et al.  Cyclic Scheduling , 1999, IJCAI.

[15]  Bruce Powel Douglass Real-Time UML , 2002, FTRTFT.

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

[17]  Hassan Gomaa,et al.  Designing concurrent, distributed, and real-time applications with UML , 2000, ICSE.

[18]  Petru Eles,et al.  Modelling of real-time embedded systems in an object-oriented design environment with UML , 2000, Proceedings Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000) (Cat. No. PR00607).