Advertisement

Modeling Road Traffic Signals Control Using UML and the MARTE Profile

  • Eduardo Augusto Silvestre
  • Michel dos Santos Soares
Part of the Lecture Notes in Computer Science book series (LNCS, 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.

Keywords

MARTE UML Road Traffic Control Real-Time Systems 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. 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)CrossRefGoogle Scholar
  3. 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. 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)CrossRefGoogle Scholar
  5. 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. 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. 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)CrossRefGoogle Scholar
  8. 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)CrossRefGoogle Scholar
  9. 9.
    Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems. The International Series on Discrete Event Dynamic Systems. Kluwer Academic Publishers, Norwell (1999)zbMATHGoogle Scholar
  10. 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. 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. 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. 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)CrossRefGoogle Scholar
  14. 14.
    Harel, D.: Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming 8(3), 231–274 (1987)MathSciNetzbMATHCrossRefGoogle Scholar
  15. 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)CrossRefGoogle Scholar
  16. 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. 17.
    Jacobson, I.: Use cases - Yesterday, today, and tomorrow. Software and System Modeling 3(3), 210–220 (2004)Google Scholar
  18. 18.
    Jin, W., Wang, H., Zhu, M.: Modeling MARTE Sequence Diagram with Timing Pi-Calculus. In: ISORC, pp. 61–66 (2011)Google Scholar
  19. 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)CrossRefGoogle Scholar
  20. 20.
    Laplante, P.A.: Real-Time System Design and Analysis. John Wiley & Sons (2004)Google Scholar
  21. 21.
    List, G.F., Cetin, M.: Modeling Traffic Signal Control Using Petri Nets. IEEE Transactions on Intelligent Transportation Systems 5(3), 177–187 (2004)CrossRefGoogle Scholar
  22. 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. 23.
    OMG: UML Profile for Schedulability, Performance, and Time, Version 1.1. Tech. Rep. formal/2005-01-02, OMG (2005)Google Scholar
  24. 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. 25.
    OMG: OMG Unified Modeling Language (OMG UML) Superstructure, Version 2.3. Tech. Rep. formal/2010-05-03, OMG (2010)Google Scholar
  26. 26.
    OMG: Systems Modeling Language (SysML) - Version 1.2 (2010)Google Scholar
  27. 27.
    OMG: UML Profile for MARTE: Modeling and Analysis of Real-time Embedded Systems - version 1.1 (2010)Google Scholar
  28. 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. 29.
    OMG: Unified Modeling Language (UML): Superstructure - version 2.4.1 (2011)Google Scholar
  30. 30.
    Petriu, D.C., Woodside, M.: Extending the UML Profile for Schedulability Performance and Time (SPT) for Component-Based Systems (2004)Google Scholar
  31. 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. 32.
    Roess, R.P., Prassas, E.S., McShane, W.R.: Traffic Engineering, 3rd edn. Prentice Hall, New Jersey (2003)Google Scholar
  33. 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. 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)CrossRefGoogle Scholar
  35. 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)CrossRefGoogle Scholar
  36. 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. 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. 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. 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)CrossRefGoogle Scholar
  40. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Eduardo Augusto Silvestre
    • 1
  • Michel dos Santos Soares
    • 1
  1. 1.Computing Faculty (FACOM)Federal University of Uberlândia (UFU)UberlândiaBrazil

Personalised recommendations