Extensions to the UML Profile for MARTE for Distributed Embedded Systems

被引：0
|
作者：
Ebeid, Emad [1 ]
Medina, Julio [2 ]
Quaglia, Davide [3 ]
Fummi, Franco [3 ]
机构：
[1] Aarhus Univ, Dept Engn, DK-8000 Aarhus C, Denmark
[2] Univ Cantabria, Dept Comp Sci & Elect, Santander, Spain
[3] Univ Verona, Dept Comp Sci, I-37100 Verona, Italy
来源：
2015 18TH FORUM ON SPECIFICATION AND DESIGN LANGUAGES (FDL) | 2015年
关键词：
Model-Driven Design; Network; UML Profiles; Deployment Diagram; Stereotypes; Modeling Languages; Internet of Things; Smart Systems;
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
The design of distributed embedded systems is a challenging task that requires raising the level of abstraction to handle the different involved concerns. In particular, standard modeling languages and precise semantics specification are necessary to address the networking-related aspects at a high level of abstraction. The Unified Modeling Language (UML) and its MARTE profile are valid formalisms to model real-time embedded systems but they lack precise modeling elements when addressing applications and platforms forming distributed embedded systems. In this work, we formalize a coherent set of modeling elements for the design and deployment of distributed embedded systems. A novel UML profile for networking is proposed as a semantic and syntactic extension to the UML Profile for MARTE: The Network Profile.
引用
收藏
页码：99 / 106
页数：8
相关论文
共 50 条
  • [41] Modeling industrial embedded systems with UML
    Fernandes, Joao M., 2000, IEEE, Los Alamitos
  • [42] Support for embedded systems in UML 2.0
    Björkander, M
    Kobryn, C
    SYSTEM SPECIFICATION AND DESIGN LANGUAGES: BEST OF FDL '02, 2003, : 107 - 118
  • [43] System Synthesis from UML/MARTE Models
    Posadas, Hector
    Penil, Pablo
    Nicolas, Alejandro
    Villar, Eugenio
    PROCEEDINGS OF THE 2013 ELECTRONIC SYSTEM LEVEL SYNTHESIS CONFERENCE (ESLSYN), 2013,
  • [44] A high-level methodology for automatically generating dynamic partially reconfigurable systems using IP-XACT and the UML MARTE profile
    Ochoa-Ruiz, Gilberto
    Labbani, Ouassila
    Bourennane, El-Bay
    Soulard, Philippe
    Cherif, Sana
    DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, 2012, 16 (03) : 93 - 128
  • [45] Formal Modeling for UML/MARTE Concurrency Resources
    Penil, Pablo
    Posadas, Hector
    Villar, Eugenio
    2010 15TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS 2010), 2010, : 343 - 348
  • [46] A high-level methodology for automatically generating dynamic partially reconfigurable systems using IP-XACT and the UML MARTE profile
    Gilberto Ochoa-Ruiz
    Ouassila Labbani
    El-Bay Bourennane
    Philippe Soulard
    Sana Cherif
    Design Automation for Embedded Systems, 2012, 16 : 93 - 128
  • [47] On the suitability of the RT-UML profile for modelling distributed real-time systems
    Becker, LB
    Pereira, CE
    ETFA 2003: IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 2, PROCEEDINGS, 2003, : 658 - 663
  • [48] UML extensions for real-time control systems
    Gao, QM
    Brown, LJ
    Capretz, LF
    42ND IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-6, PROCEEDINGS, 2003, : 5932 - 5938
  • [49] A UML profile to model mobile systems
    Grassi, V
    Mirandola, R
    Sabetta, A
    UML 2004 - THE UNIFIED MODELING LANGUAGE: MODELING LANGUAGES AND APPLICATIONS, PROCEEDINGS, 2004, 3273 : 128 - 142
  • [50] Building a UML profile for on-chip distributed platforms
    Lindroth, Tuomas
    Lavinia, Raicea
    Seceleanu, Tiberiu
    Avessta, Nastooh
    Teuhola, Jukka
    30TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOL 2, SHORT PAPERS/WORKSHOPS/FAST ABSTRACTS/DOCTORAL SYMPOSIUM, PROCEEDINGS, 2006, : 372 - +
12345