Statecharts: A visual formalism for complex systems
Science of Computer Programming
Real Time UML: Advances in the UML for Real-Time Systems (3rd Edition)
Real Time UML: Advances in the UML for Real-Time Systems (3rd Edition)
Real-Time System Design and Analysis
Real-Time System Design and Analysis
Performance Engineering with the UML Profile for Schedulability, Performance and Time: A Case Study
MASCOTS '04 Proceedings of the The IEEE Computer Society's 12th Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems
The HybridUML profile for UML 2.0
International Journal on Software Tools for Technology Transfer (STTT) - Special Section on Specification and Validation of Models of Real Time and Embedded Systems with UML
International Journal on Software Tools for Technology Transfer (STTT) - Special Section on Specification and Validation of Models of Real Time and Embedded Systems with UML
Adaptive Traffic Signals Control by Using Fuzzy Logic
ICICIC '07 Proceedings of the Second International Conference on Innovative Computing, Informatio and Control
First Experiments Using the UML Profile for MARTE
ISORC '08 Proceedings of the 2008 11th IEEE Symposium on Object Oriented Real-Time Distributed Computing
An Execution Framework for MARTE-Based Models
ICECCS '08 Proceedings of the 13th IEEE International Conference on on Engineering of Complex Computer Systems
Real-time scheduling of batch systems using Petri nets and linear logic
Journal of Systems and Software
MARTE mechanisms to model variability when analyzing embedded software product lines
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
User requirements modeling and analysis of software-intensive systems
Journal of Systems and Software
Modeling MARTE Sequence Diagram with Timing Pi-Calculus
ISORC '11 Proceedings of the 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing
Modeling traffic signal control using Petri nets
IEEE Transactions on Intelligent Transportation Systems
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Hi-index | 0.00 |
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.