UML-based Modeling and Simulation of Environmental Effects in Networked Embedded Systems

被引:2
|
作者
Ebeid, E. [1 ]
Fummi, F. [1 ]
Quaglia, D. [1 ]
机构
[1] Univ Verona, Dep Comp Sci, I-37100 Verona, Italy
关键词
UML; SystemC; Networked Embedded Systems; Environmental Modeling; Simulation; Network Quality of Service; Throughput; Delay; Latency; Bit Error Rate; UML/MARTE;
D O I
10.1109/DSD.2013.90
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
The behavior of Networked Embedded Systems (NES) is not only driven by network components but also by the surrounding environment. To verify the correct behavior of such systems, different tests should be performed under different environmental conditions. The complexity and expense of testing such systems in real environments leads us to propose a simulation-based approach to tackle this problem. In this work, we propose UML-based methodology and a framework for modeling NES applications together with the environment and a mechanism to automatically generate simulation code for design verification. The approach is supported by a novel UML profile and a set of tools for simulation code generation.
引用
收藏
页码:787 / 794
页数:8
相关论文
共 50 条
  • [1] A Toolchain for UML-based Modeling and Simulation of Networked Embedded Systems
    Ebeid, Emad
    Fummi, Franco
    Quaglia, Davide
    [J]. UKSIM-AMSS 15TH INTERNATIONAL CONFERENCE ON COMPUTER MODELLING AND SIMULATION (UKSIM 2013), 2013, : 374 - 379
  • [2] Goal-oriented patterns for UML-Based modeling of embedded systems requirements
    Goldsby, Heather J.
    Konrad, Sascha
    Cheng, Betty H. C.
    [J]. HASE 2007: 10TH IEEE HIGH ASSURANCE SYSTEMS ENGINEERING SYMPOSIUM, PROCEEDINGS, 2007, : 7 - +
  • [3] UML-Based Modeling and multi-threaded simulation for hybrid dynamic systems
    Lee, JS
    Hsu, PL
    [J]. PROCEEDINGS OF THE 2002 IEEE INTERNATIONAL CONFERENCE ON CONTROL APPLICATIONS, VOLS 1 & 2, 2002, : 1207 - 1212
  • [4] Supporting UML-based development of embedded systems by formal techniques
    Jozef Hooman
    Hillel Kugler
    Iulian Ober
    Anjelika Votintseva
    Yuri Yushtein
    [J]. Software & Systems Modeling, 2008, 7 : 131 - 155
  • [5] Supporting UML-based development of embedded systems by formal techniques
    Hooman, Jozef
    Kugler, Hillel
    Ober, Iulian
    Votintseva, Anjelika
    Yushtein, Yuri
    [J]. SOFTWARE AND SYSTEMS MODELING, 2008, 7 (02): : 131 - 155
  • [6] A UML-based simulation platform for hybrid control systems
    Tanyi, E
    Nkenlifack, M
    [J]. PROCEEDINGS OF THE ISCA 12TH INTERNATIONAL CONFERENCE INTELLIGENT AND ADAPTIVE SYSTEMS AND SOFTWARE ENGINEERING, 2003, : 202 - 205
  • [7] Formal verification and validation of embedded systems: the UML-based MADES approach
    Luciano Baresi
    Gundula Blohm
    Dimitrios S. Kolovos
    Nicholas Matragkas
    Alfredo Motta
    Richard F. Paige
    Alek Radjenovic
    Matteo Rossi
    [J]. Software & Systems Modeling, 2015, 14 : 343 - 363
  • [8] Slicing UML-based Models of Real-time Embedded Systems
    Ahmadi, Reza
    Posse, Ernesto
    Dingel, Juergen
    [J]. 21ST ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS (MODELS 2018), 2018, : 346 - 356
  • [9] Functional verification for UML-based model driven design of embedded systems
    Kardos, M
    Fristacky, N
    [J]. FROM SPECIFICATION TO EMBEDDED SYSTEMS APPLICATION, 2005, 184 : 103 - 114
  • [10] A UML-based design methodology for real-time and embedded systems
    de Jong, G
    [J]. DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, 2002 PROCEEDINGS, 2002, : 776 - 779