Executing AADL models with UML/MARTE

被引：0
|
作者：
Mallet, Frederic [1 ]
Andre, Charles [1 ]
DeAntoni, Julien [1 ]
机构：
[1] Univ Nice Sophia Antipolis, INRIA Sophia Antipolis Mediterranee, Aoste Team Project, Nice, France
来源：
2009 14TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS) | 2009年
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
AADL and MARTE are two modeling formalisms supporting the analysis of real-time embedded systems. Since both cover similar aspects, a clear assessment of their respective strength and weakness is required. Building on previous works, we focus here on the time aspects of the two specifications. Relying on the MARTE Time Model and the operational semantics of its companion language CCSL we attempt to equip UML activities with the execution semantics of an AADL specification. This is part of a much broader effort to build a generic simulator for UML models with the semantics explicitly defined within the model.
引用
收藏
页码：372 / 377
页数：6
相关论文
共 50 条
  • [1] MARTE:: Also an UML profile for modeling AADL applications
    Faugere, Madeleine
    Bourbeau, Thimothee
    De Simone, Robert
    Gerard, Sebastien
    [J]. 12TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2007, : 359 - 364
  • [2] Dealing with AADL end-to-end flow latency with UML MARTE
    Lee, Su-Young
    Mallet, Frederic
    de Simone, Robert
    [J]. ICECCS 2008: THIRTEENTH IEEE INTERNATIONAL CONFERENCE ON THE ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2008, : 228 - 233
  • [3] 基于UML MARTE处理AADL的端到端流延迟
    杨夏
    [J]. 软件工程, 2015, 18 (11) : 24 - 26
  • [4] System Synthesis from UML/MARTE Models
    Posadas, Hector
    Penil, Pablo
    Nicolas, Alejandro
    Villar, Eugenio
    [J]. PROCEEDINGS OF THE 2013 ELECTRONIC SYSTEM LEVEL SYNTHESIS CONFERENCE (ESLSYN), 2013,
  • [5] Timing consistency checking for UML/MARTE behavioral models
    Jinho Choi
    Eunkyoung Jee
    Doo-Hwan Bae
    [J]. Software Quality Journal, 2016, 24 : 835 - 876
  • [6] Timing consistency checking for UML/MARTE behavioral models
    Choi, Jinho
    Jee, Eunkyoung
    Bae, Doo-Hwan
    [J]. SOFTWARE QUALITY JOURNAL, 2016, 24 (03) : 835 - 876
  • [7] From MARTE to AADL with a Seamless Process
    Perseil, Isabelle
    Pautet, Laurent
    [J]. 2010 15TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS 2010), 2010, : 361 - 366
  • [8] Refinement of UML/MARTE Models for the Design of Networked Embedded Systems
    Ebeid, E.
    Fummi, F.
    Quaglia, D.
    Stefanni, F.
    [J]. DESIGN, AUTOMATION & TEST IN EUROPE (DATE 2012), 2012, : 1072 - 1077
  • [9] A Generic Representation of CCSL Time Constraints for UML/MARTE Models
    Peters, Judith
    Wille, Robert
    Przigoda, Nils
    Kuerhne, Ulrich
    Drechsler, Rolf
    [J]. 2015 52ND ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2015,
  • [10] Dependability analysis of DES based on MARTE and UML state machines models
    José Merseguer
    Simona Bernardi
    [J]. Discrete Event Dynamic Systems, 2012, 22 : 163 - 178
12345