Skip to main content
SpringerLink
Log in
Book cover

International Conference on Computational Science and Its Applications

ICCSA 2012: Computational Science and Its Applications – ICCSA 2012 pp 1–15Cite as

Modeling Road Traffic Signals Control Using UML and the MARTE Profile

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 7336))

Abstract

The problem of software modeling and design of road traffic signals control has long been taken into consideration. A variety of modeling languages have been applied in this field. However, still no single modeling language can be considered a standard to model distributed real-time systems such as traffic signals systems. Thus, further evaluation is necessary. In this article, a UML profile created for designing real-time systems, MARTE, is applied to model a traffic signals control system. MARTE is compared with UML and SPT, a former UML profile. The result is that with MARTE, UML models are more specific, but also more complex.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Addouche, N., Antoine, C., Montmain, J.: UML Models for Dependability Analysis of Real-Time Systems. In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, pp. 5209–5214 (2004)

    Google Scholar 

  2. André, C., Mallet, F., de Simone, R.: Modeling Time(s). In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 559–573. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  3. Bate, I., Hawkins, R., Toyn, I.: An Approach to Designing Safety Critical Systems using the Unified Modelling Language. In: Proceedings of the Workshop on Critical Systems Development with UML, pp. 3–17 (2003)

    Google Scholar 

  4. Belategi, L., Sagardui, G., Etxeberria, L.: MARTE Mechanisms to Model Variability When Analyzing Embedded Software Product Lines. In: Bosch, J., Lee, J. (eds.) SPLC 2010. LNCS, vol. 6287, pp. 466–470. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  5. Bennett, A.J., Field, A.J.: Performance Engineering with the UML Profile for Schedulability, Performance and Time: A Case Study. In: Proceedings of the The IEEE Computer Society’s 12th Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, pp. 67–75 (2004)

    Google Scholar 

  6. Berkenkotter, K.: Using UML 2.0 in Real-Time Development - A Critical Review. In: International Workshop on SVERTS: Specification and Validation of UML Models for Real Time and Embedded Systems (2003)

    Google Scholar 

  7. Berkenkötter, K., Bisanz, S., Hannemann, U., Peleska, J.: The HybridUML profile for UML 2.0. International Journal on Software Tools for Technology 8, 167–176 (2006)

    Article  Google Scholar 

  8. Boutekkouk, F., Benmohammed, M., Bilavarn, S., Auguin, M.: UML 2.0 Profiles for Embedded Systems and Systems On a Chip (SOCs). JOT (Journal of Object Technology) 8(1), 135–157 (2009)

    Article  Google Scholar 

  9. Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems. The International Series on Discrete Event Dynamic Systems. Kluwer Academic Publishers, Norwell (1999)

    MATH  Google Scholar 

  10. Demathieu, S., Thomas, F., André, C., Gérard, S., Terrier, F.: First Experiments Using the UML Profile for MARTE. In: Proceedings of the 2008 11th IEEE Symposium on Object Oriented Real-Time Distributed Computing, pp. 50–57. IEEE Computer Society (2008)

    Google Scholar 

  11. Douglass, B.P.: Real Time UML: Advances in the UML for Real-Time Systems, 3rd edn. Addison Wesley Longman Publishing Co., Inc., Redwood City (2004)

    Google Scholar 

  12. Elhaji, M., Boulet, P., Tourki, R., Zitouni, A., Dekeyser, J.L., Meftali, S.: Modeling Networks-on-Chip at System Level with the MARTE UML profile. In: M-BED 2011, Grenoble, France (2011)

    Google Scholar 

  13. Graf, S., Ober, I., Ober, I.: A Real-Time Profile for UML. International Journal on Software Tools for Technology Transfer 8, 113–127 (2006)

    Article  Google Scholar 

  14. Harel, D.: Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming 8(3), 231–274 (1987)

    Article  MathSciNet  MATH  Google Scholar 

  15. Henderson-Sellers, B.: Uml - the good, the bad or the ugly? perspectives from a panel of experts. Software and Systems Modeling 4(1), 4–13 (2005)

    Article  Google Scholar 

  16. Huang, Y.S., Liau, S.X., Jeng, M.D.: Modeling and Analysis of Traffic Light Controller using Statechart. In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, pp. 557–562 (2010)

    Google Scholar 

  17. Jacobson, I.: Use cases - Yesterday, today, and tomorrow. Software and System Modeling 3(3), 210–220 (2004)

    Google Scholar 

  18. Jin, W., Wang, H., Zhu, M.: Modeling MARTE Sequence Diagram with Timing Pi-Calculus. In: ISORC, pp. 61–66 (2011)

    Google Scholar 

  19. Ranjini, K., Kanthimathi, A., Yasmine, Y.: Design of Adaptive Road Traffic Control System through Unified Modeling Language. International Journal of Computer Applications 14(7), 36–41 (2011)

    Article  Google Scholar 

  20. Laplante, P.A.: Real-Time System Design and Analysis. John Wiley & Sons (2004)

    Google Scholar 

  21. List, G.F., Cetin, M.: Modeling Traffic Signal Control Using Petri Nets. IEEE Transactions on Intelligent Transportation Systems 5(3), 177–187 (2004)

    Article  Google Scholar 

  22. Mraidha, C., Tanguy, Y., Jouvray, C., Terrier, F., Gerard, S.: An Execution Framework for MARTE-Based Models. In: 13th IEEE International Conference on Engineering of Complex Computer Systems, pp. 222–227 (2008)

    Google Scholar 

  23. OMG: UML Profile for Schedulability, Performance, and Time, Version 1.1. Tech. Rep. formal/2005-01-02, OMG (2005)

    Google Scholar 

  24. OMG: MARTE Tutorial: UML Profile for Develop for Real-Time and Embedded systems. Tech. Rep. formal/2007-03-28, OMG (2007)

    Google Scholar 

  25. OMG: OMG Unified Modeling Language (OMG UML) Superstructure, Version 2.3. Tech. Rep. formal/2010-05-03, OMG (2010)

    Google Scholar 

  26. OMG: Systems Modeling Language (SysML) - Version 1.2 (2010)

    Google Scholar 

  27. OMG: UML Profile for MARTE: Modeling and Analysis of Real-time Embedded Systems - version 1.1 (2010)

    Google Scholar 

  28. OMG: Uml profile for marte: Modeling and analysis of real-time embedded systems version, 1.1. Tech. Rep. formal/2011-06-02, OMG (2011)

    Google Scholar 

  29. OMG: Unified Modeling Language (UML): Superstructure - version 2.4.1 (2011)

    Google Scholar 

  30. Petriu, D.C., Woodside, M.: Extending the UML Profile for Schedulability Performance and Time (SPT) for Component-Based Systems (2004)

    Google Scholar 

  31. Quadri, I.R., Yu, H., Gamatié, A., Meftali, S., Dekeyser, J.L., Rutten, É.: Targeting Reconfigurable FPGA based SoCs using the MARTE UML profile: from high abstraction levels to code generation. International Journal of Embedded Systems, 18 (2010)

    Google Scholar 

  32. Roess, R.P., Prassas, E.S., McShane, W.R.: Traffic Engineering, 3rd edn. Prentice Hall, New Jersey (2003)

    Google Scholar 

  33. Soares, M.S.: Modeling and Analysis of Discrete Event Systems Using a Petri Net Component. In: Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, pp. 814–819 (2011)

    Google Scholar 

  34. Soares, M.S., Julia, S., Vrancken, J.: Real-time Scheduling of Batch Systems using Petri Nets and Linear Logic. Journal of Systems and Software 81(11), 1983–1996 (2008)

    Article  Google Scholar 

  35. Soares, M.S., Vrancken, J.L.M., Verbraeck, A.: User Requirements Modeling and Analysis of Software-Intensive Systems. Journal of Systems and Software 84(2), 328–339 (2011)

    Article  Google Scholar 

  36. Staines, A.S.: A Comparison of Software Analysis and Design Methods for Real Time Systems. World Academy of Science, Engineering and Technology, 55–59 (2005)

    Google Scholar 

  37. Süß, J., Fritzson, P., Pop, A.: The Impreciseness of UML and Implications for ModelicaML. In: Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools (2008)

    Google Scholar 

  38. Thramboulidis, K.: Using UML in Control and Automation: A Model Driven Approach. In: Proceddings of the IEEE International Conference on Industrial Informatics, pp. 587–593 (2004)

    Google Scholar 

  39. Xu, J., Woodside, M., Petriu, D.: Performance Analysis of a Software Design Using the UML Profile for Schedulability, Performance, and Time. In: Kemper, P., Sanders, W.H. (eds.) TOOLS 2003. LNCS, vol. 2794, pp. 291–307. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  40. Zeng, R., Li, G., Lin, L.: Adaptive Traffic Signals Control by Using Fuzzy Logic. In: ICICIC 2007: Proceedings of the Second International Conference on Innovative Computing, Information and Control, pp. 527–530 (2007)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computing Faculty (FACOM), Federal University of Uberlândia (UFU), Av. João Naves de Ávila, 2121, Bloco 1B, Uberlândia, Brazil

    Eduardo Augusto Silvestre & Michel dos Santos Soares

