Automated consistency checking of UML/MARTE based software systems

Development of UML/MARTE based modelling technique is gaining popularity day by day. UML/MARTE model driven approach can be used to describe non real time software systems as well as timing constraints for real time software systems. However it is essential to ensure consistency among the different UML diagrams as it affects the quality of software system. The novelty of this paper lies in proposing comprehensive framework for automatic verification of inter diagram consistency based on UML/MARTE models. A simulator has been developed based on the formal specification to automatically detect inconsistencies at the early stage of design. The proposed methodology is applied and explained on a case study for substantiation of the approach.