Abstract
Engineers are now facing difficult problems in developing ever more sophisticated real-time systems with reduced time-to-market constraints. Object-oriented modeling with UML provides useful answers to these challenges. However, UML specification of real-time features and implementation techniques for real-time applications still require improvement. The ACCORD/UML methodology outlined in this paper therefore proposes UML extensions for modeling real-time complex systems with a high level of abstraction, followed by a basic technology for prototyping and a set of validation methods. ACCORD/UML is fully in line with the MDA paradigms proposed by the OMG. It focuses on system real-time constraints specification and ensures automatic developing phases to guarantee safe construction and application correctness. Throughout this paper, an automotive case study, based on a car seat adjustment system, is used to illustrate the ins and outs of ACCORD/UML methodology.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
S. Gerard, F. Terrier and B. Selic. UML for Real-Time, in UML for Real: Design of Embedded Real-Time Systems, Kluwer Academic Publishers: Boston. p. 369, 2003.
A. Moore and N. Cooling. Real-time Perspective-Overview (v 1.0): ARTISAN Software. 1998.
M. J. McLaughlin and A Moore. Real-time Extensions to UML. Dr. Dobb’s, 1998.
A. Moore. Why task aren’t objects and how to integrate them in your design. Embedded Systems, pp. p18–30, 2000.
R. Arthaud. OMT-RT: Extensions of OMT for better Describing Dynamic Behavior. In TOOLS Europe’95. Versailles, France. 1995.
P. Leblanc. Object-Oriented and Real-Time Techniques: Combined Use of OMT, SDL and MSC. Current Issues in Electronics Modeling Series, 1996.
R. Z. ITU-T. Specification and Description Language. In ITU-T. Geneva. 1996.
V. Perrier. Combining Object-Oriented and Real-Time Programming from an OMT and SDL Design. Verilog France, Toulouse, 1997.
B. Selic and J. Rumbaugh. Using UML for Modeling Complex Real-Time Systems. ObjecTime Limited, 1998.
C++ Language Add-in, C++ Language Guide. ObjecTime Limited. 2000.
B. P. Douglass. Doing Hard Time: Developing Real-Time Systems with UML, Objects, Frameworks, and Patterns. 1999.
Real-Time UML: Developing Efficient Objects for Embedded Systems. B. P. Douglass. 1998.
D. Harel. Statecharts: A Visual Formalism for Complex System. Science of Computer Programming, vol 8, pp. p231–274, 1987.
F. Terrier, D. Bras and F. Fouquier. Proposition of ACCORD project about Real-time objects and deadline scheduling. 1996.
S. Gard. Executable modeling for automotive embedded systems development, in GLSP. Evry: Paris, 2000.
CEA, I-Logix, Uppsala, et al. Methodology for developing real-time embedded system, document M2.1 of the IST AIT-WOODDES, 2002.
Daimler Chrysler. Seat adjustment specification http://www.automotive-uml.de. 2000.
E. M. Clarke, O. Grumberg and D. A. Peled. Model Checking. The MIT press, 1999.
I. Jacobson, M. Christerson, P. Johnson, et al. Object-Oriented Software Engineering: A Use Case Driven Approach. 1992.
J. Rumbaugh, M. Blaha, W. Premerlani, et al. Object-Oriented Modelling and Design. Prentice Hall, 1991.
F. Terrier, G. Fouquier, D. Bras, et al. A Real Time Object Model. TOOLS Europe’96, Paris, France, 1996.
C. Mraidha, S. Gerard, F. Terrier, et al. A Two-Aspect Approach for a Clearer Behavior Model. In ISORC’2003. Hakodate, Hokkaido, Japan: IEEE. 2003.
S. Gerard, E. Pelachi, P. Petterson, et al. Methodology for developing real time embedded systems. CEE: Paris. p. 158, 2002.
A. Lapitre. Procedure de reduction pour les syst?es ?base d’automates communicants: formalisation et mise en oeuvre, in UFR Scientiffique d’Orsay. Universit?de Paris XI: Evry, 2002.
D. Lugato, C. Bigot and Y. Valot. Validation and automatic test generation on UML models: the AGATHA approach. FMICS Malaga, Spain, 2002.
S. Gerard. The ACCORD/UML profile. CEA-LIST, 2002.
I-Logix, Thales, Tri-PACIFIC Software, et al. UML Profile for Modeling Quality of Service and Fault Tolerance Characteristics and Mechanisms-Initial proposition. OMG, 2002.
T. H. Phan, S. Gerard, D. Lugato, et al. Scheduling Validation for UML-modeled real-time systems. In WiP of ERCT. Portugal. 2003.
J. Bezivin and S. Gerard. A Preliminary Identification of MDA Components. OOPSLA 2002 Workshop: Generative Techniques in the context of Model Driven Architecture, 2002.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer Science + Business Media, Inc.
About this chapter
Cite this chapter
Phan, T.H., Gerard, S., Terrier, F. (2004). Real-Time System Modeling with ACCORD/UML Methodology. In: Grimm, C. (eds) Languages for System Specification. Springer, Boston, MA. https://doi.org/10.1007/1-4020-7991-5_4
Download citation
DOI: https://doi.org/10.1007/1-4020-7991-5_4
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4020-7990-0
Online ISBN: 978-1-4020-7991-7
eBook Packages: Springer Book Archive