Authors
  1. Eduardo Augusto Silvestre
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Michel dos Santos Soares
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Laboratory of Urban and Territorial Systems, University of Basilicata, 10, Viale dell’Ateneo Lucano, 85100, Potenza, Italy

    Beniamino Murgante

  2. Department of Mathematics and Computer Science, University of Perugia, Via Vanvitelli 1, 06123, Perugia, Italy

    Osvaldo Gervasi

  3. Department of Cyber Security Science, Federal University of Technology, Gidan Kwano Campus, Minna, Nigeria

    Sanjay Misra

  4. Faculty of Engineering, Department of Electronics Engineering and Telecommunications, State University of Rio de Janeiro, Rua Sao Francisco Xavier, 524, 50. andar, sala 5145-F, Maracana, 20, 550-013, Rio de Janeiro, RJ, Brazil

    Nadia Nedjah

  5. Department of Production and Systems, University of Minho, Campus de Gualtar, 4710-057, Braga, Portugal

    Ana Maria A. C. Rocha

  6. School of Business Systems, Monash University, 3800, Clayton, VIC, Australia

    David Taniar

  7. Department of Intelligent Informatics, Kyushu Sangyo University, 2-3-1 Matsukadai, Higashi-ku, 813-8503, Fukuoka, Japan

    Bernady O. Apduhan

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Silvestre, E.A., dos Santos Soares, M. (2012). Modeling Road Traffic Signals Control Using UML and the MARTE Profile. In: Murgante, B., et al. Computational Science and Its Applications – ICCSA 2012. ICCSA 2012. Lecture Notes in Computer Science, vol 7336. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31128-4_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-31128-4_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-31127-7

  • Online ISBN: 978-3-642-31128-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation