research-article

Comparative analysis of real time resource access control protocols using UML 2.0

Authors:

Ananya Kanjilal,

Swapan BhattacharyaAuthors Info & Claims

ACM SIGSOFT Software Engineering Notes, Volume 38, Issue 5

Pages 1 - 7

https://doi.org/10.1145/2507288.2507305

Published: 26 August 2013 Publication History

Abstract

The behaviors of real time software systems do not depend only on the values of input and output signals, but also on the times of their occurrences. Real time systems (RTS) interact with their environments using time constrained input/output signals. The complexity of Real Time Systems is continually increasing which makes their design very challenging. In RTS, the scheduling of tasks with hard deadlines has been an important area of research. Unified Modeling Language (UML), the standard visual object-oriented modeling language, is suitable to deal with this complexity. The main objective of this paper is to compare two protocols using UML 2.0 models. The shortcomings of the existing Priority Inheritance protocol are represented using one UML model. Further, the Stack Based Priority Ceiling protocol is used to overcome this difficulty using an improved model.

References

[1]

A. K. Mok. Fundamental Design Problems of Distributed Systems for the Hard-Real-Time Environment. PhD thesis, Laboratory for Computer Science, Massachusetts Institute of Technology, 1983. Available as Technical Report No. MIT/LCS/TR-297.

Digital Library

[2]

Antonia Bertolino, Guglielmo De Angelis, Cesare Bartolini and Giuseppe Lipari. A UML Profile and a Methodology for Real-Time Systems Design. Proceedings of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications, IEEE Computer Society Washington, DC, USA 2006, Pages 108--117.

Digital Library

[3]

B. Selic, G. Gullekson, P. Ward. Real-Time Object-Oriented Modeling, John Wiley & Sons, Ltd.,New York, 1994.

Digital Library

[4]

B. Selic, J. Rumbaugh. Using UML for Modeling Complex Real-Time Systems. White Paper, published by ObjecTime Limited, 340 March Rd., Kamata, Astario, Canada, 1998.

[5]

B.P. Douglass. Designing Real-Time Systems with UML, Embedded Systems Programming, 1998.

[6]

B.W. Lampson and D. D. Redell. Experience with processes and monitors in Mesa. In Proceedings of the 7th ACM Symposium on Operating Systems Principles (SOSP), pages 43--44, 1979.

Digital Library

[7]

B.W. Lampson and D. D. Redell. Experience with processes and monitors in Mesa. Communications of the ACM, 23(2):105--117, Feb. 1980.

Digital Library

[8]

E. W. Dijkstra. Co-operating sequential processes. In F. Genuys, editor, Programming Languages, pages 43--112. Academic Press N.Y., 1968.

[9]

J. M. Küster, J. Stroop. Consistent Design of Embedded Real-Time Systems with UML-RT. 4th IEEE International Symposium on Object Oriented Real-Time Distributing Computing ISORC 2001. Los Alamitos, CA, USA, IEEE Computer Society, 2001, pp. 31--40, Conference Paper.

Digital Library

[10]

J.P. Lehoczky and L.Sha. Performance of real time bus scheduling algorithms. ACM Perform. Eval. Rev., Special issue, 4(1), May 1986.

Digital Library

[11]

J.P. Lehoczky and L.Sha, J Strosnider. Enhancive aperiodic responsiveness in a hard real time environment. In Proc. IEEE Real Time System Symp, 1987.

[12]

J.Y. Leung and M.L. Merrill. A note on preemptive scheduling of periodic real time tasks. Inform. Processing Lett, 11(3), Nov 1980.

[13]

L. Bichler, A. Radermacher, A. Schür John Smith. Evaluating UML Extensions for Modeling Real-Time Systems. In Proceedings of the 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002). Los Alamitos, CA, USA, IEEE Computer Society, 2002, pp. 271--8 Conference Paper.

Digital Library

[14]

