MAST: Modeling and Analysis Suite for Real Time Applications

This paper describes a model for representing the temporal and logical elements of real-time applications, called MAST. This model allows a very rich description of the system, including the effects of event or message-based synchronization, multiprocessor and distributed architectures as well as shared resource synchronization. The model is directly obtainable from a description of the system design using a UML tool. A system representation using this model is analyzable through a set of tools that has been developed within the MAST suite, including worst-case schedulability analysis for hard timing requirements, and discrete-event simulation for soft timing requirements. Although the current model only includes fixed priority systems, it is conceived as an open model and is easily extensible to accommodate other kinds of systems.

[1]  Jay K. Strosnider,et al.  Advanced real-time scheduling using the IEEE 802.5 token ring , 1988, Proceedings. Real-Time Systems Symposium.

[2]  Alan Burns,et al.  Calculating controller area network (can) message response times , 1994 .

[3]  Corporate Ieee,et al.  Information Technology-Portable Operating System Interface , 1990 .

[4]  Michael González Harbour,et al.  Schedulability analysis for tasks with static and dynamic offsets , 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).

[5]  Michael González Harbour,et al.  Exploiting precedence relations in the schedulability analysis of distributed real-time systems , 1999, Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054).

[6]  Bran Selic,et al.  Response to the omg rfp for schedulability , 2001 .

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

[8]  Mark Klein,et al.  A practitioner's handbook for real-time analysis - guide to rate monotonic analysis for real-time systems , 1993, The Kluwer international series in engineering and computer science.

[9]  John A. Clark,et al.  Holistic schedulability analysis for distributed hard real-time systems , 1994, Microprocess. Microprogramming.

[10]  Terry Quatrani.  Visual modelling with Rational Rose 2000 and UML , 1998 .

[11]  Bran Selic,et al.  A Generic Framework for Modeling Resources with UML , 2000, Computer.

[12]  J. Javier Gutiérrez,et al.  Optimized priority assignment for tasks and messages in distributed hard real-time systems , 1995, Proceedings of Third Workshop on Parallel and Distributed Real-Time Systems.

[13]  Lory D. Molesky,et al.  Implementing a predictable real-time multiprocessor Kernel-the Spring Kernel , 1990 .

[14]  Gerhard Fohler,et al.  Joint scheduling of distributed complex periodic and hard aperiodic tasks in statically scheduled systems , 1995, Proceedings 16th IEEE Real-Time Systems Symposium.

[15]  J. Javier Gutiérrez,et al.  Schedulability analysis of distributed hard real-time systems with multiple-event synchronization , 2000, Proceedings 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000.

[16]  M. G. Harbour,et al.  MAST Real-Time View: a graphic UML tool for modeling object-oriented real-time systems , 2001, Proceedings 22nd IEEE Real-Time Systems Symposium (RTSS 2001) (Cat. No.01PR1420).