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...

Full description

Saved in:
Bibliographic Details
Main Authors: Dey, Shouvik, Hazra, Rumpa, Kanjilal, Ananya, Bhattacharya, Swapan
Format: Conference Proceeding
Language:English
Subjects:
Grammar
Production
Real-time systems
Semantics
Software
Timing
Unified modeling language
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:2159-3450
DOI:10.1109/TENCON.2018.8650378