L. Lavazza, G. Quaroni, M. Venturelli. Combining UML and Formal Notations for Modelling Real-Time System. Software Engineering Notes, 26(5), pp. 196--206, September 2001.

Digital Library

[15]

L. Sha, R. Rajkumar, and J. P. Lehoczky. Priority inheritance protocols: An approach to real-time synchronization. IEEE Transactions on Computers, 39(9):1175--1185, 1990.

Digital Library

[16]

Liu, C.L., Layland, J.W. (1973). Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment. Journal of the ACM, 20(1), pp. 46--61, January 1973.

Digital Library

[17]

M. Klein, T. Ralya, B. Pollak, R. Obenza, and M. G. Harbour. A Practitioner's and book for Real-Time Analysis: Guide to Rate Monotonic Analysis for Real-Time Systems, Kluwer Academic Publishers, Boston, 1993.

Digital Library

[18]

Maria Cruz Valiente, Gonzalo Genova and Jesus Carretero. UML 2.0 Notation for Modeling Real Time Task Scheduling. Journal of Object Technology, 5(4), May-June 2006.

[19]

Object Management Group, UML Superstructure Specification -- version 2.0, Object Management Group, Massachusetts, USA, 2004.

[20]

OMG. OMG Unified Modeling Language Specification, OMG Document -- formal/03-03-01 edition, March 2003.

[21]

OMG. UML 2.0 Superstructure Specification, OMG Document -- formal/05-07-04 edition, July 2005.

[22]

OMG. UML Profile for Modeling and Analysis of Real-Time and Embedded systems, OMG Document -- realtime/05-02-06 edition, February 2005.

[23]

OMG. UML Profile for Schedulability, Performance and Time Specification, OMG Document -- formal/05-01-02 edition, January 2005.

[24]

R. Jigorea, S. Manolache, P. Eles, Z. Peng. Modelling of Real-Time Embedded Systems in an Object-Oriented Design Environment with UML. 2nd ARTES Graduate Student Conference, Chalmers University of Technology, Göteborg (Sweden). March 2000.

Cited By

Hazra RDey SSingha J(2017)Modeling, analysis and verification of real-time resource access control protocols: a formal approachInternational Journal of Computers and Applications10.1080/1206212X.2017.136753040:2(63-72)Online publication date: 30-Aug-2017
https://doi.org/10.1080/1206212X.2017.1367530

Recommendations

A UML 2.0 profile for WebML modeling
ICWE '06: Workshop proceedings of the sixth international conference on Web engineering

In recent years, we have witnessed how the Web Engineering community considers the use of standard UML notation, techniques and supporting tools for modeling Web systems, including the adaptation of their own modeling languages, representation diagrams ...
From UML/SPT models to schedulability analysis: approach and a prototype implementation using ATL

Model Driven Architecture (MDA) is a software development approach promoted by the OMG. MDA is based on two key concepts, models and model transformations. Several kinds of models are generally used throughout the development process to specify a ...
Slicing UML-based Models of Real-time Embedded Systems
MODELS '18: Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems

Models of Real-time Embedded (RTE) systems may encompass many components with often many different kinds of dependencies describing, e.g., structural relationships or the flow of data, control, or messages. Understanding and properly accounting for them ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM SIGSOFT Software Engineering Notes

ACM SIGSOFT Software Engineering Notes Volume 38, Issue 5

September 2013

166 pages

ISSN:0163-5948

DOI:10.1145/2507288

Issue’s Table of Contents

Copyright © 2013 Authors.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 26 August 2013

Published in SIGSOFT Volume 38, Issue 5

Check for updates

Author Tags

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1
Total Citations
View Citations
74
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 24 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

Hazra RDey SSingha J(2017)Modeling, analysis and verification of real-time resource access control protocols: a formal approachInternational Journal of Computers and Applications10.1080/1206212X.2017.136753040:2(63-72)Online publication date: 30-Aug-2017
https://doi.org/10.1080/1206212X.2017.1367530

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Issue’s Table of Contents