Automated consistency checking of UML/MARTE based software systems

被引：0
|
作者：
Dey, Shouvik [1 ]
Hazra, Rumpa [2 ]
Kanjilal, Ananya [3 ]
Bhattacharya, Swapan [4 ]
机构：
[1] Natl Inst Technol Nagaland, Dimapur, India
[2] Heritage Inst Technol Kolkata, Kolkata, India
[3] BP Poddar Inst Management & Technol Kolkata, Kolkata, India
[4] Jadavpur Univ Kolkata, Kolkata, India
来源：
PROCEEDINGS OF TENCON 2018 - 2018 IEEE REGION 10 CONFERENCE | 2018年
关键词：
UML;
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
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.
引用
收藏
页码：2270 / 2275
页数：6
相关论文
共 50 条
  • [41] Checking consistency of robot software architectures in ROS
    Witte, Thomas
    Tichy, Matthias
    [J]. 2018 IEEE/ACM 1ST INTERNATIONAL WORKSHOP ON ROBOTICS SOFTWARE ENGINEERING (ROSE), 2018, : 1 - 8
  • [42] Consistency checking for multiple view software architectures
    Fradet, P
    Le Métayer, D
    Périn, M
    [J]. SOFTWARE ENGINEERING - ESEC/FSE '99, PROCEEDINGS, 1999, 1687 : 410 - 428
  • [43] A Formal Approach to Checking Consistency in Software Refactoring
    Hong Anh Le
    Thi-Huong Dao
    Ninh-Thuan Truong
    [J]. MOBILE NETWORKS & APPLICATIONS, 2017, 22 (02): : 356 - 366
  • [44] Generalizing consistency checking between software views
    Muskens, J.
    Bril, R. J.
    Chaudron, M. R. V.
    [J]. 5TH WORKING IEEE/IFIP CONFERENCE ON SOFTWARE ARCHITECTURE, PROCEEDINGS, 2006, : 169 - +
  • [45] An automated testing methodology based on self-checking software
    Reinhart, T
    Boettcher, C
    Wasserman, H
    [J]. PROCEEDINGS OF THE IEEE 1998 NATIONAL AEROSPACE AND ELECTRONICS CONFERENCE, 1998, : 205 - 212
  • [46] Checking behavioural consistency of UML-RT models through trace-based semantics
    Morales, Luis E. Mendoza
    Capel Tunon, Manuel I.
    Benghazi Akhlaki, Kawtar
    [J]. ICEIS 2007: PROCEEDINGS OF THE NINTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS: INFORMATION SYSTEMS ANALYSIS AND SPECIFICATION, 2007, : 205 - +
  • [47] Time properties Verification of UML/MARTE Real-Time Systems
    Louati, Aymen
    Barkaoui, Ka-Mel
    Jerad, Chadlia
    [J]. 2014 IEEE 15TH INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI), 2014, : 386 - 393
  • [48] Learning-Based Compositional Model Checking of Behavioral UML Systems
    Meller, Yael
    Grumberg, Orna
    Yorav, Karen
    [J]. FORMAL ASPECTS OF COMPONENT SOFTWARE, 2016, 9539 : 275 - 293
  • [49] Learning-Based Compositional Model Checking of Behavioral UML Systems
    Grumberg, Orna
    Meller, Yael
    [J]. DEPENDABLE SOFTWARE SYSTEMS ENGINEERING, 2016, 45 : 117 - 136
  • [50] A Formal Methodology for Semantics and Time Consistency Checking of UML Dynamic Diagrams
    Hammal, Youcef
    [J]. ADVANCES IN SOFTWARE ENGINEERING, PROCEEDINGS, 2009, 59 : 78 - 85
12345