Modeling Road Traffic Signals Control Using UML and the MARTE Profile

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.

[1]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[2]  Iulian Ober,et al.  A real-time profile for UML , 2006, International Journal on Software Tools for Technology Transfer.

[3]  Goiuria Sagardui Mendieta,et al.  MARTE Mechanisms to Model Variability When Analyzing Embedded Software Product Lines , 2010, SPLC.

[4]  Sébastien Gérard,et al.  An Execution Framework for MARTE-Based Models , 2008, 13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008).

[5]  Phillip A. Laplante.  Real-Time Systems Design and Analysis: Laplante/Real-Time Systems Design , 2004 .

[6]  K.C. Thramboulidis,et al.  Using UML in control and automation: a model driven approach , 2004, 2nd IEEE International Conference on Industrial Informatics, 2004. INDIN '04. 2004.

[7]  Jing Xu,et al.  Performance Analysis of a Software Design Using the UML Profile for Schedulability, Performance, and Time , 2003, Computer Performance Evaluation / TOOLS.

[8]  Jaejoon Lee,et al.  Software Product Lines: Going Beyond - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Proceedings , 2010, SPLC.

[9]  Brian Henderson-Sellers,et al.  UML – the Good, the Bad or the Ugly? Perspectives from a panel of experts , 2005, Software & Systems Modeling.

[10]  Michel Auguin,et al.  UML2.0 Profiles for Embedded Systems and Systems On a Chip (SOCs) , 2009, J. Object Technol..

[11]  Wei Jin,et al.  Modeling MARTE Sequence Diagram with Timing Pi-Calculus , 2011, 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.

[12]  Tony Field,et al.  Performance engineering with the UML profile for schedulability, performance and time: a case study , 2004, The IEEE Computer Society's 12th Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, 2004. (MASCOTS 2004). Proceedings..

[13]  Rached Tourki,et al.  Modeling Networks-on-Chip at System Level with the MARTE UML profile , 2011 .

[14]  Sébastien Gérard,et al.  First Experiments Using the UML Profile for MARTE , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

[15]  Anthony Spiteri Staines.  A Comparison of Software Analysis and Design Methods for Real Time Systems , 2007 .

[16]  Alexander Verbraeck,et al.  User requirements modeling and analysis of software-intensive systems , 2011, J. Syst. Softw..

[17]  Jan Peleska,et al.  The HybridUML profile for UML 2.0 , 2005, International Journal on Software Tools for Technology Transfer.

[18]  Phillip A. Laplante,et al.  Real-Time System Design and Analysis , 2004 .

[19]  Bruce Powel Douglass,et al.  Real Time UML: Advances in the UML for Real-Time Systems (3rd Edition) , 2004 .

[20]  George F. List,et al.  Modeling traffic signal control using Petri nets , 2004, IEEE Transactions on Intelligent Transportation Systems.

[21]  Robert de Simone,et al.  Modeling time(s) , 2007, MODELS'07.

[22]  Jean-Luc Dekeyser,et al.  Targeting reconfigurable FPGA based SoCs using the UML MARTE profile: from high abstraction levels to code generation , 2010, Int. J. Embed. Syst..

[23]  MuDer Jeng,et al.  Modeling and analysis of traffic light controller using Statechart , 2010, 2010 IEEE International Conference on Systems, Man and Cybernetics.

[24]  Jacky Montmain,et al.  UML models for dependability analysis of real-time systems , 2004, 2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583).

[25]  Y. Yasmine,et al.  Design of Adaptive Road Traffic Control System through Unified Modeling Language , 2011 .

[26]  Michel dos Santos Soares.  Modeling and analysis of discrete event systems using a Petri net component , 2011, 2011 IEEE International Conference on Systems, Man, and Cybernetics.

[27]  Ivar Jacobson,et al.  Use cases – Yesterday, today, and tomorrow , 2004, Software & Systems Modeling.

[28]  Kevin Lano,et al.  Slicing of UML models using model transformations , 2010, MODELS'10.

[29]  Gang Li,et al.  Adaptive Traffic Signals Control by Using Fuzzy Logic , 2007, Second International Conference on Innovative Computing, Informatio and Control (ICICIC 2007).

[30]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[31]  Adrian Pop,et al.  The Impreciseness of UML and Implications for ModelicaML , 2008, EOOLT.

[32]  William R. McShane,et al.  A review of pedestrian safety models for urban areas in Low and Middle Income Countries , 2016 .

[33]  Stéphane Julia,et al.  Real-time scheduling of batch systems using Petri nets and linear logic , 2008, J. Syst. Softw..